Fcf.Data.Bitree

Fcf.Data.Bitree

Binary trees

Documentation

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

data Tree a

Binary tree type.

Constructors

Leaf a

Node (Tree a) a (Tree a)

Instances

Show a => Show (Tree a)

Defined in Fcf.Data.Bitree

Methods

showsPrec :: Int -> Tree a -> ShowS

show :: Tree a -> String

showList :: [Tree a] -> ShowS

data FoldTree :: (a -> [b] -> Exp b) -> Tree a -> Exp b

Fold a type-level Tree.

Instances

type Eval (FoldTree f ('Leaf a3) :: a2 -> Type)

Defined in Fcf.Data.Bitree

type Eval (FoldTree f ('Leaf a3) :: a2 -> Type) = Eval (f a3 ('[] :: [a2]))

type Eval (FoldTree f ('Node tr1 a3 tr2) :: a2 -> Type)

Defined in Fcf.Data.Bitree

type Eval (FoldTree f ('Node tr1 a3 tr2) :: a2 -> Type) = Eval (f a3 (Eval (Map (FoldTree f) '[tr1, tr2])))

data CountSizeHelp :: Nat -> [Nat] -> Exp Nat

Instances

type Eval (CountSizeHelp tr '[n1, n2] :: Nat -> Type)

Defined in Fcf.Data.Bitree

type Eval (CountSizeHelp tr '[n1, n2] :: Nat -> Type) = 1 + (n1 + n2)

type Eval (CountSizeHelp tr ('[] :: [Nat]) :: Nat -> Type)

Defined in Fcf.Data.Bitree

type Eval (CountSizeHelp tr ('[] :: [Nat]) :: Nat -> Type) = 1

type ExampleTree1 = 'Leaf 1

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

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

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

data Flatten :: Tree a -> Exp [a]

Flatten a Tree.

Example

Instances

type Eval (Flatten ('Node tr1 a2 tr2) :: [a1] -> Type)

Defined in Fcf.Data.Bitree

type Eval (Flatten ('Node tr1 a2 tr2) :: [a1] -> Type) = a2 ': Eval (Eval (Flatten tr1) ++ Eval (Flatten tr2))

type Eval (Flatten ('Leaf a) :: [k] -> Type)

Defined in Fcf.Data.Bitree

type Eval (Flatten ('Leaf a) :: [k] -> Type) = '[a]

data GetRoot :: Tree a -> Exp a

Get the root node from a Tree.

Instances

type Eval (GetRoot ('Leaf a2) :: a1 -> Type)

Defined in Fcf.Data.Bitree

type Eval (GetRoot ('Leaf a2) :: a1 -> Type) = a2

type Eval (GetRoot ('Node _1 a2 _2) :: a1 -> Type)

Defined in Fcf.Data.Bitree

type Eval (GetRoot ('Node _1 a2 _2) :: a1 -> Type) = a2

data GetRoots :: [Tree a] -> Exp [a]

Get the root nodes from a list of Trees.

Instances

type Eval (GetRoots trs :: [b] -> Type)

Defined in Fcf.Data.Bitree

type Eval (GetRoots trs :: [b] -> Type) = Eval (Map (GetRoot :: Tree b -> b -> Type) trs)