Safe Haskell	None
Language	Haskell2010

Stg.StaticAnalysis

Description

Extract Haskell values from running STG programs.

Synopsis

Documentation

Overloading class for determining the free variables of an object.

Minimal complete definition

Methods

Instances

FreeVariables Atom Source #
Methods freeVariables :: Atom -> Set Var Source #
FreeVariables Var Source #
Methods freeVariables :: Var -> Set Var Source #
FreeVariables Literal Source #
Methods freeVariables :: Literal -> Set Var Source #
FreeVariables DefaultAlt Source #
Methods freeVariables :: DefaultAlt -> Set Var Source #
FreeVariables PrimitiveAlt Source #
Methods freeVariables :: PrimitiveAlt -> Set Var Source #
FreeVariables AlgebraicAlt Source #
Methods freeVariables :: AlgebraicAlt -> Set Var Source #
FreeVariables NonDefaultAlts Source #
Methods freeVariables :: NonDefaultAlts -> Set Var Source #
FreeVariables Alts Source #
Methods freeVariables :: Alts -> Set Var Source #
FreeVariables Expr Source #
Methods freeVariables :: Expr -> Set Var Source #
FreeVariables LambdaForm Source #	Only takes into account the explicit free variable list of the lambda. This means that globals, which are not explicitly free, will not be considered free variables.
Methods freeVariables :: LambdaForm -> Set Var Source #
FreeVariables Binds Source #
Methods freeVariables :: Binds -> Set Var Source #
FreeVariables Program Source #
Methods freeVariables :: Program -> Set Var Source #
(Foldable f, FreeVariables a) => FreeVariables (f a) Source #
Methods freeVariables :: f a -> Set Var Source #