Hask.Functor.Faithful

Fully Faithful Functors

class Functor f => FullyFaithful f where

Methods

unfmap :: Cod f (f a) (f b) -> Dom f a b

Instances

FullyFaithful Constraint * Dict

FullyFaithful k * (Unit k k a)

FullyFaithful * (* -> *) (->)

FullyFaithful Constraint (Constraint -> *) (:-)

FullyFaithful k (k -> *) (Unit k k)