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. 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

3. 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

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

   

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

5. 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.

6. sealed trait Timing[A] extends AnyRef