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

Futhark.Internalise.TypesValues

Synopsis

Internalising 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.