Safe Haskell | None |
---|---|
Language | Haskell2010 |
Proarrow.Profunctor.Costar
Documentation
data Costar (f :: j -> k) (a :: j) (b :: k) where Source Comments #
Constructors
Costar | |
Instances
Functor f => Profunctor (Costar f :: j -> k -> Type) Source Comments # | |
Functor f => Corepresentable (Costar f :: k -> j -> Type) Source Comments # | |
Defined in Proarrow.Profunctor.Costar Methods coindex :: forall (a :: k) (b :: j). Costar f a b -> (Costar f %% a) ~> b Source Comments # cotabulate :: forall (a :: k) (b :: j). Ob a => ((Costar f %% a) ~> b) -> Costar f a b Source Comments # corepMap :: forall (a :: k) (b :: k). (a ~> b) -> (Costar f %% a) ~> (Costar f %% b) Source Comments # | |
(Functor f, Functor g, Adjunction (Star f) (Star g)) => Adjunction (Costar f :: k -> j -> Type) (Costar g :: j -> k -> Type) Source Comments # | |
Functor f => Adjunction (Star f :: k -> j -> Type) (Costar f :: j -> k -> Type) Source Comments # | |
Monad m => Procomonad (Costar (Prelude m) :: Type -> Type -> Type) Source Comments # | |
type (Costar f :: k -> j -> Type) %% (a :: k) Source Comments # | |
Defined in Proarrow.Profunctor.Costar |