Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Facilities for computing free term variables in various syntactic constructs.
Documentation
freeInPat :: PatBase Info VName -> Set VName Source #
Free variables in pattern (including types of the bound identifiers).
freeInType :: TypeBase Size as -> Set VName Source #
Free variables in the type (meaning those that are used in size expression).
freeWithout :: FV -> Set VName -> FV Source #
Set subtraction. Do not consider those variables as free.