pinchot-0.4.0.0: Build parsers and ASTs for context-free grammars

Safe Haskell	None
Language	Haskell2010

Pinchot.Examples.PostalAstRuleTree

Description

Provides an example of the use of ruleTreeToTypes. You will want to look at the source code, as it has a Template Haskell splice that produces all of the data types that you see in the Haddocks.

Synopsis

Documentation

newtype Digit Source

Constructors

Instances

Eq Digit Source
Ord Digit Source
Show Digit Source
Wrapped Digit Source
type Unwrapped Digit = Char Source

newtype Digits Source

Constructors

Digits (Digit, Seq Digit)

Instances

Eq Digits Source
Ord Digits Source
Show Digits Source
Wrapped Digits Source
type Unwrapped Digits = (Digit, Seq Digit) Source

newtype Number Source

Constructors

Instances

Eq Number Source
Ord Number Source
Show Number Source
Wrapped Number Source
type Unwrapped Number = Digits Source

newtype Space Source

Constructors

Instances

Eq Space Source
Ord Space Source
Show Space Source
Wrapped Space Source
type Unwrapped Space = Char Source

newtype North Source

Constructors

Instances

Eq North Source
Ord North Source
Show North Source
Wrapped North Source
type Unwrapped North = Char Source

newtype South Source

Constructors

Instances

Eq South Source
Ord South Source
Show South Source
Wrapped South Source
type Unwrapped South = Char Source

newtype East Source

Constructors

Instances

Eq East Source
Ord East Source
Show East Source
Wrapped East Source
type Unwrapped East = Char Source

newtype West Source

Constructors

Instances

Eq West Source
Ord West Source
Show West Source
Wrapped West Source
type Unwrapped West = Char Source

data Direction Source

Constructors

DNorth North
DSouth South
DEast East
DWest West

Instances

Eq Direction Source
Ord Direction Source
Show Direction Source

data DirectionSpace Source

Constructors

DirectionSpace Direction Space

Instances

Eq DirectionSpace Source
Ord DirectionSpace Source
Show DirectionSpace Source

newtype MaybeDirection Source

Constructors

MaybeDirection (Maybe DirectionSpace)

Instances

Eq MaybeDirection Source
Ord MaybeDirection Source
Show MaybeDirection Source
Wrapped MaybeDirection Source
type Unwrapped MaybeDirection = Maybe DirectionSpace Source

newtype Letter Source

Constructors

Instances

Eq Letter Source
Ord Letter Source
Show Letter Source
Wrapped Letter Source
type Unwrapped Letter = Char Source

data Letters Source

Constructors

NoLetter
ConsLetter Letter Letters

Instances

Eq Letters Source
Ord Letters Source
Show Letters Source

data PostalWord Source

Constructors

PostalWord
Fields _f'PostalWord'0'Letter :: Letter _f'PostalWord'1'Letters :: Letters

Instances

Eq PostalWord Source
Ord PostalWord Source
Show PostalWord Source

data PreSpacedWord Source

Constructors

PreSpacedWord Space PostalWord

Instances

Eq PreSpacedWord Source
Ord PreSpacedWord Source
Show PreSpacedWord Source

newtype PreSpacedWords Source

Constructors

PreSpacedWords (Seq PreSpacedWord)

Instances

Eq PreSpacedWords Source
Ord PreSpacedWords Source
Show PreSpacedWords Source
Wrapped PreSpacedWords Source
type Unwrapped PreSpacedWords = Seq PreSpacedWord Source

data Words Source

Constructors

Words PostalWord PreSpacedWords

Instances

Eq Words Source
Ord Words Source
Show Words Source

newtype StreetName Source

Constructors

StreetName Words

Instances

Eq StreetName Source
Ord StreetName Source
Show StreetName Source
Wrapped StreetName Source
type Unwrapped StreetName = Words Source

newtype Street Source

Constructors

Street (Seq Char)

Instances

Eq Street Source
Ord Street Source
Show Street Source
Wrapped Street Source
type Unwrapped Street = Seq Char Source

newtype Avenue Source

Constructors

Avenue (Seq Char)

Instances

Eq Avenue Source
Ord Avenue Source
Show Avenue Source
Wrapped Avenue Source
type Unwrapped Avenue = Seq Char Source

newtype Way Source

Constructors

Instances

Eq Way Source
Ord Way Source
Show Way Source
Wrapped Way Source
type Unwrapped Way = Seq Char Source

newtype Boulevard Source

Constructors

Boulevard (Seq Char)

Instances

Eq Boulevard Source
Ord Boulevard Source
Show Boulevard Source
Wrapped Boulevard Source
type Unwrapped Boulevard = Seq Char Source

data Suffix Source

Constructors

SStreet Street
SAvenue Avenue
SWay Way
SBoulevard Boulevard

Instances

Eq Suffix Source
Ord Suffix Source
Show Suffix Source

data SpaceSuffix Source

Constructors

SpaceSuffix Space Suffix

Instances

Eq SpaceSuffix Source
Ord SpaceSuffix Source
Show SpaceSuffix Source

newtype MaybeSuffix Source

Constructors

MaybeSuffix (Maybe SpaceSuffix)

Instances

Eq MaybeSuffix Source
Ord MaybeSuffix Source
Show MaybeSuffix Source
Wrapped MaybeSuffix Source
type Unwrapped MaybeSuffix = Maybe SpaceSuffix Source

newtype Comma Source

Constructors

Instances

Eq Comma Source
Ord Comma Source
Show Comma Source
Wrapped Comma Source
type Unwrapped Comma = Char Source

newtype City Source

Constructors

Instances

Eq City Source
Ord City Source
Show City Source
Wrapped City Source
type Unwrapped City = Words Source

newtype State Source

Constructors

State PostalWord

Instances

Eq State Source
Ord State Source
Show State Source
Wrapped State Source
type Unwrapped State = PostalWord Source

newtype ZipCode Source

Constructors

Instances

Eq ZipCode Source
Ord ZipCode Source
Show ZipCode Source
Wrapped ZipCode Source
type Unwrapped ZipCode = Digits Source

data Address Source

Constructors

Instances

Eq Address Source
Ord Address Source
Show Address Source

_SBoulevard :: Prism' Suffix Boulevard Source

_SWay :: Prism' Suffix Way Source

_SAvenue :: Prism' Suffix Avenue Source

_SStreet :: Prism' Suffix Street Source

_SpaceSuffix :: Prism' SpaceSuffix (Space, Suffix) Source

_PreSpacedWord :: Prism' PreSpacedWord (Space, PostalWord) Source

_ConsLetter :: Prism' Letters (Letter, Letters) Source

_NoLetter :: Prism' Letters () Source

f'PostalWord'1'Letters :: Lens' PostalWord Letters Source

f'PostalWord'0'Letter :: Lens' PostalWord Letter Source

_Words :: Prism' Words (PostalWord, PreSpacedWords) Source

_DWest :: Prism' Direction West Source

_DEast :: Prism' Direction East Source

_DSouth :: Prism' Direction South Source

_DNorth :: Prism' Direction North Source

_DirectionSpace :: Prism' DirectionSpace (Direction, Space) Source

f'Address'12'ZipCode :: Lens' Address ZipCode Source

f'Address'11'Space :: Lens' Address Space Source

f'Address'10'State :: Lens' Address State Source

f'Address'9'Space :: Lens' Address Space Source

f'Address'8'Comma :: Lens' Address Comma Source

f'Address'7'City :: Lens' Address City Source

f'Address'6'Space :: Lens' Address Space Source

f'Address'5'Comma :: Lens' Address Comma Source

f'Address'4'MaybeSuffix :: Lens' Address MaybeSuffix Source

f'Address'3'StreetName :: Lens' Address StreetName Source

f'Address'2'MaybeDirection :: Lens' Address MaybeDirection Source

f'Address'1'Space :: Lens' Address Space Source

f'Address'0'Number :: Lens' Address Number Source

postalGrammar :: Grammar r (Prod r String Char Address) Source

Earley grammar created using Template Haskell.