testLaws(SemigroupKLaws.laws(SequenceKW.semigroupK(), applicative, Eq.any()))

java.lang.AssertionError: Property failed for
SequenceKW(sequence=kotlin.collections.ArraysKt___ArraysKt$asSequence$$inlined$Sequence$1@5d5abcb9)
SequenceKW(sequence=kotlin.collections.ArraysKt___ArraysKt$asSequence$$inlined$Sequence$1@2973d20a)
SequenceKW(sequence=kotlin.collections.ArraysKt___ArraysKt$asSequence$$inlined$Sequence$1@1ec9a588))
	at io.kotlintest.properties.PropertyTestingKt.forAll(PropertyTesting.kt:43)
	at kategory.data.SequenceKWTest$$special$$inlined$laws$1.invoke(SemigroupKlaws.kt:17)
	at kategory.data.SequenceKWTest$$special$$inlined$laws$1.invoke(SemigroupKlaws.kt:6)
	at io.kotlintest.Spec$runTest$callable$1$1.invoke(Spec.kt:124)
	at io.kotlintest.Spec$runTest$callable$1$1.invoke(Spec.kt:15)
	at io.kotlintest.Spec$runTest$initialInterceptor$1$1.invoke(Spec.kt:116)
	at io.kotlintest.Spec$runTest$initialInterceptor$1$1.invoke(Spec.kt:15)
	at io.kotlintest.Spec.interceptTestCase(Spec.kt:78)
	at io.kotlintest.Spec$runTest$initialInterceptor$1.invoke(Spec.kt:116)
	at io.kotlintest.Spec$runTest$initialInterceptor$1.invoke(Spec.kt:15)
	at io.kotlintest.Spec$runTest$callable$1.call(Spec.kt:124)
	at java.util.concurrent.FutureTask.run(FutureTask.java:266)
	at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
	at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
	at java.lang.Thread.run(Thread.java:745)

isSubtype

TypeMirror

MonadError<F, NukeException>

Option

NukeException

None

Try

Failure

Throwable

NukeException

Throwable

Either

Left

attack

.p()

object test {

    sealed class BizError  {
        object Error1 : BizError()
        object Error2 : BizError()
        object Error3: BizError()
    }

    val ops: List<ValidatedNel<BizError, Int>> = listOf(
            1.validNel(),
            1.validNel(),
            1.validNel(),
            BizError.Error1.invalidNel(),
            BizError.Error2.invalidNel(),
            BizError.Error3.invalidNel()
    )

    val result: ValidatedNel<BizError, Int> = ops.reduce { a, b ->
        a.combine(b, NonEmptyList.semigroup())
    }
}

// in existed module
data class User(val name: String)

// in other module
object UserRenderer: Renderer<User> {
    fun User.render() = Row {
        +Column { +"Name: " }
        +Column { +name }        
    }
}

fun someOtherComponent(user: User)
  = Row { +user }

interface Context<A> {
  fun A.config(): Config
}

package prod

object ProdContext: Context<Service> {
  fun Service.config(): Config = ProdConfig
}

package test

object TestContext: Context<Service> {
  fun Service.config(): Config = TestConfig
}

package prod

service.config() // ProdConfig

package test

service.config() // TestConfig

crossinline

map

flatMap

Try

Option

Option(null)

None

Some(null)

null

Option

Some

Some(null)