backend-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Language.Ltml.Tree

Synopsis

Documentation

type FlaggedTree flag a b = Flagged flag (TypedTree flag a b) Source #

data TypedTree flag a b Source #

Constructors

TypedTree KindName TypeName (Tree flag a b) 

Instances

Instances details
(Show a, Show flag, Show b) => Show (TypedTree flag a b) Source # 
Instance details

Defined in Language.Ltml.Tree

Methods

showsPrec :: Int -> TypedTree flag a b -> ShowS #

show :: TypedTree flag a b -> String #

showList :: [TypedTree flag a b] -> ShowS #

data Tree flag a b Source #

Constructors

Tree a [FlaggedTree flag a b] 
Leaf b 

Instances

Instances details
(Show a, Show flag, Show b) => Show (Tree flag a b) Source # 
Instance details

Defined in Language.Ltml.Tree

Methods

showsPrec :: Int -> Tree flag a b -> ShowS #

show :: Tree flag a b -> String #

showList :: [Tree flag a b] -> ShowS #

flaggedTreeMap :: (fl -> fl') -> (a -> a') -> (b -> b') -> FlaggedTree fl a b -> FlaggedTree fl' a' b' Source #

type InputTree flag = Tree flag (Maybe Text) Text Source #

type FlaggedInputTree' = FlaggedInputTree Bool Source #

A tree with textual nodes that can be parsed to obtain an LTML tree. See Flagged' on the semantics of the boolean flag.

type FlaggedMetaTree id = FlaggedTree id RenderedTocEntry RenderedTocEntry Source #

A tree containing metadata, to be sent to the frontend. The type parameter is typically an identifier type.