interface TaglessAssertions<F>
Assertions for tagless final and polymorphic programs
AF |
abstract fun AF(): Applicative<F> |
be |
open fun <A> Kind<F, A>.be(a: A): Kind<F, Matcher<A>> |
blockingValue |
Potentially blocks a running computation until it completes so that it's reduced value can be asserted as the result of the program abstract fun <A> Kind<F, A>.blockingValue(): A |
shouldBeInterpretedTo |
Asserts that the given tagless program this can be reduced to a blocking if necessary in async and effect capable data types such as IO open infix fun <A> Kind<F, A>.shouldBeInterpretedTo(a: A): Unit |
IOAssertions |
interface IOAssertions : TaglessAssertions<ForIO> |