quasar
.
qscript
.
provenance
ProvenanceT
Related Doc:
package provenance
class
ProvenanceT
[
T
[
_
[
_
]
]
]
extends
TTypes
[
T
]
Linear Supertypes
TTypes
[
T
],
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
ProvenanceT
TTypes
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
ProvenanceT
()
(
implicit
arg0:
CorecursiveT
[
T
]
,
arg1:
EqualT
[
T
]
,
J:
Equal
[
T
[
EJson
]]
)
Type Members
type
Ann
=
qscript.Ann
[
T
]
Definition Classes
TTypes
type
CoEnvJoin
[
A
]
=
CoEnv
[
JoinSide
, [β$57$]
Coproduct
[[β$44$]
qscript.MapFuncCore
[
T
,
β$44$
], [β$45$]
qscript.MapFuncDerived
[
T
,
β$45$
],
β$57$
],
A
]
Definition Classes
TTypes
type
CoEnvMap
[
A
]
=
CoEnv
[
Hole
, [β$57$]
Coproduct
[[β$44$]
qscript.MapFuncCore
[
T
,
β$44$
], [β$45$]
qscript.MapFuncDerived
[
T
,
β$45$
],
β$57$
],
A
]
Definition Classes
TTypes
type
CoEnvMapA
[
A
,
B
]
=
CoEnv
[
A
, [β$57$]
Coproduct
[[β$44$]
qscript.MapFuncCore
[
T
,
β$44$
], [β$45$]
qscript.MapFuncDerived
[
T
,
β$45$
],
β$57$
],
B
]
Definition Classes
TTypes
type
CoEnvQS
[
A
]
=
CoEnv
[
Hole
, [β$56$]
Coproduct
[[β$0$]
qscript.QScriptCore
[
T
,
β$0$
], [β$1$]
Coproduct
[[β$2$]
qscript.ProjectBucket
[
T
,
β$2$
], [β$3$]
Coproduct
[[β$4$]
qscript.ThetaJoin
[
T
,
β$4$
], [β$5$]
Coproduct
[[β$6$]
qscript.EquiJoin
[
T
,
β$6$
], [β$7$]
Coproduct
[[β$8$]
Const
[
ShiftedRead
[
Path
[
Abs
,
Dir
,
Sandboxed
]],
β$8$
], [β$9$]
Coproduct
[[β$10$]
Const
[
ShiftedRead
[
Path
[
Abs
,
File
,
Sandboxed
]],
β$10$
], [β$11$]
Coproduct
[[β$12$]
Const
[
Read
[
Path
[
Abs
,
Dir
,
Sandboxed
]],
β$12$
], [β$13$]
Coproduct
[[β$14$]
Const
[
Read
[
Path
[
Abs
,
File
,
Sandboxed
]],
β$14$
], [β$15$]
Const
[
DeadEnd
,
β$15$
],
β$13$
],
β$11$
],
β$9$
],
β$7$
],
β$5$
],
β$3$
],
β$1$
],
β$56$
],
A
]
Definition Classes
TTypes
type
EquiJoin
[
A
]
=
qscript.EquiJoin
[
T
,
A
]
Definition Classes
TTypes
type
FreeMap
=
Free
[[β$55$]
Coproduct
[[β$44$]
qscript.MapFuncCore
[
T
,
β$44$
], [β$45$]
qscript.MapFuncDerived
[
T
,
β$45$
],
β$55$
],
Hole
]
Definition Classes
TTypes
type
FreeMapA
[
A
]
=
Free
[[β$55$]
Coproduct
[[β$44$]
qscript.MapFuncCore
[
T
,
β$44$
], [β$45$]
qscript.MapFuncDerived
[
T
,
β$45$
],
β$55$
],
A
]
Definition Classes
TTypes
type
FreeQS
=
Free
[[β$54$]
Coproduct
[[β$0$]
qscript.QScriptCore
[
T
,
β$0$
], [β$1$]
Coproduct
[[β$2$]
qscript.ProjectBucket
[
T
,
β$2$
], [β$3$]
Coproduct
[[β$4$]
qscript.ThetaJoin
[
T
,
β$4$
], [β$5$]
Coproduct
[[β$6$]
qscript.EquiJoin
[
T
,
β$6$
], [β$7$]
Coproduct
[[β$8$]
Const
[
ShiftedRead
[
Path
[
Abs
,
Dir
,
Sandboxed
]],
β$8$
], [β$9$]
Coproduct
[[β$10$]
Const
[
ShiftedRead
[
Path
[
Abs
,
File
,
Sandboxed
]],
β$10$
], [β$11$]
Coproduct
[[β$12$]
Const
[
Read
[
Path
[
Abs
,
Dir
,
Sandboxed
]],
β$12$
], [β$13$]
Coproduct
[[β$14$]
Const
[
Read
[
Path
[
Abs
,
File
,
Sandboxed
]],
β$14$
], [β$15$]
Const
[
DeadEnd
,
β$15$
],
β$13$
],
β$11$
],
β$9$
],
β$7$
],
β$5$
],
β$3$
],
β$1$
],
β$54$
],
Hole
]
Definition Classes
TTypes
type
JoinFunc
=
Free
[[β$55$]
Coproduct
[[β$44$]
qscript.MapFuncCore
[
T
,
β$44$
], [β$45$]
qscript.MapFuncDerived
[
T
,
β$45$
],
β$55$
],
JoinSide
]
Definition Classes
TTypes
type
MapFunc
[
A
]
=
Coproduct
[[β$44$]
qscript.MapFuncCore
[
T
,
β$44$
], [β$45$]
qscript.MapFuncDerived
[
T
,
β$45$
],
A
]
Definition Classes
TTypes
type
MapFuncCore
[
A
]
=
qscript.MapFuncCore
[
T
,
A
]
Definition Classes
TTypes
type
MapFuncDerived
[
A
]
=
qscript.MapFuncDerived
[
T
,
A
]
Definition Classes
TTypes
type
ProjectBucket
[
A
]
=
qscript.ProjectBucket
[
T
,
A
]
Definition Classes
TTypes
type
Provenance
=
provenance.Provenance
[
T
]
type
QScriptCore
[
A
]
=
qscript.QScriptCore
[
T
,
A
]
Definition Classes
TTypes
type
QScriptTotal
[
A
]
=
Coproduct
[[β$0$]
qscript.QScriptCore
[
T
,
β$0$
], [β$1$]
Coproduct
[[β$2$]
qscript.ProjectBucket
[
T
,
β$2$
], [β$3$]
Coproduct
[[β$4$]
qscript.ThetaJoin
[
T
,
β$4$
], [β$5$]
Coproduct
[[β$6$]
qscript.EquiJoin
[
T
,
β$6$
], [β$7$]
Coproduct
[[β$8$]
Const
[
ShiftedRead
[
Path
[
Abs
,
Dir
,
Sandboxed
]],
β$8$
], [β$9$]
Coproduct
[[β$10$]
Const
[
ShiftedRead
[
Path
[
Abs
,
File
,
Sandboxed
]],
β$10$
], [β$11$]
Coproduct
[[β$12$]
Const
[
Read
[
Path
[
Abs
,
Dir
,
Sandboxed
]],
β$12$
], [β$13$]
Coproduct
[[β$14$]
Const
[
Read
[
Path
[
Abs
,
File
,
Sandboxed
]],
β$14$
], [β$15$]
Const
[
DeadEnd
,
β$15$
],
β$13$
],
β$11$
],
β$9$
],
β$7$
],
β$5$
],
β$3$
],
β$1$
],
A
]
Definition Classes
TTypes
type
Target
[
F
[
_
]
]
=
qscript.Target
[
T
,
F
]
Definition Classes
TTypes
type
ThetaJoin
[
A
]
=
qscript.ThetaJoin
[
T
,
A
]
Definition Classes
TTypes
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
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@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]
)
val
genBucket
: (
Provenance
) ⇒
State
[
slamdata.Predef.Int
, (
Provenance
,
slamdata.Predef.List
[
FreeMap
])]
def
genBuckets
(
ps:
slamdata.Predef.List
[
Provenance
]
)
:
slamdata.Predef.Option
[(
slamdata.Predef.List
[
Provenance
],
FreeMap
)]
Reifies the part of the provenance that must exist in the plan.
def
genComparison
(
lp:
Provenance
,
rp:
Provenance
)
:
slamdata.Predef.Option
[
JoinFunc
]
Annotations
@SuppressWarnings
()
def
genComparisons
(
lps:
slamdata.Predef.List
[
Provenance
]
,
rps:
slamdata.Predef.List
[
Provenance
]
)
:
JoinFunc
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
joinProvenances
(
leftBuckets:
slamdata.Predef.List
[
Provenance
]
,
rightBuckets:
slamdata.Predef.List
[
Provenance
]
)
:
slamdata.Predef.List
[
Provenance
]
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
nestProvenances
(
buckets:
slamdata.Predef.List
[
Provenance
]
)
:
slamdata.Predef.List
[
Provenance
]
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
rebase
(
newBase:
FreeMap
,
ps:
slamdata.Predef.List
[
Provenance
]
)
:
slamdata.Predef.List
[
Provenance
]
def
rebase0
(
newBase:
FreeMap
)
: (
Provenance
) ⇒
slamdata.Predef.Option
[
Provenance
]
Annotations
@SuppressWarnings
()
def
squashProvenances
(
buckets:
slamdata.Predef.List
[
Provenance
]
)
:
slamdata.Predef.List
[
Provenance
]
Annotations
@SuppressWarnings
()
def
swapProvenances
(
buckets:
slamdata.Predef.List
[
Provenance
]
)
:
slamdata.Predef.List
[
Provenance
]
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
unionProvenances
(
leftBuckets:
slamdata.Predef.List
[
Provenance
]
,
rightBuckets:
slamdata.Predef.List
[
Provenance
]
)
:
slamdata.Predef.List
[
Provenance
]
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
@throws
(
...
)
Inherited from
TTypes
[
T
]
Inherited from
AnyRef
Inherited from
Any
Ungrouped