Data.Sifflet.Tree

Documentation

data Tree a :: * -> *

Multi-way trees, also known as rose trees.

Constructors

Node

Fields

rootLabel :: a

label value

subForest :: Forest a

zero or more child trees

Instances

Monad Tree

Functor Tree

Applicative Tree

Foldable Tree

Traversable Tree

Eq a => Eq (Tree a)

Data a => Data (Tree a)

Read a => Read (Tree a)

Show a => Show (Tree a)

NFData a => NFData (Tree a)

Translate e => Translate (Tree e)

Draw e => Draw (Tree e)

tree :: e -> Forest e -> Tree e

leaf :: e -> Tree e

isLeaf :: Tree e -> Bool

treeSize :: Tree e -> Int

treeDepth :: Tree e -> Int

class Repr a where

class Repr: representable by a String or a list of Strings

repr x is a String representation of x. reprl x is a [String] representation of x, where the first element should be the same as repr x, and the rest provide auxiliary information that you want to be shown with x. reprs x is a reduction of reprl x to a single String. reprList prefix infix postfix xs is the representation of a list of xs

Minimal complete implementation: define repr, or define reprl. The normal way is to define repr. Define reprl instead, if for some reason you want to include additional information such as the value of an expression in an expression node.

Examples: - (3 :: Int) has repr => "3", reprl => ["3"], reprs => "3" - In Language.Sifflet.Expr, (ENode (NSymbol "x") (EvalOk (3 :: Int) has reprl => ["x", "3"], reprs => "x 3", and repr => "x". - reprList "(" " " ")" [3 :: Int, 4, 5] => "(3 4 5)"

Minimal complete definition

Nothing

Methods

repr :: a -> String

reprl :: a -> [String]

reprs :: a -> String

reprList :: String -> String -> String -> [a] -> String

Instances

Repr Bool

Repr Char

Repr Double

Repr Float

Repr Int

Repr Integer

Repr Number

Repr Name

Repr Function

Repr Value

Repr Expr

Repr Symbol

Repr ExprNode

Repr WNode

Repr SExpr

Repr e => Repr (LayoutNode e)

Repr e => Repr (GNode e)

newtype Name

Constructors

Name String

Instances

Eq Name

Read Name

Show Name

Repr Name

nameTree :: Tree String -> Tree Name

putTree :: Show e => Tree e -> IO ()

putTreeR :: Repr e => Tree e -> IO ()

putTreeRs :: Repr e => Tree e -> IO ()

putTreeS :: Show e => Tree e -> IO ()

drawTreeShow :: Show e => Tree e -> String