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

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 #

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 #
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

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 #
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

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 #
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

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 #

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 #
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

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 #

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

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 #

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 #
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 #

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