Language.Futhark.TypeChecker.Monad

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

Documentation

data TypeM a

The type checker runs in this monad.

Instances

Monad TypeM

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

Defined in Language.Futhark.TypeChecker.Monad

Methods

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

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

Applicative TypeM

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

Defined in Language.Futhark.TypeChecker.Monad

Methods

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

newName :: VName -> TypeM VName

newID :: Name -> TypeM VName

bindNameMap :: NameMap -> TypeM a -> TypeM a

localEnv :: Env -> TypeM a -> TypeM a

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

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

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

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

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

lookupVar :: SrcLoc -> QualName Name -> TypeM (QualName VName, PatternType)

checkNamedDim :: SrcLoc -> QualName Name -> TypeM (QualName VName)

MonadWriter Warnings TypeM

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

Defined in Language.Futhark.TypeChecker.Monad

Methods

get :: TypeM VNameSource

put :: VNameSource -> TypeM ()

state :: (VNameSource -> (a, VNameSource)) -> TypeM a

MonadError TypeError TypeM

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)

askEnv :: TypeM Env

askRootEnv :: TypeM Env

askImportName :: TypeM ImportName

The name of the current file/import.

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)

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

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

Defined in Language.Futhark.TypeChecker.Monad

Methods

showsPrec :: Int -> TypeError -> ShowS

show :: TypeError -> String

showList :: [TypeError] -> ShowS

MonadError TypeError TypeM

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

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

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

Instances

Show BreadCrumb

Defined in Language.Futhark.TypeChecker.Monad

Methods

showsPrec :: Int -> BreadCrumb -> ShowS

show :: BreadCrumb -> String

showList :: [BreadCrumb] -> ShowS

class Monad m => MonadBreadCrumbs m where

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

Minimal complete definition

Nothing

Methods

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

Minimal complete definition

warn, newName, newID, bindNameMap, localEnv, checkQualName, lookupType, lookupMod, lookupMTy, lookupImport, lookupVar

Methods

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, PatternType)

checkNamedDim :: SrcLoc -> QualName Name -> m (QualName VName)

Instances

MonadTypeChecker TypeM

Defined in Language.Futhark.TypeChecker.Monad

Methods

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

newName :: VName -> TypeM VName

newID :: Name -> TypeM VName

bindNameMap :: NameMap -> TypeM a -> TypeM a

localEnv :: Env -> TypeM a -> TypeM a

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

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

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

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

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

lookupVar :: SrcLoc -> QualName Name -> TypeM (QualName VName, PatternType)

checkNamedDim :: SrcLoc -> QualName Name -> TypeM (QualName VName)

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

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

quote :: String -> String

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

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

Defined in Language.Futhark.Semantic

Methods

showsPrec :: Int -> Env -> ShowS

show :: Env -> String

showList :: [Env] -> ShowS

Semigroup Env

Defined in Language.Futhark.Semantic

Methods

(<>) :: Env -> Env -> Env

sconcat :: NonEmpty Env -> Env

stimes :: Integral b => b -> Env -> Env

Monoid Env

Defined in Language.Futhark.Semantic

Methods

mempty :: Env

mappend :: Env -> Env -> Env

mconcat :: [Env] -> Env

Pretty Env

Defined in Language.Futhark.Semantic

Methods

ppr :: Env -> Doc

pprPrec :: Int -> Env -> Doc

pprList :: [Env] -> Doc

type TySet = Map (QualName VName) Liftedness

A mapping of abstract types to their liftedness.

data FunSig

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

Defined in Language.Futhark.Semantic

Methods

showsPrec :: Int -> FunSig -> ShowS

show :: FunSig -> String

showList :: [FunSig] -> ShowS

type ImportTable = Map String Env

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

data BoundV

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

Defined in Language.Futhark.Semantic

Methods

showsPrec :: Int -> BoundV -> ShowS

show :: BoundV -> String

showList :: [BoundV] -> ShowS

data Mod

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

Defined in Language.Futhark.Semantic

Methods

showsPrec :: Int -> Mod -> ShowS

show :: Mod -> String

showList :: [Mod] -> ShowS

Pretty Mod

Defined in Language.Futhark.Semantic

Methods

ppr :: Mod -> Doc

pprPrec :: Int -> Mod -> Doc

pprList :: [Mod] -> Doc

data TypeBinding

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

Constructors

TypeAbbr Liftedness [TypeParam] StructType

Instances

Eq TypeBinding

Defined in Language.Futhark.Semantic

Methods

(==) :: TypeBinding -> TypeBinding -> Bool

(/=) :: TypeBinding -> TypeBinding -> Bool

Show TypeBinding

Defined in Language.Futhark.Semantic

Methods

showsPrec :: Int -> TypeBinding -> ShowS

show :: TypeBinding -> String

showList :: [TypeBinding] -> ShowS

data MTy

Representation of a module type.

Constructors

MTy

Fields

• mtyAbs :: TySet

  Abstract types in the module type.

• mtyMod :: Mod

Instances

Show MTy

Defined in Language.Futhark.Semantic

Methods

showsPrec :: Int -> MTy -> ShowS

show :: MTy -> String

showList :: [MTy] -> ShowS

Pretty MTy

Defined in Language.Futhark.Semantic

Methods

ppr :: MTy -> Doc

pprPrec :: Int -> MTy -> Doc

pprList :: [MTy] -> Doc

anySignedType :: [PrimType]

anyUnsignedType :: [PrimType]

anyIntType :: [PrimType]

anyFloatType :: [PrimType]

anyNumberType :: [PrimType]

anyPrimType :: [PrimType]

data Namespace

The space inhabited by a name.

Constructors

Term

Functions and values.

Type

Signature

Instances

Enum Namespace

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

Defined in Language.Futhark.Semantic

Methods

(==) :: Namespace -> Namespace -> Bool

(/=) :: Namespace -> Namespace -> Bool

Ord Namespace

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

Defined in Language.Futhark.Semantic

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

intrinsicsNameMap :: NameMap

topLevelNameMap :: NameMap

ppSpace :: Namespace -> String