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 -> Constraintclass ParsePercentage (head :: Symbol) (tail :: Symbol) out (rest :: Symbol) | head tail -> out rest
Instances
ParsePercentage "1" t N1 tParsePercentage "2" t N2 tParsePercentage "3" t N3 tParsePercentage "4" t N4 tParsePercentage "5" t N5 tParsePercentage "6" t N6 tParsePercentage "7" t N7 tParsePercentage "8" t N8 tParsePercentage "9" t N9 tParsePercentage 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 -> Constraintclass ParsePercentageSymbol (head :: Symbol) (tail :: Symbol) (out :: Symbol) (rest :: Symbol) | head tail -> out rest
Instances
ParsePercentageSymbol "." t "" tParsePercentageSymbol " " t "" tParsePercentageSymbol 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 -> Constraintclass 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 -> Constraintclass 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 -> Constraintclass 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 "" outParseRecordField h "" h ""(Cons th tt t, ParseRecordField th tt tout trest, Cons h tout out) => ParseRecordField h t out trest