structural-traversal-0.1.1.1: Initial project template from stack

Safe HaskellNone
LanguageHaskell2010

Data.StructuralTraversal.Instances

Contents

Documentation

Orphan instances

StructuralTraversable [] Source # 

Methods

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

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

StructuralTraversable Maybe Source # 

Methods

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

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

StructuralTraversable (Either a0) Source # 

Methods

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

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