| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.Examples.Data.TreeForest
Synopsis
- treeData :: RecursiveType uni fun ()
- forestData :: RecursiveType uni fun ()
- treeNode :: HasUniApply uni => Term TyName Name uni fun ()
- forestNil :: HasUniApply uni => Term TyName Name uni fun ()
- forestCons :: HasUniApply uni => Term TyName Name uni fun ()
Documentation
treeData :: RecursiveType uni fun () Source #
forestData :: RecursiveType uni fun () Source #
treeNode :: HasUniApply uni => Term TyName Name uni fun () Source #
/\(a :: *) -> \(x : a) (fr : forest a) ->
wrapTree [a] /\(r :: *) -> \(f : a -> forest a -> r) -> f x fr
forestNil :: HasUniApply uni => Term TyName Name uni fun () Source #
/\(a :: *) ->
wrapForest [a] /\(r :: *) -> \(z : r) (f : tree a -> forest a -> r) -> z
forestCons :: HasUniApply uni => Term TyName Name uni fun () Source #
/\(a :: *) -> \(tr : tree a) (fr : forest a)
wrapForest [a] /\(r :: *) -> \(z : r) (f : tree a -> forest a -> r) -> f tr fr