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

Safe Haskell	None
Language	Haskell2010

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 Source
Ord Type Source
Show Type Source
Generic Type Source
NFData Type Source
Alpha Type Source
Pretty Type Source
Subst Term Type Source
Subst Type Term Source
Subst Type Type Source
Subst Type Pat Source
Generic b => Subst Type (Var b) Source
Pretty (Var Type) Source
type Rep Type Source

data TypeView Source

An easier view on types

Constructors

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

Instances

Show TypeView Source

data ConstTy Source

Type Constants

Constructors

TyCon !TyConName	TyCon type
Arrow	Function type

Instances

Show ConstTy Source
Generic ConstTy Source
NFData ConstTy Source
Alpha ConstTy Source
Subst a ConstTy Source
type Rep ConstTy Source

data LitTy Source

Literal Types

Constructors

NumTy !Int
SymTy !String

Instances

Show LitTy Source
Generic LitTy Source
NFData LitTy Source
Alpha LitTy Source
Pretty LitTy Source
Subst a LitTy Source
type Rep LitTy Source

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 :: HashMap TyConName TyCon -> Type -> TypeView Source

A view on types in which Signal types and newtypes are transparent, and type functions are evaluated when possible.

transparentTy :: Type -> Type Source

A transformation that renders Signal types transparent

typeKind :: HashMap TyConName TyCon -> Type -> Kind Source

Determine the kind of a type

mkTyConTy :: TyConName -> 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 :: TyConName -> [Type] -> Type Source

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

splitFunTy :: HashMap TyConName TyCon -> Type -> Maybe (Type, Type) Source

Split a function type in an argument and result type

splitFunTys :: HashMap TyConName TyCon -> Type -> ([Type], Type) Source

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 (TyConName, [Type]) Source

Split a TyCon Application in a TyCon and its arguments

isPolyFunTy :: Type -> Bool Source

Is a type a polymorphic or function type?

isPolyFunCoreTy :: HashMap TyConName TyCon -> Type -> Bool Source

Is a type a polymorphic or function type under coreView?

isPolyTy :: Type -> Bool Source

Is a type polymorphic?

isFunTy :: HashMap TyConName TyCon -> Type -> Bool Source

Is a type a function type?

applyFunTy :: HashMap TyConName TyCon -> Type -> Type -> Type Source

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

applyTy :: Fresh m => HashMap TyConName TyCon -> Type -> KindOrType -> m Type Source

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

findFunSubst :: [([Type], Type)] -> [Type] -> Maybe Type Source