Text.TSV.Encoder

Definitions

interface TSVEncoder : Type -> Type

  Encodes a multi-field value as a list of strings.
  These can then be written
  to a file, seperated by a tab

Parameters: a
Constructor: 

MkTSVEncoder

Methods:

encodeOnto : SnocList String -> a -> SnocList String

Implementations:

TSVEncoder ()

TSVEncoder Bits8

TSVEncoder Bits16

TSVEncoder Bits32

TSVEncoder Bits64

TSVEncoder Int8

TSVEncoder Int16

TSVEncoder Int32

TSVEncoder Int64

TSVEncoder Int

TSVEncoder Integer

TSVEncoder Nat

TSVEncoder String

TSVEncoder Double

TSVEncoder Bool

TSVEncoder a => TSVEncoder (Maybe a)

TSVEncoder a => TSVEncoder b => TSVEncoder (a, b)

All (TSVEncoder . f) ks => TSVEncoder (All f ks)

All (TSVEncoder . f) ks => TSVEncoder (All f ks)

encodeOnto : TSVEncoder a => SnocList String -> a -> SnocList String

Totality: total
Visibility: public export

toRow : TSVEncoder a => a -> String

Totality: total
Visibility: export

toTable : TSVEncoder a => List a -> String

Totality: total
Visibility: export