Derive.TraversableB

Definitions

btravClaim : Visibility -> Name -> BarbieInfo -> Decl

Totality: total
Visibility: export

travImplClaim : Visibility -> Name -> BarbieInfo -> Decl

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

Totality: total
Visibility: export

travImplDef : Name -> Name -> Decl

Totality: total
Visibility: export

travClauses : Name -> Name -> TypeInfo -> List Clause

Totality: total
Visibility: export

travDef : Name -> Name -> TypeInfo -> Decl

Totality: total
Visibility: export

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

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

Totality: total
Visibility: export

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

  Alias for `TraversableBVis Public`

Totality: total
Visibility: export