package
model
Type Members
-
-
-
-
-
-
-
-
-
type
Eff[A] = Coproduct[Task, [A]Coproduct[[A]Read[Transactor[Task], A], [A]Coproduct[[A]Free[ConnectionOp, A], [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[UUID, A], [A]Coproduct[[γ$0$]KeyValueStore[ReadHandle, DbDataStream, γ$0$], [γ$1$]KeyValueStore[WriteHandle, WriteCursor, γ$1$], A], A], A], A], A], A]
-
type
M[A] = Free[Eff, A]
-
-
type
ReadTransactor[A] = Read[Transactor[Task], A]
-
-
-