clash-lib-1.8.1: Clash: a functional hardware description language - As a library

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 | Safe-Inferred
Language | Haskell2010

Clash.Core.TysPrim

Description

Builtin Type and Kind definitions

# Documentation

liftedTypeKind :: Type Source #

typeNatKind :: Type Source #

typeSymbolKind :: Type Source #

intPrimTy :: Type Source #

integerPrimTy :: Type Source #

charPrimTy :: Type Source #

stringPrimTy :: Type Source #

wordPrimTy :: Type Source #

int64PrimTy :: Type Source #

word64PrimTy :: Type Source #

int8PrimTy :: Type Source #

int16PrimTy :: Type Source #

int32PrimTy :: Type Source #

word8PrimTy :: Type Source #

word16PrimTy :: Type Source #

word32PrimTy :: Type Source #

floatPrimTy :: Type Source #

doublePrimTy :: Type Source #

naturalPrimTy :: Type Source #

byteArrayPrimTy :: Type Source #

eqPrimTy :: Type Source #

tysPrimMap :: TyConMap Source #