flix

0.77.0

ToFlix

trait ToFlix[t: Type]Source

A trait for marshaling values to Flix objects.

Associated Types

type Aef: Eff = {}Source
type In: TypeSource

Instances

instance ToFlix[Int8]Source
type In = java.lang.Byte
instance ToFlix[Int16]Source
type In = java.lang.Short
instance ToFlix[Int32]Source
type In = java.lang.Integer
instance ToFlix[Int64]Source
type In = java.lang.Long
instance ToFlix[Float32]Source
type In = java.lang.Float
instance ToFlix[Float64]Source
type In = java.lang.Double
instance ToFlix[BigInt]Source
type In = BigInt
instance ToFlix[BigDecimal]Source
type In = BigDecimal
instance ToFlix[Char]Source
type In = java.lang.Character
instance ToFlix[String]Source
type In = String
instance ToFlix[List[a]]Source
type In = java.util.List[a]
instance ToFlix[Chain[a]]Source
type In = java.util.List[a]
instance ToFlix[Vector[a]]Source
type In = java.util.List[a]
instance ToFlix[Set[a]] with Order[a]Source
type In = java.util.Set[a]
instance ToFlix[Map[k, v]] with Order[k]Source
type In = java.util.Map[k, v]

Signatures

def toFlix(t: In[t]): t \ Aef[t] with ToFlix[t]§ Source