Recognize.Data.StringLexer

Documentation

data LayoutMode

Constructors

Column

Row

Instances

Eq LayoutMode

Defined in Recognize.Data.StringLexer

Methods

(==) :: LayoutMode -> LayoutMode -> Bool

(/=) :: LayoutMode -> LayoutMode -> Bool

Show LayoutMode

Defined in Recognize.Data.StringLexer

Methods

showsPrec :: Int -> LayoutMode -> ShowS

show :: LayoutMode -> String

showList :: [LayoutMode] -> ShowS

ToXML LayoutMode

Defined in Recognize.Data.StringLexer

Methods

toXML :: LayoutMode -> XML

listToXML :: [LayoutMode] -> XML

data LexerOutput

The LexerOutput contains the lexed strings and the layout mode which is determind by the columnizer in Recognize.Parsing.MathLexer

Constructors

LexerOutput

Fields

• stringLexerOutput :: [String]
• layoutMode :: LayoutMode

Instances

Show LexerOutput

Defined in Recognize.Data.StringLexer

Methods

showsPrec :: Int -> LexerOutput -> ShowS

show :: LexerOutput -> String

showList :: [LexerOutput] -> ShowS

ToHTML LexerOutput

Defined in Recognize.Data.StringLexer

Methods

toHTML :: LexerOutput -> HTMLBuilder

listToHTML :: [LexerOutput] -> HTMLBuilder

ToXML LexerOutput

Defined in Recognize.Data.StringLexer

Methods

toXML :: LexerOutput -> XML

listToXML :: [LexerOutput] -> XML

Pretty LexerOutput

Defined in Recognize.Data.StringLexer

Methods

pretty :: LexerOutput -> Doc

prettyList :: [LexerOutput] -> Doc

stringLexer :: StringLexerOptions -> Maybe Language -> Input -> LexerOutput