Derive.FromString

Definitions

fromStrClaim : Visibility -> Name -> ParamTypeInfo -> Decl

Totality: total
Visibility: export

strImplClaim : Visibility -> Name -> ParamTypeInfo -> Decl

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

Totality: total
Visibility: export

fromStrDef : Name -> Con n vs -> Decl

Totality: total
Visibility: export

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

  Generate declarations and implementations for `FromString` for a
  single-constructor data type.
  
  All fields of the data type will be filled with the result of a call to
  `fromString 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

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

  Alias for `FromStringVis Public`

Totality: total
Visibility: export