Safe Haskell	None
Language	Haskell2010

Language.Ltml.Common

Synopsis

data Flagged flag a = Flagged flag a
type Flagged' = Flagged Bool
flagMap :: (fl -> fl') -> Flagged fl a -> Flagged fl' a
type ParseError = ParseErrorBundle Text Void
type Parsed = Either ParseError
data NavTocHeaded a = NavTocHeaded NavTocHeading a

Documentation

data Flagged flag a Source #

Constructors

Flagged flag a

Instances

Instances details

TraversableF (Flagged flag) Source #
Instance details Defined in Language.Ltml.Common Methods traverseF :: Functor f => (a -> f b) -> Flagged flag a -> f (Flagged flag b) Source # sequenceF :: Functor f => Flagged flag (f a) -> f (Flagged flag a) Source #
ToPreLaTeXM a => ToPreLaTeXM (Flagged' a) Source #	This instance manages which part of the AST is actually translated into LaTeX; Everything else is just used to build up the needed context (labels, etc.)
Instance details Defined in Language.Ltml.ToLaTeX.ToPreLaTeXM Methods toPreLaTeXM :: Flagged' a -> State GlobalState PreLaTeX Source #
Functor (Flagged flag) Source #
Instance details Defined in Language.Ltml.Common Methods fmap :: (a -> b) -> Flagged flag a -> Flagged flag b # (<$) :: a -> Flagged flag b -> Flagged flag a #
(Show flag, Show a) => Show (Flagged flag a) Source #
Instance details Defined in Language.Ltml.Common Methods showsPrec :: Int -> Flagged flag a -> ShowS # show :: Flagged flag a -> String # showList :: [Flagged flag a] -> ShowS #

type Flagged' = Flagged Bool Source #

Boolean flagging wrapper for input tree nodes (FlaggedInputTree) and AST nodes.

The flag indicates whether output should be generated for the respective flagged node.

Flags always match between corresponding input tree nodes and AST nodes; in particular, in the AST, the flag is only ever positive for nodes that correspond to a node in the input tree.

flagMap :: (fl -> fl') -> Flagged fl a -> Flagged fl' a Source #

type ParseError = ParseErrorBundle Text Void Source #

type Parsed = Either ParseError Source #

Parsed x denotes a node that may (!) have been parsed from text (a leaf of the input tree), in which case parsing may have failed. It only ever wraps nodes that correspond to nodes in the input tree. I.e., this is used with nodes that can correspond to leaf nodes in the input tree.

data NavTocHeaded a Source #

Constructors

NavTocHeaded NavTocHeading a

Instances

Instances details

ToPreLaTeXM a => ToPreLaTeXM (NavTocHeaded (Parsed a)) Source #	irrelevant for pdf generation
Instance details Defined in Language.Ltml.ToLaTeX.ToPreLaTeXM Methods toPreLaTeXM :: NavTocHeaded (Parsed a) -> State GlobalState PreLaTeX Source #
Show a => Show (NavTocHeaded a) Source #
Instance details Defined in Language.Ltml.Common Methods showsPrec :: Int -> NavTocHeaded a -> ShowS # show :: NavTocHeaded a -> String # showList :: [NavTocHeaded a] -> ShowS #