Module
Data.Lens.Barlow.Parser
- Package
- purescript-barlow-lens
- Repository
- sigma-andex/purescript-barlow-lens
#ParseSymbol Source
class ParseSymbol (string :: Symbol) (attributes :: TList) | string -> attributesInstances
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 (head :: Symbol) (tail :: Symbol) (out :: TList) | head tail -> outInstances
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, ParseRecordField th tt tout trest, Cons h tout out, ParseSymbol trest rest) => Parse1Symbol h t (TCons (RecordField out) rest)
#ParseRecordField Source
class ParseRecordField (head :: Symbol) (tail :: Symbol) (out :: Symbol) (rest :: Symbol) | head tail -> out restInstances
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