futhark-0.9.1: An optimising compiler for a functional, array-oriented language.

Safe HaskellNone
LanguageHaskell2010

Futhark.Internalise.TypesValues

Contents

Synopsis

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]], ConstParams) 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 dim () -> 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.