Safe Haskell | None |
---|---|
Language | Haskell2010 |
Provides an example of ruleTreeToTypes
, but unlike
Pinchot.Examples.PostalAstAllRules, does not make optics.
- newtype Digit = Digit Char
- newtype Digit'Seq1 = Digit'Seq1 (Digit, Seq Digit)
- newtype Letter = Letter Char
- newtype North = North Char
- newtype South = South Char
- newtype East = East Char
- newtype West = West Char
- data Direction
- newtype Street = Street (Seq Char)
- newtype Avenue = Avenue (Seq Char)
- newtype Way = Way (Seq Char)
- newtype Boulevard = Boulevard (Seq Char)
- data Suffix
- newtype Space = Space Char
- newtype Comma = Comma Char
- data Letters
- data PostalWord = PostalWord {}
- data PreSpacedWord = PreSpacedWord {}
- newtype PreSpacedWord'Seq = PreSpacedWord'Seq (Seq PreSpacedWord)
- data Words = Words {}
- newtype Number = Number Digit'Seq1
- newtype StreetName = StreetName Words
- newtype City = City Words
- newtype State = State PostalWord
- newtype ZipCode = ZipCode Digit'Seq1
- data DirectionSpace = DirectionSpace {}
- data SpaceSuffix = SpaceSuffix {}
- newtype DirectionSpace'Maybe = DirectionSpace'Maybe (Maybe DirectionSpace)
- newtype SpaceSuffix'Maybe = SpaceSuffix'Maybe (Maybe SpaceSuffix)
- data Address = Address {
- _r'Address'0'Number :: Number
- _r'Address'1'Space :: Space
- _r'Address'2'DirectionSpace'Maybe :: DirectionSpace'Maybe
- _r'Address'3'StreetName :: StreetName
- _r'Address'4'SpaceSuffix'Maybe :: SpaceSuffix'Maybe
- _r'Address'5'Comma :: Comma
- _r'Address'6'Space :: Space
- _r'Address'7'City :: City
- _r'Address'8'Comma :: Comma
- _r'Address'9'Space :: Space
- _r'Address'10'State :: State
- _r'Address'11'Space :: Space
- _r'Address'12'ZipCode :: ZipCode
- t'Address :: Address -> Seq Char
- t'SpaceSuffix'Maybe :: SpaceSuffix'Maybe -> Seq Char
- t'DirectionSpace'Maybe :: DirectionSpace'Maybe -> Seq Char
- t'SpaceSuffix :: SpaceSuffix -> Seq Char
- t'DirectionSpace :: DirectionSpace -> Seq Char
- t'ZipCode :: ZipCode -> Seq Char
- t'State :: State -> Seq Char
- t'City :: City -> Seq Char
- t'StreetName :: StreetName -> Seq Char
- t'Number :: Number -> Seq Char
- t'Words :: Words -> Seq Char
- t'PreSpacedWord'Seq :: PreSpacedWord'Seq -> Seq Char
- t'PreSpacedWord :: PreSpacedWord -> Seq Char
- t'PostalWord :: PostalWord -> Seq Char
- t'Letters :: Letters -> Seq Char
- t'Comma :: Comma -> Seq Char
- t'Space :: Space -> Seq Char
- t'Suffix :: Suffix -> Seq Char
- t'Boulevard :: Boulevard -> Seq Char
- t'Way :: Way -> Seq Char
- t'Avenue :: Avenue -> Seq Char
- t'Street :: Street -> Seq Char
- t'Direction :: Direction -> Seq Char
- t'West :: West -> Seq Char
- t'East :: East -> Seq Char
- t'South :: South -> Seq Char
- t'North :: North -> Seq Char
- t'Letter :: Letter -> Seq Char
- t'Digit'Seq1 :: Digit'Seq1 -> Seq Char
- t'Digit :: Digit -> Seq Char
- postalGrammar :: Grammar r (Prod r String Char Address)
Documentation
newtype Digit'Seq1 Source
Digit'Seq1 (Digit, Seq Digit) |
data PostalWord Source
data PreSpacedWord Source
newtype PreSpacedWord'Seq Source
newtype StreetName Source
data DirectionSpace Source
data SpaceSuffix Source
newtype DirectionSpace'Maybe Source
newtype SpaceSuffix'Maybe Source
t'SpaceSuffix :: SpaceSuffix -> Seq Char Source
t'StreetName :: StreetName -> Seq Char Source
t'PostalWord :: PostalWord -> Seq Char Source
t'Boulevard :: Boulevard -> Seq Char Source
t'Direction :: Direction -> Seq Char Source
t'Digit'Seq1 :: Digit'Seq1 -> Seq Char Source