Documentation

data R Source

data Table Source

data Rows Source

data Row Source

data Elems Source

data Elem Source

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 -> RSource

r2_table :: Zipper R -> TableSource

r2_rows :: Zipper R -> RowsSource

r2_row :: Zipper R -> RowSource

r2_elems :: Zipper R -> ElemsSource

r2_elem :: Zipper R -> ElemSource

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 -> ElemsSource

repeatChar :: Char -> Int -> StringSource

nestedtable :: TableSource

elem1 :: ElemSource

elem2 :: ElemSource

row1 :: RowsSource

elem3 :: ElemsSource

table :: RSource

printTable :: [String] -> StringSource

ata :: Zipper R -> Zipper RSource

semantics :: R -> IO ()Source