Pinchot.Examples.RulesToOptics

This module shows how to use Template Haskell to generate optics (lenses, prisms, and isos) for the rules in your grammar. You will want to look at the source code, as the Haddocks will show the generated types but it will not show the Template Haskell used to generate them.

Documentation

r'ZipCode'4'Digit :: forall t a. Lens' (ZipCode t a) (Digit t a)

r'ZipCode'3'Digit :: forall t a. Lens' (ZipCode t a) (Digit t a)

r'ZipCode'2'Digit :: forall t a. Lens' (ZipCode t a) (Digit t a)

r'ZipCode'1'Digit :: forall t a. Lens' (ZipCode t a) (Digit t a)

r'ZipCode'0'Digit :: forall t a. Lens' (ZipCode t a) (Digit t a)

r'CityLine'6'Newline'Opt :: forall t a. Lens' (CityLine t a) (Newline'Opt t a)

r'CityLine'5'ZipCode :: forall t a. Lens' (CityLine t a) (ZipCode t a)

r'CityLine'4'Space :: forall t a. Lens' (CityLine t a) (Space t a)

r'CityLine'3'State :: forall t a. Lens' (CityLine t a) (State t a)

r'CityLine'2'Space :: forall t a. Lens' (CityLine t a) (Space t a)

r'CityLine'1'Comma :: forall t a. Lens' (CityLine t a) (Comma t a)

r'CityLine'0'City :: forall t a. Lens' (CityLine t a) (City t a)

_Boulevard'3 :: forall a. Prism' (Char, a) (Boulevard'3 Char a)

_Boulevard'2 :: forall a. Prism' (Char, a) (Boulevard'2 Char a)

_Boulevard'1 :: forall a. Prism' (Char, a) (Boulevard'1 Char a)

_Boulevard'0 :: forall a. Prism' (Char, a) (Boulevard'0 Char a)

r'Boulevard'3'Boulevard'3 :: forall t a. Lens' (Boulevard t a) (Boulevard'3 t a)

r'Boulevard'2'Boulevard'2 :: forall t a. Lens' (Boulevard t a) (Boulevard'2 t a)

r'Boulevard'1'Boulevard'1 :: forall t a. Lens' (Boulevard t a) (Boulevard'1 t a)

r'Boulevard'0'Boulevard'0 :: forall t a. Lens' (Boulevard t a) (Boulevard'0 t a)

_Way'2 :: forall a. Prism' (Char, a) (Way'2 Char a)

_Way'1 :: forall a. Prism' (Char, a) (Way'1 Char a)

_Way'0 :: forall a. Prism' (Char, a) (Way'0 Char a)

r'Way'2'Way'2 :: forall t a. Lens' (Way t a) (Way'2 t a)

r'Way'1'Way'1 :: forall t a. Lens' (Way t a) (Way'1 t a)

r'Way'0'Way'0 :: forall t a. Lens' (Way t a) (Way'0 t a)

_Avenue'2 :: forall a. Prism' (Char, a) (Avenue'2 Char a)

_Avenue'1 :: forall a. Prism' (Char, a) (Avenue'1 Char a)

_Avenue'0 :: forall a. Prism' (Char, a) (Avenue'0 Char a)

r'Avenue'2'Avenue'2 :: forall t a. Lens' (Avenue t a) (Avenue'2 t a)

r'Avenue'1'Avenue'1 :: forall t a. Lens' (Avenue t a) (Avenue'1 t a)

r'Avenue'0'Avenue'0 :: forall t a. Lens' (Avenue t a) (Avenue'0 t a)

_Street'1 :: forall a. Prism' (Char, a) (Street'1 Char a)

_Street'0 :: forall a. Prism' (Char, a) (Street'0 Char a)

r'Street'1'Street'1 :: forall t a. Lens' (Street t a) (Street'1 t a)

r'Street'0'Street'0 :: forall t a. Lens' (Street t a) (Street'0 t a)

_Suffix'Boulevard :: forall t a. Prism' (Suffix t a) (Boulevard t a)

_Suffix'Way :: forall t a. Prism' (Suffix t a) (Way t a)

_Suffix'Avenue :: forall t a. Prism' (Suffix t a) (Avenue t a)

_Suffix'Street :: forall t a. Prism' (Suffix t a) (Street t a)

r'SpaceSuffix'1'Suffix :: forall t a. Lens' (SpaceSuffix t a) (Suffix t a)

r'SpaceSuffix'0'Space :: forall t a. Lens' (SpaceSuffix t a) (Space t a)

_SW'1 :: forall a. Prism' (Char, a) (SW'1 Char a)

_SW'0 :: forall a. Prism' (Char, a) (SW'0 Char a)

r'SW'1'SW'1 :: forall t a. Lens' (SW t a) (SW'1 t a)

r'SW'0'SW'0 :: forall t a. Lens' (SW t a) (SW'0 t a)

_SE'1 :: forall a. Prism' (Char, a) (SE'1 Char a)

_SE'0 :: forall a. Prism' (Char, a) (SE'0 Char a)

r'SE'1'SE'1 :: forall t a. Lens' (SE t a) (SE'1 t a)

r'SE'0'SE'0 :: forall t a. Lens' (SE t a) (SE'0 t a)

_NW'1 :: forall a. Prism' (Char, a) (NW'1 Char a)

_NW'0 :: forall a. Prism' (Char, a) (NW'0 Char a)

r'NW'1'NW'1 :: forall t a. Lens' (NW t a) (NW'1 t a)

r'NW'0'NW'0 :: forall t a. Lens' (NW t a) (NW'0 t a)

_NE'1 :: forall a. Prism' (Char, a) (NE'1 Char a)

_NE'0 :: forall a. Prism' (Char, a) (NE'0 Char a)

r'NE'1'NE'1 :: forall t a. Lens' (NE t a) (NE'1 t a)

r'NE'0'NE'0 :: forall t a. Lens' (NE t a) (NE'0 t a)

_West :: forall a. Prism' (Char, a) (West Char a)

_East :: forall a. Prism' (Char, a) (East Char a)

_South :: forall a. Prism' (Char, a) (South Char a)

_North :: forall a. Prism' (Char, a) (North Char a)

_Direction'SW :: forall t a. Prism' (Direction t a) (SW t a)

_Direction'SE :: forall t a. Prism' (Direction t a) (SE t a)

_Direction'NW :: forall t a. Prism' (Direction t a) (NW t a)

_Direction'NE :: forall t a. Prism' (Direction t a) (NE t a)

_Direction'West :: forall t a. Prism' (Direction t a) (West t a)

_Direction'East :: forall t a. Prism' (Direction t a) (East t a)

_Direction'South :: forall t a. Prism' (Direction t a) (South t a)

_Direction'North :: forall t a. Prism' (Direction t a) (North t a)

r'DirectionSpace'1'Space :: forall t a. Lens' (DirectionSpace t a) (Space t a)

r'DirectionSpace'0'Direction :: forall t a. Lens' (DirectionSpace t a) (Direction t a)

_Digit :: forall a. Prism' (Char, a) (Digit Char a)

r'StreetLine'5'Separator :: forall t a. Lens' (StreetLine t a) (Separator t a)

r'StreetLine'4'SpaceSuffix'Opt :: forall t a. Lens' (StreetLine t a) (SpaceSuffix'Opt t a)

r'StreetLine'3'StreetName :: forall t a. Lens' (StreetLine t a) (StreetName t a)

r'StreetLine'2'DirectionSpace'Opt :: forall t a. Lens' (StreetLine t a) (DirectionSpace'Opt t a)

r'StreetLine'1'Space :: forall t a. Lens' (StreetLine t a) (Space t a)

r'StreetLine'0'Number :: forall t a. Lens' (StreetLine t a) (Number t a)

_Newline :: forall a. Prism' (Char, a) (Newline Char a)

_Comma :: forall a. Prism' (Char, a) (Comma Char a)

r'CommaSpace'1'Space :: forall t a. Lens' (CommaSpace t a) (Space t a)

r'CommaSpace'0'Comma :: forall t a. Lens' (CommaSpace t a) (Comma t a)

_Separator'Newline :: forall t a. Prism' (Separator t a) (Newline t a)

_Separator'CommaSpace :: forall t a. Prism' (Separator t a) (CommaSpace t a)

_Space :: forall a. Prism' (Char, a) (Space Char a)

r'PreSpacedWord'1'PostalWord :: forall t a. Lens' (PreSpacedWord t a) (PostalWord t a)

r'PreSpacedWord'0'Space :: forall t a. Lens' (PreSpacedWord t a) (Space t a)

_ConsLetter :: forall t a. Prism' (Letters t a) (Letter t a, Letters t a)

_NoLetter :: forall t a. Prism' (Letters t a) ()

_Letter :: forall a. Prism' (Char, a) (Letter Char a)

r'PostalWord'1'Letters :: forall t a. Lens' (PostalWord t a) (Letters t a)

r'PostalWord'0'Letter :: forall t a. Lens' (PostalWord t a) (Letter t a)

r'Words'1'PreSpacedWord'Star :: forall t a. Lens' (Words t a) (PreSpacedWord'Star t a)

r'Words'0'PostalWord :: forall t a. Lens' (Words t a) (PostalWord t a)

r'NameLine'1'Separator :: forall t a. Lens' (NameLine t a) (Separator t a)

r'NameLine'0'Words :: forall t a. Lens' (NameLine t a) (Words t a)

r'Address'2'CityLine :: forall t a. Lens' (Address t a) (CityLine t a)

r'Address'1'StreetLine :: forall t a. Lens' (Address t a) (StreetLine t a)

r'Address'0'NameLine :: forall t a. Lens' (Address t a) (NameLine t a)