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

ListLaws

object ListLaws

Functions

asReversedLaw

inline fun <E> List<E>.asReversedLaw(): List<E>

component1Law

inline fun <E> List<E>.component1Law(): E

component2Law

inline fun <E> List<E>.component2Law(): E

component3Law

inline fun <E> List<E>.component3Law(): E

component4Law

inline fun <E> List<E>.component4Law(): E

component5Law

inline fun <E> List<E>.component5Law(): E

dropLastLaw

inline fun <E> List<E>.dropLastLaw(n: Int): List<E>

elementAtLaw

inline fun <E> List<E>.elementAtLaw(index: Int): E

elementAtOrNullLaw

inline fun <E> List<E>.elementAtOrNullLaw(index: Int): E?

emptyListLaw

inline fun <E> emptyListLaw(): List<E>

emptyListOfLaw

inline fun <E> emptyListOfLaw(): List<E>

emptyMutableListLaw

inline fun <E> emptyMutableListLaw(): List<E>

firstLaw

inline fun <E> List<E>.firstLaw(): E

firstOrNullLaw

inline fun <E> List<E>.firstOrNullLaw(): E?

getLaw

inline fun <E> List<E>.getLaw(index: Int): E

getOrNullLaw

inline fun <E> List<E>.getOrNullLaw(index: Int): E?

indexOfFirstLaw

inline fun <E> List<E>.indexOfFirstLaw(predicate: (E) -> Boolean): Int

indexOfLastLaw

inline fun <E> List<E>.indexOfLastLaw(predicate: (E) -> Boolean): Int

indexOfLaw

inline fun <E> List<E>.indexOfLaw(element: E): Int

isEmptyLaw

inline fun <E> List<E>.isEmptyLaw(): Boolean

lastIndexLaw

inline fun <E> List<E>.lastIndexLaw(): Int

lastIndexOfLaw

inline fun <E> List<E>.lastIndexOfLaw(element: E): Int

lastLaw

inline fun <E> List<E>.lastLaw(): E

inline fun <E> List<E>.lastLaw(predicate: (E) -> Boolean): E

lastOrNullLaw

inline fun <E> List<E>.lastOrNullLaw(): E?

listOfLaw

inline fun <E> listOfLaw(vararg elements: E): List<E>

listOfNotNullLaw

inline fun <E> listOfNotNullLaw(element: E?): List<E>

inline fun <E> listOfNotNullLaw(vararg elements: E?): List<E>

mutableListOfLaw

inline fun <E> mutableListOfLaw(vararg elements: E): MutableList<E>

orEmptyLaw

inline fun <E> List<E>?.orEmptyLaw(): List<E>

singleLaw

inline fun <E> List<E>.singleLaw(): E

singleOrNullLaw

inline fun <E> List<E>.singleOrNullLaw(): E?

singletonListOfLaw

inline fun <E> singletonListOfLaw(element: E): List<E>

takeLastLaw

inline fun <E> List<E>.takeLastLaw(n: Int): List<E>