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

Safe Haskell	Safe-Inferred
Language	Haskell2010

Futhark.Internalise.FreeVars

Description

Facilities for computing free variables in an expression, which we need for both lambda-lifting and defunctionalisation.

Synopsis

freeVars :: Exp -> NameSet
without :: NameSet -> Set VName -> NameSet
member :: VName -> NameSet -> Bool
ident :: Ident -> NameSet
size :: VName -> NameSet
sizes :: Set VName -> NameSet
newtype NameSet = NameSet {
- unNameSet :: Map VName StructType
}
patternVars :: Pattern -> NameSet

Documentation

freeVars :: Exp -> NameSet Source #

Compute the set of free variables of an expression.

without :: NameSet -> Set VName -> NameSet Source #

Set subtraction.

member :: VName -> NameSet -> Bool Source #

Is this name in the NameSet?

ident :: Ident -> NameSet Source #

A NameSet with a single Nonunique name.

size :: VName -> NameSet Source #

sizes :: Set VName -> NameSet Source #

newtype NameSet Source #

A set of names where we also track uniqueness.

Constructors

NameSet
Fields unNameSet :: Map VName StructType

Instances

Instances details

Show NameSet Source #
Instance details Defined in Futhark.Internalise.FreeVars Methods showsPrec :: Int -> NameSet -> ShowS # show :: NameSet -> String # showList :: [NameSet] -> ShowS #
Semigroup NameSet Source #
Instance details Defined in Futhark.Internalise.FreeVars Methods (<>) :: NameSet -> NameSet -> NameSet # sconcat :: NonEmpty NameSet -> NameSet # stimes :: Integral b => b -> NameSet -> NameSet #
Monoid NameSet Source #
Instance details Defined in Futhark.Internalise.FreeVars Methods mempty :: NameSet # mappend :: NameSet -> NameSet -> NameSet # mconcat :: [NameSet] -> NameSet #

patternVars :: Pattern -> NameSet Source #

Extract all the variable names bound in a pattern.