Language.Futhark.TypeChecker.Types

Documentation

checkTypeExp :: MonadTypeChecker m => TypeExp Name -> m (TypeExp VName, StructType, Liftedness)

checkTypeDecl :: MonadTypeChecker m => TypeDeclBase NoInfo Name -> m (TypeDeclBase Info VName, Liftedness)

unifyTypesU :: (Monoid als, ArrayDim dim) => (Uniqueness -> Uniqueness -> Maybe Uniqueness) -> TypeBase dim als -> TypeBase dim als -> Maybe (TypeBase dim als)

unifyTypes uf t1 t2 attempts to unify t1 and t2. If unification cannot happen, Nothing is returned, otherwise a type that combines the aliasing of t1 and t2 is returned. Uniqueness is unified with uf.

subtypeOf :: ArrayDim dim => TypeBase dim as1 -> TypeBase dim as2 -> Bool

x `subtypeOf` y is true if x is a subtype of y (or equal to y), meaning x is valid whenever y is.

subuniqueOf :: Uniqueness -> Uniqueness -> Bool

x subuniqueOf y is true if x is not less unique than y.

checkForDuplicateNames :: MonadTypeChecker m => [UncheckedPattern] -> m ()

Check for duplication of names inside a pattern group. Produces a description of all names used in the pattern group.

checkTypeParams :: MonadTypeChecker m => [TypeParamBase Name] -> ([TypeParamBase VName] -> m a) -> m a

typeParamToArg :: TypeParam -> StructTypeArg

Construct a type argument corresponding to a type parameter.

data TypeSub

Constructors

TypeSub TypeBinding

DimSub (DimDecl VName)

Instances

Show TypeSub

Defined in Language.Futhark.TypeChecker.Types

Methods

showsPrec :: Int -> TypeSub -> ShowS

show :: TypeSub -> String

showList :: [TypeSub] -> ShowS

type TypeSubs = Map VName TypeSub

substituteTypes :: Monoid als => TypeSubs -> TypeBase (DimDecl VName) als -> TypeBase (DimDecl VName) als

data Subst t

A type substituion may be a substitution or a yet-unknown substitution (but which is certainly an overloaded primitive type!). The latter is used to remove aliases from types that are yet-unknown but that we know cannot carry aliases (see issue #682).

Constructors

Subst t

PrimSubst

SizeSubst (DimDecl VName)

Instances

Functor Subst

Defined in Language.Futhark.TypeChecker.Types

Methods

fmap :: (a -> b) -> Subst a -> Subst b

(<$) :: a -> Subst b -> Subst a

Show t => Show (Subst t)

Defined in Language.Futhark.TypeChecker.Types

Methods

showsPrec :: Int -> Subst t -> ShowS

show :: Subst t -> String

showList :: [Subst t] -> ShowS

class Substitutable a where

Class of types which allow for substitution of types with no annotations for type variable names.

Methods

applySubst :: (VName -> Maybe (Subst StructType)) -> a -> a

Instances

Substitutable Pattern

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: (VName -> Maybe (Subst StructType)) -> Pattern -> Pattern

Substitutable d => Substitutable (ShapeDecl d)

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: (VName -> Maybe (Subst StructType)) -> ShapeDecl d -> ShapeDecl d

Substitutable (DimDecl VName)

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: (VName -> Maybe (Subst StructType)) -> DimDecl VName -> DimDecl VName

Substitutable (TypeBase (DimDecl VName) ())

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: (VName -> Maybe (Subst StructType)) -> TypeBase (DimDecl VName) () -> TypeBase (DimDecl VName) ()

Substitutable (TypeBase (DimDecl VName) Aliasing)

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: (VName -> Maybe (Subst StructType)) -> TypeBase (DimDecl VName) Aliasing -> TypeBase (DimDecl VName) Aliasing

substTypesAny :: Monoid as => (VName -> Maybe (Subst (TypeBase (DimDecl VName) as))) -> TypeBase (DimDecl VName) as -> TypeBase (DimDecl VName) as

Perform substitutions, from type names to types, on a type. Works regardless of what shape and uniqueness information is attached to the type.