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, Eq als, ArrayDim dim) => (Uniqueness -> Uniqueness -> Maybe Uniqueness) -> TypeBase dim als -> TypeBase dim als -> Maybe (TypeBase dim als)

unifyTypes uf t2 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

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 :: TypeSubs -> StructType -> StructType

substituteTypesInBoundV :: TypeSubs -> BoundV -> BoundV

class Substitutable a where

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

Methods

applySubst :: (VName -> Maybe (TypeBase () ())) -> a -> a

Instances

Substitutable (TypeBase () ())

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: (VName -> Maybe (TypeBase () ())) -> TypeBase () () -> TypeBase () ()

Substitutable (TypeBase () Names)

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: (VName -> Maybe (TypeBase () ())) -> TypeBase () Names -> TypeBase () Names

Substitutable (TypeBase (DimDecl VName) ())

Defined in Language.Futhark.TypeChecker.Types

Methods

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

Substitutable (TypeBase (DimDecl VName) Names)

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: (VName -> Maybe (TypeBase () ())) -> TypeBase (DimDecl VName) Names -> TypeBase (DimDecl VName) Names

substTypesAny :: (ArrayDim dim, Monoid as) => (VName -> Maybe (TypeBase dim as)) -> TypeBase dim as -> TypeBase dim as

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