Pinchot.Examples.AllRulesRecord

This module shows how to generate a product type holding all the productions that result from a given Rule. You wil want to look at the source code, as the Haddocks will show you only the generated type, not the Template Haskell used to generate it.

Documentation

data Productions r t a

Constructors

Productions

Fields

• a'Address :: (Prod r String (t, a) (Address t a))
• a'NameLine :: (Prod r String (t, a) (NameLine t a))
• a'Words :: (Prod r String (t, a) (Words t a))
• a'PostalWord :: (Prod r String (t, a) (PostalWord t a))
• a'Letter :: (Prod r String (t, a) (Letter t a))
• a'Letters :: (Prod r String (t, a) (Letters t a))
• a'PreSpacedWord'Star :: (Prod r String (t, a) (PreSpacedWord'Star t a))
• a'PreSpacedWord :: (Prod r String (t, a) (PreSpacedWord t a))
• a'Space :: (Prod r String (t, a) (Space t a))
• a'Separator :: (Prod r String (t, a) (Separator t a))
• a'CommaSpace :: (Prod r String (t, a) (CommaSpace t a))
• a'Comma :: (Prod r String (t, a) (Comma t a))
• a'Newline :: (Prod r String (t, a) (Newline t a))
• a'StreetLine :: (Prod r String (t, a) (StreetLine t a))
• a'Number :: (Prod r String (t, a) (Number t a))
• a'Digit'Plus :: (Prod r String (t, a) (Digit'Plus t a))
• a'Digit :: (Prod r String (t, a) (Digit t a))
• a'DirectionSpace'Opt :: (Prod r String (t, a) (DirectionSpace'Opt t a))
• a'DirectionSpace :: (Prod r String (t, a) (DirectionSpace t a))
• a'Direction :: (Prod r String (t, a) (Direction t a))
• a'North :: (Prod r String (t, a) (North t a))
• a'South :: (Prod r String (t, a) (South t a))
• a'East :: (Prod r String (t, a) (East t a))
• a'West :: (Prod r String (t, a) (West t a))
• a'NE :: (Prod r String (t, a) (NE t a))
• a'NW :: (Prod r String (t, a) (NW t a))
• a'SE :: (Prod r String (t, a) (SE t a))
• a'SW :: (Prod r String (t, a) (SW t a))
• a'StreetName :: (Prod r String (t, a) (StreetName t a))
• a'SpaceSuffix'Opt :: (Prod r String (t, a) (SpaceSuffix'Opt t a))
• a'SpaceSuffix :: (Prod r String (t, a) (SpaceSuffix t a))
• a'Suffix :: (Prod r String (t, a) (Suffix t a))
• a'Street :: (Prod r String (t, a) (Street t a))
• a'Avenue :: (Prod r String (t, a) (Avenue t a))
• a'Way :: (Prod r String (t, a) (Way t a))
• a'Boulevard :: (Prod r String (t, a) (Boulevard t a))
• a'CityLine :: (Prod r String (t, a) (CityLine t a))
• a'City :: (Prod r String (t, a) (City t a))
• a'State :: (Prod r String (t, a) (State t a))
• a'ZipCode :: (Prod r String (t, a) (ZipCode t a))
• a'Newline'Opt :: (Prod r String (t, a) (Newline'Opt t a))