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

PlutusCore.Examples.Data.TreeForest

Synopsis

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