Data.StructuralTraversal.Instances

Documentation

Orphan instances

StructuralTraversable []

Methods

traverseUp :: Applicative f => f () -> f () -> (a -> f b) -> [a] -> f [b]

traverseDown :: Applicative f => f () -> f () -> (a -> f b) -> [a] -> f [b]

StructuralTraversable Maybe

Methods

traverseUp :: Applicative f => f () -> f () -> (a -> f b) -> Maybe a -> f (Maybe b)

traverseDown :: Applicative f => f () -> f () -> (a -> f b) -> Maybe a -> f (Maybe b)

StructuralTraversable (Either a0)

Methods

traverseUp :: Applicative f => f () -> f () -> (a -> f b) -> Either a0 a -> f (Either a0 b)

traverseDown :: Applicative f => f () -> f () -> (a -> f b) -> Either a0 a -> f (Either a0 b)