Derive.RecordB

Definitions

blensClaim : Visibility -> Name -> BarbieInfo -> Decl

Totality: total
Visibility: export

recordImplClaim : Visibility -> Name -> BarbieInfo -> Decl

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

Totality: total
Visibility: export

recordImplDef : Name -> Name -> Decl

Totality: total
Visibility: export

lensDef : (String -> String) -> Name -> Con n vs -> Decl

Totality: total
Visibility: export

RecordBVis : (String -> String) -> Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)

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

Totality: total
Visibility: export

RecordB : (String -> String) -> List Name -> ParamTypeInfo -> Res (List TopLevel)

  Alias for `RecordBVis Public`

Totality: total
Visibility: export