Copyright | (C) 2012-2016 University of Twente 2016 Myrtle Software Ltd |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
Safe Haskell | None |
Language | Haskell2010 |
Builtin Type and Kind definitions
Documentation
typeNatKind :: Type Source #
integerPrimTy :: Type Source #
charPrimTy :: Type Source #
stringPrimTy :: Type Source #
voidPrimTy :: Type Source #
wordPrimTy :: Type Source #
int64PrimTy :: Type Source #
word64PrimTy :: Type Source #
floatPrimTy :: Type Source #
doublePrimTy :: Type Source #
naturalPrimTy :: Type Source #
tysPrimMap :: HashMap TyConOccName TyCon Source #