language-bluespec-0.1: An implementation of the Bluespec Haskell AST
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Bluespec.Classic.AST.Builtin.Types

Documentation

tOfSize :: Integer -> Position -> Type Source #

tBitN :: Integer -> Position -> Type Source #

fn :: Type -> Type -> Type infixr 4 Source #

class HasKind t where Source #

Methods

kind :: t -> Kind Source #

Instances

Instances details
HasKind TyCon Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Builtin.Types

Methods

kind :: TyCon -> Kind Source #

HasKind TyVar Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Builtin.Types

Methods

kind :: TyVar -> Kind Source #

HasKind Type Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Builtin.Types

Methods

kind :: Type -> Kind Source #

isClock :: Type -> Bool Source #

isReset :: Type -> Bool Source #

isInout :: Type -> Bool Source #

isInout_ :: Type -> Bool Source #

isBit :: Type -> Bool Source #

isInt :: Type -> Bool Source #

isUInt :: Type -> Bool Source #

isBool :: Type -> Bool Source #

isInteger :: Type -> Bool Source #

isString :: Type -> Bool Source #

isChar :: Type -> Bool Source #

isReal :: Type -> Bool Source #

isFmt :: Type -> Bool Source #