Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Futhark.TypeChecker.Types

Description

Type checker building blocks that do not involve unification.

Synopsis

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)
subtypeOf :: TypeBase () () -> TypeBase () () -> Bool
subuniqueOf :: Uniqueness -> Uniqueness -> Bool
checkForDuplicateNames :: MonadTypeChecker m => [UncheckedPattern] -> m ()
checkTypeParams :: MonadTypeChecker m => [TypeParamBase Name] -> ([TypeParamBase VName] -> m a) -> m a
typeParamToArg :: TypeParam -> StructTypeArg
data Subst t
- = Subst [TypeParam] t
- | PrimSubst
- | SizeSubst (DimDecl VName)
substFromAbbr :: TypeBinding -> Subst StructType
type TypeSubs = VName -> Maybe (Subst StructType)
unionSubs :: TypeSubs -> TypeSubs -> TypeSubs
class Substitutable a where
- applySubst :: TypeSubs -> a -> a
substTypesAny :: Monoid as => (VName -> Maybe (Subst (TypeBase (DimDecl VName) as))) -> TypeBase (DimDecl VName) as -> TypeBase (DimDecl VName) as

Documentation

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

Type-check a single TypeExp, returning the checked TypeExp, its fully expanded type (modulo yet-unelaborated type variables), and whether it is potentially higher-order.

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

Use checkTypeExp to check a type declaration.

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

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. Assumes sizes already match, and always picks the size of the leftmost type.

subtypeOf :: TypeBase () () -> TypeBase () () -> Bool Source #

x `subtypeOf` y is true if x is a subtype of y (or equal to y), meaning x is valid whenever y is. Ignores sizes. Mostly used for checking uniqueness.

subuniqueOf :: Uniqueness -> Uniqueness -> Bool Source #

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

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

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 Source #

checkTypeParams ps m checks the type parameters ps, then invokes the continuation m with the checked parameters, while extending the monadic name map with ps.

typeParamToArg :: TypeParam -> StructTypeArg Source #

Construct a type argument corresponding to a type parameter.

data Subst t Source #

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 [TypeParam] t
PrimSubst
SizeSubst (DimDecl VName)

Instances

Instances details

Functor Subst Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods fmap :: (a -> b) -> Subst a -> Subst b # (<$) :: a -> Subst b -> Subst a #
Show t => Show (Subst t) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods showsPrec :: Int -> Subst t -> ShowS # show :: Subst t -> String # showList :: [Subst t] -> ShowS #

substFromAbbr :: TypeBinding -> Subst StructType Source #

type TypeSubs = VName -> Maybe (Subst StructType) Source #

Substitutions to apply in a type.

unionSubs :: TypeSubs -> TypeSubs -> TypeSubs Source #

Additively combine two non-intersecting substitutions.

class Substitutable a where Source #

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

Methods

applySubst :: TypeSubs -> a -> a Source #

Instances

Instances details

Substitutable Pattern Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: TypeSubs -> Pattern -> Pattern Source #
Substitutable d => Substitutable (ShapeDecl d) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: TypeSubs -> ShapeDecl d -> ShapeDecl d Source #
Substitutable (DimDecl VName) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: TypeSubs -> DimDecl VName -> DimDecl VName Source #
Substitutable (TypeBase (DimDecl VName) ()) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: TypeSubs -> TypeBase (DimDecl VName) () -> TypeBase (DimDecl VName) () Source #
Substitutable (TypeBase (DimDecl VName) Aliasing) Source #
Instance details Defined in Language.Futhark.TypeChecker.Types Methods applySubst :: TypeSubs -> TypeBase (DimDecl VName) Aliasing -> TypeBase (DimDecl VName) Aliasing Source #

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

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