| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.Examples.Data.List
Synopsis
- omapList :: Term TyName Name DefaultUni ( Either DefaultFun ExtensionFun ) ()
Documentation
omapList :: Term 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) -> caseList {a} xs {list a} xs (x : a) (xs' : list a) -> cons {a} (f x) (rec xs')