Derive.Fractional

Definitions

divClaim : Visibility -> Name -> ParamTypeInfo -> Decl

Totality: total
Visibility: export

recipClaim : Visibility -> Name -> ParamTypeInfo -> Decl

Totality: total
Visibility: export

fractionalImplClaim : Visibility -> Name -> ParamTypeInfo -> Decl

Totality: total
Visibility: export

divDef : Name -> Con n vs -> Decl

Totality: total
Visibility: export

recipDef : Name -> Con n vs -> Decl

Totality: total
Visibility: export

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

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

Totality: total
Visibility: export

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

  Alias for `FractionalVis Public`

Totality: total
Visibility: export