extcore-0.9.2: Libraries for processing GHC Core

Language.Core.Core

Documentation

data Module Source

Constructors

Module AnMname [Tdef] [Vdefg]

Instances

Data Module
Show Module
Typeable Module

data Tdef Source

Constructors

Data (Qual Tcon) [Tbind] [Cdef]
Newtype (Qual Tcon) (Qual Tcon) [Tbind] Ty

Instances

Data Tdef
Show Tdef
Typeable Tdef

data Cdef Source

Constructors

Constr (Qual Dcon) [Tbind] [Ty]

Instances

Data Cdef
Show Cdef
Typeable Cdef

data Vdefg Source

Constructors

Rec [Vdef]
Nonrec Vdef

Instances

Data Vdefg
Show Vdefg
Typeable Vdefg

newtype Vdef Source

Constructors

Vdef (Qual Var, Ty, Exp)

Instances

Data Vdef
Show Vdef
Typeable Vdef

data Exp Source

Constructors

Var (Qual Var)
Dcon (Qual Dcon)
Lit Lit
App Exp Exp
Appt Exp Ty
Lam Bind Exp
Let Vdefg Exp
Case Exp Vbind Ty [Alt]
Cast Exp Ty
Note String Exp
External String Ty

Instances

Data Exp
Show Exp
Typeable Exp

data Bind Source

Constructors

Vb Vbind
Tb Tbind

Instances

Data Bind
Typeable Bind

data Alt Source

Constructors

Acon (Qual Dcon) [Tbind] [Vbind] Exp
Alit Lit Exp
Adefault Exp

Instances

Data Alt
Show Alt
Typeable Alt

type Vbind = (Var, Ty)Source

type Tbind = (Tvar, Kind)Source

Constructors

Tvar Tvar
Tcon (Qual Tcon)
Tapp Ty Ty
Tforall Tbind Ty
TransCoercion Ty Ty
SymCoercion Ty
UnsafeCoercion Ty Ty
InstCoercion Ty Ty
LeftCoercion Ty
RightCoercion Ty

Instances

Eq Ty
Data Ty
Show Ty
Typeable Ty

data Kind Source

Constructors

Klifted
Kunlifted
Kopen
Karrow Kind Kind
Keq Ty Ty

Instances

Data Kind
Show Kind
Typeable Kind

data CoercionKind Source

Constructors

DefinedCoercion [Tbind] (Ty, Ty)

Instances

Show CoercionKind

data KindOrCoercion Source

Constructors

Kind Kind
Coercion CoercionKind

Instances

Show KindOrCoercion

data Lit Source

Constructors

Literal CoreLit Ty

Instances

Eq Lit
Data Lit
Show Lit
Typeable Lit

data CoreLit Source

Constructors

Lint Integer
Lrational Rational
Lchar Char
Lstring String

Instances

Eq CoreLit
Data CoreLit
Show CoreLit
Typeable CoreLit

type Mname = Maybe AnMname Source

newtype AnMname Source

Constructors

M (Pname, [Id], Id)

Instances

Eq AnMname
Data AnMname
Ord AnMname
Show AnMname
Typeable AnMname

newtype Pname Source

Constructors

Instances

Eq Pname
Data Pname
Ord Pname
Typeable Pname

type Var = Id Source

type Tvar = Id Source

type Tcon = Id Source

type Dcon = Id Source

type Qual t = (Mname, t)Source

qual :: AnMname -> t -> Qual tSource

unqual :: t -> Qual tSource

getModule :: Qual t -> Mname Source

type Id = String Source

eqKind :: Kind -> Kind -> Bool Source

splitTyConApp_maybe :: Ty -> Maybe (Qual Tcon, [Ty])Source

equalTy :: Ty -> Ty -> Bool Source

subKindOf :: Kind -> Kind -> Bool Source

baseKind :: Kind -> Bool Source

mkPrimMname :: Id -> AnMname Source

mkBaseMname :: Id -> AnMname Source

dcTrue :: Dcon Source

dcFalse :: Dcon Source

tcArrow :: Qual Tcon Source

tArrow :: Ty -> Ty -> Ty Source

mkFunTy :: Ty -> Ty -> Ty Source

ktArrow :: Kind Source

maxUtuple :: Int Source

tcUtuple :: Int -> Qual Tcon Source

ktUtuple :: Int -> Kind Source

tUtuple :: [Ty] -> Ty Source

isUtupleTy :: Ty -> Bool Source

dcUtuple :: Int -> Qual Dcon Source

isUtupleDc :: Qual Dcon -> Bool Source

dcUtupleTy :: Int -> Ty Source

utuple :: [Ty] -> [Exp] -> Exp Source

flattenBinds :: [Vdefg] -> [Vdef]Source

unitMname :: AnMname Source