Module: specify-assertions/lib/index

Methods

<static> verify()

α → (α → Validation[Divergence, Divergence]) → Divergence :: partial, throws

Verifies if an assertion is correct.

Source:

• index.js, line 48

<static> verifyFuture()

Future[α, β] → (α → Validation[Divergence, Divergence]) → Future[AssertionError, Divergence]

Verifies if an assertion is correct asynchronously, for monadic Futures.

Source:

• index.js, line 84

<static> verifyMonad()

(m:Monad[_]) => m[α] → (α → Validation[Divergence, Divergence]) → m[Validation[AssertionError, Divergence]]

Verifies if an assertion is correct asynchronously, for fantasy-land monads.

Source:

• index.js, line 72

<static> verifyPromise()

Promise[Error, α] → (α → Validation[Divergence, Divergence]) → Promise[AssertionError, Divergence]

Verifies if an assertion is correct asynchronously, for Promises/A+.

Source:

• index.js, line 60