Language.Core.Syntax
Documentation
Constructors
Tvar Tvar | |
Tcon (Qual Tcon) | |
Tapp Ty Ty | |
Tarrow Ty Ty | |
Tforall Tbind Ty | |
TransCoercion Ty Ty | |
SymCoercion Ty | |
UnsafeCoercion Ty Ty | |
InstCoercion Ty Ty | |
LeftCoercion Ty | |
RightCoercion Ty |
type Id = ByteStringSource