Futhark.IR.RetType

This module exports a type class covering representations of function return types.

Documentation

class (Show rt, Eq rt, Ord rt, ExtTyped rt) => IsBodyType rt where

A type representing the return type of a body. It should contain at least the information contained in a list of ExtTypes, but may have more, notably an existential context.

Methods

primBodyType :: PrimType -> rt

Construct a body type from a primitive type.

Instances

IsBodyType BodyReturns

Defined in Futhark.IR.Mem

Methods

primBodyType :: PrimType -> BodyReturns

IsBodyType ExtType

Defined in Futhark.IR.RetType

Methods

primBodyType :: PrimType -> ExtType

class (Show rt, Eq rt, Ord rt, ExtTyped rt, DeclExtTyped rt) => IsRetType rt where

A type representing the return type of a function. In practice, a list of these will be used. It should contain at least the information contained in an ExtType, but may have more, notably an existential context.

Methods

primRetType :: PrimType -> rt

Contruct a return type from a primitive type.

applyRetType :: Typed dec => [rt] -> [Param dec] -> [(SubExp, Type)] -> Maybe [rt]

Given a function return type, the parameters of the function, and the arguments for a concrete call, return the instantiated return type for the concrete call, if valid.

Instances

IsRetType FunReturns

Defined in Futhark.IR.Mem

Methods

primRetType :: PrimType -> FunReturns

applyRetType :: Typed dec => [FunReturns] -> [Param dec] -> [(SubExp, Type)] -> Maybe [FunReturns]

IsRetType DeclExtType

Defined in Futhark.IR.RetType

Methods

primRetType :: PrimType -> DeclExtType

applyRetType :: Typed dec => [DeclExtType] -> [Param dec] -> [(SubExp, Type)] -> Maybe [DeclExtType]

expectedTypes :: Typed t => [VName] -> [t] -> [SubExp] -> [Type]

Given shape parameter names and types, produce the types of arguments accepted.