Derive.Integral

Definitions

dvClaim : Visibility -> Name -> ParamTypeInfo -> Decl

Totality: total
Visibility: export

intImplClaim : Visibility -> Name -> ParamTypeInfo -> Decl

Totality: total
Visibility: export

divDef : List Name -> Name -> Con n vs -> Decl

Totality: total
Visibility: export

modDef : List Name -> Name -> Con n vs -> Decl

Totality: total
Visibility: export

IntegralVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)

  Generate declarations and implementations for `Integral` for a
  single-constructor data type.

Totality: total
Visibility: export

Integral : List Name -> ParamTypeInfo -> Res (List TopLevel)

  Alias for `IntegralVis Public`

Totality: total
Visibility: export