com.github.tonivade.purefun.instances.UIOInstances Maven / Gradle / Ivy
/*
* Copyright (c) 2018-2020, Antonio Gabriel Muñoz Conejo
* Distributed under the terms of the MIT License
*/
package com.github.tonivade.purefun.instances;
import java.time.Duration;
import com.github.tonivade.purefun.Consumer1;
import com.github.tonivade.purefun.Function1;
import com.github.tonivade.purefun.Kind;
import com.github.tonivade.purefun.Producer;
import com.github.tonivade.purefun.Unit;
import com.github.tonivade.purefun.effect.UIO;
import com.github.tonivade.purefun.effect.UIOOf;
import com.github.tonivade.purefun.effect.UIO_;
import com.github.tonivade.purefun.typeclasses.Applicative;
import com.github.tonivade.purefun.typeclasses.Bracket;
import com.github.tonivade.purefun.typeclasses.Defer;
import com.github.tonivade.purefun.typeclasses.Functor;
import com.github.tonivade.purefun.typeclasses.Monad;
import com.github.tonivade.purefun.typeclasses.MonadDefer;
import com.github.tonivade.purefun.typeclasses.MonadError;
import com.github.tonivade.purefun.typeclasses.MonadThrow;
import com.github.tonivade.purefun.typeclasses.Reference;
import com.github.tonivade.purefun.typeclasses.Resource;
public interface UIOInstances {
static Functor functor() {
return UIOFunctor.INSTANCE;
}
static Applicative applicative() {
return UIOApplicative.INSTANCE;
}
static Monad monad() {
return UIOMonad.INSTANCE;
}
static MonadError monadError() {
return UIOMonadError.INSTANCE;
}
static MonadThrow monadThrow() {
return UIOMonadThrow.INSTANCE;
}
static MonadDefer monadDefer() {
return UIOMonadDefer.INSTANCE;
}
static Reference ref(A value) {
return Reference.of(monadDefer(), value);
}
static Resource resource(UIO acquire) {
return resource(acquire, AutoCloseable::close);
}
static Resource resource(UIO acquire, Consumer1 release) {
return Resource.from(monadDefer(), acquire, release);
}
}
interface UIOFunctor extends Functor {
UIOFunctor INSTANCE = new UIOFunctor() {};
@Override
default UIO map(Kind value, Function1 map) {
return UIOOf.narrowK(value).map(map);
}
}
interface UIOPure extends Applicative {
@Override
default UIO pure(A value) {
return UIO.pure(value);
}
}
interface UIOApplicative extends UIOPure {
UIOApplicative INSTANCE = new UIOApplicative() {};
@Override
default UIO ap(Kind value, Kind> apply) {
return UIOOf.narrowK(apply).flatMap(map -> UIOOf.narrowK(value).map(map));
}
}
interface UIOMonad extends UIOPure, Monad {
UIOMonad INSTANCE = new UIOMonad() {};
@Override
default UIO flatMap(Kind value, Function1> map) {
return UIOOf.narrowK(value).flatMap(map.andThen(UIOOf::narrowK));
}
}
interface UIOMonadError extends UIOMonad, MonadError {
UIOMonadError INSTANCE = new UIOMonadError() {};
@Override
default UIO raiseError(Throwable error) {
return UIO.raiseError(error);
}
@Override
default UIO
handleErrorWith(Kind value,
Function1> handler) {
Function1> mapError = handler.andThen(UIOOf::narrowK);
Function1> map = UIO::pure;
UIO uio = UIOOf.narrowK(value);
return uio.redeemWith(mapError, map);
}
}
interface UIOMonadThrow extends UIOMonadError, MonadThrow {
UIOMonadThrow INSTANCE = new UIOMonadThrow() {};
}
interface UIODefer extends Defer {
@Override
default UIO
defer(Producer> defer) {
return UIO.defer(() -> defer.map(UIOOf::narrowK).get());
}
}
interface UIOBracket extends Bracket {
@Override
default UIO
bracket(Kind acquire,
Function1> use,
Consumer1 release) {
return UIO.bracket(acquire.fix(UIOOf::narrowK), use.andThen(UIOOf::narrowK), release);
}
}
interface UIOMonadDefer
extends MonadDefer, UIOMonadThrow, UIODefer, UIOBracket {
UIOMonadDefer INSTANCE = new UIOMonadDefer() {};
@Override
default UIO sleep(Duration duration) {
return UIO.sleep(duration);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy