Derive.Semigroup

Definitions

appClaim : Visibility -> Name -> ParamTypeInfo -> Decl

  Top-level function declaration implementing the append function for
  the given data type.

Totality: total
Visibility: export

semigroupImplClaim : Visibility -> Name -> ParamTypeInfo -> Decl

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

Totality: total
Visibility: export

semigroupImplDef : Name -> Name -> Decl

Totality: total
Visibility: export

appDef : Name -> Con n vs -> Decl

Totality: total
Visibility: export

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

  Generate declarations and implementations for `Semigroup` for a given data type.

Totality: total
Visibility: export

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

  Alias for `SemigroupVis Public`

Totality: total
Visibility: export