Idris2Doc : Derive.TSV

Derive.TSV

(source)
Reexports
import public Text.TSV
import public Derive.Prelude
import public Derive.TSV.Decoder
import public Derive.TSV.Encoder