Derive.FunctorB

Definitions

bmapClaim : Visibility -> Name -> BarbieInfo -> Decl

Totality: total
Visibility: export

functorImplClaim : Visibility -> Name -> BarbieInfo -> Decl

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

Totality: total
Visibility: export

functorImplDef : Name -> Name -> Decl

Totality: total
Visibility: export

functorClauses : Name -> Name -> TypeInfo -> List Clause

Totality: total
Visibility: export

functorDef : Name -> Name -> TypeInfo -> Decl

Totality: total
Visibility: export

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

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

Totality: total
Visibility: export

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

  Alias for `FunctorBVis Public`

Totality: total
Visibility: export