eu.joaocosta.minart.runtime.pure

Members list

Concise view

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

Attributes

Companion:
object
Graph
Supertypes
trait IOBaseOps[R]
class Object
trait Matchable
class Any
Known subtypes
object AudioPlayerIO.type
object CanvasIO.type
object MSurfaceIO.type
object SurfaceIO.type
object ResourceIO.type
object IOOps

Basic IO operations to quicly create RIO type aliases

Basic IO operations to quicly create RIO type aliases

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
IOOps.type
case class Poll[+A](poll: RIO[Any, Option[Try[A]]])

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.

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Poll

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Poll.type
sealed trait RIO[-R, +A] extends R => A

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

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

Attributes

Companion:
object
Graph
Supertypes
trait R => A
class Object
trait Matchable
class Any
object RIO extends IOBaseOps[Any]

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
trait IOBaseOps[Any]
class Object
trait Matchable
class Any
Self type
RIO.type
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.

Attributes

Graph
Supertypes
trait IOOps[Resource]
trait IOBaseOps[Resource]
class Object
trait Matchable
class Any
Self type

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

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ResourceIO.type

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].

Attributes

type StateRIO[-R, -State, +A] = State => RIO[R, A]

Alias for State => RIO[R, A]

Alias for State => RIO[R, A]

Attributes