Retrie.FreeVars
data FreeVars Source #
Defined in Retrie.FreeVars
Methods
mempty :: FreeVars #
mappend :: FreeVars -> FreeVars -> FreeVars #
mconcat :: [FreeVars] -> FreeVars #
(<>) :: FreeVars -> FreeVars -> FreeVars #
sconcat :: NonEmpty FreeVars -> FreeVars #
stimes :: Integral b => b -> FreeVars -> FreeVars #
showsPrec :: Int -> FreeVars -> ShowS #
show :: FreeVars -> String #
showList :: [FreeVars] -> ShowS #
elemFVs :: RdrName -> FreeVars -> Bool Source #
freeVars :: (Data a, Typeable a) => Quantifiers -> a -> FreeVars Source #
This is an over-approximation, but that is fine for our purposes.
substFVs :: Substitution -> FreeVars Source #