futhark-0.16.3: An optimising compiler for a functional, array-oriented language.
Safe HaskellTrustworthy



Internalising types

data BoundInTypes Source #

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

boundInTypes :: [TypeParam] -> BoundInTypes Source #

Determine the names bound for some types.

internaliseEntryReturnType :: TypeBase (DimDecl VName) () -> InternaliseM [[TypeBase ExtShape Uniqueness]] Source #

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

internalisePrimType :: PrimType -> PrimType Source #

Convert an external primitive to an internal primitive.

internalisedTypeSize :: TypeBase (DimDecl VName) () -> InternaliseM Int Source #

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

Internalising values

internalisePrimValue :: PrimValue -> PrimValue Source #

Convert an external primitive value to an internal primitive value.