Safe Haskell	None
Language	Haskell2010

Language.Futhark.TypeChecker.Monad

Description

Main monad in which the type checker runs, as well as ancillary data definitions.

Synopsis

data TypeM a
runTypeM :: Env -> ImportTable -> ImportName -> VNameSource -> TypeM a -> Either TypeError (a, Warnings, VNameSource)
askEnv :: TypeM Env
askRootEnv :: TypeM Env
localTmpEnv :: Env -> TypeM a -> TypeM a
checkQualNameWithEnv :: Namespace -> QualName Name -> SrcLoc -> TypeM (Env, QualName VName)
bindSpaced :: MonadTypeChecker m => [(Namespace, Name)] -> m a -> m a
qualifyTypeVars :: ASTMappable t => Env -> [VName] -> [VName] -> t -> t
getType :: TypeBase dim as -> Either ([(Maybe VName, TypeBase dim as)], TypeBase dim as) (TypeBase dim as)
data TypeError = TypeError SrcLoc String
unexpectedType :: MonadTypeChecker m => SrcLoc -> TypeBase () () -> [TypeBase () ()] -> m a
undefinedType :: MonadTypeChecker m => SrcLoc -> QualName Name -> m a
unappliedFunctor :: MonadTypeChecker m => SrcLoc -> m a
unknownVariableError :: MonadTypeChecker m => Namespace -> QualName Name -> SrcLoc -> m a
underscoreUse :: MonadTypeChecker m => SrcLoc -> QualName Name -> m a
functionIsNotValue :: MonadTypeChecker m => SrcLoc -> QualName Name -> m a
data BreadCrumb
- = MatchingTypes (TypeBase () ()) (TypeBase () ())
- | MatchingFields Name
class Monad m => MonadBreadCrumbs m where
- breadCrumb :: BreadCrumb -> m a -> m a
- getBreadCrumbs :: m [BreadCrumb]
typeError :: (MonadError TypeError m, MonadBreadCrumbs m) => SrcLoc -> String -> m a
class MonadError TypeError m => MonadTypeChecker m where
- warn :: SrcLoc -> String -> m ()
- newName :: VName -> m VName
- newID :: Name -> m VName
- bindNameMap :: NameMap -> m a -> m a
- localEnv :: Env -> m a -> m a
- checkQualName :: Namespace -> QualName Name -> SrcLoc -> m (QualName VName)
- lookupType :: SrcLoc -> QualName Name -> m (QualName VName, [TypeParam], StructType, Liftedness)
- lookupMod :: SrcLoc -> QualName Name -> m (QualName VName, Mod)
- lookupMTy :: SrcLoc -> QualName Name -> m (QualName VName, MTy)
- lookupImport :: SrcLoc -> FilePath -> m (FilePath, Env)
- lookupVar :: SrcLoc -> QualName Name -> m (QualName VName, CompType)
checkName :: MonadTypeChecker m => Namespace -> Name -> SrcLoc -> m VName
badOnLeft :: MonadTypeChecker m => Either TypeError a -> m a
quote :: String -> String
module Language.Futhark.Warnings
data Env = Env {
- envVtable :: Map VName BoundV
- envTypeTable :: Map VName TypeBinding
- envSigTable :: Map VName MTy
- envModTable :: Map VName Mod
- envNameMap :: NameMap
}
type TySet = Map (QualName VName) Liftedness
data FunSig = FunSig {
- funSigAbs :: TySet
- funSigMod :: Mod
- funSigMty :: MTy
}
type ImportTable = Map String Env
type NameMap = Map (Namespace, Name) (QualName VName)
data BoundV = BoundV [TypeParam] StructType
data Mod
- = ModEnv Env
- | ModFun FunSig
data TypeBinding = TypeAbbr Liftedness [TypeParam] StructType
data MTy = MTy {
- mtyAbs :: TySet
- mtyMod :: Mod
}
anySignedType :: [PrimType]
anyUnsignedType :: [PrimType]
anyIntType :: [PrimType]
anyFloatType :: [PrimType]
anyNumberType :: [PrimType]
anyPrimType :: [PrimType]
data Namespace
- = Term
- | Type
- | Signature
intrinsicsNameMap :: NameMap
topLevelNameMap :: NameMap
ppSpace :: Namespace -> String

Documentation

data TypeM a Source #

The type checker runs in this monad.

Instances

Monad TypeM Source #
Instance details Defined in Language.Futhark.TypeChecker.Monad Methods (>>=) :: TypeM a -> (a -> TypeM b) -> TypeM b # (>>) :: TypeM a -> TypeM b -> TypeM b # return :: a -> TypeM a # fail :: String -> TypeM a #
Functor TypeM Source #
Instance details Defined in Language.Futhark.TypeChecker.Monad Methods fmap :: (a -> b) -> TypeM a -> TypeM b # (<$) :: a -> TypeM b -> TypeM a #
Applicative TypeM Source #
Instance details Defined in Language.Futhark.TypeChecker.Monad Methods pure :: a -> TypeM a # (<>) :: TypeM (a -> b) -> TypeM a -> TypeM b # liftA2 :: (a -> b -> c) -> TypeM a -> TypeM b -> TypeM c # (>) :: TypeM a -> TypeM b -> TypeM b # (<*) :: TypeM a -> TypeM b -> TypeM a #
MonadTypeChecker TypeM Source #
Instance details Defined in Language.Futhark.TypeChecker.Monad Methods warn :: SrcLoc -> String -> TypeM () Source # newName :: VName -> TypeM VName Source # newID :: Name -> TypeM VName Source # bindNameMap :: NameMap -> TypeM a -> TypeM a Source # localEnv :: Env -> TypeM a -> TypeM a Source # checkQualName :: Namespace -> QualName Name -> SrcLoc -> TypeM (QualName VName) Source # lookupType :: SrcLoc -> QualName Name -> TypeM (QualName VName, [TypeParam], StructType, Liftedness) Source # lookupMod :: SrcLoc -> QualName Name -> TypeM (QualName VName, Mod) Source # lookupMTy :: SrcLoc -> QualName Name -> TypeM (QualName VName, MTy) Source # lookupImport :: SrcLoc -> FilePath -> TypeM (FilePath, Env) Source # lookupVar :: SrcLoc -> QualName Name -> TypeM (QualName VName, CompType) Source #
MonadWriter Warnings TypeM Source #
Instance details Defined in Language.Futhark.TypeChecker.Monad Methods writer :: (a, Warnings) -> TypeM a # tell :: Warnings -> TypeM () # listen :: TypeM a -> TypeM (a, Warnings) # pass :: TypeM (a, Warnings -> Warnings) -> TypeM a #
MonadState VNameSource TypeM Source #
Instance details Defined in Language.Futhark.TypeChecker.Monad Methods get :: TypeM VNameSource # put :: VNameSource -> TypeM () # state :: (VNameSource -> (a, VNameSource)) -> TypeM a #
MonadError TypeError TypeM Source #
Instance details Defined in Language.Futhark.TypeChecker.Monad Methods throwError :: TypeError -> TypeM a # catchError :: TypeM a -> (TypeError -> TypeM a) -> TypeM a #

runTypeM :: Env -> ImportTable -> ImportName -> VNameSource -> TypeM a -> Either TypeError (a, Warnings, VNameSource) Source #

askEnv :: TypeM Env Source #

askRootEnv :: TypeM Env Source #

localTmpEnv :: Env -> TypeM a -> TypeM a Source #

checkQualNameWithEnv :: Namespace -> QualName Name -> SrcLoc -> TypeM (Env, QualName VName) Source #

bindSpaced :: MonadTypeChecker m => [(Namespace, Name)] -> m a -> m a Source #

qualifyTypeVars :: ASTMappable t => Env -> [VName] -> [VName] -> t -> t Source #

getType :: TypeBase dim as -> Either ([(Maybe VName, TypeBase dim as)], TypeBase dim as) (TypeBase dim as) Source #

Extract from a type either a function type comprising a list of parameter types and a return type, or a first-order type.

data TypeError Source #

Information about an error during type checking. The Show instance for this type produces a human-readable description.

Constructors

TypeError SrcLoc String

Instances

Show TypeError Source #
Instance details Defined in Language.Futhark.TypeChecker.Monad Methods showsPrec :: Int -> TypeError -> ShowS # show :: TypeError -> String # showList :: [TypeError] -> ShowS #
MonadError TypeError TypeM Source #
Instance details Defined in Language.Futhark.TypeChecker.Monad Methods throwError :: TypeError -> TypeM a # catchError :: TypeM a -> (TypeError -> TypeM a) -> TypeM a #

unexpectedType :: MonadTypeChecker m => SrcLoc -> TypeBase () () -> [TypeBase () ()] -> m a Source #

undefinedType :: MonadTypeChecker m => SrcLoc -> QualName Name -> m a Source #

unappliedFunctor :: MonadTypeChecker m => SrcLoc -> m a Source #

unknownVariableError :: MonadTypeChecker m => Namespace -> QualName Name -> SrcLoc -> m a Source #

underscoreUse :: MonadTypeChecker m => SrcLoc -> QualName Name -> m a Source #

functionIsNotValue :: MonadTypeChecker m => SrcLoc -> QualName Name -> m a Source #

data BreadCrumb Source #

A piece of information that describes what process the type checker currently performing. This is used to give better error messages.

Constructors

MatchingTypes (TypeBase () ()) (TypeBase () ())
MatchingFields Name

class Monad m => MonadBreadCrumbs m where Source #

Tracking breadcrumbs to give a kind of "stack trace" in errors.

Minimal complete definition

Nothing

Methods

breadCrumb :: BreadCrumb -> m a -> m a Source #

getBreadCrumbs :: m [BreadCrumb] Source #

typeError :: (MonadError TypeError m, MonadBreadCrumbs m) => SrcLoc -> String -> m a Source #

class MonadError TypeError m => MonadTypeChecker m where Source #

Methods

warn :: SrcLoc -> String -> m () Source #

newName :: VName -> m VName Source #

newID :: Name -> m VName Source #

bindNameMap :: NameMap -> m a -> m a Source #

localEnv :: Env -> m a -> m a Source #

checkQualName :: Namespace -> QualName Name -> SrcLoc -> m (QualName VName) Source #

lookupType :: SrcLoc -> QualName Name -> m (QualName VName, [TypeParam], StructType, Liftedness) Source #

lookupMod :: SrcLoc -> QualName Name -> m (QualName VName, Mod) Source #

lookupMTy :: SrcLoc -> QualName Name -> m (QualName VName, MTy) Source #

lookupImport :: SrcLoc -> FilePath -> m (FilePath, Env) Source #

lookupVar :: SrcLoc -> QualName Name -> m (QualName VName, CompType) Source #

Instances

MonadTypeChecker TypeM Source #

Instance details

Defined in Language.Futhark.TypeChecker.Monad

Methods

warn :: SrcLoc -> String -> TypeM () Source #

newName :: VName -> TypeM VName Source #

newID :: Name -> TypeM VName Source #

bindNameMap :: NameMap -> TypeM a -> TypeM a Source #

localEnv :: Env -> TypeM a -> TypeM a Source #

checkQualName :: Namespace -> QualName Name -> SrcLoc -> TypeM (QualName VName) Source #

lookupType :: SrcLoc -> QualName Name -> TypeM (QualName VName, [TypeParam], StructType, Liftedness) Source #

lookupMod :: SrcLoc -> QualName Name -> TypeM (QualName VName, Mod) Source #

lookupMTy :: SrcLoc -> QualName Name -> TypeM (QualName VName, MTy) Source #

lookupImport :: SrcLoc -> FilePath -> TypeM (FilePath, Env) Source #

lookupVar :: SrcLoc -> QualName Name -> TypeM (QualName VName, CompType) Source #

checkName :: MonadTypeChecker m => Namespace -> Name -> SrcLoc -> m VName Source #

badOnLeft :: MonadTypeChecker m => Either TypeError a -> m a Source #

quote :: String -> String Source #

Enclose a string in the prefered quotes used in error messages. These are picked to not collide with characters permitted in identifiers.

module Language.Futhark.Warnings

data Env Source #

Modules produces environment with this representation.

Constructors

Env
Fields envVtable :: Map VName BoundV envTypeTable :: Map VName TypeBinding envSigTable :: Map VName MTy envModTable :: Map VName Mod envNameMap :: NameMap

Instances

Show Env Source #
Instance details Defined in Language.Futhark.Semantic Methods showsPrec :: Int -> Env -> ShowS # show :: Env -> String # showList :: [Env] -> ShowS #
Semigroup Env Source #
Instance details Defined in Language.Futhark.Semantic Methods (<>) :: Env -> Env -> Env # sconcat :: NonEmpty Env -> Env # stimes :: Integral b => b -> Env -> Env #
Monoid Env Source #
Instance details Defined in Language.Futhark.Semantic Methods mempty :: Env # mappend :: Env -> Env -> Env # mconcat :: [Env] -> Env #
Pretty Env Source #
Instance details Defined in Language.Futhark.Semantic Methods ppr :: Env -> Doc # pprPrec :: Int -> Env -> Doc # pprList :: [Env] -> Doc #

type TySet = Map (QualName VName) Liftedness Source #

A mapping of abstract types to their liftedness.

data FunSig Source #

A parametric functor consists of a set of abstract types, the environment of its parameter, and the resulting module type.

Constructors

FunSig
Fields funSigAbs :: TySet funSigMod :: Mod funSigMty :: MTy

Instances

Show FunSig Source #
Instance details Defined in Language.Futhark.Semantic Methods showsPrec :: Int -> FunSig -> ShowS # show :: FunSig -> String # showList :: [FunSig] -> ShowS #

type ImportTable = Map String Env Source #

type NameMap = Map (Namespace, Name) (QualName VName) Source #

data BoundV Source #

Type parameters, list of parameter types (optinally named), and return type. The type parameters are in scope in both parameter types and the return type. Non-functional values have only a return type.

Constructors

BoundV [TypeParam] StructType

Instances

Show BoundV Source #
Instance details Defined in Language.Futhark.Semantic Methods showsPrec :: Int -> BoundV -> ShowS # show :: BoundV -> String # showList :: [BoundV] -> ShowS #

data Mod Source #

Representation of a module, which is either a plain environment, or a parametric module ("functor" in SML).

Constructors

ModEnv Env
ModFun FunSig

Instances

Show Mod Source #
Instance details Defined in Language.Futhark.Semantic Methods showsPrec :: Int -> Mod -> ShowS # show :: Mod -> String # showList :: [Mod] -> ShowS #
Pretty Mod Source #
Instance details Defined in Language.Futhark.Semantic Methods ppr :: Mod -> Doc # pprPrec :: Int -> Mod -> Doc # pprList :: [Mod] -> Doc #

data TypeBinding Source #

A binding from a name to its definition as a type.

Constructors

TypeAbbr Liftedness [TypeParam] StructType

Instances

Eq TypeBinding Source #
Instance details Defined in Language.Futhark.Semantic Methods (==) :: TypeBinding -> TypeBinding -> Bool # (/=) :: TypeBinding -> TypeBinding -> Bool #
Show TypeBinding Source #
Instance details Defined in Language.Futhark.Semantic Methods showsPrec :: Int -> TypeBinding -> ShowS # show :: TypeBinding -> String # showList :: [TypeBinding] -> ShowS #

data MTy Source #

Representation of a module type.

Constructors

MTy
Fields mtyAbs :: TySet Abstract types in the module type. mtyMod :: Mod

Instances

Show MTy Source #
Instance details Defined in Language.Futhark.Semantic Methods showsPrec :: Int -> MTy -> ShowS # show :: MTy -> String # showList :: [MTy] -> ShowS #
Pretty MTy Source #
Instance details Defined in Language.Futhark.Semantic Methods ppr :: MTy -> Doc # pprPrec :: Int -> MTy -> Doc # pprList :: [MTy] -> Doc #

anySignedType :: [PrimType] Source #

anyUnsignedType :: [PrimType] Source #

anyIntType :: [PrimType] Source #

anyFloatType :: [PrimType] Source #

anyNumberType :: [PrimType] Source #

anyPrimType :: [PrimType] Source #

data Namespace Source #

The space inhabited by a name.

Constructors

Term	Functions and values.
Type
Signature

Instances

Enum Namespace Source #
Instance details Defined in Language.Futhark.Semantic Methods succ :: Namespace -> Namespace # pred :: Namespace -> Namespace # toEnum :: Int -> Namespace # fromEnum :: Namespace -> Int # enumFrom :: Namespace -> [Namespace] # enumFromThen :: Namespace -> Namespace -> [Namespace] # enumFromTo :: Namespace -> Namespace -> [Namespace] # enumFromThenTo :: Namespace -> Namespace -> Namespace -> [Namespace] #
Eq Namespace Source #
Instance details Defined in Language.Futhark.Semantic Methods (==) :: Namespace -> Namespace -> Bool # (/=) :: Namespace -> Namespace -> Bool #
Ord Namespace Source #
Instance details Defined in Language.Futhark.Semantic Methods compare :: Namespace -> Namespace -> Ordering # (<) :: Namespace -> Namespace -> Bool # (<=) :: Namespace -> Namespace -> Bool # (>) :: Namespace -> Namespace -> Bool # (>=) :: Namespace -> Namespace -> Bool # max :: Namespace -> Namespace -> Namespace # min :: Namespace -> Namespace -> Namespace #
Show Namespace Source #
Instance details Defined in Language.Futhark.Semantic Methods showsPrec :: Int -> Namespace -> ShowS # show :: Namespace -> String # showList :: [Namespace] -> ShowS #

intrinsicsNameMap :: NameMap Source #

topLevelNameMap :: NameMap Source #

ppSpace :: Namespace -> String Source #

Show BreadCrumb Source #
Instance details Defined in Language.Futhark.TypeChecker.Monad Methods showsPrec :: Int -> BreadCrumb -> ShowS # show :: BreadCrumb -> String # showList :: [BreadCrumb] -> ShowS #