futhark-0.12.1: An optimising compiler for a functional, array-oriented language.

Safe Haskell	None
Language	Haskell2010

Language.Futhark.TypeChecker.Modules

Synopsis

matchMTys :: MTy -> MTy -> SrcLoc -> Either TypeError (Map VName VName)
newNamesForMTy :: MTy -> TypeM (MTy, Map VName VName)
refineEnv :: SrcLoc -> TySet -> Env -> QualName Name -> [TypeParam] -> StructType -> TypeM (QualName VName, TySet, Env)
applyFunctor :: SrcLoc -> FunSig -> MTy -> TypeM (MTy, Map VName VName, Map VName VName)

Documentation

matchMTys :: MTy -> MTy -> SrcLoc -> Either TypeError (Map VName VName) Source #

newNamesForMTy :: MTy -> TypeM (MTy, Map VName VName) Source #

refineEnv :: SrcLoc -> TySet -> Env -> QualName Name -> [TypeParam] -> StructType -> TypeM (QualName VName, TySet, Env) Source #

Refine the given type name in the given env.

applyFunctor :: SrcLoc -> FunSig -> MTy -> TypeM (MTy, Map VName VName, Map VName VName) Source #