Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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