effect

Type Members

1. sealed abstract class 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 AnyRef

   

   Monad with effect-capturing unit.

   Monad with effect-capturing unit.

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

3. sealed abstract class CaptureInstances extends CaptureInstances0

   

4. sealed abstract class CaptureInstances0 extends AnyRef

   

5. sealed abstract class 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

6. sealed abstract class 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

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

8. sealed abstract class KvsInstances extends KvsInstances0

   

9. sealed abstract class KvsInstances0 extends AnyRef

   

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

    

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

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

12. sealed abstract class MonoSeqInstances extends MonoSeqInstances0

    

13. sealed abstract class MonoSeqInstances0 extends AnyRef

    

14. sealed abstract class 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.

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

16. sealed abstract class Timing[A] extends AnyRef