Safe Haskell	None
Language	Haskell2010

Futhark.Representation.AST.Attributes.Names

Contents

Free names
Class
Specialised Functions
Bound Names
Efficient computation

Description

Facilities for determining which names are used in some syntactic construct. The most important interface is the FreeIn class and its instances, but for reasons related to the Haskell type system, some constructs have specialised functions.

Synopsis

data Names
nameIn :: VName -> Names -> Bool
oneName :: VName -> Names
namesFromList :: [VName] -> Names
namesToList :: Names -> [VName]
namesIntersection :: Names -> Names -> Names
namesIntersect :: Names -> Names -> Bool
namesSubtract :: Names -> Names -> Names
mapNames :: (VName -> VName) -> Names -> Names
class FreeIn a where
- freeIn' :: a -> FV
freeIn :: FreeIn a => a -> Names
freeInStmsAndRes :: (FreeIn (Op lore), FreeIn (LetAttr lore), FreeIn (LParamAttr lore), FreeIn (FParamAttr lore), FreeAttr (BodyAttr lore), FreeAttr (ExpAttr lore)) => Stms lore -> Result -> FV
boundInBody :: Body lore -> Names
boundByStm :: Stm lore -> Names
boundByStms :: Stms lore -> Names
boundByLambda :: Lambda lore -> [VName]
class FreeIn attr => FreeAttr attr where
- precomputed :: attr -> FV -> FV
data FV
fvBind :: Names -> FV -> FV
fvName :: VName -> FV
fvNames :: Names -> FV

Free names

data Names Source #

A set of names.

Instances

Eq Names Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods (==) :: Names -> Names -> Bool # (/=) :: Names -> Names -> Bool #
Show Names Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods showsPrec :: Int -> Names -> ShowS # show :: Names -> String # showList :: [Names] -> ShowS #
Semigroup Names Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods (<>) :: Names -> Names -> Names # sconcat :: NonEmpty Names -> Names # stimes :: Integral b => b -> Names -> Names #
Monoid Names Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods mempty :: Names # mappend :: Names -> Names -> Names # mconcat :: [Names] -> Names #
Pretty Names Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods ppr :: Names -> Doc # pprPrec :: Int -> Names -> Doc # pprList :: [Names] -> Doc #
FreeIn Names Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Names -> FV Source #
Substitute Names Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> Names -> Names Source #
Rename Names Source #
Instance details Defined in Futhark.Transform.Rename Methods rename :: Names -> RenameM Names Source #
AliasesOf Names Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Aliases Methods aliasesOf :: Names -> Names Source #
MonadState Names (TypeM lore) Source #
Instance details Defined in Futhark.TypeCheck Methods get :: TypeM lore Names # put :: Names -> TypeM lore () # state :: (Names -> (a, Names)) -> TypeM lore a #

nameIn :: VName -> Names -> Bool Source #

Does the set of names contain this name?

oneName :: VName -> Names Source #

Construct a name set from a single name.

namesFromList :: [VName] -> Names Source #

Construct a name set from a list. Slow.

namesToList :: Names -> [VName] Source #

Turn a name set into a list of names. Slow.

namesIntersection :: Names -> Names -> Names Source #

The intersection of two name sets.

namesIntersect :: Names -> Names -> Bool Source #

Do the two name sets intersect?

namesSubtract :: Names -> Names -> Names Source #

Subtract the latter name set from the former.

mapNames :: (VName -> VName) -> Names -> Names Source #

Map over the names in a set.

Class

class FreeIn a where Source #

A class indicating that we can obtain free variable information from values of this type.

Minimal complete definition

Nothing

Methods

freeIn' :: a -> FV Source #

Instances

FreeIn Bool Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Bool -> FV Source #
FreeIn Int Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Int -> FV Source #
FreeIn () Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: () -> FV Source #
FreeIn VName Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: VName -> FV Source #
FreeIn SubExp Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: SubExp -> FV Source #
FreeIn Certificates Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Certificates -> FV Source #
FreeIn Ident Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Ident -> FV Source #
FreeIn FV Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: FV -> FV Source #
FreeIn Names Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Names -> FV Source #
FreeIn ScalExp Source #
Instance details Defined in Futhark.Analysis.ScalExp Methods freeIn' :: ScalExp -> FV Source #
FreeIn KnownBound Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Ranges Methods freeIn' :: KnownBound -> FV Source #
FreeIn Names' Source #
Instance details Defined in Futhark.Representation.Aliases Methods freeIn' :: Names' -> FV Source #
FreeIn ExpWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods freeIn' :: ExpWisdom -> FV Source #
FreeIn VarWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods freeIn' :: VarWisdom -> FV Source #
FreeIn SplitOrdering Source #
Instance details Defined in Futhark.Representation.Kernels.KernelExp Methods freeIn' :: SplitOrdering -> FV Source #
FreeIn KernelResult Source #
Instance details Defined in Futhark.Representation.Kernels.Kernel Methods freeIn' :: KernelResult -> FV Source #
FreeIn SplitOrdering Source #
Instance details Defined in Futhark.Representation.Kernels.Kernel Methods freeIn' :: SplitOrdering -> FV Source #
FreeIn LoopNesting Source #
Instance details Defined in Futhark.Pass.ExtractKernels.Distribution Methods freeIn' :: LoopNesting -> FV Source #
FreeIn MemReturn Source #
Instance details Defined in Futhark.Representation.ExplicitMemory Methods freeIn' :: MemReturn -> FV Source #
FreeIn MemBind Source #
Instance details Defined in Futhark.Representation.ExplicitMemory Methods freeIn' :: MemBind -> FV Source #
FreeIn Arg Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods freeIn' :: Arg -> FV Source #
FreeIn ExpLeaf Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods freeIn' :: ExpLeaf -> FV Source #
FreeIn Size Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods freeIn' :: Size -> FV Source #
FreeIn Sequential Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Sequential Methods freeIn' :: Sequential -> FV Source #
FreeIn AtomicOp Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Kernels Methods freeIn' :: AtomicOp -> FV Source #
FreeIn KernelOp Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Kernels Methods freeIn' :: KernelOp -> FV Source #
FreeIn Kernel Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Kernels Methods freeIn' :: Kernel -> FV Source #
FreeIn HostOp Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Kernels Methods freeIn' :: HostOp -> FV Source #
FreeIn a => FreeIn [a] Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: [a] -> FV Source #
FreeIn a => FreeIn (Maybe a) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Maybe a -> FV Source #
FreeIn attr => FreeIn (PatElemT attr) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: PatElemT attr -> FV Source #
FreeIn d => FreeIn (DimIndex d) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: DimIndex d -> FV Source #
FreeIn attr => FreeIn (Param attr) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Param attr -> FV Source #
FreeIn d => FreeIn (Ext d) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Ext d -> FV Source #
FreeIn d => FreeIn (ShapeBase d) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: ShapeBase d -> FV Source #
(FreeAttr (ExpAttr lore), FreeAttr (BodyAttr lore), FreeIn (FParamAttr lore), FreeIn (LParamAttr lore), FreeIn (LetAttr lore), FreeIn (Op lore)) => FreeIn (Lambda lore) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Lambda lore -> FV Source #
(FreeAttr (ExpAttr lore), FreeAttr (BodyAttr lore), FreeIn (FParamAttr lore), FreeIn (LParamAttr lore), FreeIn (LetAttr lore), FreeIn (Op lore)) => FreeIn (Exp lore) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Exp lore -> FV Source #
FreeIn a => FreeIn (IfAttr a) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: IfAttr a -> FV Source #
FreeIn (LParamAttr lore) => FreeIn (LoopForm lore) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: LoopForm lore -> FV Source #
FreeIn d => FreeIn (DimChange d) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: DimChange d -> FV Source #
(FreeAttr (ExpAttr lore), FreeAttr (BodyAttr lore), FreeIn (FParamAttr lore), FreeIn (LParamAttr lore), FreeIn (LetAttr lore), FreeIn (Op lore)) => FreeIn (Body lore) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Body lore -> FV Source #
FreeIn (Stm lore) => FreeIn (Stms lore) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Stms lore -> FV Source #
(FreeAttr (ExpAttr lore), FreeAttr (BodyAttr lore), FreeIn (FParamAttr lore), FreeIn (LParamAttr lore), FreeIn (LetAttr lore), FreeIn (Op lore)) => FreeIn (Stm lore) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: Stm lore -> FV Source #
FreeIn attr => FreeIn (StmAux attr) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: StmAux attr -> FV Source #
FreeIn attr => FreeIn (PatternT attr) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: PatternT attr -> FV Source #
FreeIn v => FreeIn (PrimExp v) Source #
Instance details Defined in Futhark.Analysis.PrimExp Methods freeIn' :: PrimExp v -> FV Source #
FreeIn num => FreeIn (IxFun num) Source #
Instance details Defined in Futhark.Representation.ExplicitMemory.IndexFunction Methods freeIn' :: IxFun num -> FV Source #
Attributes lore => FreeIn (SOAC lore) Source #
Instance details Defined in Futhark.Representation.SOACS.SOAC Methods freeIn' :: SOAC lore -> FV Source #
Attributes lore => FreeIn (GroupStreamLambda lore) Source #
Instance details Defined in Futhark.Representation.Kernels.KernelExp Methods freeIn' :: GroupStreamLambda lore -> FV Source #
Attributes lore => FreeIn (KernelExp lore) Source #
Instance details Defined in Futhark.Representation.Kernels.KernelExp Methods freeIn' :: KernelExp lore -> FV Source #
(Attributes lore, FreeIn (LParamAttr lore)) => FreeIn (SegOp lore) Source #
Instance details Defined in Futhark.Representation.Kernels.Kernel Methods freeIn' :: SegOp lore -> FV Source #
Attributes lore => FreeIn (KernelBody lore) Source #
Instance details Defined in Futhark.Representation.Kernels.Kernel Methods freeIn' :: KernelBody lore -> FV Source #
FreeIn inner => FreeIn (MemOp inner) Source #
Instance details Defined in Futhark.Representation.ExplicitMemory Methods freeIn' :: MemOp inner -> FV Source #
FreeIn a => FreeIn (Code a) Source #
Instance details Defined in Futhark.CodeGen.ImpCode Methods freeIn' :: Code a -> FV Source #
(FreeIn a, FreeIn b) => FreeIn (a, b) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: (a, b) -> FV Source #
FreeIn shape => FreeIn (TypeBase shape u) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: TypeBase shape u -> FV Source #
FreeIn e => FreeIn (Count u e) Source #
Instance details Defined in Futhark.Representation.Kernels.Sizes Methods freeIn' :: Count u e -> FV Source #
(Attributes lore, FreeIn op) => FreeIn (HostOp lore op) Source #
Instance details Defined in Futhark.Representation.Kernels.Kernel Methods freeIn' :: HostOp lore op -> FV Source #
(FreeIn a, FreeIn b, FreeIn c) => FreeIn (a, b, c) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: (a, b, c) -> FV Source #
(FreeIn d, FreeIn ret) => FreeIn (MemInfo d u ret) Source #
Instance details Defined in Futhark.Representation.ExplicitMemory Methods freeIn' :: MemInfo d u ret -> FV Source #

freeIn :: FreeIn a => a -> Names Source #

The free variables of some syntactic construct.

Specialised Functions

freeInStmsAndRes :: (FreeIn (Op lore), FreeIn (LetAttr lore), FreeIn (LParamAttr lore), FreeIn (FParamAttr lore), FreeAttr (BodyAttr lore), FreeAttr (ExpAttr lore)) => Stms lore -> Result -> FV Source #

Return the set of variable names that are free in the given statements and result. Filters away the names that are bound by the statements.

Bound Names

boundInBody :: Body lore -> Names Source #

The names bound by the bindings immediately in a BodyT.

boundByStm :: Stm lore -> Names Source #

The names bound by a binding.

boundByStms :: Stms lore -> Names Source #

The names bound by the bindings.

boundByLambda :: Lambda lore -> [VName] Source #

The names of the lambda parameters plus the index parameter.

Efficient computation

class FreeIn attr => FreeAttr attr where Source #

Either return precomputed free names stored in the attribute, or the freshly computed names. Relies on lazy evaluation to avoid the work.

Minimal complete definition

Nothing

Methods

precomputed :: attr -> FV -> FV Source #

Instances

FreeAttr () Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods precomputed :: () -> FV -> FV Source #
FreeAttr KnownBound Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Ranges Methods precomputed :: KnownBound -> FV -> FV Source #
FreeAttr Names' Source #
Instance details Defined in Futhark.Representation.Aliases Methods precomputed :: Names' -> FV -> FV Source #
FreeAttr ExpWisdom Source #
Instance details Defined in Futhark.Optimise.Simplify.Lore Methods precomputed :: ExpWisdom -> FV -> FV Source #
FreeAttr a => FreeAttr [a] Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods precomputed :: [a] -> FV -> FV Source #
FreeAttr a => FreeAttr (Maybe a) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods precomputed :: Maybe a -> FV -> FV Source #
(FreeAttr a, FreeIn b) => FreeAttr (a, b) Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods precomputed :: (a, b) -> FV -> FV Source #

data FV Source #

A computation to build a free variable set.

Instances

Semigroup FV Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods (<>) :: FV -> FV -> FV # sconcat :: NonEmpty FV -> FV # stimes :: Integral b => b -> FV -> FV #
Monoid FV Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods mempty :: FV # mappend :: FV -> FV -> FV # mconcat :: [FV] -> FV #
FreeIn FV Source #
Instance details Defined in Futhark.Representation.AST.Attributes.Names Methods freeIn' :: FV -> FV Source #
Substitute FV Source #
Instance details Defined in Futhark.Transform.Substitute Methods substituteNames :: Map VName VName -> FV -> FV Source #

fvBind :: Names -> FV -> FV Source #

Consider a variable to be bound in the given FV computation.

fvName :: VName -> FV Source #

Take note of a variable reference.

fvNames :: Names -> FV Source #

Take note of a set of variable references.