object MappableRegion
The maximal "mappable" (expressable via MapFunc) region of a graph.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- MappableRegion
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def apply[T[_[_]]](halt: (slamdata.Predef.Symbol) ⇒ slamdata.Predef.Boolean, g: QSUGraph[T]): FreeMapA[T, QSUGraph[T]]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def binaryOf[T[_[_]]](left: slamdata.Predef.Symbol, right: slamdata.Predef.Symbol, g: QSUGraph[T]): slamdata.Predef.Option[JoinFunc[T]]
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
- def funcOf[T[_[_]], A](f: (slamdata.Predef.Symbol) ⇒ slamdata.Predef.Option[A], g: QSUGraph[T]): slamdata.Predef.Option[FreeMapA[T, A]]
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def mappableRegionƒ[T[_[_]]](halt: (slamdata.Predef.Symbol) ⇒ slamdata.Predef.Boolean, g: QSUGraph[T]): CoEnv[QSUGraph[T], [β$3$]Free[[β$73$]Coproduct[[β$62$]MapFuncCore[T, β$62$], [β$63$]MapFuncDerived[T, β$63$], β$73$], β$3$], QSUGraph[T]]
- def maximal[T[_[_]]](g: QSUGraph[T]): FreeMapA[T, QSUGraph[T]]
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- def unaryOf[T[_[_]]](src: slamdata.Predef.Symbol, g: QSUGraph[T]): slamdata.Predef.Option[FreeMap[T]]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
object
MaximalUnary
An extractor for pulling out the a unique unary root of a mappable region (if it exists) and the associated FreeMap.
An extractor for pulling out the a unique unary root of a mappable region (if it exists) and the associated FreeMap. If the unique unary root is Unreferenced(), then this extractor will fail (produce None). Note that this is less robust than the analogous behavior in MinimizeAutoJoins#coalesceRoots, and will not attempt things such as rewriting Filter into Cond.