Module
Data.Lens.Barlow.Parser
- Package
- purescript-barlow-lens
- Repository
- sigma-andex/purescript-barlow-lens
#ParsePercentage Source
class ParsePercentage :: forall k. Symbol -> Symbol -> k -> Symbol -> Constraint
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 Source
class ParsePercentageSymbol :: Symbol -> Symbol -> Symbol -> Symbol -> Constraint
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 Source
class ParseSymbol :: Symbol -> TList -> Constraint
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 Source
class Parse1Symbol :: Symbol -> Symbol -> TList -> Constraint
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 Source
class ParseRecordField :: Symbol -> Symbol -> Symbol -> Symbol -> Constraint
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