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

substFVs :: Substitution -> FreeVars

elemFVs :: RdrName -> FreeVars -> Bool

capturesFVs :: (Data a, Typeable a) => Quantifiers -> [RdrName] -> a -> Bool