Fixpoint.Boxed

enum Boxed with SendableSource

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

Represents a boxed value.

Instances

instance Eq[Boxed]Source

instance Order[Boxed]Source

instance Sendable[Boxed]Source

instance ToString[Boxed]Source