Module

Data.Lens.Barlow.Parser

#ParsePercentage

class ParsePercentage (head :: Symbol) (tail :: Symbol) out (rest :: Symbol) | head tail -> out rest

Instances

ParsePercentage "1" t N1 t
ParsePercentage "2" t N2 t
ParsePercentage "3" t N3 t
ParsePercentage "4" t N4 t
ParsePercentage "5" t N5 t
ParsePercentage "6" t N6 t
ParsePercentage "7" t N7 t
ParsePercentage "8" t N8 t
ParsePercentage "9" t N9 t
ParsePercentage h "" h ""
(Cons th tt t, ParsePercentageSymbol th tt tout trest, Cons h tout out) => ParsePercentage h t out trest

#ParsePercentageSymbol

class ParsePercentageSymbol (head :: Symbol) (tail :: Symbol) (out :: Symbol) (rest :: Symbol) | head tail -> out rest

Instances

ParsePercentageSymbol "." t "" t
ParsePercentageSymbol " " t "" t
ParsePercentageSymbol h "" h ""
(Cons th tt t, ParsePercentageSymbol th tt tout trest, Cons h tout out) => ParsePercentageSymbol h t out trest

#ParseSymbol

class ParseSymbol (string :: Symbol) (attributes :: TList) | string -> attributes

Instances

ParseSymbol "?" (TCons QuestionMark TNil)
ParseSymbol ">" (TCons RightArrow TNil)
ParseSymbol "<" (TCons LeftArrow TNil)
ParseSymbol "+" (TCons Plus TNil)
ParseSymbol "!" (TCons ExclamationMark TNil)
ParseSymbol "" TNil
(Cons h t string, Parse1Symbol h t fl) => ParseSymbol string fl

#Parse1Symbol

class Parse1Symbol (head :: Symbol) (tail :: Symbol) (out :: TList) | head tail -> out

Instances

Parse1Symbol a "" (TCons (RecordField a) TNil)
(ParseSymbol s rest) => Parse1Symbol "." s rest
(ParseSymbol s rest) => Parse1Symbol "?" s (TCons QuestionMark rest)
(ParseSymbol s rest) => Parse1Symbol ">" s (TCons RightArrow rest)
(ParseSymbol s rest) => Parse1Symbol "<" s (TCons LeftArrow rest)
(ParseSymbol s rest) => Parse1Symbol "+" s (TCons Plus rest)
(ParseSymbol s rest) => Parse1Symbol "!" s (TCons ExclamationMark rest)
(Cons th tt t, ParsePercentage th tt tout trest, ParseSymbol trest rest) => Parse1Symbol "%" t (TCons (Percentage tout) rest)
(Cons th tt t, ParseRecordField th tt tout trest, Cons h tout out, ParseSymbol trest rest) => Parse1Symbol h t (TCons (RecordField out) rest)

#ParseRecordField

class ParseRecordField (head :: Symbol) (tail :: Symbol) (out :: Symbol) (rest :: Symbol) | head tail -> out rest

Instances

ParseRecordField "." t "" t
(Cons "?" t out) => ParseRecordField "?" t "" out
(Cons "<" t out) => ParseRecordField "<" t "" out
(Cons ">" t out) => ParseRecordField ">" t "" out
(Cons "+" t out) => ParseRecordField "+" t "" out
(Cons "!" t out) => ParseRecordField "!" t "" out
ParseRecordField h "" h ""
(Cons th tt t, ParseRecordField th tt tout trest, Cons h tout out) => ParseRecordField h t out trest

Modules