eu.joaocosta.minart.runtime.pure

Type members

Classlikes

trait IOOps[R] extends IOBaseOps[R]

Operations for an IO with a fixed R

Operations for an IO with a fixed R

Companion:
object
object IOOps

Basic IO operations to quicly create RIO type aliases

Basic IO operations to quicly create RIO type aliases

Companion:
class
trait MinartApp

Entrypoint for pure Minart applications.

Entrypoint for pure Minart applications.

final case class Poll[+A](poll: RIO[Any, Option[Try[A]]]) extends AnyVal

Representation of a running asyncronous computation that can be polled.

Representation of a running asyncronous computation that can be polled.

Note that, unlike Futures, operations on an Poll don't require an execution context and might be applied sequentially every time poll is called. While this might be inneficient, this is by design, to simplify multiplatform development.

Companion:
object
object Poll
Companion:
class
sealed trait RIO[-R, +A]

Representation of an effectful operation, based on Haskell's RIO Monad.

Representation of an effectful operation, based on Haskell's RIO Monad.

Companion:
object
object RIO extends IOBaseOps[Any]
Companion:
class
object ResourceIO extends ResourceIOOps with IOOps[Resource]

Object containing the operations that act on a Resource.

Object containing the operations that act on a Resource.

Representation of a resource operation, with the common Monad operations.

Representation of a resource operation, with the common Monad operations.

Types

type ResourceIO[+A] = RIO[Resource, A]

Representation of a operation on that requires a Resource, with the common Monad operations. This is the same as RIO[Resource, A].

Representation of a operation on that requires a Resource, with the common Monad operations. This is the same as RIO[Resource, A].