Fresnel.Traversal

Traversals

type Traversal s t a b = forall p. IsTraversal p => Optic p s t a b

type Traversal' s a = Traversal s s a a

class (IsOptional p, Traversing p) => IsTraversal p

Instances

Monad m => IsTraversal (Kleisli m)

Defined in Fresnel.Traversal.Internal

Monoid r => IsTraversal (Forget r :: Type -> Type -> TYPE LiftedRep)

Defined in Fresnel.Traversal.Internal

Applicative f => IsTraversal (Star f)

Defined in Fresnel.Traversal.Internal

IsTraversal (->)

Defined in Fresnel.Traversal.Internal

Construction

traversed :: Traversable t => Traversal (t a) (t b) a b

backwards :: Traversal s t a b -> Traversal s t a b

Elimination

traverseOf :: Applicative f => Traversal s t a b -> (a -> f b) -> s -> f t

forOf :: Applicative f => Traversal s t a b -> s -> (a -> f b) -> f t

sequenceOf :: Applicative f => Traversal s t (f b) b -> s -> f t

transposeOf :: Traversal s t [a] a -> s -> [t]

mapAccumLOf :: Traversal s t a b -> (accum -> a -> (b, accum)) -> accum -> s -> (t, accum)

mapAccumROf :: Traversal s t a b -> (accum -> a -> (b, accum)) -> accum -> s -> (t, accum)

scanl1Of :: Traversal s t a a -> (a -> a -> a) -> s -> t

scanr1Of :: Traversal s t a a -> (a -> a -> a) -> s -> t