arrow-core-data / arrow.core / Const
Const
data class Const<A, out T> : ConstOf<A, T>
Constructors
| <init> | Const(value: A) |
Functions
| map | fun <U> map(f: (T) -> U): Const<A, U> |
| retag | fun <U> retag(): Const<A, U> |
| show | fun ~~show~~(SA: Show<A>): String |
| toString | fun toString(): String |
| traverse | fun <G, U> ~~traverse~~(GA: Applicative<G>, f: (T) -> Kind<G, U>): Kind<G, Const<A, U>> |
| traverseFilter | fun <G, U> ~~traverseFilter~~(GA: Applicative<G>, f: (T) -> Kind<G, Option<U>>): Kind<G, Const<A, U>> |
| value | fun value(): A |
| zip | fun <B, C> zip(SG: Semigroup<A>, b: Const<A, B>, map: (T, B) -> C): Const<A, C>fun <B, C, D> zip(SG: Semigroup<A>, b: Const<A, B>, c: Const<A, C>, map: (T, B, C) -> D): Const<A, D>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>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>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>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>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>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>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> |
Companion Object Functions
| just | fun <A, T> ~~just~~(a: A): Const<A, T> |
Extension Functions
| altFold | fun <T, F, A> Kind<T, A>.altFold(AF: Alternative<F>, FT: Foldable<T>): Kind<F, A> |
| altSum | fun <T, F, A> Kind<T, Kind<F, A>>.altSum(AF: Alternative<F>, FT: Foldable<T>): Kind<F, A> |
| ap | fun <A, T, U> ConstOf<A, T>.~~ap~~(SG: Semigroup<A>, ff: ConstOf<A, (T) -> U>): Const<A, U> |
| combine | fun <A, T> Const<A, T>.combine(SG: Semigroup<A>, that: Const<A, T>): Const<A, T>fun <A, T> ConstOf<A, T>.~~combine~~(SG: Semigroup<A>, that: ConstOf<A, T>): Const<A, T> |
| compareTo | operator fun <A : Comparable<A>, T> Const<A, T>.compareTo(other: Const<A, T>): Int |
| conest | fun <F, A, B> CounnestedType<F, A, B>.conest(): ConestedType<F, A, B> |
| contramap | fun <A, T, U> Const<A, T>.contramap(f: (U) -> T): Const<A, U> |
| fix | fun <A, T> ConstOf<A, T>.~~fix~~(): Const<A, T> |
| sequence | fun <T, A, G> ConstOf<A, Kind<G, T>>.~~sequence~~(GA: Applicative<G>): Kind<G, Const<A, T>> |
| value | fun <A, T> ConstOf<A, T>.~~value~~(): A |