TraverseEmptyLaws

laws

TraverseEmptyTests

discipline

tellInstance

FunctorTellLaws FunctorTellTests

traverseEmpty

TraverseEmptyTests

traverseEmptyInstance

TraverseEmptyLaws TraverseEmptyTests

traverseFilterComposition

TraverseEmptyLaws

traverseFilterIdentity

TraverseEmptyLaws

tupleIsWriterFlipped

FunctorTellLaws