flix

0.79.0

Formattable

trait Formattable[a: Type]Source

Trait for types that can be formatted as a RichString.

Associated Types

type Aef: Eff = {}Source

The associated effect of the Formattable which represents the effect of formatting.

Instances

Primitives
Unit, Bool, Char, Float32, Float64, BigDecimal, Int8, Int16, Int32, Int64, BigInt, String, Array[a, r], Vector[a], (a1, a2)
Non-primitives
Chain[a], DecodeErrorKind, Duration, ErrorKind, IoError, IpAddr, Ipv4Addr, Ipv6Addr, Json, JsonError, JsonPath, List[a], Map[k, v], MultiMap[k, v], MutDeque[a, r], MutHashMap[k, v, r], MutHashSet[t, r], MutList[a, r], MutMap[k, v, r], MutPriorityQueue[a, r], MutSet[t, r], Nec[a], Nel[a], Option[a], ParseErrorKind, Result[e, t], RichString, Set[a], Severity, Size, SocketAddr, SocketAddrV4, SocketAddrV6, Validation[e, t]

Signatures

def format(x: a): RichString \ Aef[a] with Formattable[a]§ Source

Returns a RichString representation of x.