Futhark.Representation.AST.Attributes.Scope

This module defines the concept of a type environment as a mapping from variable names to Types. Convenience facilities are also provided to communicate that some monad or applicative functor maintains type information.

Documentation

class (Applicative m, Annotations lore) => HasScope lore m | m -> lore where

The class of applicative functors (or more common in practice: monads) that permit the lookup of variable types. A default method for lookupType exists, which is sufficient (if not always maximally efficient, and using error to fail) when askScope is defined.

Minimal complete definition

askScope

Methods

lookupType :: VName -> m Type

Return the type of the given variable, or fail if it is not in the type environment.

lookupInfo :: VName -> m (NameInfo lore)

Return the info of the given variable, or fail if it is not in the type environment.

askScope :: m (Scope lore)

Return the type environment contained in the applicative functor.

asksScope :: (Scope lore -> a) -> m a

Return the result of applying some function to the type environment.

Instances

HasScope SOACS TryFusion

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

lookupType :: VName -> TryFusion Type

lookupInfo :: VName -> TryFusion (NameInfo SOACS)

askScope :: TryFusion (Scope SOACS)

asksScope :: (Scope SOACS -> a) -> TryFusion a

HasScope SOACS InternaliseM

Defined in Futhark.Internalise.Monad

Methods

lookupType :: VName -> InternaliseM Type

lookupInfo :: VName -> InternaliseM (NameInfo SOACS)

askScope :: InternaliseM (Scope SOACS)

asksScope :: (Scope SOACS -> a) -> InternaliseM a

Attributes lore => HasScope lore (RuleM lore)

Defined in Futhark.Optimise.Simplify.Rule

Methods

lookupType :: VName -> RuleM lore Type

lookupInfo :: VName -> RuleM lore (NameInfo lore)

askScope :: RuleM lore (Scope lore)

asksScope :: (Scope lore -> a) -> RuleM lore a

(HasScope lore m, Monad m) => HasScope lore (ExtendedScope lore m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

lookupType :: VName -> ExtendedScope lore m Type

lookupInfo :: VName -> ExtendedScope lore m (NameInfo lore)

askScope :: ExtendedScope lore m (Scope lore)

asksScope :: (Scope lore -> a) -> ExtendedScope lore m a

(Monad m, HasScope lore m) => HasScope lore (ExceptT e m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

lookupType :: VName -> ExceptT e m Type

lookupInfo :: VName -> ExceptT e m (NameInfo lore)

askScope :: ExceptT e m (Scope lore)

asksScope :: (Scope lore -> a) -> ExceptT e m a

(Attributes lore, Monad m) => HasScope lore (BinderT lore m)

Defined in Futhark.Binder

Methods

lookupType :: VName -> BinderT lore m Type

lookupInfo :: VName -> BinderT lore m (NameInfo lore)

askScope :: BinderT lore m (Scope lore)

asksScope :: (Scope lore -> a) -> BinderT lore m a

HasScope SOACS (ImpM lore op)

Defined in Futhark.CodeGen.ImpGen

Methods

lookupType :: VName -> ImpM lore op Type

lookupInfo :: VName -> ImpM lore op (NameInfo SOACS)

askScope :: ImpM lore op (Scope SOACS)

asksScope :: (Scope SOACS -> a) -> ImpM lore op a

(Applicative m, Monad m, Annotations lore) => HasScope lore (ReaderT (Scope lore) m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

lookupType :: VName -> ReaderT (Scope lore) m Type

lookupInfo :: VName -> ReaderT (Scope lore) m (NameInfo lore)

askScope :: ReaderT (Scope lore) m (Scope lore)

asksScope :: (Scope lore -> a) -> ReaderT (Scope lore) m a

(Applicative m, Monad m, Monoid w, Annotations lore) => HasScope lore (RWST (Scope lore) w s m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

lookupType :: VName -> RWST (Scope lore) w s m Type

lookupInfo :: VName -> RWST (Scope lore) w s m (NameInfo lore)

askScope :: RWST (Scope lore) w s m (Scope lore)

asksScope :: (Scope lore -> a) -> RWST (Scope lore) w s m a

(Applicative m, Monad m, Monoid w, Annotations lore) => HasScope lore (RWST (Scope lore) w s m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

lookupType :: VName -> RWST (Scope lore) w s m Type

lookupInfo :: VName -> RWST (Scope lore) w s m (NameInfo lore)

askScope :: RWST (Scope lore) w s m (Scope lore)

asksScope :: (Scope lore -> a) -> RWST (Scope lore) w s m a

Checkable lore => HasScope (Aliases lore) (TypeM lore)

Defined in Futhark.TypeCheck

Methods

lookupType :: VName -> TypeM lore Type

lookupInfo :: VName -> TypeM lore (NameInfo (Aliases lore))

askScope :: TypeM lore (Scope (Aliases lore))

asksScope :: (Scope (Aliases lore) -> a) -> TypeM lore a

SimplifiableLore lore => HasScope (Wise lore) (SimpleM lore)

Defined in Futhark.Optimise.Simplify.Engine

Methods

lookupType :: VName -> SimpleM lore Type

lookupInfo :: VName -> SimpleM lore (NameInfo (Wise lore))

askScope :: SimpleM lore (Scope (Wise lore))

asksScope :: (Scope (Wise lore) -> a) -> SimpleM lore a

data NameInfo lore

How some name in scope was bound.

Constructors

LetInfo (LetAttr lore)

FParamInfo (FParamAttr lore)

LParamInfo (LParamAttr lore)

IndexInfo IntType

Instances

Scoped lore (VName, NameInfo lore)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

scopeOf :: (VName, NameInfo lore) -> Scope lore

(Applicative m, Monad m, Annotations lore) => LocalScope lore (ReaderT (Scope lore) m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

localScope :: Scope lore -> ReaderT (Scope lore) m a -> ReaderT (Scope lore) m a

(Applicative m, Monad m, Annotations lore) => HasScope lore (ReaderT (Scope lore) m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

lookupType :: VName -> ReaderT (Scope lore) m Type

lookupInfo :: VName -> ReaderT (Scope lore) m (NameInfo lore)

askScope :: ReaderT (Scope lore) m (Scope lore)

asksScope :: (Scope lore -> a) -> ReaderT (Scope lore) m a

(Applicative m, Monad m, Monoid w, Annotations lore) => LocalScope lore (RWST (Scope lore) w s m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

localScope :: Scope lore -> RWST (Scope lore) w s m a -> RWST (Scope lore) w s m a

(Applicative m, Monad m, Monoid w, Annotations lore) => LocalScope lore (RWST (Scope lore) w s m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

localScope :: Scope lore -> RWST (Scope lore) w s m a -> RWST (Scope lore) w s m a

(Applicative m, Monad m, Monoid w, Annotations lore) => HasScope lore (RWST (Scope lore) w s m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

lookupType :: VName -> RWST (Scope lore) w s m Type

lookupInfo :: VName -> RWST (Scope lore) w s m (NameInfo lore)

askScope :: RWST (Scope lore) w s m (Scope lore)

asksScope :: (Scope lore -> a) -> RWST (Scope lore) w s m a

(Applicative m, Monad m, Monoid w, Annotations lore) => HasScope lore (RWST (Scope lore) w s m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

lookupType :: VName -> RWST (Scope lore) w s m Type

lookupInfo :: VName -> RWST (Scope lore) w s m (NameInfo lore)

askScope :: RWST (Scope lore) w s m (Scope lore)

asksScope :: (Scope lore -> a) -> RWST (Scope lore) w s m a

Annotations lore => Show (NameInfo lore)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

showsPrec :: Int -> NameInfo lore -> ShowS

show :: NameInfo lore -> String

showList :: [NameInfo lore] -> ShowS

Annotations lore => Typed (NameInfo lore)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

typeOf :: NameInfo lore -> Type

Substitutable lore => Substitute (NameInfo lore)

Defined in Futhark.Transform.Substitute

Methods

substituteNames :: Map VName VName -> NameInfo lore -> NameInfo lore

Monad m => MonadReader (Scope lore) (ExtendedScope lore m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

ask :: ExtendedScope lore m (Scope lore)

local :: (Scope lore -> Scope lore) -> ExtendedScope lore m a -> ExtendedScope lore m a

reader :: (Scope lore -> a) -> ExtendedScope lore m a

class (HasScope lore m, Monad m) => LocalScope lore m where

The class of monads that not only provide a Scope, but also the ability to locally extend it. A Reader containing a Scope is the prototypical example of such a monad.

Methods

localScope :: Scope lore -> m a -> m a

Run a computation with an extended type environment. Note that this is intended to *add* to the current type environment, it does not replace it.

Instances

LocalScope SOACS TryFusion

Defined in Futhark.Optimise.Fusion.TryFusion

Methods

localScope :: Scope SOACS -> TryFusion a -> TryFusion a

LocalScope SOACS InternaliseM

Defined in Futhark.Internalise.Monad

Methods

localScope :: Scope SOACS -> InternaliseM a -> InternaliseM a

Attributes lore => LocalScope lore (RuleM lore)

Defined in Futhark.Optimise.Simplify.Rule

Methods

localScope :: Scope lore -> RuleM lore a -> RuleM lore a

(Monad m, LocalScope lore m) => LocalScope lore (ExceptT e m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

localScope :: Scope lore -> ExceptT e m a -> ExceptT e m a

(Attributes lore, Monad m) => LocalScope lore (BinderT lore m)

Defined in Futhark.Binder

Methods

localScope :: Scope lore -> BinderT lore m a -> BinderT lore m a

(Applicative m, Monad m, Annotations lore) => LocalScope lore (ReaderT (Scope lore) m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

localScope :: Scope lore -> ReaderT (Scope lore) m a -> ReaderT (Scope lore) m a

(Applicative m, Monad m, Monoid w, Annotations lore) => LocalScope lore (RWST (Scope lore) w s m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

localScope :: Scope lore -> RWST (Scope lore) w s m a -> RWST (Scope lore) w s m a

(Applicative m, Monad m, Monoid w, Annotations lore) => LocalScope lore (RWST (Scope lore) w s m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

localScope :: Scope lore -> RWST (Scope lore) w s m a -> RWST (Scope lore) w s m a

SimplifiableLore lore => LocalScope (Wise lore) (SimpleM lore)

Defined in Futhark.Optimise.Simplify.Engine

Methods

localScope :: Scope (Wise lore) -> SimpleM lore a -> SimpleM lore a

type Scope lore = Map VName (NameInfo lore)

A scope is a mapping from variable names to information about that name.

class Scoped lore a | a -> lore where

The class of things that can provide a scope. There is no overarching rule for what this means. For a Stm, it is the corresponding pattern. For a LambdaT, is is the parameters (including index).

Methods

scopeOf :: a -> Scope lore

Instances

Scoped Kernels LoopNesting

Defined in Futhark.Pass.ExtractKernels.Distribution

Methods

scopeOf :: LoopNesting -> Scope Kernels

Scoped lore (Lambda lore)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

scopeOf :: Lambda lore -> Scope lore

Scoped lore (LoopForm lore)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

scopeOf :: LoopForm lore -> Scope lore

Scoped lore (FunDef lore)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

scopeOf :: FunDef lore -> Scope lore

Scoped lore (Stm lore)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

scopeOf :: Stm lore -> Scope lore

Scoped lore (Stms lore)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

scopeOf :: Stms lore -> Scope lore

Scoped lore a => Scoped lore [a]

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

scopeOf :: [a] -> Scope lore

Scoped lore (GroupStreamLambda lore)

Defined in Futhark.Representation.Kernels.KernelExp

Methods

scopeOf :: GroupStreamLambda lore -> Scope lore

Scoped lore (VName, NameInfo lore)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

scopeOf :: (VName, NameInfo lore) -> Scope lore

inScopeOf :: (Scoped lore a, LocalScope lore m) => a -> m b -> m b

scopeOfLParams :: LParamAttr lore ~ attr => [ParamT attr] -> Scope lore

scopeOfFParams :: FParamAttr lore ~ attr => [ParamT attr] -> Scope lore

scopeOfPattern :: LetAttr lore ~ attr => PatternT attr -> Scope lore

scopeOfPatElem :: LetAttr lore ~ attr => PatElemT attr -> Scope lore

type SameScope lore1 lore2 = (LetAttr lore1 ~ LetAttr lore2, FParamAttr lore1 ~ FParamAttr lore2, LParamAttr lore1 ~ LParamAttr lore2)

castScope :: SameScope fromlore tolore => Scope fromlore -> Scope tolore

If two scopes are really the same, then you can convert one to the other.

castNameInfo :: SameScope fromlore tolore => NameInfo fromlore -> NameInfo tolore

Extended type environment

data ExtendedScope lore m a

A monad transformer that carries around an extended Scope. Its lookupType method will first look in the extended Scope, and then use the lookupType method of the underlying monad.

Instances

(HasScope lore m, Monad m) => HasScope lore (ExtendedScope lore m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

lookupType :: VName -> ExtendedScope lore m Type

lookupInfo :: VName -> ExtendedScope lore m (NameInfo lore)

askScope :: ExtendedScope lore m (Scope lore)

asksScope :: (Scope lore -> a) -> ExtendedScope lore m a

Monad m => MonadReader (Scope lore) (ExtendedScope lore m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

ask :: ExtendedScope lore m (Scope lore)

local :: (Scope lore -> Scope lore) -> ExtendedScope lore m a -> ExtendedScope lore m a

reader :: (Scope lore -> a) -> ExtendedScope lore m a

Monad m => Monad (ExtendedScope lore m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

(>>=) :: ExtendedScope lore m a -> (a -> ExtendedScope lore m b) -> ExtendedScope lore m b

(>>) :: ExtendedScope lore m a -> ExtendedScope lore m b -> ExtendedScope lore m b

return :: a -> ExtendedScope lore m a

fail :: String -> ExtendedScope lore m a

Functor m => Functor (ExtendedScope lore m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

fmap :: (a -> b) -> ExtendedScope lore m a -> ExtendedScope lore m b

(<$) :: a -> ExtendedScope lore m b -> ExtendedScope lore m a

Applicative m => Applicative (ExtendedScope lore m)

Defined in Futhark.Representation.AST.Attributes.Scope

Methods

pure :: a -> ExtendedScope lore m a

(<*>) :: ExtendedScope lore m (a -> b) -> ExtendedScope lore m a -> ExtendedScope lore m b

liftA2 :: (a -> b -> c) -> ExtendedScope lore m a -> ExtendedScope lore m b -> ExtendedScope lore m c

(*>) :: ExtendedScope lore m a -> ExtendedScope lore m b -> ExtendedScope lore m b

(<*) :: ExtendedScope lore m a -> ExtendedScope lore m b -> ExtendedScope lore m a

extendedScope :: ExtendedScope lore m a -> Scope lore -> m a

Run a computation in the extended type environment.