• Home
• io.github.marcinzh
• turbolift-core_3
• 0.96.1
• source code
• Reader.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

turbolift.effects.Reader.scala Maven / Gradle / Ivy

package turbolift.effects
import turbolift.{!!, Effect, Signature}
import turbolift.handlers.readerHandler


trait ReaderSignature[R] extends Signature:
  def ask: R !! ThisEffect
  def asks[A](f: R => A): A !! ThisEffect
  def localPut[A, U <: ThisEffect](r: R)(body: A !! U): A !! U
  def localModify[A, U <: ThisEffect](f: R => R)(body: A !! U): A !! U


trait ReaderEffect[R] extends Effect[ReaderSignature[R]] with ReaderSignature[R]:
  final override val ask: R !! this.type = perform(_.ask)
  final override def asks[A](f: R => A): A !! this.type = perform(_.asks(f))
  final override def localPut[A, U <: this.type](r: R)(body: A !! U): A !! U = perform(_.localPut(r)(body))
  final override def localModify[A, U <: this.type](f: R => R)(body: A !! U): A !! U = perform(_.localModify(f)(body))

  /** Predefined handlers for this effect. */
  object handlers:
    def default(initial: R): ThisHandler[Identity, Identity, Any] = ReaderEffect.this.readerHandler(initial)


trait Reader[R] extends ReaderEffect[R]:
  export handlers.{default => handler}