| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.Examples.Data.InterList
Synopsis
- interListData :: RecursiveType uni fun ()
- interNil :: Term TyName Name uni fun ()
- interCons :: Term TyName Name uni fun ()
- foldrInterList :: uni `Includes` () => Term TyName Name uni fun ()
Documentation
interListData :: RecursiveType uni fun () Source #
InterList as a PLC type.
fix \(interlist :: * -> * -> *) (a :: *) (b :: *) ->
all (r :: *). r -> (a -> b -> interlist b a -> r) -> rfoldrInterList :: uni `Includes` () => Term TyName Name uni fun () Source #