Safe Haskell	None
Language	Haskell2010

Data.Profunctor.Annotated

Documentation

class (Profunctor p, Profunctor q) => Annotatable e p q | q -> p where Source #

Minimal complete definition

Nothing

Methods

coindexed :: p a (e, b) -> q a b Source #

default coindexed :: p ~ q => p a (e, b) -> q a b Source #

Instances details

Profunctor p => Annotatable i p (Annotated i p) Source #
Instance details Defined in Data.Profunctor.Annotated Methods coindexed :: p a (i, b) -> Annotated i p a b Source #
Annotatable e (Tagged :: Type -> Type -> Type) (Tagged :: Type -> Type -> Type) Source #
Instance details Defined in Data.Profunctor.Annotated Methods coindexed :: Tagged a (e, b) -> Tagged a b Source #
Functor f => Annotatable e (Costar f) (Costar f) Source #
Instance details Defined in Data.Profunctor.Annotated Methods coindexed :: Costar f a (e, b) -> Costar f a b Source #
Functor f => Annotatable e (Star f) (Star f) Source #
Instance details Defined in Data.Profunctor.Annotated Methods coindexed :: Star f a (e, b) -> Star f a b Source #
Annotatable e (Forget r) (Forget r) Source #
Instance details Defined in Data.Profunctor.Annotated Methods coindexed :: Forget r a (e, b) -> Forget r a b Source #
Annotatable e ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Source #
Instance details Defined in Data.Profunctor.Annotated Methods coindexed :: (a -> (e, b)) -> a -> b Source #

Constructors

Annotated
Fields runCoindexed :: p a (e, b)

Instances details

Profunctor p => Annotatable i p (Annotated i p) Source #
Instance details Defined in Data.Profunctor.Annotated Methods coindexed :: p a (i, b) -> Annotated i p a b Source #
Profunctor p => Profunctor (Annotated e p) Source #
Instance details Defined in Data.Profunctor.Annotated Methods dimap :: (a -> b) -> (c -> d) -> Annotated e p b c -> Annotated e p a d # lmap :: (a -> b) -> Annotated e p b c -> Annotated e p a c # rmap :: (b -> c) -> Annotated e p a b -> Annotated e p a c # (#.) :: forall a b c q. Coercible c b => q b c -> Annotated e p a b -> Annotated e p a c # (.#) :: forall a b c q. Coercible b a => Annotated e p b c -> q a b -> Annotated e p a c #
Strong p => Strong (Annotated i p) Source #
Instance details Defined in Data.Profunctor.Annotated Methods first' :: Annotated i p a b -> Annotated i p (a, c) (b, c) # second' :: Annotated i p a b -> Annotated i p (c, a) (c, b) #