Const

fun <A> Const(value: A)

fun <U> map(f: (T) -> U): Const<A, U>

fun <U> retag(): Const<A, U>

open override fun toString(): String

fun value(): A

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>

operator fun <A : Comparable<A>, T> Const<A, T>.compareTo(other: Const<A, T>): Int

fun <A, T, U> Const<A, T>.contramap(f: (U) -> T): Const<A, U>

Constructors