Copyright	(c) Karl Cronburg 2018
License	BSD3
Maintainer	karl@cs.tufts.edu
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Language.ANTLR4.Boot.Syntax

Contents

Orphan instances

Description

Synopsis

data G4
- = Grammar {
  - gName :: String
  }
- | Prod {
  - pName :: String
  - patterns :: [PRHS]
  }
- | Lex {
  - annotation :: Maybe GAnnot
  - lName :: String
  - pattern :: LRHS
  }
data PRHS = PRHS {
- alphas :: [ProdElem]
- pred :: Maybe Exp
- mutator :: Maybe Exp
- pDirective :: Maybe Directive
}
data ProdElem
- = GTerm TermAnnot String
- | GNonTerm TermAnnot String
data GAnnot = Fragment
data Directive
- = UpperD String
- | LowerD String
- | HaskellD String
data LRHS = LRHS {
- regex :: Regex Char
- directive :: Maybe Directive
}
data Regex s
- = Epsilon
- | Literal [s]
- | Union [Regex s]
- | Concat [Regex s]
- | Kleene (Regex s)
- | PosClos (Regex s)
- | Question (Regex s)
- | CharSet [s]
- | Negation (Regex s)
- | Named String
isGTerm :: ProdElem -> Bool
isGNonTerm :: ProdElem -> Bool
data TermAnnot
- = Regular Char
- | NoAnnot
isMaybeAnnot :: TermAnnot -> Bool
isNoAnnot :: TermAnnot -> Bool
annot :: ProdElem -> TermAnnot

Documentation

data G4 Source #

.g4 style syntax representation

Constructors

Grammar	Grammar name declaration in g4
Fields gName :: String Name
Prod	One or more g4 productions
Fields pName :: String Production's name patterns :: [PRHS] List of rules to match on
Lex	A single, possibly annotated, g4 lexical rule
Fields annotation :: Maybe GAnnot Lexical annotation (`fragment`) lName :: String Lexical rule name pattern :: LRHS The regex to match on

Instances

Eq G4 Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods (==) :: G4 -> G4 -> Bool # (/=) :: G4 -> G4 -> Bool #
Show G4 Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods showsPrec :: Int -> G4 -> ShowS # show :: G4 -> String # showList :: [G4] -> ShowS #
Generic G4 Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Associated Types type Rep G4 :: Type -> Type # Methods from :: G4 -> Rep G4 x # to :: Rep G4 x -> G4 #
Lift G4 Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods lift :: G4 -> Q Exp #
Hashable G4 Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods hashWithSalt :: Int -> G4 -> Int # hash :: G4 -> Int #
type Rep G4 Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax type Rep G4 = D1 (MetaData "G4" "Language.ANTLR4.Boot.Syntax" "antlr-haskell-0.1.0.0-I1YLZdM1Y3a3syLrgVdT7Y" False) (C1 (MetaCons "Grammar" PrefixI True) (S1 (MetaSel (Just "gName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: (C1 (MetaCons "Prod" PrefixI True) (S1 (MetaSel (Just "pName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :: S1 (MetaSel (Just "patterns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [PRHS])) :+: C1 (MetaCons "Lex" PrefixI True) (S1 (MetaSel (Just "annotation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe GAnnot)) :: (S1 (MetaSel (Just "lName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Just "pattern") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 LRHS)))))

data PRHS Source #

The right-hand side of a G4 production rule.

Constructors

PRHS
Fields alphas :: [ProdElem] In-order list of elements defining this rule pred :: Maybe Exp Arbitrary boolean predicate to test whether or not this rule should fire mutator :: Maybe Exp Arbitrary mutator to run when this rule fires pDirective :: Maybe Directive How to construct a Haskell type when this rules fires

Instances

Eq PRHS Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods (==) :: PRHS -> PRHS -> Bool # (/=) :: PRHS -> PRHS -> Bool #
Show PRHS Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods showsPrec :: Int -> PRHS -> ShowS # show :: PRHS -> String # showList :: [PRHS] -> ShowS #
Generic PRHS Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Associated Types type Rep PRHS :: Type -> Type # Methods from :: PRHS -> Rep PRHS x # to :: Rep PRHS x -> PRHS #
Lift PRHS Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods lift :: PRHS -> Q Exp #
Hashable PRHS Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods hashWithSalt :: Int -> PRHS -> Int # hash :: PRHS -> Int #
type Rep PRHS Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax type Rep PRHS = D1 (MetaData "PRHS" "Language.ANTLR4.Boot.Syntax" "antlr-haskell-0.1.0.0-I1YLZdM1Y3a3syLrgVdT7Y" False) (C1 (MetaCons "PRHS" PrefixI True) ((S1 (MetaSel (Just "alphas") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ProdElem]) :: S1 (MetaSel (Just "pred") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Exp))) :: (S1 (MetaSel (Just "mutator") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Exp)) :*: S1 (MetaSel (Just "pDirective") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Directive)))))

data ProdElem Source #

A single production element with any accompanying regex annotation

Constructors

GTerm TermAnnot String	G4 terminal
GNonTerm TermAnnot String	G4 nonterminal

Instances

Eq ProdElem Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods (==) :: ProdElem -> ProdElem -> Bool # (/=) :: ProdElem -> ProdElem -> Bool #
Ord ProdElem Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods compare :: ProdElem -> ProdElem -> Ordering # (<) :: ProdElem -> ProdElem -> Bool # (<=) :: ProdElem -> ProdElem -> Bool # (>) :: ProdElem -> ProdElem -> Bool # (>=) :: ProdElem -> ProdElem -> Bool # max :: ProdElem -> ProdElem -> ProdElem # min :: ProdElem -> ProdElem -> ProdElem #
Show ProdElem Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods showsPrec :: Int -> ProdElem -> ShowS # show :: ProdElem -> String # showList :: [ProdElem] -> ShowS #
Generic ProdElem Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Associated Types type Rep ProdElem :: Type -> Type # Methods from :: ProdElem -> Rep ProdElem x # to :: Rep ProdElem x -> ProdElem #
Lift ProdElem Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods lift :: ProdElem -> Q Exp #
Hashable ProdElem Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods hashWithSalt :: Int -> ProdElem -> Int # hash :: ProdElem -> Int #
type Rep ProdElem Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax type Rep ProdElem = D1 (MetaData "ProdElem" "Language.ANTLR4.Boot.Syntax" "antlr-haskell-0.1.0.0-I1YLZdM1Y3a3syLrgVdT7Y" False) (C1 (MetaCons "GTerm" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TermAnnot) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "GNonTerm" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TermAnnot) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

data GAnnot Source #

Allowable annotations on a lexical production rule

Constructors

Fragment

For now the only annotation is fragment.

Instances

Eq GAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods (==) :: GAnnot -> GAnnot -> Bool # (/=) :: GAnnot -> GAnnot -> Bool #
Show GAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods showsPrec :: Int -> GAnnot -> ShowS # show :: GAnnot -> String # showList :: [GAnnot] -> ShowS #
Generic GAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Associated Types type Rep GAnnot :: Type -> Type # Methods from :: GAnnot -> Rep GAnnot x # to :: Rep GAnnot x -> GAnnot #
Lift GAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods lift :: GAnnot -> Q Exp #
Hashable GAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods hashWithSalt :: Int -> GAnnot -> Int # hash :: GAnnot -> Int #
type Rep GAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax type Rep GAnnot = D1 (MetaData "GAnnot" "Language.ANTLR4.Boot.Syntax" "antlr-haskell-0.1.0.0-I1YLZdM1Y3a3syLrgVdT7Y" False) (C1 (MetaCons "Fragment" PrefixI False) (U1 :: Type -> Type))

data Directive Source #

Antiquoted (or g4-embedded) string that goes to the right of an arrow in a g4 production rule. This specifies how to construct a Haskell type.

Constructors

UpperD String	Probably a Haskell data constructor
LowerD String	Probably just a Haskell function to call
HaskellD String	Arbitrary antiquoted Haskell code embedded in the G4 grammar

Instances

Eq Directive Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods (==) :: Directive -> Directive -> Bool # (/=) :: Directive -> Directive -> Bool #
Show Directive Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods showsPrec :: Int -> Directive -> ShowS # show :: Directive -> String # showList :: [Directive] -> ShowS #
Generic Directive Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Associated Types type Rep Directive :: Type -> Type # Methods from :: Directive -> Rep Directive x # to :: Rep Directive x -> Directive #
Lift Directive Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods lift :: Directive -> Q Exp #
Hashable Directive Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods hashWithSalt :: Int -> Directive -> Int # hash :: Directive -> Int #
type Rep Directive Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax type Rep Directive = D1 (MetaData "Directive" "Language.ANTLR4.Boot.Syntax" "antlr-haskell-0.1.0.0-I1YLZdM1Y3a3syLrgVdT7Y" False) (C1 (MetaCons "UpperD" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: (C1 (MetaCons "LowerD" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "HaskellD" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))

data LRHS Source #

Right-hand side of a lexical G4 rule

Constructors

LRHS
Fields regex :: Regex Char A regular expression over characters as tokens. directive :: Maybe Directive Optional directive: `Nothing` is equivalent to `(Just String)`.

Instances

Eq LRHS Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods (==) :: LRHS -> LRHS -> Bool # (/=) :: LRHS -> LRHS -> Bool #
Show LRHS Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods showsPrec :: Int -> LRHS -> ShowS # show :: LRHS -> String # showList :: [LRHS] -> ShowS #
Generic LRHS Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Associated Types type Rep LRHS :: Type -> Type # Methods from :: LRHS -> Rep LRHS x # to :: Rep LRHS x -> LRHS #
Lift LRHS Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods lift :: LRHS -> Q Exp #
Hashable LRHS Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods hashWithSalt :: Int -> LRHS -> Int # hash :: LRHS -> Int #
type Rep LRHS Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax type Rep LRHS = D1 (MetaData "LRHS" "Language.ANTLR4.Boot.Syntax" "antlr-haskell-0.1.0.0-I1YLZdM1Y3a3syLrgVdT7Y" False) (C1 (MetaCons "LRHS" PrefixI True) (S1 (MetaSel (Just "regex") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Regex Char)) :*: S1 (MetaSel (Just "directive") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Directive))))

data Regex s Source #

G4 representation of a regex (G4 regex syntax, not regexs used by tokenizer)

Constructors

Epsilon	Consume no input
Literal [s]	Match on a literal string (sequence of characters)
Union [Regex s]	Match on any
Concat [Regex s]	Match in sequence
Kleene (Regex s)	Match zero or more times
PosClos (Regex s)	Match one or more times
Question (Regex s)	Match zero or one time.
CharSet [s]	Match once on any of the characters
Negation (Regex s)	Match anything that doesn't match this
Named String	A reference to some other regex (need to track an environment)

Instances

Eq s => Eq (Regex s) Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods (==) :: Regex s -> Regex s -> Bool # (/=) :: Regex s -> Regex s -> Bool #
Show s => Show (Regex s) Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods showsPrec :: Int -> Regex s -> ShowS # show :: Regex s -> String # showList :: [Regex s] -> ShowS #
Generic (Regex s) Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Associated Types type Rep (Regex s) :: Type -> Type # Methods from :: Regex s -> Rep (Regex s) x # to :: Rep (Regex s) x -> Regex s #
Lift s => Lift (Regex s) Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods lift :: Regex s -> Q Exp #
Hashable s => Hashable (Regex s) Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods hashWithSalt :: Int -> Regex s -> Int # hash :: Regex s -> Int #
type Rep (Regex s) Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax type Rep (Regex s) = D1 (MetaData "Regex" "Language.ANTLR4.Boot.Syntax" "antlr-haskell-0.1.0.0-I1YLZdM1Y3a3syLrgVdT7Y" False) (((C1 (MetaCons "Epsilon" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Literal" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [s]))) :+: (C1 (MetaCons "Union" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Regex s])) :+: (C1 (MetaCons "Concat" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Regex s])) :+: C1 (MetaCons "Kleene" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Regex s)))))) :+: ((C1 (MetaCons "PosClos" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Regex s))) :+: C1 (MetaCons "Question" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Regex s)))) :+: (C1 (MetaCons "CharSet" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [s])) :+: (C1 (MetaCons "Negation" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Regex s))) :+: C1 (MetaCons "Named" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))))

isGTerm :: ProdElem -> Bool Source #

Is this a terminal G4 element?

isGNonTerm :: ProdElem -> Bool Source #

Is this a nonterminal G4 element?

data TermAnnot Source #

Annotations on a term (nonterminal or terminal) for extending our G4 BNF-like syntax with regular expression modifiers.

Constructors

Regular Char	Regular expression modifier (e.g. +, ?, *)
NoAnnot	Term is not annotated with anything

Instances

Eq TermAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods (==) :: TermAnnot -> TermAnnot -> Bool # (/=) :: TermAnnot -> TermAnnot -> Bool #
Ord TermAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods compare :: TermAnnot -> TermAnnot -> Ordering # (<) :: TermAnnot -> TermAnnot -> Bool # (<=) :: TermAnnot -> TermAnnot -> Bool # (>) :: TermAnnot -> TermAnnot -> Bool # (>=) :: TermAnnot -> TermAnnot -> Bool # max :: TermAnnot -> TermAnnot -> TermAnnot # min :: TermAnnot -> TermAnnot -> TermAnnot #
Show TermAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods showsPrec :: Int -> TermAnnot -> ShowS # show :: TermAnnot -> String # showList :: [TermAnnot] -> ShowS #
Generic TermAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Associated Types type Rep TermAnnot :: Type -> Type # Methods from :: TermAnnot -> Rep TermAnnot x # to :: Rep TermAnnot x -> TermAnnot #
Lift TermAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods lift :: TermAnnot -> Q Exp #
Hashable TermAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax Methods hashWithSalt :: Int -> TermAnnot -> Int # hash :: TermAnnot -> Int #
type Rep TermAnnot Source #
Instance details Defined in Language.ANTLR4.Boot.Syntax type Rep TermAnnot = D1 (MetaData "TermAnnot" "Language.ANTLR4.Boot.Syntax" "antlr-haskell-0.1.0.0-I1YLZdM1Y3a3syLrgVdT7Y" False) (C1 (MetaCons "Regular" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Char)) :+: C1 (MetaCons "NoAnnot" PrefixI False) (U1 :: Type -> Type))

isMaybeAnnot :: TermAnnot -> Bool Source #

Is this TermAnnot a maybe?

isNoAnnot :: TermAnnot -> Bool Source #

Does this TermAnnot have no annotation?

annot :: ProdElem -> TermAnnot Source #

Get the annotation from a ProdElem

Orphan instances

Lift Exp Source #
Instance details Methods lift :: Exp -> Q Exp #