retrie-1.2.2: A powerful, easy-to-use codemodding tool for Haskell.

Safe Haskell | Safe-Inferred
Language | Haskell2010

Retrie.FreeVars

Synopsis

- data FreeVars
- elemFVs :: RdrName -> FreeVars -> Bool
- freeVars :: (Data a, Typeable a) => Quantifiers -> a -> FreeVars
- substFVs :: Substitution -> FreeVars

# Documentation

data FreeVars #

#### Instances

Instances details

Monoid FreeVars # |
Instance details Defined in Retrie.FreeVars Methods mempty :: FreeVars mappend :: FreeVars -> FreeVars -> FreeVars # mconcat :: [FreeVars] -> FreeVars
Semigroup FreeVars # |
Instance details Defined in Retrie.FreeVars Methods (<>) :: FreeVars -> FreeVars -> FreeVars # sconcat :: NonEmpty FreeVars -> FreeVars stimes :: Integral b => b -> FreeVars -> FreeVars
Show FreeVars # |
Instance details Defined in Retrie.FreeVars Methods showsPrec :: Int -> FreeVars -> ShowS show :: FreeVars -> String showList :: [FreeVars] -> ShowS

elemFVs :: RdrName -> FreeVars -> Bool #

freeVars :: (Data a, Typeable a) => Quantifiers -> a -> FreeVars #

This is an over-approximation, but that is fine for our purposes.

substFVs :: Substitution -> FreeVars #