Fixpoint3.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 NoValuecase BoxedObject(java.lang.Object, java.lang.Object -> (java.lang.Object -> Comparison))

Represents a boxed value.

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

Instances

instance Eq[Boxed]Source

instance Order[Boxed]Source

instance ToString[Boxed]Source