Data.Functor.Extension.Kan

Documentation

newtype Ran (t :: * -> *) (u :: * -> *) (b :: *) (a :: *)

Constructors

Ran

Fields

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

Instances

Covariant (Ran t u b)

Defined in Data.Functor.Extension.Kan

Methods

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

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

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

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

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

newtype Lan (t :: * -> *) (u :: * -> *) (b :: *) (a :: *)

Constructors

Lan

Fields

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

Instances

Contravariant (Lan t u b)

Defined in Data.Functor.Extension.Kan

Methods

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

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

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

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

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