Data.Functor.Extension.Kan

Documentation

data Ran (t :: * -> *) (u :: * -> *) (a :: *)

Constructors

Ran

Fields

• ran :: (a -> t b) -> u b

Instances

Covariant (Ran t u)

Defined in Data.Functor.Extension.Kan

Methods

(<$>) :: (a -> b) -> Ran t u a -> Ran t u b

comap :: (a -> b) -> Ran t u a -> Ran t u b

(<$) :: a -> Ran t u b -> Ran t u a

($>) :: Ran t u a -> b -> Ran t u b

void :: Ran t u a -> Ran t u ()

data Lan (t :: * -> *) (u :: * -> *) (a :: *)

Constructors

Lan

Fields

• lan :: (t b -> a) -> u b

Instances

Contravariant (Lan t u)

Defined in Data.Functor.Extension.Kan

Methods

(>$<) :: (a -> b) -> Lan t u b -> Lan t u a

contramap :: (a -> b) -> Lan t u b -> Lan t u a

(>$) :: b -> Lan t u b -> Lan t u a

($<) :: Lan t u b -> b -> Lan t u a

full :: Lan t u () -> Lan t u a