Data.Functor.Contravariant.Representable

Values

type family Value f

Contravariant Keyed

class Valued f

Contravariant Indexed

class Coindexed f

Representable Contravariant Functors

class Representable f

Default definitions

contramapDefault

contramapWithValueDefault