Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Profunctor p where Source #
Nothing
Instances
Functor f => Profunctor (Kleisli f) Source # | |
Profunctor (Tagged :: Type -> Type -> Type) Source # | |
Profunctor (FnList a) Source # | |
Profunctor ((->) :: Type -> Type -> Type) Source # | |
Functor f => Profunctor (Cokleisli f) Source # | |
(Functor f, Profunctor p) => Profunctor (Tannen f p) Source # | |
(Profunctor p, Functor f, Functor g) => Profunctor (Biff p f g) Source # | |
(^>>) :: Profunctor p => (a -> b) -> p b c -> p a c infixr 1 Source #
(>>^) :: Profunctor p => p a b -> (b -> c) -> p a c infixr 1 Source #
(<<^) :: Profunctor p => p b c -> (a -> b) -> p a c infixr 1 Source #
(^<<) :: Profunctor p => (b -> c) -> p a b -> p a c infixr 1 Source #
class Profunctor p => Lift f p where Source #
Instances
Applicative f => Lift f (Tagged :: Type -> Type -> Type) Source # | |
(Traversable f, Applicative p) => Lift f (Kleisli p) Source # | |
(Cotraversable f, Functor ɯ) => Lift f (Cokleisli ɯ) Source # | |
Functor f => Lift f ((->) :: Type -> Type -> Type) Source # | |
Defined in Data.Profunctor | |
(Lift f p, Functor g) => Lift f (Tannen g p) Source # | |
(Lift φ p, Functor f, Applicative g, Traversable φ, Cotraversable φ) => Lift φ (Biff p f g) Source # | |
Cotraversable m => Lift ((->) a :: Type -> Type) (Kleisli m) Source # | |
Functor f => Lift ((->) a :: Type -> Type) (Cokleisli f) Source # | |
(Functor f, Cotraversable g, Lift ((->) a :: Type -> Type) p) => Lift ((->) a :: Type -> Type) (Biff p f g) Source # | |
class Profunctor p => Colift f p where Source #
Instances
(Colift f p, Functor g) => Colift f (Tannen g p) Source # | |
Monad m => Colift (Either c) (Kleisli m) Source # | |
MonadFix m => Colift ((,) c) (Kleisli m) Source # | |
Functor f => Colift (Either c) (Cokleisli f) Source # | |
Colift (Either c) ((->) :: Type -> Type -> Type) Source # | |
Functor ɯ => Colift ((,) c) (Cokleisli ɯ) Source # | |
Colift ((,) c) ((->) :: Type -> Type -> Type) Source # | |
Defined in Data.Profunctor |
class Profunctor p => Strong f p where Source #
class Profunctor p => Costrong f p where Source #
Nothing
costrongL :: p (f a c) (f b c) -> p a b Source #
costrongR :: p (f a b) (f a c) -> p b c Source #
costrongL :: Braided f => p (f a c) (f b c) -> p a b Source #
costrongR :: Braided f => p (f a b) (f a c) -> p b c Source #
class Profunctor p => Closed f p where Source #
Instances
(Traversable f, Applicative p) => Closed f (Kleisli p) Source # | |
(Cotraversable f, Functor ɯ) => Closed f (Cokleisli ɯ) Source # | |
Functor f => Closed f ((->) :: Type -> Type -> Type) Source # | |
Defined in Data.Profunctor |