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

Futhark.Internalise.TypesValues

Synopsis

Internalising types

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

internaliseLambdaReturnType :: TypeBase (DimDecl VName) () -> InternaliseM [TypeBase Shape NoUniqueness] Source #

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

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

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

internaliseParamTypes :: [TypeBase (DimDecl VName) ()] -> InternaliseM [[TypeBase Shape Uniqueness]] Source #

internaliseLoopParamType :: TypeBase (DimDecl VName) () -> InternaliseM [TypeBase Shape Uniqueness] Source #

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?

internaliseSumType :: Map Name [StructType] -> InternaliseM ([TypeBase ExtShape Uniqueness], Map Name (Int, [Int])) Source #

Internalising values

internalisePrimValue :: PrimValue -> PrimValue Source #

Convert an external primitive value to an internal primitive value.