Check

Instance Constructors

new Check()(implicit arg0: Functor[EX], T: Corecursive[T], I: :<:[ExprOpCoreF, EX])

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
implicit val I: :<:[ExprOpCoreF, EX]
implicit val T: Corecursive[T]
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 finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def isArray(expr: T[EX]): T[EX]
def isBinary(expr: T[EX]): T[EX]
def isBoolean(expr: T[EX]): T[EX]
def isDate(expr: T[EX])(implicit ev: :<:[ExprOp3_0F, EX]): T[EX]

As of MongoDB 3.0, dates sort before timestamps.
As of MongoDB 3.0, dates sort before timestamps. The type constraint here ensures that this check is used only when it's safe, although we don't actually use any new op here.
def isDateOrTimestamp(expr: T[EX]): T[EX]
def isDateTimestampOrBoolean(expr: T[EX]): T[EX]
def isId(expr: T[EX]): T[EX]
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isNull(expr: T[EX]): T[EX]
def isNumber(expr: T[EX]): T[EX]
def isNumberOrString(expr: T[EX]): T[EX]
def isObject(expr: T[EX]): T[EX]
def isString(expr: T[EX]): T[EX]
def isSyntaxed(expr: T[EX]): T[EX]
def isTimestamp(expr: T[EX])(implicit ev: :<:[ExprOp3_0F, EX]): T[EX]

As of MongoDB 3.0, dates sort before timestamps.
As of MongoDB 3.0, dates sort before timestamps. The type constraint here ensures that this check is used only when it's safe, although we don't actually use any new op here.
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
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( ... )

Related Docs: object Check | package expression

final case class Check[T[_[_]], EX[_]]()(implicit evidence$1: Functor[EX], T: Corecursive[T], I: :<:[ExprOpCoreF, EX]) extends Product with Serializable

Instance Constructors

new Check()(implicit arg0: Functor[EX], T: Corecursive[T], I: :<:[ExprOpCoreF, EX])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

implicit val I: :<:[ExprOpCoreF, EX]

implicit val T: Corecursive[T]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def isArray(expr: T[EX]): T[EX]

def isBinary(expr: T[EX]): T[EX]

def isBoolean(expr: T[EX]): T[EX]

def isDate(expr: T[EX])(implicit ev: :<:[ExprOp3_0F, EX]): T[EX]

def isDateOrTimestamp(expr: T[EX]): T[EX]

def isDateTimestampOrBoolean(expr: T[EX]): T[EX]

def isId(expr: T[EX]): T[EX]

final def isInstanceOf[T0]: Boolean

def isNull(expr: T[EX]): T[EX]

def isNumber(expr: T[EX]): T[EX]

def isNumberOrString(expr: T[EX]): T[EX]

def isObject(expr: T[EX]): T[EX]

def isString(expr: T[EX]): T[EX]

def isSyntaxed(expr: T[EX]): T[EX]

def isTimestamp(expr: T[EX])(implicit ev: :<:[ExprOp3_0F, EX]): T[EX]

final def ne(arg0: AnyRef): Boolean

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

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped