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. final case class ExecutionId(index: slamdata.Predef.Long, startTime: Instant) extends Product with Serializable

   

6. final case class ExecutionTimings(timings: slamdata.Predef.Map[slamdata.Predef.String, (Instant, Instant)]) extends Product with Serializable

   

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

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

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

10. sealed abstract class KvsInstances extends KvsInstances0

    

11. sealed abstract class KvsInstances0 extends AnyRef

    

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

    

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

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

14. sealed abstract class MonoSeqInstances extends MonoSeqInstances0

    

15. sealed abstract class MonoSeqInstances0 extends AnyRef

    

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

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

18. trait ScopeExecution[F[_], T] extends AnyRef

    

    Represents the ability to create an execution scope, within which timing scopes can be created.

19. trait ScopeTiming[F[_], T] extends AnyRef

    

    Represents the ability to create a timing scope.

20. sealed abstract class Timing[A] extends AnyRef

    

21. final case class TimingRepository(recordedExecutions: Natural, repo: TaskRef[TreeMap[ExecutionId, ExecutionTimings]]) extends Product with Serializable

    

22. sealed abstract class Write[W, A] extends AnyRef