Data.Lens.Internal.Bazaar

newtype Bazaar :: (Type -> Type -> Type) -> Type -> Type -> Type -> Type -> Typenewtype Bazaar p a b s t

This is used to characterize a Traversal.

Constructors

• Bazaar (forall f. Applicative f => p a (f b) -> s -> f t)

Instances

• Profunctor (Bazaar p a b)
• Strong (Bazaar p a b)
• Choice (Bazaar p a b)
• Wander (Bazaar p a b)

runBazaar :: forall p a b s t. Bazaar p a b s t -> (forall f. Applicative f => p a (f b) -> s -> f t)