profunctors-5.2: Profunctors

Data.Profunctor.Traversing

Synopsis

Documentation

class (Choice p, Strong p) => Traversing p where Source #

Note: Definitions in terms of wander are much more efficient!

Minimal complete definition

Methods

traverse' :: Traversable f => p a b -> p (f a) (f b) Source #

wander :: (forall f. Applicative f => (a -> f b) -> s -> f t) -> p a b -> p s t Source #

Instances

 Traversing (->) Source # Methodstraverse' :: Traversable f => (a -> b) -> f a -> f b Source #wander :: (forall f. Applicative f => (a -> f b) -> s -> f t) -> (a -> b) -> s -> t Source # Monad m => Traversing (Kleisli m) Source # Methodstraverse' :: Traversable f => Kleisli m a b -> Kleisli m (f a) (f b) Source #wander :: (forall f. Applicative f => (a -> f b) -> s -> f t) -> Kleisli m a b -> Kleisli m s t Source # Applicative m => Traversing (Star m) Source # Methodstraverse' :: Traversable f => Star m a b -> Star m (f a) (f b) Source #wander :: (forall f. Applicative f => (a -> f b) -> s -> f t) -> Star m a b -> Star m s t Source # Source # Methodstraverse' :: Traversable f => FreeTraversing p a b -> FreeTraversing p (f a) (f b) Source #wander :: (forall f. Applicative f => (a -> f b) -> s -> f t) -> FreeTraversing p a b -> FreeTraversing p s t Source # Source # Methodstraverse' :: Traversable f => CofreeTraversing p a b -> CofreeTraversing p (f a) (f b) Source #wander :: (forall f. Applicative f => (a -> f b) -> s -> f t) -> CofreeTraversing p a b -> CofreeTraversing p s t Source # Source # Methodstraverse' :: Traversable f => FreeMapping p a b -> FreeMapping p (f a) (f b) Source #wander :: (forall f. Applicative f => (a -> f b) -> s -> f t) -> FreeMapping p a b -> FreeMapping p s t Source # Source # Methodstraverse' :: Traversable f => CofreeMapping p a b -> CofreeMapping p (f a) (f b) Source #wander :: (forall f. Applicative f => (a -> f b) -> s -> f t) -> CofreeMapping p a b -> CofreeMapping p s t Source #

newtype CofreeTraversing p a b Source #

Constructors

 CofreeTraversing FieldsrunCofreeTraversing :: forall f. Traversable f => p (f a) (f b)

Instances

 Source # Methods Source # Methodspromap :: Profunctor p => (p :-> q) -> CofreeTraversing p :-> CofreeTraversing q Source # Source # Methodsdimap :: (a -> b) -> (c -> d) -> CofreeTraversing p b c -> CofreeTraversing p a d Source #lmap :: (a -> b) -> CofreeTraversing p b c -> CofreeTraversing p a c Source #rmap :: (b -> c) -> CofreeTraversing p a b -> CofreeTraversing p a c Source #(#.) :: Coercible * c b => (b -> c) -> CofreeTraversing p a b -> CofreeTraversing p a c Source #(.#) :: Coercible * b a => CofreeTraversing p b c -> (a -> b) -> CofreeTraversing p a c Source # Source # Methodsfirst' :: CofreeTraversing p a b -> CofreeTraversing p (a, c) (b, c) Source #second' :: CofreeTraversing p a b -> CofreeTraversing p (c, a) (c, b) Source # Source # Methodsleft' :: CofreeTraversing p a b -> CofreeTraversing p (Either a c) (Either b c) Source #right' :: CofreeTraversing p a b -> CofreeTraversing p (Either c a) (Either c b) Source # Source # Methodstraverse' :: Traversable f => CofreeTraversing p a b -> CofreeTraversing p (f a) (f b) Source #wander :: (forall f. Applicative f => (a -> f b) -> s -> f t) -> CofreeTraversing p a b -> CofreeTraversing p s t Source #

data FreeTraversing p a b where Source #

FreeTraversing -| CofreeTraversing

Constructors

 FreeTraversing :: Traversable f => (f y -> b) -> p x y -> (a -> f x) -> FreeTraversing p a b

Instances

 Source # Methods Source # Methodspromap :: Profunctor p => (p :-> q) -> FreeTraversing p :-> FreeTraversing q Source # Source # Methodsdimap :: (a -> b) -> (c -> d) -> FreeTraversing p b c -> FreeTraversing p a d Source #lmap :: (a -> b) -> FreeTraversing p b c -> FreeTraversing p a c Source #rmap :: (b -> c) -> FreeTraversing p a b -> FreeTraversing p a c Source #(#.) :: Coercible * c b => (b -> c) -> FreeTraversing p a b -> FreeTraversing p a c Source #(.#) :: Coercible * b a => FreeTraversing p b c -> (a -> b) -> FreeTraversing p a c Source # Source # Methodsfirst' :: FreeTraversing p a b -> FreeTraversing p (a, c) (b, c) Source #second' :: FreeTraversing p a b -> FreeTraversing p (c, a) (c, b) Source # Source # Methodsleft' :: FreeTraversing p a b -> FreeTraversing p (Either a c) (Either b c) Source #right' :: FreeTraversing p a b -> FreeTraversing p (Either c a) (Either c b) Source # Source # Methodstraverse' :: Traversable f => FreeTraversing p a b -> FreeTraversing p (f a) (f b) Source #wander :: (forall f. Applicative f => (a -> f b) -> s -> f t) -> FreeTraversing p a b -> FreeTraversing p s t Source #

Strong in terms of Traversing

firstTraversing :: Traversing p => p a b -> p (a, c) (b, c) Source #

secondTraversing :: Traversing p => p a b -> p (c, a) (c, b) Source #

Choice in terms of Traversing

leftTraversing :: Traversing p => p a b -> p (Either a c) (Either b c) Source #

rightTraversing :: Traversing p => p a b -> p (Either c a) (Either c b) Source #