morphisms-functors-0.1.7: Functors, theirs compositions and transformations
Data.Functor.Extension.Kan
newtype Ran (t :: * -> *) (u :: * -> *) (b :: *) (a :: *) Source #
Constructors
Fields
Defined in Data.Functor.Extension.Kan
Methods
(<$>) :: (a -> b0) -> Ran t u b a -> Ran t u b b0 Source #
comap :: (a -> b0) -> Ran t u b a -> Ran t u b b0 Source #
(<$) :: a -> Ran t u b b0 -> Ran t u b a Source #
($>) :: Ran t u b a -> b0 -> Ran t u b b0 Source #
void :: Ran t u b a -> Ran t u b () Source #
newtype Lan (t :: * -> *) (u :: * -> *) (b :: *) (a :: *) Source #
(>$<) :: (a -> b0) -> Lan t u b b0 -> Lan t u b a Source #
contramap :: (a -> b0) -> Lan t u b b0 -> Lan t u b a Source #
(>$) :: b0 -> Lan t u b b0 -> Lan t u b a Source #
($<) :: Lan t u b b0 -> b0 -> Lan t u b a Source #
full :: Lan t u b () -> Lan t u b a Source #