Prelude / ToString

ToString

trait ToString[a: Type]Source

Trait for types that can be converted to strings.

Instances

Primitives: Unit, Bool, Char, Float32, Float64, BigDecimal, Int8, Int16, Int32, Int64, BigInt, String, Regex, Vector[a] and tuples of 2 to 15 elements
Non-primitives: Body, BodyPredicate, BodyTerm, BoolExp, BoolExp, Boxed, Chain[a], Comparison, Constraint, CopyOption, Datalog, DecodeErrorKind, DelayList[a], DelayMap[k, v], Down[a], Duration, Entry, ErrorKind, Flag, HeadPredicate, HeadTerm, Identity[a], IoError, IpAddr, Ipv4Addr, Ipv6Addr, Json, JsonError, JsonPath, JsonStep, List[a], Map[k, v], Method, MoveOption, MultiMap[k, v], Nec[a], Nel[a], Option[t], OverlayEntry, ParseErrorKind, PredSym, RamStmt, RamStmt, RamTerm, RamTerm, Range[t], RelOp, RelOp, RelSym, Result[e, t], RetryDecision, RichString, RowVar, Set[a], Severity, Size, SizeUnit, SocketAddr, SocketAddrV4, SocketAddrV6, TimeUnit, Validation[e, t], VarSym

def toString(x: a): String with ToString[a]§ Source

Returns a string representation of the given x.