Derive.FromChar

Definitions

fromChrClaim : Visibility -> Name -> ParamTypeInfo -> Decl

Totality: total
Visibility: export

chrImplClaim : Visibility -> Name -> ParamTypeInfo -> Decl

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

Totality: total
Visibility: export

fromChrDef : Name -> Con n vs -> Decl

Totality: total
Visibility: export

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

  Generate declarations and implementations for `FromChar` for a
  single-constructor data type.
  
  All fields of the data type will be filled with the result of a call to
  `fromChar s`, where `s` is the string to be used. This makes mostly
  sense for newtypes, but is supported for any single-constructor data type
  to be consistent with restrictions on `Num` and `FromDouble`.

Totality: total
Visibility: export

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

  Alias for `FromCharVis Public`

Totality: total
Visibility: export