interpret

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

5. def augment[R, T[_], O[_], A](eff: Eff[R, A])(w: Augment[T, O])(implicit m: MemberInOut[T, R]): Eff[prepend[O, R], A]

   

   Interpret the effect T with a side-effect O (see the write method below)

   Interpret the effect T with a side-effect O (see the write method below)

   Definition Classes

   Interpret

6. def batch[R, T[_], A](eff: Eff[R, A])(implicit batchable: Batchable[T], m: /=[T, R]): Eff[R, A]

   

   Definition Classes

   Batch

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

9. def equals(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

10. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

11. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

12. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

13. def intercept[R, T[_], A, B](e: Eff[R, A])(interpreter: Interpreter[T, R, A, B])(implicit m: /=[T, R]): Eff[R, B]

    

    Definition Classes

    Interpret

14. def interceptNat[R, T[_], A](effect: Eff[R, A])(nat: ~>[T, T])(implicit m: /=[T, R]): Eff[R, A]

    

    Intercept the values for one effect and transform them into other values for the same effect

    Intercept the values for one effect and transform them into other values for the same effect

    Definition Classes

    Interpret

15. def interceptNatM[R, M[_], F[_], A](effect: Eff[R, A], nat: ~>[M, [A]M[F[A]]])(implicit m: MemberInOut[M, R], FT: Traverse[F], FM: Monad[F]): Eff[R, F[A]]

    

    Intercept the values for one effect, emitting new values for the same effect inside a monad which is interleaved in

    Intercept the values for one effect, emitting new values for the same effect inside a monad which is interleaved in

    Definition Classes

    Interpret

16. def interpretUnsafe[R, U, T[_], A](effect: Eff[R, A])(sideEffect: SideEffect[T])(implicit m: Aux[T, R, U]): Eff[U, A]

    

    interpret an effect by running side-effects

    interpret an effect by running side-effects

    Definition Classes

    Interpret

17. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

18. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

19. final def notify(): Unit

    

    Definition Classes

    AnyRef

20. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

21. def recurse[R, U, T[_], A, B](e: Eff[R, A])(recurser: Recurser[T, U, A, B])(implicit m: Aux[T, R, U]): Eff[U, B]

    

    Interpret an effect with a Recurser

    Interpret an effect with a Recurser

    Definition Classes

    Interpret

22. def runInterpreter[R, U, T[_], A, B](e: Eff[R, A])(interpreter: Interpreter[T, U, A, B])(implicit m: Aux[T, R, U]): Eff[U, B]

    

    Definition Classes

    Interpret

23. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

24. def toString(): String

    

    Definition Classes

    AnyRef → Any

25. def transform[SR, BR, U, TS[_], TB[_], A](effect: Eff[SR, A], nat: ~>[TS, TB])(implicit sr: Aux[TS, SR, U], br: Aux[TB, BR, U]): Eff[BR, A]

    

    transform an effect into another one using a natural transformation, leaving the rest of the stack untouched

    transform an effect into another one using a natural transformation, leaving the rest of the stack untouched

    Definition Classes

    Interpret

26. def translate[R, U, T[_], A](effect: Eff[R, A])(tr: Translate[T, U])(implicit m: Aux[T, R, U]): Eff[U, A]

    

    Translate one effect of the stack into some of the other effects in the stack

    Translate one effect of the stack into some of the other effects in the stack

    Definition Classes

    Interpret

27. def translateInto[R, T[_], U, A](effect: Eff[R, A])(tr: Translate[T, U])(implicit t: /=[T, R], into: IntoPoly[R, U]): Eff[U, A]

    

    Translate one effect of the stack into other effects in a larger stack

    Translate one effect of the stack into other effects in a larger stack

    Definition Classes

    Interpret

28. def translateNat[R, U, T[_], A](effects: Eff[R, A])(nat: ~>[T, [β$0$]Eff[U, β$0$]])(implicit m: Aux[T, R, U]): Eff[U, A]

    

    Translate one effect of the stack into some of the other effects in the stack Using a natural transformation

    Translate one effect of the stack into some of the other effects in the stack Using a natural transformation

    Definition Classes

    Interpret

29. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

30. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

31. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

32. def write[R, T[_], O, A](eff: Eff[R, A])(w: Write[T, O])(implicit m: MemberInOut[T, R]): Eff[prepend[[β$1$]WriterT[[A]A, O, β$1$], R], A]

    

    For each effect T add some "log statements" O using the Writer effect

    For each effect T add some "log statements" O using the Writer effect

    Definition Classes

    Interpret