Language.ANTLR4.G4

Until better haddock integration is developed, you'll need to look at the source for this module to see the G4 grammar for G4.

Documentation

char :: String -> Char

append :: String -> String -> String

list :: a -> [a]

cons :: a -> [a] -> [a]

lexemeDirective :: Regex Char -> Directive -> LRHS

lexemeNoDir :: Regex Char -> LRHS

lexDecl :: String -> LRHS -> G4

lexFragment :: String -> LRHS -> G4

literalRegex :: String -> Regex Char

prodDirective :: [ProdElem] -> Directive -> PRHS

prodNoDir :: [ProdElem] -> PRHS

prodNoAlphas :: Directive -> PRHS

prodNothing :: PRHS

list2 :: a -> a -> [a]

range :: Enum a => a -> a -> [a]

gterm :: String -> ProdElem

gnonTerm :: String -> ProdElem

maybeGTerm :: String -> ProdElem

maybeGNonTerm :: String -> ProdElem

starGTerm :: String -> ProdElem

starGNonTerm :: String -> ProdElem

plusGTerm :: String -> ProdElem

plusGNonTerm :: String -> ProdElem

regexAnyChar :: Regex s

dQual :: [[Char]] -> Directive

qDir :: a -> a -> [a]

haskellD :: String -> Directive

data G4NTSymbol

Constructors

NT_decls

NT_decl1

NT_prods

NT_lexemeRHS

NT_prodRHS

NT_regexes1

NT_directive

NT_alphas

NT_qDirective

NT_qDot

NT_alpha

NT_regexes

NT_regex

NT_regex1

NT_charSet

NT_unionR

NT_charSet1

Instances

Bounded G4NTSymbol

Defined in Language.ANTLR4.G4

Methods

minBound :: G4NTSymbol

maxBound :: G4NTSymbol

Enum G4NTSymbol

Defined in Language.ANTLR4.G4

Methods

succ :: G4NTSymbol -> G4NTSymbol

pred :: G4NTSymbol -> G4NTSymbol

toEnum :: Int -> G4NTSymbol

fromEnum :: G4NTSymbol -> Int

enumFrom :: G4NTSymbol -> [G4NTSymbol]

enumFromThen :: G4NTSymbol -> G4NTSymbol -> [G4NTSymbol]

enumFromTo :: G4NTSymbol -> G4NTSymbol -> [G4NTSymbol]

enumFromThenTo :: G4NTSymbol -> G4NTSymbol -> G4NTSymbol -> [G4NTSymbol]

Eq G4NTSymbol

Defined in Language.ANTLR4.G4

Methods

(==) :: G4NTSymbol -> G4NTSymbol -> Bool

(/=) :: G4NTSymbol -> G4NTSymbol -> Bool

Data G4NTSymbol

Defined in Language.ANTLR4.G4

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> G4NTSymbol -> c G4NTSymbol

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c G4NTSymbol

toConstr :: G4NTSymbol -> Constr

dataTypeOf :: G4NTSymbol -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c G4NTSymbol)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c G4NTSymbol)

gmapT :: (forall b. Data b => b -> b) -> G4NTSymbol -> G4NTSymbol

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> G4NTSymbol -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> G4NTSymbol -> r

gmapQ :: (forall d. Data d => d -> u) -> G4NTSymbol -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> G4NTSymbol -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> G4NTSymbol -> m G4NTSymbol

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> G4NTSymbol -> m G4NTSymbol

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> G4NTSymbol -> m G4NTSymbol

Ord G4NTSymbol

Defined in Language.ANTLR4.G4

Methods

compare :: G4NTSymbol -> G4NTSymbol -> Ordering

(<) :: G4NTSymbol -> G4NTSymbol -> Bool

(<=) :: G4NTSymbol -> G4NTSymbol -> Bool

(>) :: G4NTSymbol -> G4NTSymbol -> Bool

(>=) :: G4NTSymbol -> G4NTSymbol -> Bool

max :: G4NTSymbol -> G4NTSymbol -> G4NTSymbol

min :: G4NTSymbol -> G4NTSymbol -> G4NTSymbol

Show G4NTSymbol

Defined in Language.ANTLR4.G4

Methods

showsPrec :: Int -> G4NTSymbol -> ShowS

show :: G4NTSymbol -> String

showList :: [G4NTSymbol] -> ShowS

Generic G4NTSymbol

Defined in Language.ANTLR4.G4

Associated Types

type Rep G4NTSymbol :: Type -> Type

Methods

from :: G4NTSymbol -> Rep G4NTSymbol x

to :: Rep G4NTSymbol x -> G4NTSymbol

Lift G4NTSymbol

Defined in Language.ANTLR4.G4

Methods

lift :: G4NTSymbol -> Q Exp

Hashable G4NTSymbol

Defined in Language.ANTLR4.G4

Methods

hashWithSalt :: Int -> G4NTSymbol -> Int

hash :: G4NTSymbol -> Int

Prettify G4NTSymbol

Defined in Language.ANTLR4.G4

Methods

prettify :: G4NTSymbol -> Pretty

prettifyList :: [G4NTSymbol] -> Pretty

Ref G4NTSymbol

Defined in Language.ANTLR4.Parser

Associated Types

type Sym G4NTSymbol :: Type

Methods

getSymbol :: G4NTSymbol -> Sym G4NTSymbol

type Rep G4NTSymbol

Defined in Language.ANTLR4.G4

type Rep G4NTSymbol = D1 (MetaData "G4NTSymbol" "Language.ANTLR4.G4" "antlr-haskell-0.1.0.1-47wJxWjYxn91lXcjBVmKNu" False) ((((C1 (MetaCons "NT_decls" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NT_decl1" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "NT_prods" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NT_lexemeRHS" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "NT_prodRHS" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NT_regexes1" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "NT_directive" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NT_alphas" PrefixI False) (U1 :: Type -> Type)))) :+: (((C1 (MetaCons "NT_qDirective" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NT_qDot" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "NT_alpha" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NT_regexes" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "NT_regex" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NT_regex1" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "NT_charSet" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "NT_unionR" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NT_charSet1" PrefixI False) (U1 :: Type -> Type))))))

type Sym G4NTSymbol

Defined in Language.ANTLR4.Parser

type Sym G4NTSymbol = G4NTSymbol

data G4TSymbol

Constructors

T_0

T_1

T_2

T_3

T_4

T_5

T_6

T_7

T_8

T_9

T_10

T_11

T_12

T_13

T_14

T_15

T_16

T_17

T_UpperID

T_LowerID

T_Literal

T_LineComment

T_HaskellExp

T_SetChar

T_WS

T_EscapedChar

Instances

Bounded G4TSymbol

Defined in Language.ANTLR4.G4

Methods

minBound :: G4TSymbol

maxBound :: G4TSymbol

Enum G4TSymbol

Defined in Language.ANTLR4.G4

Methods

succ :: G4TSymbol -> G4TSymbol

pred :: G4TSymbol -> G4TSymbol

toEnum :: Int -> G4TSymbol

fromEnum :: G4TSymbol -> Int

enumFrom :: G4TSymbol -> [G4TSymbol]

enumFromThen :: G4TSymbol -> G4TSymbol -> [G4TSymbol]

enumFromTo :: G4TSymbol -> G4TSymbol -> [G4TSymbol]

enumFromThenTo :: G4TSymbol -> G4TSymbol -> G4TSymbol -> [G4TSymbol]

Eq G4TSymbol

Defined in Language.ANTLR4.G4

Methods

(==) :: G4TSymbol -> G4TSymbol -> Bool

(/=) :: G4TSymbol -> G4TSymbol -> Bool

Data G4TSymbol

Defined in Language.ANTLR4.G4

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> G4TSymbol -> c G4TSymbol

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c G4TSymbol

toConstr :: G4TSymbol -> Constr

dataTypeOf :: G4TSymbol -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c G4TSymbol)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c G4TSymbol)

gmapT :: (forall b. Data b => b -> b) -> G4TSymbol -> G4TSymbol

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> G4TSymbol -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> G4TSymbol -> r

gmapQ :: (forall d. Data d => d -> u) -> G4TSymbol -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> G4TSymbol -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> G4TSymbol -> m G4TSymbol

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> G4TSymbol -> m G4TSymbol

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> G4TSymbol -> m G4TSymbol

Ord G4TSymbol

Defined in Language.ANTLR4.G4

Methods

compare :: G4TSymbol -> G4TSymbol -> Ordering

(<) :: G4TSymbol -> G4TSymbol -> Bool

(<=) :: G4TSymbol -> G4TSymbol -> Bool

(>) :: G4TSymbol -> G4TSymbol -> Bool

(>=) :: G4TSymbol -> G4TSymbol -> Bool

max :: G4TSymbol -> G4TSymbol -> G4TSymbol

min :: G4TSymbol -> G4TSymbol -> G4TSymbol

Show G4TSymbol

Defined in Language.ANTLR4.G4

Methods

showsPrec :: Int -> G4TSymbol -> ShowS

show :: G4TSymbol -> String

showList :: [G4TSymbol] -> ShowS

Generic G4TSymbol

Defined in Language.ANTLR4.G4

Associated Types

type Rep G4TSymbol :: Type -> Type

Methods

from :: G4TSymbol -> Rep G4TSymbol x

to :: Rep G4TSymbol x -> G4TSymbol

Lift G4TSymbol

Defined in Language.ANTLR4.G4

Methods

lift :: G4TSymbol -> Q Exp

Hashable G4TSymbol

Defined in Language.ANTLR4.G4

Methods

hashWithSalt :: Int -> G4TSymbol -> Int

hash :: G4TSymbol -> Int

Prettify G4TSymbol

Defined in Language.ANTLR4.G4

Methods

prettify :: G4TSymbol -> Pretty

prettifyList :: [G4TSymbol] -> Pretty

type Rep G4TSymbol

Defined in Language.ANTLR4.G4

type Rep G4TSymbol = D1 (MetaData "G4TSymbol" "Language.ANTLR4.G4" "antlr-haskell-0.1.0.1-47wJxWjYxn91lXcjBVmKNu" False) ((((C1 (MetaCons "T_0" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "T_1" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "T_2" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "T_3" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "T_4" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "T_5" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "T_6" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "T_7" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "T_8" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "T_9" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "T_10" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "T_11" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "T_12" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "T_13" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "T_14" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "T_15" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "T_16" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "T_17" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "T_UpperID" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "T_LowerID" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "T_Literal" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "T_LineComment" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "T_HaskellExp" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "T_SetChar" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "T_WS" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "T_EscapedChar" PrefixI False) (U1 :: Type -> Type))))))

type TokenName = G4TSymbol

data TokenValue

Constructors

V_UpperID String

V_LowerID String

V_Literal String

V_LineComment String

V_HaskellExp String

V_SetChar Char

V_WS String

V_EscapedChar Char

V_0

V_1

V_2

V_3

V_4

V_5

V_6

V_7

V_8

V_9

V_10

V_11

V_12

V_13

V_14

V_15

V_16

V_17

Instances

Eq TokenValue

Defined in Language.ANTLR4.G4

Methods

(==) :: TokenValue -> TokenValue -> Bool

(/=) :: TokenValue -> TokenValue -> Bool

Data TokenValue

Defined in Language.ANTLR4.G4

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TokenValue -> c TokenValue

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TokenValue

toConstr :: TokenValue -> Constr

dataTypeOf :: TokenValue -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TokenValue)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TokenValue)

gmapT :: (forall b. Data b => b -> b) -> TokenValue -> TokenValue

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TokenValue -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TokenValue -> r

gmapQ :: (forall d. Data d => d -> u) -> TokenValue -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TokenValue -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TokenValue -> m TokenValue

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TokenValue -> m TokenValue

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TokenValue -> m TokenValue

Ord TokenValue

Defined in Language.ANTLR4.G4

Methods

compare :: TokenValue -> TokenValue -> Ordering

(<) :: TokenValue -> TokenValue -> Bool

(<=) :: TokenValue -> TokenValue -> Bool

(>) :: TokenValue -> TokenValue -> Bool

(>=) :: TokenValue -> TokenValue -> Bool

max :: TokenValue -> TokenValue -> TokenValue

min :: TokenValue -> TokenValue -> TokenValue

Show TokenValue

Defined in Language.ANTLR4.G4

Methods

showsPrec :: Int -> TokenValue -> ShowS

show :: TokenValue -> String

showList :: [TokenValue] -> ShowS

Generic TokenValue

Defined in Language.ANTLR4.G4

Associated Types

type Rep TokenValue :: Type -> Type

Methods

from :: TokenValue -> Rep TokenValue x

to :: Rep TokenValue x -> TokenValue

Hashable TokenValue

Defined in Language.ANTLR4.G4

Methods

hashWithSalt :: Int -> TokenValue -> Int

hash :: TokenValue -> Int

Prettify TokenValue

Defined in Language.ANTLR4.G4

Methods

prettify :: TokenValue -> Pretty

prettifyList :: [TokenValue] -> Pretty

type Rep TokenValue

Defined in Language.ANTLR4.G4

type Rep TokenValue = D1 (MetaData "TokenValue" "Language.ANTLR4.G4" "antlr-haskell-0.1.0.1-47wJxWjYxn91lXcjBVmKNu" False) ((((C1 (MetaCons "V_UpperID" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: (C1 (MetaCons "V_LowerID" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "V_Literal" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) :+: (C1 (MetaCons "V_LineComment" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: (C1 (MetaCons "V_HaskellExp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "V_SetChar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Char))))) :+: ((C1 (MetaCons "V_WS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: (C1 (MetaCons "V_EscapedChar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Char)) :+: C1 (MetaCons "V_0" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "V_1" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "V_2" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "V_3" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "V_4" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "V_5" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "V_6" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "V_7" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "V_8" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "V_9" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "V_10" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "V_11" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "V_12" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "V_13" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "V_14" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "V_15" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "V_16" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "V_17" PrefixI False) (U1 :: Type -> Type))))))

type G4Token = Token G4TSymbol TokenValue

type G4AST = AST G4NTSymbol G4Token

g4Grammar :: Grammar () G4NTSymbol G4TSymbol Directive

g4Grammar' :: Prettify s => Grammar s G4NTSymbol G4TSymbol Directive

g4AST :: [G4]

g4Regexes :: [(G4TSymbol, Regex Char)]

g4DFAs :: [(G4TSymbol, DFA Char (DFAState Int))]

lexeme2value :: String -> G4TSymbol -> TokenValue

lookupToken :: [Char] -> Token G4TSymbol TokenValue

prettifyValue :: TokenValue -> Pretty

prettifyT :: G4TSymbol -> Pretty