| Safe Haskell | Safe-Inferred |
|---|---|
| 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 `HasTypeAndTermLevel` () ⇒ 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 `HasTypeAndTermLevel` () ⇒ Term TyName Name uni fun () Source #