ExternalCore
Documentation
data Tdef
data Exp
data Alt
data Ty
Constructors
Tvar Tvar | |
Tcon (Qual Tcon) | |
Tapp Ty Ty | |
Tforall Tbind Ty | |
TransCoercion Ty Ty | |
SymCoercion Ty | |
UnsafeCoercion Ty Ty | |
InstCoercion Ty Ty | |
NthCoercion Int Ty |
data Kind
data Lit
ghc-7.2.1: The GHC API
ExternalCore
data Tdef
data Exp
data Alt
data Ty
Constructors
Tvar Tvar | |
Tcon (Qual Tcon) | |
Tapp Ty Ty | |
Tforall Tbind Ty | |
TransCoercion Ty Ty | |
SymCoercion Ty | |
UnsafeCoercion Ty Ty | |
InstCoercion Ty Ty | |
NthCoercion Int Ty |
data Kind
data Lit