Data.Functor.Corepresentable

Values

type family Value f

Contravariant Keyed

class Valued f

Contravariant Indexed

class Coindexed f

Representable Contravariant Functors

class Corepresentable f

Default definitions

contramapDefault

contramapWithValueDefault