ToFlix

trait ToFlix[t: Type]Source

A trait for marshaling values to Flix objects.

type Aef: EffSource

type In: TypeSource

instance ToFlix[Chain[a]]Source

instance ToFlix[List[a]]Source

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

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

instance ToFlix[Int8]Source

instance ToFlix[Int16]Source

instance ToFlix[Int32]Source

instance ToFlix[Int64]Source

instance ToFlix[Float32]Source

instance ToFlix[Float64]Source

instance ToFlix[BigInt]Source

instance ToFlix[BigDecimal]Source

instance ToFlix[Char]Source

instance ToFlix[String]Source

instance ToFlix[Vector[a]]Source

Signatures

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