antlr-haskell-0.1.0.1: A Haskell implementation of the ANTLR top-down parser generator

Copyright(c) Karl Cronburg 2018
LicenseBSD3
Maintainerkarl@cs.tufts.edu
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Language.ANTLR4.G4

Description

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

append :: String -> String -> String Source #

list :: a -> [a] Source #

cons :: a -> [a] -> [a] Source #

lexemeDirective :: Regex Char -> Directive -> LRHS Source #

lexemeNoDir :: Regex Char -> LRHS Source #

lexDecl :: String -> LRHS -> G4 Source #

lexFragment :: String -> LRHS -> G4 Source #

literalRegex :: String -> Regex Char Source #

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

prodNoDir :: [ProdElem] -> PRHS Source #

prodNoAlphas :: Directive -> PRHS Source #

prodNothing :: PRHS Source #

list2 :: a -> a -> [a] Source #

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

gterm :: String -> ProdElem Source #

gnonTerm :: String -> ProdElem Source #

maybeGTerm :: String -> ProdElem Source #

maybeGNonTerm :: String -> ProdElem Source #

starGTerm :: String -> ProdElem Source #

starGNonTerm :: String -> ProdElem Source #

plusGTerm :: String -> ProdElem Source #

plusGNonTerm :: String -> ProdElem Source #

regexAnyChar :: Regex s Source #

dQual :: [[Char]] -> Directive Source #

qDir :: a -> a -> [a] Source #

haskellD :: String -> Directive Source #

data G4NTSymbol Source #

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 Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

minBound :: G4NTSymbol #

maxBound :: G4NTSymbol #

Enum G4NTSymbol Source # 
Instance details

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 Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

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

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

Data G4NTSymbol Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

showsPrec :: Int -> G4NTSymbol -> ShowS #

show :: G4NTSymbol -> String #

showList :: [G4NTSymbol] -> ShowS #

Generic G4NTSymbol Source # 
Instance details

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 Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

lift :: G4NTSymbol -> Q Exp #

Hashable G4NTSymbol Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

hashWithSalt :: Int -> G4NTSymbol -> Int #

hash :: G4NTSymbol -> Int #

Prettify G4NTSymbol Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

prettify :: G4NTSymbol -> Pretty Source #

prettifyList :: [G4NTSymbol] -> Pretty Source #

Ref G4NTSymbol Source # 
Instance details

Defined in Language.ANTLR4.Parser

Associated Types

type Sym G4NTSymbol :: Type Source #

Methods

getSymbol :: G4NTSymbol -> Sym G4NTSymbol Source #

type Rep G4NTSymbol Source # 
Instance details

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 Source # 
Instance details

Defined in Language.ANTLR4.Parser

type Sym G4NTSymbol = G4NTSymbol

data G4TSymbol Source #

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 Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

minBound :: G4TSymbol #

maxBound :: G4TSymbol #

Enum G4TSymbol Source # 
Instance details

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 Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

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

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

Data G4TSymbol Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

showsPrec :: Int -> G4TSymbol -> ShowS #

show :: G4TSymbol -> String #

showList :: [G4TSymbol] -> ShowS #

Generic G4TSymbol Source # 
Instance details

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 Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

lift :: G4TSymbol -> Q Exp #

Hashable G4TSymbol Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

hashWithSalt :: Int -> G4TSymbol -> Int #

hash :: G4TSymbol -> Int #

Prettify G4TSymbol Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

prettify :: G4TSymbol -> Pretty Source #

prettifyList :: [G4TSymbol] -> Pretty Source #

type Rep G4TSymbol Source # 
Instance details

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

data TokenValue Source #

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 Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

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

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

Data TokenValue Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

showsPrec :: Int -> TokenValue -> ShowS #

show :: TokenValue -> String #

showList :: [TokenValue] -> ShowS #

Generic TokenValue Source # 
Instance details

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 Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

hashWithSalt :: Int -> TokenValue -> Int #

hash :: TokenValue -> Int #

Prettify TokenValue Source # 
Instance details

Defined in Language.ANTLR4.G4

Methods

prettify :: TokenValue -> Pretty Source #

prettifyList :: [TokenValue] -> Pretty Source #

type Rep TokenValue Source # 
Instance details

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

type G4AST = AST G4NTSymbol G4Token Source #

g4Grammar :: Grammar () G4NTSymbol G4TSymbol Directive Source #

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

g4AST :: [G4] Source #

g4Regexes :: [(G4TSymbol, Regex Char)] Source #

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

lexeme2value :: String -> G4TSymbol -> TokenValue Source #

lookupToken :: [Char] -> Token G4TSymbol TokenValue Source #

prettifyValue :: TokenValue -> Pretty Source #

prettifyT :: G4TSymbol -> Pretty Source #