Safe Haskell	Safe-Inferred
Language	Haskell2010

BNFC.Abs

Documentation

newtype Identifier Source #

Constructors

Identifier ((Int, Int), String)

Instances

Instances details

Eq Identifier Source #
Instance details Defined in BNFC.Abs Methods (==) :: Identifier -> Identifier -> Bool # (/=) :: Identifier -> Identifier -> Bool #
Ord Identifier Source #
Instance details Defined in BNFC.Abs Methods compare :: Identifier -> Identifier -> Ordering # (<) :: Identifier -> Identifier -> Bool # (<=) :: Identifier -> Identifier -> Bool # (>) :: Identifier -> Identifier -> Bool # (>=) :: Identifier -> Identifier -> Bool # max :: Identifier -> Identifier -> Identifier # min :: Identifier -> Identifier -> Identifier #
Read Identifier Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Identifier # readList :: ReadS [Identifier] # readPrec :: ReadPrec Identifier # readListPrec :: ReadPrec [Identifier] #
Show Identifier Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Identifier -> ShowS # show :: Identifier -> String # showList :: [Identifier] -> ShowS #
Print Identifier Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Identifier -> Doc Source # prtList :: Int -> [Identifier] -> Doc Source #

data Grammar Source #

Constructors

Grammar [Def]

Instances

Instances details

Eq Grammar Source #
Instance details Defined in BNFC.Abs Methods (==) :: Grammar -> Grammar -> Bool # (/=) :: Grammar -> Grammar -> Bool #
Ord Grammar Source #
Instance details Defined in BNFC.Abs Methods compare :: Grammar -> Grammar -> Ordering # (<) :: Grammar -> Grammar -> Bool # (<=) :: Grammar -> Grammar -> Bool # (>) :: Grammar -> Grammar -> Bool # (>=) :: Grammar -> Grammar -> Bool # max :: Grammar -> Grammar -> Grammar # min :: Grammar -> Grammar -> Grammar #
Read Grammar Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Grammar # readList :: ReadS [Grammar] # readPrec :: ReadPrec Grammar # readListPrec :: ReadPrec [Grammar] #
Show Grammar Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Grammar -> ShowS # show :: Grammar -> String # showList :: [Grammar] -> ShowS #
Print Grammar Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Grammar -> Doc Source # prtList :: Int -> [Grammar] -> Doc Source #

data Def Source #

Instances

Instances details

Eq Def Source #
Instance details Defined in BNFC.Abs Methods (==) :: Def -> Def -> Bool # (/=) :: Def -> Def -> Bool #
Ord Def Source #
Instance details Defined in BNFC.Abs Methods compare :: Def -> Def -> Ordering # (<) :: Def -> Def -> Bool # (<=) :: Def -> Def -> Bool # (>) :: Def -> Def -> Bool # (>=) :: Def -> Def -> Bool # max :: Def -> Def -> Def # min :: Def -> Def -> Def #
Read Def Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Def # readList :: ReadS [Def] # readPrec :: ReadPrec Def # readListPrec :: ReadPrec [Def] #
Show Def Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Def -> ShowS # show :: Def -> String # showList :: [Def] -> ShowS #
Print Def Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Def -> Doc Source # prtList :: Int -> [Def] -> Doc Source #
Print [Def] Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> [Def] -> Doc Source # prtList :: Int -> [[Def]] -> Doc Source #

data Item Source #

Constructors

Terminal String
NTerminal Cat

Instances

Instances details

Eq Item Source #
Instance details Defined in BNFC.Abs Methods (==) :: Item -> Item -> Bool # (/=) :: Item -> Item -> Bool #
Ord Item Source #
Instance details Defined in BNFC.Abs Methods compare :: Item -> Item -> Ordering # (<) :: Item -> Item -> Bool # (<=) :: Item -> Item -> Bool # (>) :: Item -> Item -> Bool # (>=) :: Item -> Item -> Bool # max :: Item -> Item -> Item # min :: Item -> Item -> Item #
Read Item Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Item # readList :: ReadS [Item] # readPrec :: ReadPrec Item # readListPrec :: ReadPrec [Item] #
Show Item Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Item -> ShowS # show :: Item -> String # showList :: [Item] -> ShowS #
Print Item Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Item -> Doc Source # prtList :: Int -> [Item] -> Doc Source #
Print [Item] Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> [Item] -> Doc Source # prtList :: Int -> [[Item]] -> Doc Source #

data Cat Source #

Constructors

ListCat Cat
IdCat Identifier

Instances

Instances details

Eq Cat Source #
Instance details Defined in BNFC.Abs Methods (==) :: Cat -> Cat -> Bool # (/=) :: Cat -> Cat -> Bool #
Ord Cat Source #
Instance details Defined in BNFC.Abs Methods compare :: Cat -> Cat -> Ordering # (<) :: Cat -> Cat -> Bool # (<=) :: Cat -> Cat -> Bool # (>) :: Cat -> Cat -> Bool # (>=) :: Cat -> Cat -> Bool # max :: Cat -> Cat -> Cat # min :: Cat -> Cat -> Cat #
Read Cat Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Cat # readList :: ReadS [Cat] # readPrec :: ReadPrec Cat # readListPrec :: ReadPrec [Cat] #
Show Cat Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Cat -> ShowS # show :: Cat -> String # showList :: [Cat] -> ShowS #
Print Cat Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Cat -> Doc Source # prtList :: Int -> [Cat] -> Doc Source #
Print [Cat] Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> [Cat] -> Doc Source # prtList :: Int -> [[Cat]] -> Doc Source #

data Label Source #

Constructors

Id Identifier
Wild
ListE
ListCons
ListOne

Instances

Instances details

Eq Label Source #
Instance details Defined in BNFC.Abs Methods (==) :: Label -> Label -> Bool # (/=) :: Label -> Label -> Bool #
Ord Label Source #
Instance details Defined in BNFC.Abs Methods compare :: Label -> Label -> Ordering # (<) :: Label -> Label -> Bool # (<=) :: Label -> Label -> Bool # (>) :: Label -> Label -> Bool # (>=) :: Label -> Label -> Bool # max :: Label -> Label -> Label # min :: Label -> Label -> Label #
Read Label Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Label # readList :: ReadS [Label] # readPrec :: ReadPrec Label # readListPrec :: ReadPrec [Label] #
Show Label Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Label -> ShowS # show :: Label -> String # showList :: [Label] -> ShowS #
Print Label Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Label -> Doc Source # prtList :: Int -> [Label] -> Doc Source #

data Arg Source #

Constructors

Arg Identifier

Instances

Instances details

Eq Arg Source #
Instance details Defined in BNFC.Abs Methods (==) :: Arg -> Arg -> Bool # (/=) :: Arg -> Arg -> Bool #
Ord Arg Source #
Instance details Defined in BNFC.Abs Methods compare :: Arg -> Arg -> Ordering # (<) :: Arg -> Arg -> Bool # (<=) :: Arg -> Arg -> Bool # (>) :: Arg -> Arg -> Bool # (>=) :: Arg -> Arg -> Bool # max :: Arg -> Arg -> Arg # min :: Arg -> Arg -> Arg #
Read Arg Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Arg # readList :: ReadS [Arg] # readPrec :: ReadPrec Arg # readListPrec :: ReadPrec [Arg] #
Show Arg Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Arg -> ShowS # show :: Arg -> String # showList :: [Arg] -> ShowS #
Print Arg Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Arg -> Doc Source # prtList :: Int -> [Arg] -> Doc Source #
Print [Arg] Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> [Arg] -> Doc Source # prtList :: Int -> [[Arg]] -> Doc Source #

data Separation Source #

Constructors

SepNone
SepTerm String
SepSepar String

Instances

Instances details

Eq Separation Source #
Instance details Defined in BNFC.Abs Methods (==) :: Separation -> Separation -> Bool # (/=) :: Separation -> Separation -> Bool #
Ord Separation Source #
Instance details Defined in BNFC.Abs Methods compare :: Separation -> Separation -> Ordering # (<) :: Separation -> Separation -> Bool # (<=) :: Separation -> Separation -> Bool # (>) :: Separation -> Separation -> Bool # (>=) :: Separation -> Separation -> Bool # max :: Separation -> Separation -> Separation # min :: Separation -> Separation -> Separation #
Read Separation Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Separation # readList :: ReadS [Separation] # readPrec :: ReadPrec Separation # readListPrec :: ReadPrec [Separation] #
Show Separation Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Separation -> ShowS # show :: Separation -> String # showList :: [Separation] -> ShowS #
Print Separation Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Separation -> Doc Source # prtList :: Int -> [Separation] -> Doc Source #

data Exp Source #

Constructors

Cons Exp Exp
App Identifier [Exp]
Var Identifier
LitInt Integer
LitChar Char
LitString String
LitDouble Double
List [Exp]

Instances

Instances details

Eq Exp Source #
Instance details Defined in BNFC.Abs Methods (==) :: Exp -> Exp -> Bool # (/=) :: Exp -> Exp -> Bool #
Ord Exp Source #
Instance details Defined in BNFC.Abs Methods compare :: Exp -> Exp -> Ordering # (<) :: Exp -> Exp -> Bool # (<=) :: Exp -> Exp -> Bool # (>) :: Exp -> Exp -> Bool # (>=) :: Exp -> Exp -> Bool # max :: Exp -> Exp -> Exp # min :: Exp -> Exp -> Exp #
Read Exp Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Exp # readList :: ReadS [Exp] # readPrec :: ReadPrec Exp # readListPrec :: ReadPrec [Exp] #
Show Exp Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Exp -> ShowS # show :: Exp -> String # showList :: [Exp] -> ShowS #
Print Exp Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Exp -> Doc Source # prtList :: Int -> [Exp] -> Doc Source #
Print [Exp] Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> [Exp] -> Doc Source # prtList :: Int -> [[Exp]] -> Doc Source #

data RHS Source #

Constructors

RHS [Item]

Instances

Instances details

Eq RHS Source #
Instance details Defined in BNFC.Abs Methods (==) :: RHS -> RHS -> Bool # (/=) :: RHS -> RHS -> Bool #
Ord RHS Source #
Instance details Defined in BNFC.Abs Methods compare :: RHS -> RHS -> Ordering # (<) :: RHS -> RHS -> Bool # (<=) :: RHS -> RHS -> Bool # (>) :: RHS -> RHS -> Bool # (>=) :: RHS -> RHS -> Bool # max :: RHS -> RHS -> RHS # min :: RHS -> RHS -> RHS #
Read RHS Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS RHS # readList :: ReadS [RHS] # readPrec :: ReadPrec RHS # readListPrec :: ReadPrec [RHS] #
Show RHS Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> RHS -> ShowS # show :: RHS -> String # showList :: [RHS] -> ShowS #
Print RHS Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> RHS -> Doc Source # prtList :: Int -> [RHS] -> Doc Source #
Print [RHS] Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> [RHS] -> Doc Source # prtList :: Int -> [[RHS]] -> Doc Source #

data MinimumSize Source #

Constructors

MNonempty
MEmpty

Instances

Instances details

Eq MinimumSize Source #
Instance details Defined in BNFC.Abs Methods (==) :: MinimumSize -> MinimumSize -> Bool # (/=) :: MinimumSize -> MinimumSize -> Bool #
Ord MinimumSize Source #
Instance details Defined in BNFC.Abs Methods compare :: MinimumSize -> MinimumSize -> Ordering # (<) :: MinimumSize -> MinimumSize -> Bool # (<=) :: MinimumSize -> MinimumSize -> Bool # (>) :: MinimumSize -> MinimumSize -> Bool # (>=) :: MinimumSize -> MinimumSize -> Bool # max :: MinimumSize -> MinimumSize -> MinimumSize # min :: MinimumSize -> MinimumSize -> MinimumSize #
Read MinimumSize Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS MinimumSize # readList :: ReadS [MinimumSize] # readPrec :: ReadPrec MinimumSize # readListPrec :: ReadPrec [MinimumSize] #
Show MinimumSize Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> MinimumSize -> ShowS # show :: MinimumSize -> String # showList :: [MinimumSize] -> ShowS #
Print MinimumSize Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> MinimumSize -> Doc Source # prtList :: Int -> [MinimumSize] -> Doc Source #

data Reg Source #

Constructors

RAlt Reg Reg
RMinus Reg Reg
RSeq Reg Reg
RStar Reg
RPlus Reg
ROpt Reg
REps
RChar Char
RAlts String
RSeqs String
RDigit
RLetter
RUpper
RLower
RAny

Instances

Instances details

Eq Reg Source #
Instance details Defined in BNFC.Abs Methods (==) :: Reg -> Reg -> Bool # (/=) :: Reg -> Reg -> Bool #
Ord Reg Source #
Instance details Defined in BNFC.Abs Methods compare :: Reg -> Reg -> Ordering # (<) :: Reg -> Reg -> Bool # (<=) :: Reg -> Reg -> Bool # (>) :: Reg -> Reg -> Bool # (>=) :: Reg -> Reg -> Bool # max :: Reg -> Reg -> Reg # min :: Reg -> Reg -> Reg #
Read Reg Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Reg # readList :: ReadS [Reg] # readPrec :: ReadPrec Reg # readListPrec :: ReadPrec [Reg] #
Show Reg Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Reg -> ShowS # show :: Reg -> String # showList :: [Reg] -> ShowS #
Print Reg Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Reg -> Doc Source # prtList :: Int -> [Reg] -> Doc Source #

Rule Label Cat [Item]
Comment String
Comments String String
Internal Label Cat [Item]
Token Identifier Reg
PosToken Identifier Reg
Entryp [Cat]
Separator MinimumSize Cat String
Terminator MinimumSize Cat String
Delimiters Cat String String Separation MinimumSize
Coercions Identifier Integer
Rules Identifier [RHS]
Function Identifier [Arg] Exp
Layout [String]
LayoutStop [String]
LayoutTop