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 :: PatBase Info VName -> Set VName

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

freeInType :: TypeBase Size as -> Set VName

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.

newtype FV

A set of names where we also track their type.

Constructors

FV

Fields

• unFV :: Map VName StructType

Instances

Show FV

Defined in Language.Futhark.FreeVars

Methods

showsPrec :: Int -> FV -> ShowS

show :: FV -> String

showList :: [FV] -> ShowS

Semigroup FV

Defined in Language.Futhark.FreeVars

Methods

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

sconcat :: NonEmpty FV -> FV

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

Monoid FV

Defined in Language.Futhark.FreeVars

Methods

mempty :: FV

mappend :: FV -> FV -> FV

mconcat :: [FV] -> FV