retrie-1.2.2: A powerful, easy-to-use codemodding tool for Haskell.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Retrie.FreeVars

Synopsis

Documentation

data FreeVars #

Instances

Instances details
Monoid FreeVars # 
Instance details

Defined in Retrie.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.