Safe Haskell	None

Language.Grammars.ZipperAG.Examples.HTMLTableFormatter

Documentation

data R Source

Constructors

RootR Table

Instances

Data R
Show R
Typeable R

data Table Source

Constructors

RootTable Rows

Instances

Data Table
Show Table
Typeable Table

data Rows Source

Constructors

NoRow
ConsRow Row Rows

Instances

Data Rows
Show Rows
Typeable Rows

data Row Source

Constructors

OneRow Elems

Instances

Data Row
Show Row
Typeable Row

data Elems Source

Constructors

NoElem
ConsElem Elem Elems

Instances

Data Elems
Show Elems
Typeable Elems

data Elem Source

Constructors

TableText String
NestedTable Table

Instances

Data Elem
Show Elem
Typeable Elem

constructor :: Zipper R -> StringSource

(.$) :: Zipper a -> Int -> Zipper aSource

(.|) :: Zipper a -> Int -> BoolSource

parent :: Zipper a -> Zipper aSource

value :: Zipper a -> StringSource

(.#.) :: Data a => (t -> a) -> t -> Zipper aSource

n_Syn :: Zipper R -> IntSource

ns_Syn :: Zipper R -> [Int]Source

ane_Inh :: Zipper R -> IntSource

r2 :: Zipper R -> R Source

r2_table :: Zipper R -> Table Source

r2_rows :: Zipper R -> Rows Source

r2_row :: Zipper R -> Row Source

r2_elems :: Zipper R -> Elems Source

r2_elem :: Zipper R -> Elem Source

mh_Syn :: (Num a, Ord a) => Zipper R -> aSource

mw_Syn :: Zipper R -> IntSource

mws_Syn :: Zipper R -> [Int]Source

lmw_Local :: Zipper R -> IntSource

ah_Inh :: (Num a, Ord a) => Zipper R -> aSource

aws_Inh :: Zipper R -> [Int]Source

aw_Inh :: Zipper R -> IntSource

lines_Syn :: Zipper R -> [String]Source

sumList :: [Int] -> IntSource

lengthList :: [a] -> IntSource

eq_zeros :: [a]Source

eq_zipwith_max :: [Int] -> [Int] -> [Int]Source

maxList :: [Int] -> IntSource

headList :: [Int] -> IntSource

tailList :: [a] -> [a]Source

eq_zipwith_cat :: [String] -> [String] -> [String]Source

add_border_line :: [String] -> [String]Source

addglue :: Int -> Int -> Int -> Int -> [String] -> String -> [String]Source

glue_horizontal :: Int -> Int -> [String] -> String -> [String]Source

add_hor :: String -> Int -> String -> StringSource

hor_spaces :: Int -> StringSource

glue_vertical_new :: Int -> [String] -> [String]Source

add_vertical :: Int -> [String]Source

add_sepline :: Int -> [String]Source

add_sep_line :: Int -> [String] -> [String] -> [String]Source

add_elems :: Int -> Elems Source

repeatChar :: Char -> Int -> StringSource

nestedtable :: Table Source

elem1 :: Elem Source

elem2 :: Elem Source

row1 :: Rows Source

elem3 :: Elems Source

table :: R Source

printTable :: [String] -> StringSource

ata :: Zipper R -> Zipper R Source

semantics :: R -> IO ()Source