TraverseLaws

laws

TraverseTests

discipline

traverse

TraverseTests

traverseConsistent

ReducibleLaws

traverseIdentity

TraverseLaws

traverseParallelComposition

TraverseLaws

traverseSequentialComposition

TraverseLaws