Safe Haskell	None
Language	Haskell2010

Pinchot.Examples.PostalAstNoLenses

Description

Provides an example of ruleTreeToTypes, but unlike Pinchot.Examples.PostalAstAllRules, does not make optics.

Synopsis

Documentation

newtype Digit Source

Constructors

Digit Char

Instances

Eq Digit Source
Ord Digit Source
Show Digit Source
Production Digit Source
type Terminal Digit = Char Source

newtype Digits Source

Constructors

Digits (Digit, Seq Digit)

Instances

Eq Digits Source
Ord Digits Source
Show Digits Source
Production Digits Source
type Terminal Digits = Char Source

newtype Letter Source

Constructors

Letter Char

Instances

Eq Letter Source
Ord Letter Source
Show Letter Source
Production Letter Source
type Terminal Letter = Char Source

newtype North Source

Constructors

North Char

Instances

Eq North Source
Ord North Source
Show North Source
Production North Source
type Terminal North = Char Source

newtype South Source

Constructors

South Char

Instances

Eq South Source
Ord South Source
Show South Source
Production South Source
type Terminal South = Char Source

newtype East Source

Constructors

East Char

Instances

Eq East Source
Ord East Source
Show East Source
Production East Source
type Terminal East = Char Source

newtype West Source

Constructors

West Char

Instances

Eq West Source
Ord West Source
Show West Source
Production West Source
type Terminal 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
Production Direction Source
type Terminal Direction = Char Source

newtype Street Source

Constructors

Street (Seq Char)

Instances

Eq Street Source
Ord Street Source
Show Street Source
Production Street Source
type Terminal Street = Char Source

newtype Avenue Source

Constructors

Avenue (Seq Char)

Instances

Eq Avenue Source
Ord Avenue Source
Show Avenue Source
Production Avenue Source
type Terminal Avenue = Char Source

newtype Way Source

Constructors

Way (Seq Char)

Instances

Eq Way Source
Ord Way Source
Show Way Source
Production Way Source
type Terminal Way = Char Source

newtype Boulevard Source

Constructors

Boulevard (Seq Char)

Instances

Eq Boulevard Source
Ord Boulevard Source
Show Boulevard Source
Production Boulevard Source
type Terminal Boulevard = Char Source

data Suffix Source

Constructors

SStreet Street
SAvenue Avenue
SWay Way
SBoulevard Boulevard

Instances

Eq Suffix Source
Ord Suffix Source
Show Suffix Source
Production Suffix Source
type Terminal Suffix = Char Source

newtype Space Source

Constructors

Space Char

Instances

Eq Space Source
Ord Space Source
Show Space Source
Production Space Source
type Terminal Space = Char Source

newtype Comma Source

Constructors

Comma Char

Instances

Eq Comma Source
Ord Comma Source
Show Comma Source
Production Comma Source
type Terminal Comma = Char Source

data Letters Source

Constructors

NoLetter
ConsLetter Letter Letters

Instances

Eq Letters Source
Ord Letters Source
Show Letters Source
Production Letters Source
type Terminal Letters = Char 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
Production PostalWord Source
type Terminal PostalWord = Char Source

data PreSpacedWord Source

Constructors

PreSpacedWord Space PostalWord

Instances

Eq PreSpacedWord Source
Ord PreSpacedWord Source
Show PreSpacedWord Source
Production PreSpacedWord Source
type Terminal PreSpacedWord = Char Source

newtype PreSpacedWords Source

Constructors

PreSpacedWords (Seq PreSpacedWord)

Instances

Eq PreSpacedWords Source
Ord PreSpacedWords Source
Show PreSpacedWords Source
Production PreSpacedWords Source
type Terminal PreSpacedWords = Char Source

data Words Source

Constructors

Words PostalWord PreSpacedWords

Instances

Eq Words Source
Ord Words Source
Show Words Source
Production Words Source
type Terminal Words = Char Source

newtype Number Source

Constructors

Number Digits

Instances

Eq Number Source
Ord Number Source
Show Number Source
Production Number Source
type Terminal Number = Char Source

newtype StreetName Source

Constructors

StreetName Words

Instances

Eq StreetName Source
Ord StreetName Source
Show StreetName Source
Production StreetName Source
type Terminal StreetName = Char Source

newtype City Source

Constructors

City Words

Instances

Eq City Source
Ord City Source
Show City Source
Production City Source
type Terminal City = Char Source

newtype State Source

Constructors

State PostalWord

Instances

Eq State Source
Ord State Source
Show State Source
Production State Source
type Terminal State = Char Source

newtype ZipCode Source

Constructors

ZipCode Digits

Instances

Eq ZipCode Source
Ord ZipCode Source
Show ZipCode Source
Production ZipCode Source
type Terminal ZipCode = Char Source

data DirectionSpace Source

Constructors

DirectionSpace Direction Space

Instances

Eq DirectionSpace Source
Ord DirectionSpace Source
Show DirectionSpace Source
Production DirectionSpace Source
type Terminal DirectionSpace = Char Source

data SpaceSuffix Source

Constructors

SpaceSuffix Space Suffix

Instances

Eq SpaceSuffix Source
Ord SpaceSuffix Source
Show SpaceSuffix Source
Production SpaceSuffix Source
type Terminal SpaceSuffix = Char Source

newtype MaybeDirection Source

Constructors

MaybeDirection (Maybe DirectionSpace)

Instances

Eq MaybeDirection Source
Ord MaybeDirection Source
Show MaybeDirection Source
Production MaybeDirection Source
type Terminal MaybeDirection = Char Source

newtype MaybeSuffix Source

Constructors

MaybeSuffix (Maybe SpaceSuffix)

Instances

Eq MaybeSuffix Source
Ord MaybeSuffix Source
Show MaybeSuffix Source
Production MaybeSuffix Source
type Terminal MaybeSuffix = Char Source

data Address Source

Constructors

Address

Instances

Eq Address Source
Ord Address Source
Show Address Source
Production Address Source
type Terminal Address = Char Source

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

Earley grammar created using Template Haskell.