plutus-core-1.0.0.1: Language library for Plutus Core
Safe HaskellNone
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