Instance Constructors
-
new
fixpoint(embed: (EX[T]) ⇒ T)(implicit arg0: Functor[EX], I: :<:[ExprOpCoreF, EX])
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
val
$$CURRENT: T
-
val
$$ROOT: T
-
def
$add(left: T, right: T): T
-
def
$allElementsTrue(value: T): T
-
def
$and(first: T, second: T, others: T*): T
-
def
$anyElementTrue(value: T): T
-
def
$arrayMap(input: T, as: Name, in: T): T
-
def
$cmp(left: T, right: T): T
-
def
$concat(first: T, second: T, others: T*): T
-
def
$cond(predicate: T, ifTrue: T, ifFalse: T): T
-
def
$dayOfMonth(date: T): T
-
def
$dayOfWeek(date: T): T
-
def
$dayOfYear(date: T): T
-
def
$field(field: slamdata.Predef.String, others: slamdata.Predef.String*): T
-
def
$gt(left: T, right: T): T
-
def
$gte(left: T, right: T): T
-
def
$hour(date: T): T
-
def
$ifNull(expr: T, replacement: T): T
-
def
$include(): T
-
def
$let(vars: slamdata.Predef.ListMap[Name, T], in: T): T
-
def
$literal(value: Bson): T
-
def
$lt(left: T, right: T): T
-
def
$lte(left: T, right: T): T
-
def
$meta(): T
-
def
$millisecond(date: T): T
-
def
$minute(date: T): T
-
def
$mod(left: T, right: T): T
-
def
$month(date: T): T
-
def
$multiply(left: T, right: T): T
-
def
$neq(left: T, right: T): T
-
def
$not(value: T): T
-
def
$objectLit(map: slamdata.Predef.ListMap[Name, T]): T
-
def
$or(first: T, second: T, others: T*): T
-
def
$second(date: T): T
-
def
$setDifference(left: T, right: T): T
-
def
$setEquals(left: T, right: T): T
-
def
$setIntersection(left: T, right: T): T
-
def
$setIsSubset(left: T, right: T): T
-
def
$setUnion(left: T, right: T): T
-
def
$size(array: T): T
-
def
$strcasecmp(left: T, right: T): T
-
def
$substr(value: T, start: T, count: T): T
-
def
$subtract(left: T, right: T): T
-
def
$toLower(value: T): T
-
def
$toUpper(value: T): T
-
def
$var(docVar: DocVar): T
-
def
$week(date: T): T
-
def
$year(date: T): T
-
def
/ide(left: T, right: T): T
-
def
=(left: T, right: T): T
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
val
embed: (EX[T]) ⇒ T
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
final
def
isInstanceOf[T0]: Boolean
-
def
mkToString(a1: T, func: (T, T, T) ⇒ T): T
-
def
mkTypeOf(a1: T, func: (T) ⇒ T): T
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from Serializable
"Fixed" constructors, with the corecursive type and the coproduct type captured when an instance is created.