Idris2Doc : Derive.Hashable

Derive.Hashable

(source)
Reexports
import public Data.Hashable
Definitions
HashableVis : Visibility -> List Name -> ParamTypeInfo -> Res (List TopLevel)
  Totality: total
  Visibility: export
Hashable : List Name -> ParamTypeInfo -> Res (List TopLevel)
  Totality: total
  Visibility: export