class
CoalesceT[T[_[_]]] extends TTypes[T]
Instance Constructors
-
new
CoalesceT()(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T])
Type Members
-
-
-
type
FreeMap = Free[[β$32$]qscript.MapFunc[T, β$32$], Hole]
-
type
FreeMapA[A] = Free[[β$32$]qscript.MapFunc[T, β$32$], A]
-
type
FreeQS = Free[[β$31$]Coproduct[[β$6$]qscript.QScriptCore[T, β$6$], [A]Coproduct[[β$0$]qscript.ProjectBucket[T, β$0$], [A]Coproduct[[β$5$]qscript.ThetaJoin[T, β$5$], [A]Coproduct[[β$1$]qscript.EquiJoin[T, β$1$], [A]Coproduct[[β$4$]Const[ShiftedRead, β$4$], [A]Coproduct[[β$2$]Const[Read, β$2$], [β$3$]Const[DeadEnd, β$3$], A], A], A], A], A], β$31$], Hole]
-
-
-
-
-
type
QScriptTotal[A] = Coproduct[[β$6$]qscript.QScriptCore[T, β$6$], [A]Coproduct[[β$0$]qscript.ProjectBucket[T, β$0$], [A]Coproduct[[β$5$]qscript.ThetaJoin[T, β$5$], [A]Coproduct[[β$1$]qscript.EquiJoin[T, β$1$], [A]Coproduct[[β$4$]Const[ShiftedRead, β$4$], [A]Coproduct[[β$2$]Const[Read, β$2$], [β$3$]Const[DeadEnd, β$3$], A], A], A], A], A], A]
-
-