package effect
- Alphabetic
- Public
- All
Type Members
-
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
-
trait
Capture[F[_]] extends AnyRef
Monad with effect-capturing unit.
Monad with effect-capturing unit.
Cribbed from [doobie](http://github.com/tpolecat/doobie)
- sealed abstract class CaptureInstances extends CaptureInstances0
- sealed abstract class CaptureInstances0 extends AnyRef
- final case class Execution(id: ExecutionId, timings: ExecutionTimings) extends Product with Serializable
- final case class ExecutionId(identifier: slamdata.Predef.Long) extends Product with Serializable
- final case class ExecutionTimings(timings: slamdata.Predef.Map[slamdata.Predef.String, (Instant, Instant)], start: Instant, end: Instant) extends Product with Serializable
-
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
-
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
-
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
- sealed abstract class KvsInstances extends KvsInstances0
- sealed abstract class KvsInstances0 extends AnyRef
- final case class LabelledInterval(label: slamdata.Predef.String, start: slamdata.Predef.Long, size: slamdata.Predef.Long) extends Product with Serializable
-
abstract
class
LiftedOps[G[_], S[_]] extends AnyRef
Encapsulates boilerplate useful in defining lifted operations on free monads over effect algebras.
-
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.
- sealed abstract class MonoSeqInstances extends MonoSeqInstances0
- sealed abstract class MonoSeqInstances0 extends AnyRef
-
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.
-
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.
-
trait
ScopeExecution[F[_], T] extends AnyRef
Represents the ability to create an execution scope, within which timing scopes can be created.
-
trait
ScopeTiming[F[_], T] extends AnyRef
Represents the ability to create a timing scope.
- final case class SingleExecutionRef(under: TaskRef[slamdata.Predef.Map[slamdata.Predef.String, (Instant, Instant)]]) extends Product with Serializable
- sealed abstract class Timing[A] extends AnyRef
- final case class TimingRepository(recordedExecutions: Natural, start: Instant, under: TaskRef[Queue[Execution]]) extends Product with Serializable
- sealed abstract class Write[W, A] extends AnyRef
Value Members
- object AtomicRef
- object Capture extends CaptureInstances
- object ExecutionId extends Serializable
- object ExecutionTimings extends Serializable
- object Failure
- object KeyValueStore
- object Kvs extends KvsInstances
- object MonoSeq extends MonoSeqInstances with Serializable
- object MonotonicSeq
- object Read
- object ScopeExecution
- object ScopeTiming
- object SingleExecutionRef extends Serializable
- object Timing
- object TimingRepository extends Serializable
- object Write
- object uuid