All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.specs2.control.eff.package.scala Maven / Gradle / Ivy

The newest version!
package org.specs2.control

package object eff {

  type |=[M[_], R] = MemberIn.|=[M, R]
  type /=[M[_], R] = MemberInOut./=[M, R]
  type <=[M[_], R] = Member.<=[M, R]

  object eff         extends EffCreation          with EffInterpretation
  object writer      extends WriterCreation       with WriterInterpretation
  object eval        extends EvalEffect
  object state       extends StateCreation        with StateInterpretation
  object disjunction extends DisjunctionCreation  with DisjunctionInterpretation
  object safe        extends SafeCreation         with SafeInterpretation

  object create extends
    WriterCreation with
    EvalCreation with
    StateCreation with
    DisjunctionCreation with
    SafeCreation with
    EffCreation

  object all extends
    WriterEffect with
    EvalEffect with
    StateEffect with
    DisjunctionEffect with
    SafeEffect with
    EffInterpretation with
    EffCreation with
    EffImplicits

  object interpret extends
    Interpret

}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy