• Home
• org.atnos
• eff-option_native0.5_2.13
• 7.0.5
• source code
• OptionCreation.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.

org.atnos.eff.OptionCreation.scala Maven / Gradle / Ivy

package org.atnos.eff

import Eff.send

trait OptionCreation {
  type _Option[R] = Option <= R
  type _option[R] = Option |= R

  /** create an Option effect from a single Option value */
  def fromOption[R: _option, A](o: Option[A]): Eff[R, A] =
    send[Option, R, A](o)

  /** no value returned */
  def none[R: _option, A]: Eff[R, A] =
    send[Option, R, A](None)

  /** a value is returned */
  def some[R: _option, A](a: A): Eff[R, A] =
    send[Option, R, A](Some(a))
}

object OptionCreation extends OptionCreation