Ideas.Common.CyclicTree

Data type

data CyclicTree a b

Constructor functions

node

node0

node1

node2

leaf

label

Querying

isNode

isLeaf

isLabel

Replace functions

replaceNode

replaceLeaf

replaceLabel

shrinkTree

Fold and algebra

fold

foldUnwind

data CyclicTreeAlg a b t

fNode

fLeaf

fLabel

fRec

fVar

emptyAlg

monoidAlg