Prelude / ToFlix

ToFlix

trait ToFlix[t: Type]Source

Trait for types that can be marshaled to Flix values.

Associated Types

type Aef: Eff = {}Source

type In: TypeSource

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

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

Converts the Java value t to its Flix representation.