Derive.Abs

Definitions

absClaim : Visibility -> Name -> ParamTypeInfo -> Decl

Totality: total
Visibility: export

absImplClaim : Visibility -> Name -> ParamTypeInfo -> Decl

Totality: total
Visibility: export

absDef : List Name -> Name -> Con n vs -> Decl

Totality: total
Visibility: export

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

  Generate declarations and implementations for `Abs` for a
  single-constructor data type with the given visibility.

Totality: total
Visibility: export

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

  Generate declarations and implementations for `Abs` for a
  single-constructor data type with `public export` visibility.

Totality: total
Visibility: export