effect

Type Members

1. sealed trait AtomicRef[V, A] extends AnyRef

   

   A reference to a value that may be updated atomically.

   A reference to a value that may be updated atomically.

   V

   the type of value referenced

2. trait Capture[F[_]] extends Serializable

   

   Monad with effect-capturing unit.

   Monad with effect-capturing unit.

   Cribbed from [doobie](http://github.com/tpolecat/doobie)

3. sealed abstract class CaptureInstances extends AnyRef

   

4. sealed trait Failure[E, A] extends AnyRef

   

   Provides the ability to indicate a computation has failed.

   Provides the ability to indicate a computation has failed.

   E

   the reason/error describing why the computation failed

5. sealed trait KeyValueStore[K, V, A] extends AnyRef

   

   Provides the ability to read, write and delete from a store of values indexed by keys.

   Provides the ability to read, write and delete from a store of values indexed by keys.

   K

   the type of keys used to index values

   V

   the type of values in the store

6. trait Kvs[F[_], K, V] extends AnyRef

   

   Provides the ability to read, write and delete from a store of values indexed by keys.

   Provides the ability to read, write and delete from a store of values indexed by keys.

   K

   the type of keys used to index values

   V

   the type of values in the store

7. sealed abstract class KvsInstances extends AnyRef

   

8. abstract class LiftedOps[G[_], S[_]] extends AnyRef

   

   Encapsulates boilerplate useful in defining lifted operations on free monads over effect algebras.

9. trait MonoSeq[F[_]] extends Serializable

   

   Represents the ability to request the next element of a monotonically increasing numeric sequence.

   Represents the ability to request the next element of a monotonically increasing numeric sequence.

   That is,

   for { a <- next b <- next } yield a < b

   must always be true.

10. sealed abstract class MonoSeqInstances extends AnyRef

    

11. sealed trait MonotonicSeq[A] extends AnyRef

    

    Provides the ability to request the next element of a monotonically increasing numeric sequence.

    Provides the ability to request the next element of a monotonically increasing numeric sequence.

    That is,

    for { a <- next b <- next } yield a < b

    must always be true.

12. sealed abstract class Read[R, A] extends AnyRef

    

    Provides the ability to obtain a value of type R from the environment.

    Provides the ability to obtain a value of type R from the environment.

    R

    the type of value to be read.

13. sealed trait Timing[A] extends AnyRef