Idris2Doc : Derive.TSV.Decoder

Derive.TSV.Decoder

(source)
Reexports
import public Text.Parse.Manual
import public Text.Lex.Manual.Syntax
Definitions
decClaim : Visibility -> Name -> ParamTypeInfo -> Decl
  Top-level function declaration implementing the `decodeFrom` function for
  the given data type.

  Totality: total
  Visibility: export
decoderImplClaim : Visibility -> Name -> ParamTypeInfo -> Decl
  Top-level declaration implementing the `TSVDecoder` interface for
  the given data type.

  Totality: total
  Visibility: export
decoderImplDef : Name -> Name -> Decl
  Totality: total
  Visibility: export
TSVDecoderVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Generate declarations and implementations for `Semigroup` for a given data type.

  Totality: total
  Visibility: export
TSVDecoder : List Name -> ParamTypeInfo -> Res (List TopLevel)
  Alias for `SemigroupVis Public`

  Totality: total
  Visibility: export