Futhark.Internalise.TypesValues

Internalising types

data BoundInTypes

The names that are bound for some types, either implicitly or explicitly.

Instances

Semigroup BoundInTypes

Defined in Futhark.Internalise.TypesValues

Methods

(<>) :: BoundInTypes -> BoundInTypes -> BoundInTypes

sconcat :: NonEmpty BoundInTypes -> BoundInTypes

stimes :: Integral b => b -> BoundInTypes -> BoundInTypes

Monoid BoundInTypes

Defined in Futhark.Internalise.TypesValues

Methods

mempty :: BoundInTypes

mappend :: BoundInTypes -> BoundInTypes -> BoundInTypes

mconcat :: [BoundInTypes] -> BoundInTypes

boundInTypes :: [TypeParam] -> BoundInTypes

Determine the names bound for some types.

internaliseReturnType :: TypeBase (DimDecl VName) () -> InternaliseM ([TypeBase ExtShape Uniqueness], ConstParams)

internaliseEntryReturnType :: TypeBase (DimDecl VName) () -> InternaliseM ([[TypeBase ExtShape Uniqueness]], ConstParams)

As internaliseReturnType, but returns components of a top-level tuple type piecemeal.

internaliseParamTypes :: BoundInTypes -> Map VName VName -> [TypeBase (DimDecl VName) ()] -> InternaliseM ([[TypeBase ExtShape Uniqueness]], ConstParams)

internaliseType :: TypeBase () () -> InternaliseM [TypeBase ExtShape Uniqueness]

internalisePrimType :: PrimType -> PrimType

Convert an external primitive to an internal primitive.

internalisedTypeSize :: TypeBase dim () -> InternaliseM Int

How many core language values are needed to represent one source language value of the given type?

Internalising values

internalisePrimValue :: PrimValue -> PrimValue

Convert an external primitive value to an internal primitive value.