Derive.FromDouble

Definitions

fromDblClaim : Visibility -> Name -> ParamTypeInfo -> Decl

Totality: total
Visibility: export

dblImplClaim : Visibility -> Name -> ParamTypeInfo -> Decl

  Top-level declaration implementing the `Eq` interface for
  the given data type.

Totality: total
Visibility: export

fromDblDef : Name -> Con n vs -> Decl

Totality: total
Visibility: export

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

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

Totality: total
Visibility: export

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

  Alias for `FromDoubleVis Public`

Totality: total
Visibility: export