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

Retrie.FreeVars

Synopsis

Documentation

data FreeVars Source #

Instances

Instances details
Monoid FreeVars Source # 
Instance details

Defined in Retrie.FreeVars

Semigroup FreeVars Source # 
Instance details

Defined in Retrie.FreeVars

Show FreeVars Source # 
Instance details

Defined in Retrie.FreeVars

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

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