class
SimplifiableProjectionT[T[_[_]]] extends TTypes[T]
Instance Constructors
-
new
SimplifiableProjectionT()
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]
-
-
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
EquiJoin[G[_]](implicit EJ: :<:[EquiJoin, G]): Aux[EquiJoin, G]
-
-
-
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit