arrow-analysis-laws/arrow.analysis.laws.kotlin

Package arrow.analysis.laws.kotlin

Types

ArrayConversionsLaws

object ArrayConversionsLaws

object ArrayLaws

BooleanArrayLaws

object BooleanArrayLaws

object ByteArrayLaws

object ByteLaws

object CharArrayLaws

CharSequenceConversionsLaws

object CharSequenceConversionsLaws

CharSequenceLaws

object CharSequenceLaws

CollectionConversionsLaws

object CollectionConversionsLaws

object CollectionLaws

ComparableRangeLaws

object ComparableRangeLaws

DoubleArrayLaws

object DoubleArrayLaws

object EnumLaws

object FloatArrayLaws

object IntArrayLaws

object IntLaws

object ListLaws

object LongArrayLaws

object LongLaws

object MapEntryLaws

object MapLaws

object MathLaws

object ResultLaws

object SetLaws

object ShortArrayLaws

object ShortLaws

object StringLaws

Functions

inline fun Any?.hashCodeLaw(): Int

inline fun <T> lazyOfLaw(value: T): Lazy<T>

inline fun TODOLaw(): Nothing

inline fun TODOLaw(reason: String): Nothing

inline fun <A, B> A.toLaw(other: B): Pair<A, B>