Data.Type.Role.Nominal

Documentation

class (forall a b. a ~ b => Coercible (f a) (f b)) => Nominal (f :: k -> l)

A constraint witnessing that the next argument of the type constructor of the f type has the nominal type role.

This class is provided only for completeness, everything is automatically an instance of this class.

Instances

Nominal (f :: k -> l)

Defined in Data.Type.Role.Nominal

data Nominality (f :: k -> l) where

A datatype witness of the nominal type role.

Constructors

Nominality :: Nominal f => Nominality f

applyNominal :: Coercion f g -> (a :~: b) -> Coercion (f a) (g b)

Saturate a coercion of a nominal datatype.