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

PlutusCore.Examples.Data.TreeForest

Synopsis

Documentation

treeNodeHasUniApply uni ⇒ Term TyName Name uni fun () Source #

/\(a :: *) -> \(x : a) (fr : forest a) ->
    wrapTree [a] /\(r :: *) -> \(f : a -> forest a -> r) -> f x fr

forestNilHasUniApply uni ⇒ Term TyName Name uni fun () Source #

/\(a :: *) ->
    wrapForest [a] /\(r :: *) -> \(z : r) (f : tree a -> forest a -> r) -> z

forestConsHasUniApply 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