plutus-core-1.36.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Examples.Data.List

Synopsis

Documentation

omapListMatchOptionTerm TyName Name DefaultUni (Either DefaultFun ExtensionFun) () Source #

Monomorphic map over built-in lists.

/(a :: *) -> (f : a -> a) -> fix {list a} {list a} (rec : list a -> list a) (xs : list a) -> matchList {a} xs {list a} xs (x : a) (xs' : list a) -> cons {a} (f x) (rec xs')