TraverseLaws

laws

TraverseTests

discipline

tailRecMConsistentFlatMap

FlatMapLaws

tailRecMStackSafety

MonadLaws

takeWhile_Ref

FoldableLaws

toListRef

FoldableLaws

traverse

TraverseTests

traverseConsistent

ReducibleLaws

traverseIdentity

TraverseLaws

traverseOrderConsistent

TraverseLaws

traverseParallelComposition

TraverseLaws

traverseSequentialComposition

TraverseLaws

traverseWithIndexMRef

TraverseLaws