Modulefcf-containers-0.8.2Haskell2010

Fcf.Data.Bitree

Binary trees

Example2 expressions

>>> import qualified GHC.TypeLits as TL>>> import           Fcf.Data.Nat

datadata Tree a

Binary tree type.

Instances1Show

datadata FoldTree (c :: a -> [b] -> Exp b) (d :: Tree a) (e :: b)

Fold a type-level Tree.

Instances2Eval

type Eval (FoldTree f ('Leaf a3)) = Eval (f a3 '[])Defined in fcf-containers-0.8.2 · Fcf.Data.Bitree
type Eval (FoldTree f ('Node tr1 a3 tr2)) = Eval (f a3 (Eval (Map (FoldTree f) '[tr1, tr2])))Defined in fcf-containers-0.8.2 · Fcf.Data.Bitree

datadata CountSizeHelp (a :: Nat) (b :: [Nat]) (c :: Nat)

Instances2Eval

type Eval (CountSizeHelp tr '[n1, n2]) = 1 + (n1 + n2)Defined in fcf-containers-0.8.2 · Fcf.Data.Bitree
type Eval (CountSizeHelp tr '[]) = 1Defined in fcf-containers-0.8.2 · Fcf.Data.Bitree

typetype ExampleTree1 = 'Leaf 1

typetype ExampleTree2 = 'Node ('Leaf 2) 1 ('Leaf 3)

typetype ExampleTree3 = 'Node ('Node ('Leaf 4) 2 ('Leaf 5)) 1 ('Node ('Leaf 6) 3 ('Leaf 7))

typetype ExampleTree4 = 'Node ('Node ('Leaf 4) 2 ('Leaf 5)) 1 ('Leaf 3)

datadata Flatten (b :: Tree a) (c :: [a])

Flatten a Tree.

Instances2Eval

type Eval (Flatten ('Leaf a)) = '[a]Defined in fcf-containers-0.8.2 · Fcf.Data.Bitree
type Eval (Flatten ('Node tr1 a2 tr2)) = a2 ': Eval (Eval (Flatten tr1) ++ Eval (Flatten tr2))Defined in fcf-containers-0.8.2 · Fcf.Data.Bitree

datadata GetRoot (b :: Tree a) (c :: a)

Get the root node from a Tree.

Instances2Eval

type Eval (GetRoot ('Leaf a2)) = a2Defined in fcf-containers-0.8.2 · Fcf.Data.Bitree
type Eval (GetRoot ('Node _1 a2 _2)) = a2Defined in fcf-containers-0.8.2 · Fcf.Data.Bitree

datadata GetRoots (b :: [Tree a]) (c :: [a])

Get the root nodes from a list of Trees.

Instances1Eval

type Eval (GetRoots trs) = Eval (Map GetRoot trs)Defined in fcf-containers-0.8.2 · Fcf.Data.Bitree