arrow-typeclasses / arrow.typeclasses / Const

Const

@higherkind data class Const<A, out T> : ConstOf<A, T>

Constructors

<init> Const(value: A)

Functions

retag fun <U> retag(): Const<A, U>
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

Companion Object Functions

just fun <A, T> just(a: A): Const<A, T>

Extension Functions

ap fun <A, T, U> ConstOf<A, T>.ap(SG: Semigroup<A>, ff: ConstOf<A, (T) -> U>): Const<A, U>
binest fun <F, G, A, B> BiunnestedType<F, G, A, B>.binest(): BinestedType<F, G, A, B>
combine fun <A, T> ConstOf<A, T>.combine(SG: Semigroup<A>, that: ConstOf<A, T>): Const<A, T>
conest fun <F, A, B> CounnestedType<F, A, B>.conest(): ConestedType<F, A, B>
const fun <A> A.const(): Const<A, Nothing>
fix fun <A, T> ConstOf<A, T>.fix(): Const<A, T>
nest fun <F, G, A> UnnestedType<F, G, A>.nest(): NestedType<F, G, A>
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