CLaSH.Core.Type

Types in CoreHW

Documentation

data Type

Types in CoreHW: function and polymorphic types

Constructors

VarTy Kind TyName

Type variable

ConstTy ConstTy

Type constant

ForAllTy (Bind TyVar Type)

Polymorphic Type

AppTy Type Type

Type Application

LitTy LitTy

Type literal

Instances

Eq Type

Ord Type

Show Type

Rep Type

Alpha Type

Pretty Type

(Sat (ctx0 Kind), Sat (ctx0 TyName), Sat (ctx0 ConstTy), Sat (ctx0 (Bind TyVar Type)), Sat (ctx0 Type), Sat (ctx0 LitTy)) => Rep1 ctx0 Type

Subst Term Type

Subst Term TyVar

Subst Type TyCon

Subst Type Term

Subst Type Type

Subst Type TyVar

Subst Type Id

Subst Type DataCon

Subst Type PrimRep

Subst Type AlgTyConRhs

Subst Type Literal

Subst Type Pat

Subst Type LitTy

Subst Type ConstTy

Pretty (Var Type)

data TypeView

An easier view on types

Constructors

FunTy Type Type

Function type

TyConApp TyCon [Type]

Applied TyCon

OtherType Type

Neither of the above

Instances

Show TypeView

data ConstTy

Type Constants

Constructors

TyCon TyCon

TyCon type

Arrow

Function type

Instances

Show ConstTy

Rep ConstTy

Alpha ConstTy

Sat (ctx0 TyCon) => Rep1 ctx0 ConstTy

Subst Term ConstTy

Subst Type ConstTy

data LitTy

Literal Types

Constructors

NumTy Int

SymTy String

Instances

Show LitTy

Rep LitTy

Alpha LitTy

Pretty LitTy

(Sat (ctx0 Int), Sat (ctx0 String)) => Rep1 ctx0 LitTy

Subst Term LitTy

Subst Type LitTy

type Kind = Type

The level above types

type KindOrType = Type

Either a Kind or a Type

type KiName = Name Kind

Reference to a Kind

type TyName = Name Type

Reference to a Type

type TyVar = Var Type

Type variable

tyView :: Type -> TypeView

An easier view on types

coreView :: Type -> TypeView

A view on types in which Signal types and newtypes are transparent

transparentTy :: Type -> Type

A transformation that renders Signal types transparent

typeKind :: Type -> Kind

Determine the kind of a type

mkTyConTy :: TyCon -> Type

Make a Type out of a TyCon

mkFunTy :: Type -> Type -> Type

Make a function type of an argument and result type

mkTyConApp :: TyCon -> [Type] -> Type

Make a TyCon Application out of a TyCon and a list of argument types

splitFunTy :: Type -> Maybe (Type, Type)

Split a function type in an argument and result type

splitFunForallTy :: Type -> ([Either TyVar Type], Type)

Split a poly-function type in a: list of type-binders and argument types, and the result type

splitTyConAppM :: Type -> Maybe (TyCon, [Type])

Split a TyCon Application in a TyCon and its arguments

isPolyTy :: Type -> Bool

Is a type polymorphic?

isFunTy :: Type -> Bool

Is a type a function type?

applyFunTy :: Type -> Type -> Type

Apply a function type to an argument type and get the result type

applyTy :: Fresh m => Type -> KindOrType -> m Type

Substitute the type variable of a type (ForAllTy) with another type