Derive.DistributiveB

Definitions

bdistClaim : Visibility -> Name -> BarbieInfo -> Decl

Totality: total
Visibility: export

distImplClaim : Visibility -> Name -> BarbieInfo -> Decl

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

Totality: total
Visibility: export

distImplDef : Name -> Name -> Decl

Totality: total
Visibility: export

distClause : Name -> Con n vs -> Clause

Totality: total
Visibility: export

distDef : Name -> Con n vs -> Decl

Totality: total
Visibility: export

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

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

Totality: total
Visibility: export

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

  Alias for `DistributiveBVis Public`

Totality: total
Visibility: export