Const
common data class Const<A, out T>(value: A)
Constructors
| Const | common fun <A> Const(value: A) |
Types
| Name | Summary |
|---|---|
| Companion | common object Companion |
Functions
| Name | Summary |
|---|---|
| map | common fun <U> map(f: (T) -> U): Const<A, U> |
| retag | common fun <U> retag(): Const<A, U> |
| toString | common open override fun toString(): String |
| value | common fun value(): A |
| zip | common inline fun <B, C> zip(SG: Semigroup<A>, b: Const<A, B>, map: (T, B) -> C): Const<A, C> inline fun <B, C, D> zip(SG: Semigroup<A>, b: Const<A, B>, c: Const<A, C>, map: (T, B, C) -> D): Const<A, D> inline fun <B, C, D, E> zip(SG: Semigroup<A>, b: Const<A, B>, c: Const<A, C>, d: Const<A, D>, map: (T, B, C, D) -> E): Const<A, E> inline fun <B, C, D, E, F> zip(SG: Semigroup<A>, b: Const<A, B>, c: Const<A, C>, d: Const<A, D>, e: Const<A, E>, map: (T, B, C, D, E) -> F): Const<A, F> inline fun <B, C, D, E, F, G> zip(SG: Semigroup<A>, b: Const<A, B>, c: Const<A, C>, d: Const<A, D>, e: Const<A, E>, f: Const<A, F>, map: (A, B, C, D, E, F) -> G): Const<A, G> inline fun <B, C, D, E, F, G, H> zip(SG: Semigroup<A>, b: Const<A, B>, c: Const<A, C>, d: Const<A, D>, e: Const<A, E>, f: Const<A, F>, g: Const<A, G>, map: (A, B, C, D, E, F, G) -> H): Const<A, T> inline fun <B, C, D, E, F, G, H, I> zip(SG: Semigroup<A>, b: Const<A, B>, c: Const<A, C>, d: Const<A, D>, e: Const<A, E>, f: Const<A, F>, g: Const<A, G>, h: Const<A, H>, map: (A, B, C, D, E, F, G, H) -> I): Const<A, T> inline fun <B, C, D, E, F, G, H, I, J> zip(SG: Semigroup<A>, b: Const<A, B>, c: Const<A, C>, d: Const<A, D>, e: Const<A, E>, f: Const<A, F>, g: Const<A, G>, h: Const<A, H>, i: Const<A, I>, map: (A, B, C, D, E, F, G, H, I) -> J): Const<A, J> inline fun <B, C, D, E, F, G, H, I, J, K> zip(SG: Semigroup<A>, b: Const<A, B>, c: Const<A, C>, d: Const<A, D>, e: Const<A, E>, f: Const<A, F>, g: Const<A, G>, h: Const<A, H>, i: Const<A, I>, j: Const<A, J>, map: (A, B, C, D, E, F, G, H, I, J) -> K): Const<A, K> |
Extensions
| Name | Summary |
|---|---|
| combine | common fun <A, T> Const<A, T>.combine(SG: Semigroup<A>, that: Const<A, T>): Const<A, T> |
| compareTo | common operator fun <A : Comparable<A>, T> Const<A, T>.compareTo(other: Const<A, T>): Int |
| contramap | common fun <A, T, U> Const<A, T>.contramap(f: (U) -> T): Const<A, U> |