Derive.Monoid

Definitions

neutralClaim : Visibility -> Name -> ParamTypeInfo -> Decl

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

Visibility: export

monoidImplClaim : Visibility -> Name -> ParamTypeInfo -> Decl

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

Visibility: export

monoidImplDef : Name -> Name -> Decl

Visibility: export

neutralDef : Name -> Con n vs -> Decl

  Definition of a (local or top-level) function implementing
  the neutral operation.

Visibility: export

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

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

Visibility: export

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

  Alias for `MonoidVis Public`

Visibility: export