flix

0.54.0

FromJava

trait FromJava[t: Type]Source

A trait for marshaling values from Java objects.

Associated Types

type Aef: EffSource
type In: TypeSource

Instances

instance FromJava[Chain[a]]Source
instance FromJava[Int8]Source
instance FromJava[Int16]Source
instance FromJava[Int32]Source
instance FromJava[Int64]Source
instance FromJava[Float32]Source
instance FromJava[Float64]Source
instance FromJava[BigInt]Source
instance FromJava[BigDecimal]Source
instance FromJava[Char]Source
instance FromJava[String]Source
instance FromJava[List[a]]Source
instance FromJava[Map[k, v]] with Order[k]Source
instance FromJava[Set[a]] with Order[a]Source
instance FromJava[Vector[a]]Source

Signatures

def fromJava(t: In[t]): t \ Aef[t] with FromJava[t] Source