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

MapLaws

object MapLaws

Functions

inline fun <K, V> emptyMapLaw(): Map<K, V>

inline fun <K, V> emptyMapOfLaw(): Map<K, V>

emptyMutableMapLaw

inline fun <K, V> emptyMutableMapLaw(): Map<K, V>

inline fun <K, V> Map<K, V>.entriesLaw(): Set<Map.Entry<K, V>>

inline fun <K, V> Map<out K, V>.filterKeysLaw(predicate: (K) -> Boolean): Map<K, V>

inline fun <K, V> Map<out K, V>.filterLaw(predicate: (Map.Entry<K, V>) -> Boolean): Map<K, V>

inline fun <K, V> Map<out K, V>.filterNotLaw(predicate: (Map.Entry<K, V>) -> Boolean): Map<K, V>

filterValuesLaw

inline fun <K, V> Map<out K, V>.filterValuesLaw(predicate: (V) -> Boolean): Map<K, V>

inline fun <K, V> Map<K, V>.isEmptyLaw(): Boolean

inline fun <K, V> Map<K, V>.isNotEmptyLaw(): Boolean

isNullOrEmptyLaw

inline fun <K, V> Map<K, V>?.isNullOrEmptyLaw(): Boolean

inline fun <K, V> Map<K, V>.keysLaw(): Set<K>

inline fun <K, V, R> Map<out K, V>.mapKeysLaw(transform: (Map.Entry<K, V>) -> R): Map<R, V>

inline fun <K, V> mapOfLaw(vararg elements: Pair<K, V>): Map<K, V>

inline fun <K, V, R> Map<out K, V>.mapValuesLaw(transform: (Map.Entry<K, V>) -> R): Map<K, R>

inline fun <K, V> Map<out K, V>.minusLaw(key: K): Map<K, V>

minusLawWithElements

inline fun <K, V> Map<out K, V>.minusLawWithElements(keys: Collection<K>): Map<K, V>

mutableMapOfLaw

inline fun <K, V> mutableMapOfLaw(vararg elements: Pair<K, V>): MutableMap<K, V>

inline fun <K, V> Map<K, V>?.orEmptyLaw(): Map<K, V>

inline fun <K, V> Map<out K, V>.plusLaw(pair: Pair<K, V>): Map<K, V>

plusLawWithElements

inline fun <K, V> Map<out K, V>.plusLawWithElements(pairs: Collection<Pair<K, V>>): Map<K, V>

inline fun <K, V> Map<out K, V>.plusLawWithMap(map: Map<K, V>): Map<K, V>

inline fun <K, V> Map<K, V>.sizeLaw(): Int

inline fun <K, V> Map<K, V>.valuesLaw(): Collection<V>