Language.Bluespec.Classic.AST.Builtin.Types

Documentation

tArrow :: Type

tBit :: Type

tInt :: Type

tIntAt :: Position -> Type

tiData :: [Id] -> TISort

tiEnum :: [Id] -> TISort

tUInt :: Type

tBool :: Type

tPrimUnit :: Type

tPrimUnitAt :: Position -> Type

tInteger :: Type

tReal :: Type

tRealAt :: Position -> Type

tClock :: Type

tReset :: Type

tInout :: Type

tInout_ :: Type

tChar :: Type

tString :: Type

tFmt :: Type

tName :: Type

tPosition :: Type

tType :: Type

tPred :: Type

tAttributes :: Type

tPrimPair :: Type

tSizeOf :: Type

tAction :: Type

tActionValue :: Type

tActionValue_ :: Type

tAction_ :: Type

tActionAt :: Position -> Type

tActionValueAt :: Position -> Type

tActionValue_At :: Position -> Type

tPrimAction :: Type

tRules :: Type

tRulesAt :: Position -> Type

tSchedPragma :: Type

tModule :: Type

tVRWireN :: Type

tId :: Type

t32 :: Type

t32At :: Position -> Type

tOfSize :: Integer -> Position -> Type

tInt32At :: Position -> Type

tBitN :: Integer -> Position -> Type

tNat :: Position -> Type

tFile :: Type

tSvaParam :: Type

fn :: Type -> Type -> Type infixr 4

kNNN :: Kind

kNN :: Kind

kNNS :: Kind

kNS :: Kind

tAdd :: Type

tSub :: Type

tMul :: Type

tDiv :: Type

tLog :: Type

tExp :: Type

tMax :: Type

tMin :: Type

class HasKind t where

Methods

kind :: t -> Kind

Instances

HasKind TyCon

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

Methods

kind :: TyCon -> Kind

HasKind TyVar

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

Methods

kind :: TyVar -> Kind

HasKind Type

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

Methods

kind :: Type -> Kind

arrow :: Type -> Type -> Type

isPrimAction :: Type -> Bool

isActionValue :: Type -> Bool

getAVType :: Type -> Type

isActionWithoutValue :: Type -> Bool

isActionWithValue :: Type -> Bool

isClock :: Type -> Bool

isReset :: Type -> Bool

isInout :: Type -> Bool

isInout_ :: Type -> Bool

isBit :: Type -> Bool

isInt :: Type -> Bool

isUInt :: Type -> Bool

isBool :: Type -> Bool

isInteger :: Type -> Bool

isString :: Type -> Bool

isChar :: Type -> Bool

isReal :: Type -> Bool

isFmt :: Type -> Bool