DDC.Type.Transform.Alpha

Documentation

class Alpha c where

Methods

alpha :: forall n1 n2. Ord n2 => (n1 -> n2) -> c n1 -> c n2

Apply a function to all the names in a thing.

Instances

Alpha Bind

Alpha Bound

Alpha Type

Alpha TypeSum

Alpha TyCon