Idris2Doc : Derive.TSV.Encoder

Derive.TSV.Encoder

(source)
Definitions
encClaim : Visibility -> Name -> ParamTypeInfo -> Decl
  Top-level function declaration implementing the `encodeOnto` function for
  the given data type.

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

  Totality: total
  Visibility: export
encoderImplDef : Name -> Name -> Decl
  Totality: total
  Visibility: export
encDef : Name -> Con n vs -> Decl
  Totality: total
  Visibility: export
enumDef : Name -> ParamTypeInfo -> Decl
  Totality: total
  Visibility: export
TSVEncoderVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Generate declarations and implementations for `Semigroup` for a given data type.

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

  Totality: total
  Visibility: export