Boxed

enum BoxedSource

case BoxedBool(Bool)

case BoxedChar(Char)

case BoxedInt8(Int8)

case BoxedInt16(Int16)

case BoxedInt32(Int32)

case BoxedInt64(Int64)

case BoxedFloat32(Float32)

case BoxedFloat64(Float64)

case NoValue

case BoxedObject(java.lang.Object, java.lang.Object -> (java.lang.Object -> Comparison))

Type of boxed values.

NoValue is used for relational predicates which do not map to anything and therefore contain no value.

Instances