extcore-1.0.1: Libraries for processing GHC Core

Language.Core.ParsecParser

Documentation

parseCore :: FilePath -> IO (Either ParseError Module)Source

coreModule :: Parser ModuleSource

coreModuleName :: Parser AnMnameSource

corePackageName :: Parser PnameSource

coreHierModuleNames :: Parser ([Id], Id)Source

upperName :: Parser StringSource

coreTdefs :: Parser [Tdef]Source

coreTdef :: Parser TdefSource

withSemi :: Parser a -> Parser aSource

withTerminator :: Parser a -> String -> Parser aSource

coreDataDecl :: Parser TdefSource

coreNewtypeDecl :: Parser TdefSource

coreQualifiedCon :: Parser (Mname, Id)Source

isUpperName :: String -> BoolSource

coreQualifiedName :: Parser (Mname, Id)Source

coreTbinds :: Parser [Tbind]Source

coreTbindsOrTyGen :: CharParser () String -> Parser ([Tbind], [Ty])Source

coreTbind :: Parser TbindSource

coreTbindGen :: CharParser () a -> Parser TbindSource

coreTbindGen' :: Parser (String, Kind)Source

coreCdefs :: Parser [Cdef]Source

coreCdef :: Parser CdefSource

coreTRep :: Parser TySource

coreType :: Parser TySource

coreBty :: Parser TySource

coreAtySaturated :: Parser TySource

coreAty :: Parser ATyOpSource

coreTcon :: Parser ATyOpSource

coreTvarOrQualifiedCon :: Parser TySource

data CoercionTy Source

Constructors

TransC 
InstC 
SymC 
UnsafeC 
LeftC 
RightC 

transCo :: Parser CoercionTySource

unsafeCo :: Parser CoercionTySource

instCo :: Parser CoercionTySource

leftCo :: Parser CoercionTySource

rightCo :: Parser CoercionTySource

symCo :: Parser CoercionTySource

coreForallTy :: Parser TySource

coreKind :: Parser KindSource

coreAtomicKind :: Parser KindSource

liftedKind :: Parser KindSource

unliftedKind :: Parser KindSource

openKind :: Parser KindSource

equalityKind :: Parser (Ty, Ty)Source

data ATyOp Source

Constructors

ATy Ty 
Trans ([Ty] -> Ty) 
Sym ([Ty] -> Ty) 
Unsafe ([Ty] -> Ty) 
LeftCo ([Ty] -> Ty) 
RightCo ([Ty] -> Ty) 
InstCo ([Ty] -> Ty) 

coreVdefGroups :: Parser [Vdefg]Source

coreVdefg :: Parser VdefgSource

coreRecVdef :: Parser VdefgSource

coreNonrecVdef :: Parser VdefgSource

coreVdef :: Parser VdefSource

coreAtomicExp :: Parser ExpSource

coreFullExp :: Parser ExpSource

coreAppExp :: Parser ExpSource

coreDconOrVar :: Parser ExpSource

coreLit :: Parser ExpSource

coreLiteral :: Parser LitSource

coreLam :: Parser ExpSource

coreLet :: Parser ExpSource

coreCase :: Parser ExpSource

coreCast :: Parser ExpSource

coreNote :: Parser ExpSource

coreExternal :: Parser ExpSource

coreLabel :: Parser ExpSource

coreLambdaBinds :: Parser [Bind]Source

coreBind :: Parser BindSource

coreVbind :: Parser BindSource

coreTbinding :: Parser BindSource

coreAtTbind :: Parser TbindSource

topVbind :: Parser (Qual Var, Ty)Source

lambdaBind :: Parser (Var, Ty)Source

aCoreVbind :: Parser a -> Parser (a, Ty)Source

aLit :: Parser CoreLitSource

intOrRatLit :: Parser CoreLitSource

intLit :: Parser IntegerSource

charLit :: Parser CoreLitSource

stringLit :: Parser CoreLitSource

coreAlts :: Parser [Alt]Source

coreAlt :: Parser AltSource

conAlt :: Parser AltSource

caseVarBinds :: Parser ([Tbind], [Vbind])Source

litAlt :: Parser AltSource

defaultAlt :: Parser AltSource

extCore :: TokenParser aSource

braces :: CharParser st a -> CharParser st aSource

parens :: CharParser st a -> CharParser st aSource

whiteSpace :: Parser ()Source

symbol :: String -> CharParser st StringSource

identifier :: Parser StringSource

reserved' :: String -> Parser ()Source

reserved :: String -> Parser ()Source

caseString :: String -> Parser StringSource

natural :: CharParser st IntegerSource

charLiteral :: CharParser st CharSource

stringLiteral :: CharParser st StringSource

extCoreDef :: LanguageDef stSource

pt :: Show a => CharParser () a -> String -> IO ()Source