Idris2Doc : Derive.Literal

Derive.Literal

(source)
Reexports
import public Derive.Refined
Definitions
litImplDef : Name -> Name -> Name -> (p : ParamTypeInfo) -> RefinedInfo p -> Decl
  Totality: total
  Visibility: export
litDef : Name -> Name -> Name -> Con n vs -> Decl
  Totality: total
  Visibility: export
IntegerLitVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Totality: total
  Visibility: export
IntegerLit : List Name -> ParamTypeInfo -> Res (List TopLevel)
  Totality: total
  Visibility: export
StringLitVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Totality: total
  Visibility: export
StringLit : List Name -> ParamTypeInfo -> Res (List TopLevel)
  Totality: total
  Visibility: export
CharLitVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Totality: total
  Visibility: export
CharLit : List Name -> ParamTypeInfo -> Res (List TopLevel)
  Totality: total
  Visibility: export
DoubleLitVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Totality: total
  Visibility: export
DoubleLit : List Name -> ParamTypeInfo -> Res (List TopLevel)
  Totality: total
  Visibility: export