arrow-free-data / arrow.free / FreeApplicative

FreeApplicative

@higherkind sealed class FreeApplicative<F, out A>

See https://github.com/edmundnoble/cats/blob/6454b4f8b7c5cefd15d8198fa7d52e46e2f45fea/docs/src/main/tut/datatypes/freeapplicative.md

Functions

analyze fun <M> analyze(MM: Monoid<M>, f: FunctionK<F, ConstPartialOf<M>>): M
ap fun <B> ap(ap: FreeApplicative<F, (A) -> B>): FreeApplicative<F, B>
compile fun <G> compile(f: FunctionK<F, G>): FreeApplicative<G, A>
flatCompile fun <G> flatCompile(f: FunctionK<F, <ERROR CLASS><G>>, GFA: Applicative<<ERROR CLASS><G>>): FreeApplicative<G, A>
fold fun fold(FA: Applicative<F>): Kind<F, A>
foldMap fun <G> foldMap(f: FunctionK<F, G>, GA: Applicative<G>): Kind<G, A>
map fun <C> map(f: (A) -> C): FreeApplicative<F, C>
monad fun monad(ap: Applicative<<ERROR CLASS><F>>): Free<F, A>
toString open fun toString(): String

Companion Object Functions

ap fun <F, P, A> ap(fp: FreeApplicative<F, P>, fn: FreeApplicative<F, (P) -> A>): FreeApplicative<F, A>
just fun <F, A> just(a: A): FreeApplicative<F, A>
liftF fun <F, A> liftF(fa: Kind<F, A>): FreeApplicative<F, A>

Do you like Arrow?

Arrow Org
<