Prelude / ToJava

ToJava

trait ToJava[t: Type]Source

Trait for types that can be marshaled to Java objects.

Associated Types

type Aef: Eff = {}Source

type Out: TypeSource

Primitives: Char, Float32, Float64, BigDecimal, Int8, Int16, Int32, Int64, BigInt, String, Vector[a]
Non-primitives: Chain[a], List[a], Map[k, v], Nec[a], Nel[a], Set[a]

def toJava(t: t): Out[t] \ Aef[t] with ToJava[t]§ Source

Converts the Flix value t to its Java representation.