DDC.Type.Transform.Alpha

Documentation

class Alpha c where

Minimal complete definition

alpha

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

Methods

alpha :: Ord n2 => (n1 -> n2) -> Bind n1 -> Bind n2

Alpha Bound

Methods

alpha :: Ord n2 => (n1 -> n2) -> Bound n1 -> Bound n2

Alpha Type

Methods

alpha :: Ord n2 => (n1 -> n2) -> Type n1 -> Type n2

Alpha TypeSum

Methods

alpha :: Ord n2 => (n1 -> n2) -> TypeSum n1 -> TypeSum n2

Alpha TyCon

Methods

alpha :: Ord n2 => (n1 -> n2) -> TyCon n1 -> TyCon n2