Portabilityportable
Stabilityprovisional
Safe HaskellNone

Dpfs.Parser

Description

generated Parser by happy

Documentation

data Pexpr name

Constructors

Ptrue 
Pfalse 
Pvar name 
Pselem name 
PSelem [Pexpr name] 
PvarElem (Pexpr name, Pexpr name) 
Pnot (Pexpr name) 
Pand [Pexpr name] 
Por [Pexpr name] 
Pimpl (Pexpr name) (Pexpr name) 
Pequiv (Pexpr name) (Pexpr name) 

Instances

Eq name => Eq (Pexpr name) 
Ord name => Ord (Pexpr name) 
Show name => Show (Pexpr name) 

parseProp :: [Char] -> Pexpr String