Futhark.Internalise.FreeVars

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

Documentation

freeVars :: Exp -> NameSet

Compute the set of free variables of an expression.

without :: NameSet -> Set VName -> NameSet

Set subtraction.

member :: VName -> NameSet -> Bool

Is this name in the NameSet?

ident :: Ident -> NameSet

A NameSet with a single Nonunique name.

size :: VName -> NameSet

sizes :: Set VName -> NameSet

newtype NameSet

A set of names where we also track uniqueness.

Constructors

NameSet

Fields

• unNameSet :: Map VName StructType

Instances

Show NameSet

Defined in Futhark.Internalise.FreeVars

Methods

showsPrec :: Int -> NameSet -> ShowS

show :: NameSet -> String

showList :: [NameSet] -> ShowS

Semigroup NameSet

Defined in Futhark.Internalise.FreeVars

Methods

(<>) :: NameSet -> NameSet -> NameSet

sconcat :: NonEmpty NameSet -> NameSet

stimes :: Integral b => b -> NameSet -> NameSet

Monoid NameSet

Defined in Futhark.Internalise.FreeVars

Methods

mempty :: NameSet

mappend :: NameSet -> NameSet -> NameSet

mconcat :: [NameSet] -> NameSet

patternVars :: Pattern -> NameSet

Extract all the variable names bound in a pattern.