flix

0.78.0

Box

trait Box[a: Type]Source

A trait for primitive types that can be boxed and unboxed.

Associated Types

type Boxed: TypeSource

Instances

Primitives
Bool, Char, Float32, Float64, Int8, Int16, Int32, Int64

Signatures

def box(x: a): Boxed[a] with Box[a]§ Source

Returns the boxed representation of the given x.

def unbox(x: Boxed[a]): a with Box[a]§ Source

Returns the unboxed representation of the given x.