| Safe Haskell | Safe-Infered |
|---|
DDC.Type.Transform.AnonymizeT
- anonymizeT :: (Ord n, AnonymizeT c) => c n -> c n
- class AnonymizeT c where
- anonymizeWithT :: forall n. Ord n => [Bind n] -> c n -> c n
- pushAnonymizeBindT :: Ord n => [Bind n] -> Bind n -> ([Bind n], Bind n)
Documentation
anonymizeT :: (Ord n, AnonymizeT c) => c n -> c nSource
Rewrite all binders in a thing to be of anonymous form.
class AnonymizeT c whereSource
Methods
anonymizeWithT :: forall n. Ord n => [Bind n] -> c n -> c nSource
Rewrite all binders in a thing to be of anonymous form.
The stack contains existing anonymous binders that we have entered into, and named binders that we have rewritten. All bound occurrences of variables will be replaced by references into this stack.
Instances