Language.Floorplan.Semantics

Documentation

data Tree

Constructors

T Tree Tree

N String Tree

B0

B1

Instances

Eq Tree

Defined in Language.Floorplan.Semantics

Methods

(==) :: Tree -> Tree -> Bool

(/=) :: Tree -> Tree -> Bool

Ord Tree

Defined in Language.Floorplan.Semantics

Methods

compare :: Tree -> Tree -> Ordering

(<) :: Tree -> Tree -> Bool

(<=) :: Tree -> Tree -> Bool

(>) :: Tree -> Tree -> Bool

(>=) :: Tree -> Tree -> Bool

max :: Tree -> Tree -> Tree

min :: Tree -> Tree -> Tree

Show Tree

Defined in Language.Floorplan.Semantics

Methods

showsPrec :: Int -> Tree -> ShowS

show :: Tree -> String

showList :: [Tree] -> ShowS

leaves :: Num p => Tree -> p

addStep :: a1 -> [(a2, [a1])] -> [(a2, [a1])]

g :: Show a => Align -> Nat -> [(ExistsID, Nat)] -> Exp a -> [(Tree, [[Char]])]