Retrie.FreeVars
data FreeVars #
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 #
freeVars :: (Data a, Typeable a) => Quantifiers -> a -> FreeVars #
This is an over-approximation, but that is fine for our purposes.
substFVs :: Substitution -> FreeVars #