Safe Haskell	Safe-Inferred
Language	Haskell2010

BNFC.Abs

Description

The abstract syntax of language BNFC.

Synopsis

data Grammar = Grammar [Def]
data Def
- = 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
data Item
- = Terminal String
- | NTerminal Cat
data Cat
- = ListCat Cat
- | IdCat Identifier
data Label
- = Id Identifier
- | Wild
- | ListE
- | ListCons
- | ListOne
data Arg = Arg Identifier
data Separation
- = SepNone
- | SepTerm String
- | SepSepar String
data Exp
- = Cons Exp Exp
- | App Identifier [Exp]
- | Var Identifier
- | LitInt Integer
- | LitChar Char
- | LitString String
- | LitDouble Double
- | List [Exp]
data RHS = RHS [Item]
data MinimumSize
- = MNonempty
- | MEmpty
data Reg
- = 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
newtype Identifier = Identifier ((Int, Int), String)
type BNFC'Position = Maybe (Int, Int)
pattern BNFC'NoPosition :: BNFC'Position
pattern BNFC'Position :: Int -> Int -> BNFC'Position
class HasPosition a where
- hasPosition :: a -> BNFC'Position

Documentation

data Grammar Source #

Constructors

Grammar [Def]

Instances

Instances details

Print Grammar Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Grammar -> Doc Source #
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 #
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 #

data Def Source #

Instances

Instances details

Print Def Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Def -> Doc Source #
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 #
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 #
Print [Def] Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> [Def] -> Doc Source #

data Item Source #

Constructors

Terminal String
NTerminal Cat

Instances

Instances details

Print Item Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Item -> Doc Source #
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 #
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 #
Print [Item] Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> [Item] -> Doc Source #

data Cat Source #

Constructors

ListCat Cat
IdCat Identifier

Instances

Instances details

Print Cat Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Cat -> Doc Source #
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 #
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 #
Print [Cat] Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> [Cat] -> Doc Source #

data Label Source #

Constructors

Id Identifier
Wild
ListE
ListCons
ListOne

Instances

Instances details

Print Label Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Label -> Doc Source #
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 #
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 #

data Arg Source #

Constructors

Arg Identifier

Instances

Instances details

Print Arg Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Arg -> Doc Source #
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 #
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 #
Print [Arg] Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> [Arg] -> Doc Source #

data Separation Source #

Constructors

SepNone
SepTerm String
SepSepar String

Instances

Instances details

Print Separation Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Separation -> Doc Source #
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 #
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 #

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

Print Exp Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Exp -> Doc Source #
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 #
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 #
Print [Exp] Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> [Exp] -> Doc Source #

data RHS Source #

Constructors

RHS [Item]

Instances

Instances details

Print RHS Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> RHS -> Doc Source #
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 #
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 #
Print [RHS] Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> [RHS] -> Doc Source #

data MinimumSize Source #

Constructors

MNonempty
MEmpty

Instances

Instances details

Print MinimumSize Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> MinimumSize -> Doc Source #
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 #
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 #

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

Print Reg Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Reg -> Doc Source #
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 #
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 #

newtype Identifier Source #

Constructors

Identifier ((Int, Int), String)

Instances

Instances details

HasPosition Identifier Source #
Instance details Defined in BNFC.Abs Methods hasPosition :: Identifier -> BNFC'Position Source #
Print Identifier Source #
Instance details Defined in BNFC.Print Methods prt :: Int -> Identifier -> Doc Source #
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 #
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 #

type BNFC'Position = Maybe (Int, Int) Source #

Start position (line, column) of something.

pattern BNFC'NoPosition :: BNFC'Position Source #

pattern BNFC'Position :: Int -> Int -> BNFC'Position Source #

class HasPosition a where Source #

Get the start position of something.

Methods

hasPosition :: a -> BNFC'Position Source #

Instances

Instances details

HasPosition Identifier Source #
Instance details Defined in BNFC.Abs Methods hasPosition :: Identifier -> BNFC'Position 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