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>
biunnest fun <F, G, A, B> BinestedType<F, G, A, B>.biunnest(): BiunnestedType<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>
counnest fun <F, A, B> ConestedType<F, A, B>.counnest(): CounnestedType<F, A, B>
nest fun <F, G, A> UnnestedType<F, G, A>.nest(): NestedType<F, G, A>
unnest fun <F, G, A> NestedType<F, G, A>.unnest(): UnnestedType<F, G, A>
value fun <A, T> ConstOf<A, T>.value(): A