Retrie.FreeVars

Documentation

data FreeVars

Instances

Show FreeVars

Defined in Retrie.FreeVars

Methods

showsPrec :: Int -> FreeVars -> ShowS

show :: FreeVars -> String

showList :: [FreeVars] -> ShowS

Semigroup FreeVars

Defined in Retrie.FreeVars

Methods

(<>) :: FreeVars -> FreeVars -> FreeVars

sconcat :: NonEmpty FreeVars -> FreeVars

stimes :: Integral b => b -> FreeVars -> FreeVars

Monoid FreeVars

Defined in Retrie.FreeVars

Methods

mempty :: FreeVars

mappend :: FreeVars -> FreeVars -> FreeVars

mconcat :: [FreeVars] -> FreeVars

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