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

instance ToJava[BigDecimal]Source

type Out = BigDecimal

instance ToJava[BigInt]Source

type Out = BigInt

instance ToJava[Chain[a]]Source

type Out = java.util.List[a]type Aef = IO

instance ToJava[Char]Source

type Out = java.lang.Character

instance ToJava[Float32]Source

type Out = java.lang.Float

instance ToJava[Float64]Source

type Out = java.lang.Double

instance ToJava[Int16]Source

type Out = java.lang.Short

instance ToJava[Int32]Source

type Out = java.lang.Integer

instance ToJava[Int64]Source

type Out = java.lang.Long

instance ToJava[Int8]Source

type Out = java.lang.Byte

instance ToJava[List[a]]Source

type Out = java.util.List[a]type Aef = IO

instance ToJava[Map[k, v]] with Order[k]Source

type Out = java.util.Map[k, v]type Aef = IO

instance ToJava[Nec[a]]Source

type Out = java.util.List[a]type Aef = IO

instance ToJava[Nel[a]]Source

type Out = java.util.List[a]type Aef = IO

instance ToJava[Set[a]] with Order[a]Source

type Out = java.util.Set[a]type Aef = IO

instance ToJava[String]Source

type Out = String

instance ToJava[Vector[a]]Source

type Out = java.util.List[a]type Aef = IO

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

Converts the Flix value t to its Java representation.