Recognize.Data.StringLexer

Description

Synopsis

Documentation

Constructors

Column
Row

Instances

Eq LayoutMode Source #
Instance details Defined in Recognize.Data.StringLexer Methods (==) :: LayoutMode -> LayoutMode -> Bool # (/=) :: LayoutMode -> LayoutMode -> Bool #
Show LayoutMode Source #
Instance details Defined in Recognize.Data.StringLexer Methods showsPrec :: Int -> LayoutMode -> ShowS # show :: LayoutMode -> String # showList :: [LayoutMode] -> ShowS #
ToXML LayoutMode Source #
Instance details Defined in Recognize.Data.StringLexer Methods toXML :: LayoutMode -> XML # listToXML :: [LayoutMode] -> XML #

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 Source #
Instance details Defined in Recognize.Data.StringLexer Methods showsPrec :: Int -> LexerOutput -> ShowS # show :: LexerOutput -> String # showList :: [LexerOutput] -> ShowS #
ToHTML LexerOutput Source #
Instance details Defined in Recognize.Data.StringLexer Methods toHTML :: LexerOutput -> HTMLBuilder # listToHTML :: [LexerOutput] -> HTMLBuilder #
ToXML LexerOutput Source #
Instance details Defined in Recognize.Data.StringLexer Methods toXML :: LexerOutput -> XML # listToXML :: [LexerOutput] -> XML #
Pretty LexerOutput Source #
Instance details Defined in Recognize.Data.StringLexer Methods pretty :: LexerOutput -> Doc # prettyList :: [LexerOutput] -> Doc #