cats-effect

AsyncLaws

AsyncTests

acquireAndReleaseAreUncancelable

acquireIsNotCancelable

actionConcurrentWithPureValueIsJustAction

allowNonTerminationLaws

apply

AsyncLaws BracketLaws ConcurrentEffectLaws ConcurrentLaws EffectLaws SyncLaws AsyncTests BracketTests ConcurrentEffectTests ConcurrentTests EffectTests SyncTests TestContext

arbitrary

async

asyncCanBeDerivedFromAsyncF

asyncCancelableCoherence

asyncCancelableReceivesCancelSignal

asyncFRegisterCanBeCancelled

asyncLeftIsRaiseError

asyncRightIsPure