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$], [A]Coproduct[[γ$1$]KeyValueStore[ResultHandle, DbDataStream, γ$1$], [γ$2$]KeyValueStore[WriteHandle, WriteCursor, γ$2$], A], A], A], A], A], A], A]
-
type
M[A] = Free[Eff, A]
-
-
type
QS[T[_[_]]] = :\:[[β$5$]QScriptCore[T, β$5$], :/:[[β$3$]EquiJoin[T, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$]]]
-
type
ReadTransactor[A] = Read[Transactor[Task], A]
-
-
-