arrow-effects-extensions / arrow.effects.extensions / IOSemigroup

IOSemigroup

@extension interface IOSemigroup<A> : Semigroup<IO<A>>

Functions

combine	open fun IO<A>.combine(b: IO<A>): IO<A>
SG	abstract fun SG(): Semigroup<A>

Extension Functions

just	fun <A> A.just(): IO<A>
just	fun <F, E, A> A.just(BR: Bracket<F, E>): Resource<F, E, A>

Inheritors

IOMonoid

interface IOMonoid<A> : Monoid<IO<A>>, IOSemigroup<A>