SemiringLaws

object SemiringLaws

Functions

Link copied to clipboard
fun <F> laws(    SG: <ERROR CLASS><F>,     GEN: <ERROR CLASS><F>,     eq: (F, F) -> Boolean = { a, b -> a == b }): List<Law>