| Safe Haskell | Safe-Inferred |
|---|
ExternalCore
Documentation
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 |
ghc-7.6.2: The GHC API
| Safe Haskell | Safe-Inferred |
|---|
ExternalCore
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 |