Idris2Doc : Derive.Refined.TSV

Derive.Refined.TSV

(source)
Reexports
import public Derive.Refined
import public Derive.TSV
Definitions
refinedEncDef : Name -> (p : ParamTypeInfo) -> RefinedInfo p -> Decl
  Totality: total
  Visibility: export
RefinedTSVEncoderVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Generate declarations and implementations for
  `FromJSON` for a given refinement type.

  Totality: total
  Visibility: export
RefinedTSVEncoder : List Name -> ParamTypeInfo -> Res (List TopLevel)
  Generate declarations and implementations for
  `FromJSON` for a given refinement type.

  Totality: total
  Visibility: export
refinedDecDef : Name -> Name -> Decl
  Totality: total
  Visibility: export
RefinedTSVDecoderVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Generate declarations and implementations for
  `TSVDecoder` for a given refinement type.

  Totality: total
  Visibility: export
RefinedTSVDecoder : List Name -> ParamTypeInfo -> Res (List TopLevel)
  Generate declarations and implementations for
  `TSVDecoder` for a given refinement type.

  Totality: total
  Visibility: export
RefinedTSV : List Name -> ParamTypeInfo -> Res (List TopLevel)
  Generate declarations and implementations for
  `TSVDecoder` and `TSVEncoder` for a given refinement type.

  Totality: total
  Visibility: export