DDC.Type.Transform.AnonymizeT

Documentation

anonymizeT :: (Ord n, AnonymizeT c) => c n -> c n

Rewrite all binders in a thing to be of anonymous form.

class AnonymizeT c where

Minimal complete definition

anonymizeWithT

Methods

anonymizeWithT :: forall n. Ord n => [Bind n] -> c n -> c n

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

AnonymizeT Bound

Methods

anonymizeWithT :: Ord n => [Bind n] -> Bound n -> Bound n

AnonymizeT Type

Methods

anonymizeWithT :: Ord n => [Bind n] -> Type n -> Type n

AnonymizeT TypeSum

Methods

anonymizeWithT :: Ord n => [Bind n] -> TypeSum n -> TypeSum n

pushAnonymizeBindT

Arguments

:: [Bind n]

Stack for Spec binders (level-1)

-> Bind n

-> ([Bind n], Bind n)

Push a binding occurrence of a level-1 variable on the stack, returning the anonyized binding occurrence and the new stack.