Copyright | (C) 2012-2016 University of Twente 2016 Myrtle Software Ltd 2021 QBayLogic B.V. |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | QBayLogic B.V. <devops@qbaylogic.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 #