TraverseFilterLaws

laws

TraverseFilterTests

discipline

TraverseLaws

laws

TraverseTests

discipline

tabulateIndexIsId

RepresentableLaws

tailRecMConsistentFlatMap

FlatMapLaws

tailRecMStackSafety

MonadLaws

takeWhile_Ref

FoldableLaws

toListRef

FoldableLaws

traverse

TraverseTests

traverseConsistent

ReducibleLaws

traverseFilter

TraverseFilterTests

traverseFilterComposition

TraverseFilterLaws

traverseFilterConsistentWithTraverse

TraverseFilterLaws

traverseFilterIdentity

TraverseFilterLaws

traverseIdentity

TraverseLaws

traverseOrderConsistent

TraverseLaws

traverseParallelComposition

TraverseLaws

traverseSequentialComposition

TraverseLaws

traverseWithIndexMRef

TraverseLaws