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 #

Constructors

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

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 #