Safe Haskell	None
Language	Haskell2010

Pinchot.Examples.SyntaxTrees

Description

This module shows how to use Template Haskell to generate the data types corresponding to your context-free grammar. You will want to look at the source; the Haddocks will show only the generated types and not the Template Haskell that was used to generate them.

Documentation

newtype Letter t a Source

Constructors

Letter (t, a)

Instances

Functor (Letter t) Source
Foldable (Letter t) Source
Traversable (Letter t) Source
(Eq t, Eq a) => Eq (Letter t a) Source
(Ord t, Ord a) => Ord (Letter t a) Source
(Show t, Show a) => Show (Letter t a) Source
Wrapped (Letter t a) Source
type Unwrapped (Letter t a) = (t, a) Source

data Letters t a Source

Constructors

NoLetter
ConsLetter (Letter t a) (Letters t a)

Instances

Functor (Letters t) Source
Foldable (Letters t) Source
Traversable (Letters t) Source
(Eq t, Eq a) => Eq (Letters t a) Source
(Ord t, Ord a) => Ord (Letters t a) Source
(Show t, Show a) => Show (Letters t a) Source

data PostalWord t a Source

Constructors

PostalWord
Fields _r'PostalWord'0'Letter :: Letter t a _r'PostalWord'1'Letters :: Letters t a

Instances

Functor (PostalWord t) Source
Foldable (PostalWord t) Source
Traversable (PostalWord t) Source
(Eq t, Eq a) => Eq (PostalWord t a) Source
(Ord t, Ord a) => Ord (PostalWord t a) Source
(Show t, Show a) => Show (PostalWord t a) Source

newtype Space t a Source

Constructors

Space (t, a)

Instances

Functor (Space t) Source
Foldable (Space t) Source
Traversable (Space t) Source
(Eq t, Eq a) => Eq (Space t a) Source
(Ord t, Ord a) => Ord (Space t a) Source
(Show t, Show a) => Show (Space t a) Source
Wrapped (Space t a) Source
type Unwrapped (Space t a) = (t, a) Source

data PreSpacedWord t a Source

Constructors

PreSpacedWord
Fields _r'PreSpacedWord'0'Space :: Space t a _r'PreSpacedWord'1'PostalWord :: PostalWord t a

Instances

Functor (PreSpacedWord t) Source
Foldable (PreSpacedWord t) Source
Traversable (PreSpacedWord t) Source
(Eq t, Eq a) => Eq (PreSpacedWord t a) Source
(Ord t, Ord a) => Ord (PreSpacedWord t a) Source
(Show t, Show a) => Show (PreSpacedWord t a) Source

newtype PreSpacedWord'Star t a Source

Constructors

PreSpacedWord'Star (Seq (PreSpacedWord t a))

Instances

Functor (PreSpacedWord'Star t) Source
Foldable (PreSpacedWord'Star t) Source
Traversable (PreSpacedWord'Star t) Source
(Eq t, Eq a) => Eq (PreSpacedWord'Star t a) Source
(Ord t, Ord a) => Ord (PreSpacedWord'Star t a) Source
(Show t, Show a) => Show (PreSpacedWord'Star t a) Source
Wrapped (PreSpacedWord'Star t a) Source
type Unwrapped (PreSpacedWord'Star t a) = Seq (PreSpacedWord t a) Source

data Words t a Source

Constructors

Words
Fields _r'Words'0'PostalWord :: PostalWord t a _r'Words'1'PreSpacedWord'Star :: PreSpacedWord'Star t a

Instances

Functor (Words t) Source
Foldable (Words t) Source
Traversable (Words t) Source
(Eq t, Eq a) => Eq (Words t a) Source
(Ord t, Ord a) => Ord (Words t a) Source
(Show t, Show a) => Show (Words t a) Source

newtype Comma t a Source

Constructors

Comma (t, a)

Instances

Functor (Comma t) Source
Foldable (Comma t) Source
Traversable (Comma t) Source
(Eq t, Eq a) => Eq (Comma t a) Source
(Ord t, Ord a) => Ord (Comma t a) Source
(Show t, Show a) => Show (Comma t a) Source
Wrapped (Comma t a) Source
type Unwrapped (Comma t a) = (t, a) Source

data CommaSpace t a Source

Constructors

CommaSpace
Fields _r'CommaSpace'0'Comma :: Comma t a _r'CommaSpace'1'Space :: Space t a

Instances

Functor (CommaSpace t) Source
Foldable (CommaSpace t) Source
Traversable (CommaSpace t) Source
(Eq t, Eq a) => Eq (CommaSpace t a) Source
(Ord t, Ord a) => Ord (CommaSpace t a) Source
(Show t, Show a) => Show (CommaSpace t a) Source

newtype Newline t a Source

Constructors

Newline (t, a)

Instances

Functor (Newline t) Source
Foldable (Newline t) Source
Traversable (Newline t) Source
(Eq t, Eq a) => Eq (Newline t a) Source
(Ord t, Ord a) => Ord (Newline t a) Source
(Show t, Show a) => Show (Newline t a) Source
Wrapped (Newline t a) Source
type Unwrapped (Newline t a) = (t, a) Source

data Separator t a Source

Constructors

Separator'CommaSpace (CommaSpace t a)
Separator'Newline (Newline t a)

Instances

Functor (Separator t) Source
Foldable (Separator t) Source
Traversable (Separator t) Source
(Eq t, Eq a) => Eq (Separator t a) Source
(Ord t, Ord a) => Ord (Separator t a) Source
(Show t, Show a) => Show (Separator t a) Source

data NameLine t a Source

Constructors

NameLine
Fields _r'NameLine'0'Words :: Words t a _r'NameLine'1'Separator :: Separator t a

Instances

Functor (NameLine t) Source
Foldable (NameLine t) Source
Traversable (NameLine t) Source
(Eq t, Eq a) => Eq (NameLine t a) Source
(Ord t, Ord a) => Ord (NameLine t a) Source
(Show t, Show a) => Show (NameLine t a) Source

newtype Digit t a Source

Constructors

Digit (t, a)

Instances

Functor (Digit t) Source
Foldable (Digit t) Source
Traversable (Digit t) Source
(Eq t, Eq a) => Eq (Digit t a) Source
(Ord t, Ord a) => Ord (Digit t a) Source
(Show t, Show a) => Show (Digit t a) Source
Wrapped (Digit t a) Source
type Unwrapped (Digit t a) = (t, a) Source

newtype Digit'Plus t a Source

Constructors

Digit'Plus (NonEmpty (Digit t a))

Instances

Functor (Digit'Plus t) Source
Foldable (Digit'Plus t) Source
Traversable (Digit'Plus t) Source
(Eq t, Eq a) => Eq (Digit'Plus t a) Source
(Ord t, Ord a) => Ord (Digit'Plus t a) Source
(Show t, Show a) => Show (Digit'Plus t a) Source
Wrapped (Digit'Plus t a) Source
type Unwrapped (Digit'Plus t a) = NonEmpty (Digit t a) Source

newtype Number t a Source

Constructors

Number (Digit'Plus t a)

Instances

Functor (Number t) Source
Foldable (Number t) Source
Traversable (Number t) Source
(Eq t, Eq a) => Eq (Number t a) Source
(Ord t, Ord a) => Ord (Number t a) Source
(Show t, Show a) => Show (Number t a) Source
Wrapped (Number t a) Source
type Unwrapped (Number t a) = Digit'Plus t a Source

newtype North t a Source

Constructors

North (t, a)

Instances

Functor (North t) Source
Foldable (North t) Source
Traversable (North t) Source
(Eq t, Eq a) => Eq (North t a) Source
(Ord t, Ord a) => Ord (North t a) Source
(Show t, Show a) => Show (North t a) Source
Wrapped (North t a) Source
type Unwrapped (North t a) = (t, a) Source

newtype South t a Source

Constructors

South (t, a)

Instances

Functor (South t) Source
Foldable (South t) Source
Traversable (South t) Source
(Eq t, Eq a) => Eq (South t a) Source
(Ord t, Ord a) => Ord (South t a) Source
(Show t, Show a) => Show (South t a) Source
Wrapped (South t a) Source
type Unwrapped (South t a) = (t, a) Source

newtype East t a Source

Constructors

East (t, a)

Instances

Functor (East t) Source
Foldable (East t) Source
Traversable (East t) Source
(Eq t, Eq a) => Eq (East t a) Source
(Ord t, Ord a) => Ord (East t a) Source
(Show t, Show a) => Show (East t a) Source
Wrapped (East t a) Source
type Unwrapped (East t a) = (t, a) Source

newtype West t a Source

Constructors

West (t, a)

Instances

Functor (West t) Source
Foldable (West t) Source
Traversable (West t) Source
(Eq t, Eq a) => Eq (West t a) Source
(Ord t, Ord a) => Ord (West t a) Source
(Show t, Show a) => Show (West t a) Source
Wrapped (West t a) Source
type Unwrapped (West t a) = (t, a) Source

newtype NE'0 t a Source

Constructors

NE'0 (t, a)

Instances

Functor (NE'0 t) Source
Foldable (NE'0 t) Source
Traversable (NE'0 t) Source
(Eq t, Eq a) => Eq (NE'0 t a) Source
(Ord t, Ord a) => Ord (NE'0 t a) Source
(Show t, Show a) => Show (NE'0 t a) Source
Wrapped (NE'0 t a) Source
type Unwrapped (NE'0 t a) = (t, a) Source

newtype NE'1 t a Source

Constructors

NE'1 (t, a)

Instances

Functor (NE'1 t) Source
Foldable (NE'1 t) Source
Traversable (NE'1 t) Source
(Eq t, Eq a) => Eq (NE'1 t a) Source
(Ord t, Ord a) => Ord (NE'1 t a) Source
(Show t, Show a) => Show (NE'1 t a) Source
Wrapped (NE'1 t a) Source
type Unwrapped (NE'1 t a) = (t, a) Source

data NE t a Source

Constructors

NE
Fields _r'NE'0'NE'0 :: NE'0 t a _r'NE'1'NE'1 :: NE'1 t a

Instances

Functor (NE t) Source
Foldable (NE t) Source
Traversable (NE t) Source
(Eq t, Eq a) => Eq (NE t a) Source
(Ord t, Ord a) => Ord (NE t a) Source
(Show t, Show a) => Show (NE t a) Source

newtype NW'0 t a Source

Constructors

NW'0 (t, a)

Instances

Functor (NW'0 t) Source
Foldable (NW'0 t) Source
Traversable (NW'0 t) Source
(Eq t, Eq a) => Eq (NW'0 t a) Source
(Ord t, Ord a) => Ord (NW'0 t a) Source
(Show t, Show a) => Show (NW'0 t a) Source
Wrapped (NW'0 t a) Source
type Unwrapped (NW'0 t a) = (t, a) Source

newtype NW'1 t a Source

Constructors

NW'1 (t, a)

Instances

Functor (NW'1 t) Source
Foldable (NW'1 t) Source
Traversable (NW'1 t) Source
(Eq t, Eq a) => Eq (NW'1 t a) Source
(Ord t, Ord a) => Ord (NW'1 t a) Source
(Show t, Show a) => Show (NW'1 t a) Source
Wrapped (NW'1 t a) Source
type Unwrapped (NW'1 t a) = (t, a) Source

data NW t a Source

Constructors

NW
Fields _r'NW'0'NW'0 :: NW'0 t a _r'NW'1'NW'1 :: NW'1 t a

Instances

Functor (NW t) Source
Foldable (NW t) Source
Traversable (NW t) Source
(Eq t, Eq a) => Eq (NW t a) Source
(Ord t, Ord a) => Ord (NW t a) Source
(Show t, Show a) => Show (NW t a) Source

newtype SE'0 t a Source

Constructors

SE'0 (t, a)

Instances

Functor (SE'0 t) Source
Foldable (SE'0 t) Source
Traversable (SE'0 t) Source
(Eq t, Eq a) => Eq (SE'0 t a) Source
(Ord t, Ord a) => Ord (SE'0 t a) Source
(Show t, Show a) => Show (SE'0 t a) Source
Wrapped (SE'0 t a) Source
type Unwrapped (SE'0 t a) = (t, a) Source

newtype SE'1 t a Source

Constructors

SE'1 (t, a)

Instances

Functor (SE'1 t) Source
Foldable (SE'1 t) Source
Traversable (SE'1 t) Source
(Eq t, Eq a) => Eq (SE'1 t a) Source
(Ord t, Ord a) => Ord (SE'1 t a) Source
(Show t, Show a) => Show (SE'1 t a) Source
Wrapped (SE'1 t a) Source
type Unwrapped (SE'1 t a) = (t, a) Source

data SE t a Source

Constructors

SE
Fields _r'SE'0'SE'0 :: SE'0 t a _r'SE'1'SE'1 :: SE'1 t a

Instances

Functor (SE t) Source
Foldable (SE t) Source
Traversable (SE t) Source
(Eq t, Eq a) => Eq (SE t a) Source
(Ord t, Ord a) => Ord (SE t a) Source
(Show t, Show a) => Show (SE t a) Source

newtype SW'0 t a Source

Constructors

SW'0 (t, a)

Instances

Functor (SW'0 t) Source
Foldable (SW'0 t) Source
Traversable (SW'0 t) Source
(Eq t, Eq a) => Eq (SW'0 t a) Source
(Ord t, Ord a) => Ord (SW'0 t a) Source
(Show t, Show a) => Show (SW'0 t a) Source
Wrapped (SW'0 t a) Source
type Unwrapped (SW'0 t a) = (t, a) Source

newtype SW'1 t a Source

Constructors

SW'1 (t, a)

Instances

Functor (SW'1 t) Source
Foldable (SW'1 t) Source
Traversable (SW'1 t) Source
(Eq t, Eq a) => Eq (SW'1 t a) Source
(Ord t, Ord a) => Ord (SW'1 t a) Source
(Show t, Show a) => Show (SW'1 t a) Source
Wrapped (SW'1 t a) Source
type Unwrapped (SW'1 t a) = (t, a) Source

data SW t a Source

Constructors

SW
Fields _r'SW'0'SW'0 :: SW'0 t a _r'SW'1'SW'1 :: SW'1 t a

Instances

Functor (SW t) Source
Foldable (SW t) Source
Traversable (SW t) Source
(Eq t, Eq a) => Eq (SW t a) Source
(Ord t, Ord a) => Ord (SW t a) Source
(Show t, Show a) => Show (SW t a) Source

data Direction t a Source

Constructors

Direction'North (North t a)
Direction'South (South t a)
Direction'East (East t a)
Direction'West (West t a)
Direction'NE (NE t a)
Direction'NW (NW t a)
Direction'SE (SE t a)
Direction'SW (SW t a)

Instances

Functor (Direction t) Source
Foldable (Direction t) Source
Traversable (Direction t) Source
(Eq t, Eq a) => Eq (Direction t a) Source
(Ord t, Ord a) => Ord (Direction t a) Source
(Show t, Show a) => Show (Direction t a) Source

data DirectionSpace t a Source

Constructors

DirectionSpace
Fields _r'DirectionSpace'0'Direction :: Direction t a _r'DirectionSpace'1'Space :: Space t a

Instances

Functor (DirectionSpace t) Source
Foldable (DirectionSpace t) Source
Traversable (DirectionSpace t) Source
(Eq t, Eq a) => Eq (DirectionSpace t a) Source
(Ord t, Ord a) => Ord (DirectionSpace t a) Source
(Show t, Show a) => Show (DirectionSpace t a) Source

newtype DirectionSpace'Opt t a Source

Constructors

DirectionSpace'Opt (Maybe (DirectionSpace t a))

Instances

Functor (DirectionSpace'Opt t) Source
Foldable (DirectionSpace'Opt t) Source
Traversable (DirectionSpace'Opt t) Source
(Eq t, Eq a) => Eq (DirectionSpace'Opt t a) Source
(Ord t, Ord a) => Ord (DirectionSpace'Opt t a) Source
(Show t, Show a) => Show (DirectionSpace'Opt t a) Source
Wrapped (DirectionSpace'Opt t a) Source
type Unwrapped (DirectionSpace'Opt t a) = Maybe (DirectionSpace t a) Source

newtype StreetName t a Source

Constructors

StreetName (Words t a)

Instances

Functor (StreetName t) Source
Foldable (StreetName t) Source
Traversable (StreetName t) Source
(Eq t, Eq a) => Eq (StreetName t a) Source
(Ord t, Ord a) => Ord (StreetName t a) Source
(Show t, Show a) => Show (StreetName t a) Source
Wrapped (StreetName t a) Source
type Unwrapped (StreetName t a) = Words t a Source

newtype Street'0 t a Source

Constructors

Street'0 (t, a)

Instances

Functor (Street'0 t) Source
Foldable (Street'0 t) Source
Traversable (Street'0 t) Source
(Eq t, Eq a) => Eq (Street'0 t a) Source
(Ord t, Ord a) => Ord (Street'0 t a) Source
(Show t, Show a) => Show (Street'0 t a) Source
Wrapped (Street'0 t a) Source
type Unwrapped (Street'0 t a) = (t, a) Source

newtype Street'1 t a Source

Constructors

Street'1 (t, a)

Instances

Functor (Street'1 t) Source
Foldable (Street'1 t) Source
Traversable (Street'1 t) Source
(Eq t, Eq a) => Eq (Street'1 t a) Source
(Ord t, Ord a) => Ord (Street'1 t a) Source
(Show t, Show a) => Show (Street'1 t a) Source
Wrapped (Street'1 t a) Source
type Unwrapped (Street'1 t a) = (t, a) Source

data Street t a Source

Constructors

Street
Fields _r'Street'0'Street'0 :: Street'0 t a _r'Street'1'Street'1 :: Street'1 t a

Instances

Functor (Street t) Source
Foldable (Street t) Source
Traversable (Street t) Source
(Eq t, Eq a) => Eq (Street t a) Source
(Ord t, Ord a) => Ord (Street t a) Source
(Show t, Show a) => Show (Street t a) Source

newtype Avenue'0 t a Source

Constructors

Avenue'0 (t, a)

Instances

Functor (Avenue'0 t) Source
Foldable (Avenue'0 t) Source
Traversable (Avenue'0 t) Source
(Eq t, Eq a) => Eq (Avenue'0 t a) Source
(Ord t, Ord a) => Ord (Avenue'0 t a) Source
(Show t, Show a) => Show (Avenue'0 t a) Source
Wrapped (Avenue'0 t a) Source
type Unwrapped (Avenue'0 t a) = (t, a) Source

newtype Avenue'1 t a Source

Constructors

Avenue'1 (t, a)

Instances

Functor (Avenue'1 t) Source
Foldable (Avenue'1 t) Source
Traversable (Avenue'1 t) Source
(Eq t, Eq a) => Eq (Avenue'1 t a) Source
(Ord t, Ord a) => Ord (Avenue'1 t a) Source
(Show t, Show a) => Show (Avenue'1 t a) Source
Wrapped (Avenue'1 t a) Source
type Unwrapped (Avenue'1 t a) = (t, a) Source

newtype Avenue'2 t a Source

Constructors

Avenue'2 (t, a)

Instances

Functor (Avenue'2 t) Source
Foldable (Avenue'2 t) Source
Traversable (Avenue'2 t) Source
(Eq t, Eq a) => Eq (Avenue'2 t a) Source
(Ord t, Ord a) => Ord (Avenue'2 t a) Source
(Show t, Show a) => Show (Avenue'2 t a) Source
Wrapped (Avenue'2 t a) Source
type Unwrapped (Avenue'2 t a) = (t, a) Source

data Avenue t a Source

Constructors

Avenue
Fields _r'Avenue'0'Avenue'0 :: Avenue'0 t a _r'Avenue'1'Avenue'1 :: Avenue'1 t a _r'Avenue'2'Avenue'2 :: Avenue'2 t a

Instances

Functor (Avenue t) Source
Foldable (Avenue t) Source
Traversable (Avenue t) Source
(Eq t, Eq a) => Eq (Avenue t a) Source
(Ord t, Ord a) => Ord (Avenue t a) Source
(Show t, Show a) => Show (Avenue t a) Source

newtype Way'0 t a Source

Constructors

Way'0 (t, a)

Instances

Functor (Way'0 t) Source
Foldable (Way'0 t) Source
Traversable (Way'0 t) Source
(Eq t, Eq a) => Eq (Way'0 t a) Source
(Ord t, Ord a) => Ord (Way'0 t a) Source
(Show t, Show a) => Show (Way'0 t a) Source
Wrapped (Way'0 t a) Source
type Unwrapped (Way'0 t a) = (t, a) Source

newtype Way'1 t a Source

Constructors

Way'1 (t, a)

Instances

Functor (Way'1 t) Source
Foldable (Way'1 t) Source
Traversable (Way'1 t) Source
(Eq t, Eq a) => Eq (Way'1 t a) Source
(Ord t, Ord a) => Ord (Way'1 t a) Source
(Show t, Show a) => Show (Way'1 t a) Source
Wrapped (Way'1 t a) Source
type Unwrapped (Way'1 t a) = (t, a) Source

newtype Way'2 t a Source

Constructors

Way'2 (t, a)

Instances

Functor (Way'2 t) Source
Foldable (Way'2 t) Source
Traversable (Way'2 t) Source
(Eq t, Eq a) => Eq (Way'2 t a) Source
(Ord t, Ord a) => Ord (Way'2 t a) Source
(Show t, Show a) => Show (Way'2 t a) Source
Wrapped (Way'2 t a) Source
type Unwrapped (Way'2 t a) = (t, a) Source

data Way t a Source

Constructors

Way
Fields _r'Way'0'Way'0 :: Way'0 t a _r'Way'1'Way'1 :: Way'1 t a _r'Way'2'Way'2 :: Way'2 t a

Instances

Functor (Way t) Source
Foldable (Way t) Source
Traversable (Way t) Source
(Eq t, Eq a) => Eq (Way t a) Source
(Ord t, Ord a) => Ord (Way t a) Source
(Show t, Show a) => Show (Way t a) Source

newtype Boulevard'0 t a Source

Constructors

Boulevard'0 (t, a)

Instances

Functor (Boulevard'0 t) Source
Foldable (Boulevard'0 t) Source
Traversable (Boulevard'0 t) Source
(Eq t, Eq a) => Eq (Boulevard'0 t a) Source
(Ord t, Ord a) => Ord (Boulevard'0 t a) Source
(Show t, Show a) => Show (Boulevard'0 t a) Source
Wrapped (Boulevard'0 t a) Source
type Unwrapped (Boulevard'0 t a) = (t, a) Source

newtype Boulevard'1 t a Source

Constructors

Boulevard'1 (t, a)

Instances

Functor (Boulevard'1 t) Source
Foldable (Boulevard'1 t) Source
Traversable (Boulevard'1 t) Source
(Eq t, Eq a) => Eq (Boulevard'1 t a) Source
(Ord t, Ord a) => Ord (Boulevard'1 t a) Source
(Show t, Show a) => Show (Boulevard'1 t a) Source
Wrapped (Boulevard'1 t a) Source
type Unwrapped (Boulevard'1 t a) = (t, a) Source

newtype Boulevard'2 t a Source

Constructors

Boulevard'2 (t, a)

Instances

Functor (Boulevard'2 t) Source
Foldable (Boulevard'2 t) Source
Traversable (Boulevard'2 t) Source
(Eq t, Eq a) => Eq (Boulevard'2 t a) Source
(Ord t, Ord a) => Ord (Boulevard'2 t a) Source
(Show t, Show a) => Show (Boulevard'2 t a) Source
Wrapped (Boulevard'2 t a) Source
type Unwrapped (Boulevard'2 t a) = (t, a) Source

newtype Boulevard'3 t a Source

Constructors

Boulevard'3 (t, a)

Instances

Functor (Boulevard'3 t) Source
Foldable (Boulevard'3 t) Source
Traversable (Boulevard'3 t) Source
(Eq t, Eq a) => Eq (Boulevard'3 t a) Source
(Ord t, Ord a) => Ord (Boulevard'3 t a) Source
(Show t, Show a) => Show (Boulevard'3 t a) Source
Wrapped (Boulevard'3 t a) Source
type Unwrapped (Boulevard'3 t a) = (t, a) Source

data Boulevard t a Source

Constructors

Boulevard
Fields _r'Boulevard'0'Boulevard'0 :: Boulevard'0 t a _r'Boulevard'1'Boulevard'1 :: Boulevard'1 t a _r'Boulevard'2'Boulevard'2 :: Boulevard'2 t a _r'Boulevard'3'Boulevard'3 :: Boulevard'3 t a

Instances

Functor (Boulevard t) Source
Foldable (Boulevard t) Source
Traversable (Boulevard t) Source
(Eq t, Eq a) => Eq (Boulevard t a) Source
(Ord t, Ord a) => Ord (Boulevard t a) Source
(Show t, Show a) => Show (Boulevard t a) Source

data Suffix t a Source

Constructors

Suffix'Street (Street t a)
Suffix'Avenue (Avenue t a)
Suffix'Way (Way t a)
Suffix'Boulevard (Boulevard t a)

Instances

Functor (Suffix t) Source
Foldable (Suffix t) Source
Traversable (Suffix t) Source
(Eq t, Eq a) => Eq (Suffix t a) Source
(Ord t, Ord a) => Ord (Suffix t a) Source
(Show t, Show a) => Show (Suffix t a) Source

data SpaceSuffix t a Source

Constructors

SpaceSuffix
Fields _r'SpaceSuffix'0'Space :: Space t a _r'SpaceSuffix'1'Suffix :: Suffix t a

Instances

Functor (SpaceSuffix t) Source
Foldable (SpaceSuffix t) Source
Traversable (SpaceSuffix t) Source
(Eq t, Eq a) => Eq (SpaceSuffix t a) Source
(Ord t, Ord a) => Ord (SpaceSuffix t a) Source
(Show t, Show a) => Show (SpaceSuffix t a) Source

newtype SpaceSuffix'Opt t a Source

Constructors

SpaceSuffix'Opt (Maybe (SpaceSuffix t a))

Instances

Functor (SpaceSuffix'Opt t) Source
Foldable (SpaceSuffix'Opt t) Source
Traversable (SpaceSuffix'Opt t) Source
(Eq t, Eq a) => Eq (SpaceSuffix'Opt t a) Source
(Ord t, Ord a) => Ord (SpaceSuffix'Opt t a) Source
(Show t, Show a) => Show (SpaceSuffix'Opt t a) Source
Wrapped (SpaceSuffix'Opt t a) Source
type Unwrapped (SpaceSuffix'Opt t a) = Maybe (SpaceSuffix t a) Source

data StreetLine t a Source

Constructors

StreetLine
Fields _r'StreetLine'0'Number :: Number t a _r'StreetLine'1'Space :: Space t a _r'StreetLine'2'DirectionSpace'Opt :: DirectionSpace'Opt t a _r'StreetLine'3'StreetName :: StreetName t a _r'StreetLine'4'SpaceSuffix'Opt :: SpaceSuffix'Opt t a _r'StreetLine'5'Separator :: Separator t a

Instances

Functor (StreetLine t) Source
Foldable (StreetLine t) Source
Traversable (StreetLine t) Source
(Eq t, Eq a) => Eq (StreetLine t a) Source
(Ord t, Ord a) => Ord (StreetLine t a) Source
(Show t, Show a) => Show (StreetLine t a) Source

newtype City t a Source

Constructors

City (Words t a)

Instances

Functor (City t) Source
Foldable (City t) Source
Traversable (City t) Source
(Eq t, Eq a) => Eq (City t a) Source
(Ord t, Ord a) => Ord (City t a) Source
(Show t, Show a) => Show (City t a) Source
Wrapped (City t a) Source
type Unwrapped (City t a) = Words t a Source

newtype State t a Source

Constructors

State (Words t a)

Instances

Functor (State t) Source
Foldable (State t) Source
Traversable (State t) Source
(Eq t, Eq a) => Eq (State t a) Source
(Ord t, Ord a) => Ord (State t a) Source
(Show t, Show a) => Show (State t a) Source
Wrapped (State t a) Source
type Unwrapped (State t a) = Words t a Source

data ZipCode t a Source

Constructors

ZipCode
Fields _r'ZipCode'0'Digit :: Digit t a _r'ZipCode'1'Digit :: Digit t a _r'ZipCode'2'Digit :: Digit t a _r'ZipCode'3'Digit :: Digit t a _r'ZipCode'4'Digit :: Digit t a

Instances

Functor (ZipCode t) Source
Foldable (ZipCode t) Source
Traversable (ZipCode t) Source
(Eq t, Eq a) => Eq (ZipCode t a) Source
(Ord t, Ord a) => Ord (ZipCode t a) Source
(Show t, Show a) => Show (ZipCode t a) Source

newtype Newline'Opt t a Source

Constructors

Newline'Opt (Maybe (Newline t a))

Instances

Functor (Newline'Opt t) Source
Foldable (Newline'Opt t) Source
Traversable (Newline'Opt t) Source
(Eq t, Eq a) => Eq (Newline'Opt t a) Source
(Ord t, Ord a) => Ord (Newline'Opt t a) Source
(Show t, Show a) => Show (Newline'Opt t a) Source
Wrapped (Newline'Opt t a) Source
type Unwrapped (Newline'Opt t a) = Maybe (Newline t a) Source

data CityLine t a Source

Constructors

CityLine
Fields _r'CityLine'0'City :: City t a _r'CityLine'1'Comma :: Comma t a _r'CityLine'2'Space :: Space t a _r'CityLine'3'State :: State t a _r'CityLine'4'Space :: Space t a _r'CityLine'5'ZipCode :: ZipCode t a _r'CityLine'6'Newline'Opt :: Newline'Opt t a

Instances

Functor (CityLine t) Source
Foldable (CityLine t) Source
Traversable (CityLine t) Source
(Eq t, Eq a) => Eq (CityLine t a) Source
(Ord t, Ord a) => Ord (CityLine t a) Source
(Show t, Show a) => Show (CityLine t a) Source

data Address t a Source

Constructors

Address
Fields _r'Address'0'NameLine :: NameLine t a _r'Address'1'StreetLine :: StreetLine t a _r'Address'2'CityLine :: CityLine t a

Instances

Functor (Address t) Source
Foldable (Address t) Source
Traversable (Address t) Source
(Eq t, Eq a) => Eq (Address t a) Source
(Ord t, Ord a) => Ord (Address t a) Source
(Show t, Show a) => Show (Address t a) Source