clash-lib-0.2.0.1: CAES Language for Synchronous Hardware - As a Library

Safe Haskell	None

CLaSH.Core.Type

Description

Types in CoreHW

Synopsis

Documentation

data Type Source

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 Source

An easier view on types

Constructors

FunTy Type Type	Function type
TyConApp TyCon [Type]	Applied TyCon
OtherType Type	Neither of the above

Instances

data ConstTy Source

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 Source

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 Source

The level above types

type KindOrType = Type Source

Either a Kind or a Type

type KiName = Name Kind Source

Reference to a Kind

type TyName = Name Type Source

Reference to a Type

type TyVar = Var Type Source

Type variable

tyView :: Type -> TypeView Source

An easier view on types

coreView :: Type -> TypeView Source

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

transparentTy :: Type -> Type Source

A transformation that renders Signal types transparent

typeKind :: Type -> Kind Source

Determine the kind of a type

mkTyConTy :: TyCon -> Type Source

Make a Type out of a TyCon

mkFunTy :: Type -> Type -> Type Source

Make a function type of an argument and result type

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

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

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

Split a function type in an argument and result type

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

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

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

Split a TyCon Application in a TyCon and its arguments

isPolyTy :: Type -> Bool Source

Is a type polymorphic?

isFunTy :: Type -> Bool Source

Is a type a function type?

applyFunTy :: Type -> Type -> Type Source

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

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

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