codata

Type Members

1. sealed trait Cause extends AnyRef

   Defines termination cause for the process.

2. type Channel[+F[_], -I, O] = Process[F, (I) ⇒ F[O]]

   An effectful channel, to which we can send values and get back responses.

   An effectful channel, to which we can send values and get back responses. Modeled as a source of effectful functions.

3. final class ChannelSyntax[F[_], I, O] extends AnyVal

4. sealed trait Process[+F[_], +O] extends Process1Ops[F, O] with TeeOps[F, O]

   An effectful stream of O values.

5. type Process0[+O] = Process[Nothing, O]

6. type Process1[-I, +O] = Process[Is, O]

   A single input stream transducer.

   A single input stream transducer. Accepts input of type I, and emits values of type O.

7. final class Process1Syntax[I, O] extends AnyVal

8. sealed trait ReceiveY[+A, +B] extends AnyRef

9. type Sink[+F[_], -O] = Process[F, (O) ⇒ F[Unit]]

   An effectful sink, to which we can send values.

   An effectful sink, to which we can send values. Modeled as a source of effectful functions.

10. final class SinkSyntax[F[_], I] extends AnyVal

11. final class SinkTaskSyntax[I] extends AnyVal

12. type Tee[-I, -I2, +O] = Process[T, O]

    A stream transducer that can read from one of two inputs, the 'left' (of type I) or the 'right' (of type I2).

    A stream transducer that can read from one of two inputs, the 'left' (of type I) or the 'right' (of type I2). Process1[I,O] <: Tee[I,I2,O].

13. final class TeeSyntax[I, I2, O] extends AnyVal

    This class provides infix syntax specific to Tee.

14. type TeeW[+W, -I, -I2, +O] = Process[T, \/[W, O]]

    A Tee that writes values of type W.

15. type Writer[+F[_], +W, +O] = Process[F, \/[W, O]]

    A Writer[F,W,O] is a Process[F, W \/ O].

    A Writer[F,W,O] is a Process[F, W \/ O]. See WriterSyntax for convenience functions for working with either the written values (the W) or the output values (the O).

    This is useful for logging or other situations where we want to emit some values 'on the side' while doing something else with the main output of a Process.

16. type Writer1[+W, -I, +O] = Process[Is, \/[W, O]]

    A Process1 that writes values of type W.

17. final class WriterSyntax[F[_], W, O] extends AnyVal

    Infix syntax for working with Writer[F,W,O].

18. final class WriterTaskSyntax[W, O] extends AnyVal

19. type Wye[-I, -I2, +O] = Process[Y, O]

    A stream transducer that can read from one of two inputs, non-deterministically.

20. trait WyeOps[+O] extends AnyRef

    Attributes

    protected

21. final class WyeSyntax[I, I2, O] extends AnyVal

    This class provides infix syntax specific to Wye.

22. type WyeW[+W, -I, -I2, +O] = Process[Y, \/[W, O]]

    A Wye that writes values of type W.