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 Source # (/=) :: Grammar -> Grammar -> Bool Source #
Ord Grammar Source #
Instance details Defined in BNFC.Abs Methods compare :: Grammar -> Grammar -> Ordering Source # (<) :: Grammar -> Grammar -> Bool Source # (<=) :: Grammar -> Grammar -> Bool Source # (>) :: Grammar -> Grammar -> Bool Source # (>=) :: Grammar -> Grammar -> Bool Source # max :: Grammar -> Grammar -> Grammar Source # min :: Grammar -> Grammar -> Grammar Source #
Read Grammar Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Grammar Source # readList :: ReadS [Grammar] Source # readPrec :: ReadPrec Grammar Source # readListPrec :: ReadPrec [Grammar] Source #
Show Grammar Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Grammar -> ShowS Source # show :: Grammar -> String Source # showList :: [Grammar] -> ShowS Source #
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 Source # (/=) :: Def -> Def -> Bool Source #
Ord Def Source #
Instance details Defined in BNFC.Abs Methods compare :: Def -> Def -> Ordering Source # (<) :: Def -> Def -> Bool Source # (<=) :: Def -> Def -> Bool Source # (>) :: Def -> Def -> Bool Source # (>=) :: Def -> Def -> Bool Source # max :: Def -> Def -> Def Source # min :: Def -> Def -> Def Source #
Read Def Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Def Source # readList :: ReadS [Def] Source # readPrec :: ReadPrec Def Source # readListPrec :: ReadPrec [Def] Source #
Show Def Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Def -> ShowS Source # show :: Def -> String Source # showList :: [Def] -> ShowS Source #
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 Source # (/=) :: Item -> Item -> Bool Source #
Ord Item Source #
Instance details Defined in BNFC.Abs Methods compare :: Item -> Item -> Ordering Source # (<) :: Item -> Item -> Bool Source # (<=) :: Item -> Item -> Bool Source # (>) :: Item -> Item -> Bool Source # (>=) :: Item -> Item -> Bool Source # max :: Item -> Item -> Item Source # min :: Item -> Item -> Item Source #
Read Item Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Item Source # readList :: ReadS [Item] Source # readPrec :: ReadPrec Item Source # readListPrec :: ReadPrec [Item] Source #
Show Item Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Item -> ShowS Source # show :: Item -> String Source # showList :: [Item] -> ShowS Source #
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 Source # (/=) :: Cat -> Cat -> Bool Source #
Ord Cat Source #
Instance details Defined in BNFC.Abs Methods compare :: Cat -> Cat -> Ordering Source # (<) :: Cat -> Cat -> Bool Source # (<=) :: Cat -> Cat -> Bool Source # (>) :: Cat -> Cat -> Bool Source # (>=) :: Cat -> Cat -> Bool Source # max :: Cat -> Cat -> Cat Source # min :: Cat -> Cat -> Cat Source #
Read Cat Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Cat Source # readList :: ReadS [Cat] Source # readPrec :: ReadPrec Cat Source # readListPrec :: ReadPrec [Cat] Source #
Show Cat Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Cat -> ShowS Source # show :: Cat -> String Source # showList :: [Cat] -> ShowS Source #
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 Source # (/=) :: Label -> Label -> Bool Source #
Ord Label Source #
Instance details Defined in BNFC.Abs Methods compare :: Label -> Label -> Ordering Source # (<) :: Label -> Label -> Bool Source # (<=) :: Label -> Label -> Bool Source # (>) :: Label -> Label -> Bool Source # (>=) :: Label -> Label -> Bool Source # max :: Label -> Label -> Label Source # min :: Label -> Label -> Label Source #
Read Label Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Label Source # readList :: ReadS [Label] Source # readPrec :: ReadPrec Label Source # readListPrec :: ReadPrec [Label] Source #
Show Label Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Label -> ShowS Source # show :: Label -> String Source # showList :: [Label] -> ShowS Source #
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 Source # (/=) :: Arg -> Arg -> Bool Source #
Ord Arg Source #
Instance details Defined in BNFC.Abs Methods compare :: Arg -> Arg -> Ordering Source # (<) :: Arg -> Arg -> Bool Source # (<=) :: Arg -> Arg -> Bool Source # (>) :: Arg -> Arg -> Bool Source # (>=) :: Arg -> Arg -> Bool Source # max :: Arg -> Arg -> Arg Source # min :: Arg -> Arg -> Arg Source #
Read Arg Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Arg Source # readList :: ReadS [Arg] Source # readPrec :: ReadPrec Arg Source # readListPrec :: ReadPrec [Arg] Source #
Show Arg Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Arg -> ShowS Source # show :: Arg -> String Source # showList :: [Arg] -> ShowS Source #
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 Source # (/=) :: Separation -> Separation -> Bool Source #
Ord Separation Source #
Instance details Defined in BNFC.Abs Methods compare :: Separation -> Separation -> Ordering Source # (<) :: Separation -> Separation -> Bool Source # (<=) :: Separation -> Separation -> Bool Source # (>) :: Separation -> Separation -> Bool Source # (>=) :: Separation -> Separation -> Bool Source # max :: Separation -> Separation -> Separation Source # min :: Separation -> Separation -> Separation Source #
Read Separation Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Separation Source # readList :: ReadS [Separation] Source # readPrec :: ReadPrec Separation Source # readListPrec :: ReadPrec [Separation] Source #
Show Separation Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Separation -> ShowS Source # show :: Separation -> String Source # showList :: [Separation] -> ShowS Source #
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 Source # (/=) :: Exp -> Exp -> Bool Source #
Ord Exp Source #
Instance details Defined in BNFC.Abs Methods compare :: Exp -> Exp -> Ordering Source # (<) :: Exp -> Exp -> Bool Source # (<=) :: Exp -> Exp -> Bool Source # (>) :: Exp -> Exp -> Bool Source # (>=) :: Exp -> Exp -> Bool Source # max :: Exp -> Exp -> Exp Source # min :: Exp -> Exp -> Exp Source #
Read Exp Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Exp Source # readList :: ReadS [Exp] Source # readPrec :: ReadPrec Exp Source # readListPrec :: ReadPrec [Exp] Source #
Show Exp Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Exp -> ShowS Source # show :: Exp -> String Source # showList :: [Exp] -> ShowS Source #
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 Source # (/=) :: RHS -> RHS -> Bool Source #
Ord RHS Source #
Instance details Defined in BNFC.Abs Methods compare :: RHS -> RHS -> Ordering Source # (<) :: RHS -> RHS -> Bool Source # (<=) :: RHS -> RHS -> Bool Source # (>) :: RHS -> RHS -> Bool Source # (>=) :: RHS -> RHS -> Bool Source # max :: RHS -> RHS -> RHS Source # min :: RHS -> RHS -> RHS Source #
Read RHS Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS RHS Source # readList :: ReadS [RHS] Source # readPrec :: ReadPrec RHS Source # readListPrec :: ReadPrec [RHS] Source #
Show RHS Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> RHS -> ShowS Source # show :: RHS -> String Source # showList :: [RHS] -> ShowS Source #
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 Source # (/=) :: MinimumSize -> MinimumSize -> Bool Source #
Ord MinimumSize Source #
Instance details Defined in BNFC.Abs Methods compare :: MinimumSize -> MinimumSize -> Ordering Source # (<) :: MinimumSize -> MinimumSize -> Bool Source # (<=) :: MinimumSize -> MinimumSize -> Bool Source # (>) :: MinimumSize -> MinimumSize -> Bool Source # (>=) :: MinimumSize -> MinimumSize -> Bool Source # max :: MinimumSize -> MinimumSize -> MinimumSize Source # min :: MinimumSize -> MinimumSize -> MinimumSize Source #
Read MinimumSize Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS MinimumSize Source # readList :: ReadS [MinimumSize] Source # readPrec :: ReadPrec MinimumSize Source # readListPrec :: ReadPrec [MinimumSize] Source #
Show MinimumSize Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> MinimumSize -> ShowS Source # show :: MinimumSize -> String Source # showList :: [MinimumSize] -> ShowS Source #
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 Source # (/=) :: Reg -> Reg -> Bool Source #
Ord Reg Source #
Instance details Defined in BNFC.Abs Methods compare :: Reg -> Reg -> Ordering Source # (<) :: Reg -> Reg -> Bool Source # (<=) :: Reg -> Reg -> Bool Source # (>) :: Reg -> Reg -> Bool Source # (>=) :: Reg -> Reg -> Bool Source # max :: Reg -> Reg -> Reg Source # min :: Reg -> Reg -> Reg Source #
Read Reg Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Reg Source # readList :: ReadS [Reg] Source # readPrec :: ReadPrec Reg Source # readListPrec :: ReadPrec [Reg] Source #
Show Reg Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Reg -> ShowS Source # show :: Reg -> String Source # showList :: [Reg] -> ShowS Source #
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 Source # (/=) :: Identifier -> Identifier -> Bool Source #
Ord Identifier Source #
Instance details Defined in BNFC.Abs Methods compare :: Identifier -> Identifier -> Ordering Source # (<) :: Identifier -> Identifier -> Bool Source # (<=) :: Identifier -> Identifier -> Bool Source # (>) :: Identifier -> Identifier -> Bool Source # (>=) :: Identifier -> Identifier -> Bool Source # max :: Identifier -> Identifier -> Identifier Source # min :: Identifier -> Identifier -> Identifier Source #
Read Identifier Source #
Instance details Defined in BNFC.Abs Methods readsPrec :: Int -> ReadS Identifier Source # readList :: ReadS [Identifier] Source # readPrec :: ReadPrec Identifier Source # readListPrec :: ReadPrec [Identifier] Source #
Show Identifier Source #
Instance details Defined in BNFC.Abs Methods showsPrec :: Int -> Identifier -> ShowS Source # show :: Identifier -> String Source # showList :: [Identifier] -> ShowS Source #
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