Language.Futhark.FreeVars

Facilities for computing free term variables in various syntactic constructs.

Documentation

freeInExp :: ExpBase Info VName -> FV

Compute the set of free variables of an expression.

freeInPat :: Pat (TypeBase Size u) -> FV

Free variables in pattern (including types of the bound identifiers).

freeInType :: TypeBase Size u -> FV

Free variables in the type (meaning those that are used in size expression).

freeWithout :: FV -> Set VName -> FV

Set subtraction. Do not consider those variables as free.

data FV

A set of names.

Instances

Monoid FV

Defined in Language.Futhark.FreeVars

Methods

mempty :: FV

mappend :: FV -> FV -> FV

mconcat :: [FV] -> FV

Semigroup FV

Defined in Language.Futhark.FreeVars

Methods

(<>) :: FV -> FV -> FV

sconcat :: NonEmpty FV -> FV

stimes :: Integral b => b -> FV -> FV

Show FV

Defined in Language.Futhark.FreeVars

Methods

showsPrec :: Int -> FV -> ShowS

show :: FV -> String

showList :: [FV] -> ShowS

fvVars :: FV -> Set VName

The set of names in an FV.