ZipperAG-1.0.0: An implementation of Attribute Grammars using Functional Zippers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.ZipperAG.Examples.HTMLTableFormatter

Documentation

data R Source #

Constructors

RootR Table 

Instances

Instances details
Data R Source # 
Instance details

Defined in Language.ZipperAG.Examples.HTMLTableFormatter

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> R -> c R #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c R #

toConstr :: R -> Constr #

dataTypeOf :: R -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c R) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c R) #

gmapT :: (forall b. Data b => b -> b) -> R -> R #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> R -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> R -> r #

gmapQ :: (forall d. Data d => d -> u) -> R -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> R -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> R -> m R #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> R -> m R #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> R -> m R #

Show R Source # 
Instance details

Defined in Language.ZipperAG.Examples.HTMLTableFormatter

Methods

showsPrec :: Int -> R -> ShowS #

show :: R -> String #

showList :: [R] -> ShowS #

data Table Source #

Constructors

RootTable Rows 

Instances

Instances details
Data Table Source # 
Instance details

Defined in Language.ZipperAG.Examples.HTMLTableFormatter

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Table -> c Table #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Table #

toConstr :: Table -> Constr #

dataTypeOf :: Table -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Table) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Table) #

gmapT :: (forall b. Data b => b -> b) -> Table -> Table #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Table -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Table -> r #

gmapQ :: (forall d. Data d => d -> u) -> Table -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Table -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Table -> m Table #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Table -> m Table #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Table -> m Table #

Show Table Source # 
Instance details

Defined in Language.ZipperAG.Examples.HTMLTableFormatter

Methods

showsPrec :: Int -> Table -> ShowS #

show :: Table -> String #

showList :: [Table] -> ShowS #

data Rows Source #

Constructors

NoRow 
ConsRow Row Rows 

Instances

Instances details
Data Rows Source # 
Instance details

Defined in Language.ZipperAG.Examples.HTMLTableFormatter

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Rows -> c Rows #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Rows #

toConstr :: Rows -> Constr #

dataTypeOf :: Rows -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Rows) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Rows) #

gmapT :: (forall b. Data b => b -> b) -> Rows -> Rows #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Rows -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Rows -> r #

gmapQ :: (forall d. Data d => d -> u) -> Rows -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Rows -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Rows -> m Rows #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Rows -> m Rows #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Rows -> m Rows #

Show Rows Source # 
Instance details

Defined in Language.ZipperAG.Examples.HTMLTableFormatter

Methods

showsPrec :: Int -> Rows -> ShowS #

show :: Rows -> String #

showList :: [Rows] -> ShowS #

data Row Source #

Constructors

OneRow Elems 

Instances

Instances details
Data Row Source # 
Instance details

Defined in Language.ZipperAG.Examples.HTMLTableFormatter

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Row -> c Row #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Row #

toConstr :: Row -> Constr #

dataTypeOf :: Row -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Row) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Row) #

gmapT :: (forall b. Data b => b -> b) -> Row -> Row #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Row -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Row -> r #

gmapQ :: (forall d. Data d => d -> u) -> Row -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Row -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Row -> m Row #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Row -> m Row #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Row -> m Row #

Show Row Source # 
Instance details

Defined in Language.ZipperAG.Examples.HTMLTableFormatter

Methods

showsPrec :: Int -> Row -> ShowS #

show :: Row -> String #

showList :: [Row] -> ShowS #

data Elems Source #

Constructors

NoElem 
ConsElem Elem Elems 

Instances

Instances details
Data Elems Source # 
Instance details

Defined in Language.ZipperAG.Examples.HTMLTableFormatter

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Elems -> c Elems #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Elems #

toConstr :: Elems -> Constr #

dataTypeOf :: Elems -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Elems) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Elems) #

gmapT :: (forall b. Data b => b -> b) -> Elems -> Elems #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Elems -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Elems -> r #

gmapQ :: (forall d. Data d => d -> u) -> Elems -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Elems -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Elems -> m Elems #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Elems -> m Elems #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Elems -> m Elems #

Show Elems Source # 
Instance details

Defined in Language.ZipperAG.Examples.HTMLTableFormatter

Methods

showsPrec :: Int -> Elems -> ShowS #

show :: Elems -> String #

showList :: [Elems] -> ShowS #

data Elem Source #

Constructors

TableText String 
NestedTable Table 

Instances

Instances details
Data Elem Source # 
Instance details

Defined in Language.ZipperAG.Examples.HTMLTableFormatter

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Elem -> c Elem #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Elem #

toConstr :: Elem -> Constr #

dataTypeOf :: Elem -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Elem) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Elem) #

gmapT :: (forall b. Data b => b -> b) -> Elem -> Elem #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Elem -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Elem -> r #

gmapQ :: (forall d. Data d => d -> u) -> Elem -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Elem -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Elem -> m Elem #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Elem -> m Elem #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Elem -> m Elem #

Show Elem Source # 
Instance details

Defined in Language.ZipperAG.Examples.HTMLTableFormatter

Methods

showsPrec :: Int -> Elem -> ShowS #

show :: Elem -> String #

showList :: [Elem] -> ShowS #

constructor :: Zipper R -> String Source #

(.$) :: Zipper a -> Int -> Zipper a Source #

(.|) :: Zipper a -> Int -> Bool Source #

parent :: Zipper a -> Zipper a Source #

value :: Zipper a -> String Source #

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

n_Syn :: Zipper R -> Int Source #

ns_Syn :: Zipper R -> [Int] Source #

ane_Inh :: Zipper R -> Int Source #

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 b, Ord b) => Zipper R -> b Source #

mw_Syn :: Zipper R -> Int Source #

mws_Syn :: Zipper R -> [Int] Source #

lmw_Local :: Zipper R -> Int Source #

ah_Inh :: (Num b, Ord b) => Zipper R -> b Source #

aws_Inh :: Zipper R -> [Int] Source #

aw_Inh :: Zipper R -> Int Source #

lines_Syn :: Zipper R -> [String] Source #

sumList :: [Int] -> Int Source #

lengthList :: [a] -> Int Source #

eq_zeros :: [a] Source #

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

maxList :: [Int] -> Int Source #

headList :: [Int] -> Int Source #

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 -> String Source #

hor_spaces :: Int -> String Source #

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 -> String Source #

nestedtable :: Table Source #

elem1 :: Elem Source #

elem2 :: Elem Source #

row1 :: Rows Source #

elem3 :: Elems Source #

table :: R Source #

printTable :: [String] -> String Source #

ata :: Zipper R -> Zipper R Source #

semantics :: R -> IO () Source #