Module

Data.Lens.Internal.Wander

Package
profunctor-lenses
Repository
purerl/purescript-profunctor-lenses

This module defines the Wander type class, which is used to define Traversals.

#Wander Source

class Wander :: (Type -> Type -> Type) -> Constraintclass (Strong p, Choice p) <= Wander p  where

Class for profunctors that support polymorphic traversals.

Members

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

Instances