Data.DShow

Definitions

interface DShow : (t -> Type) -> Type

  Equivalent of `Show` for single-parameter dependent types
  
  Inspired by the `GShow` typeclass from Haskells "some" package.
  Modeled after the `Show` interface from `base`.

Parameters: f
Methods:

dshow : f a -> String

  Analogous to `show`

dshowPrec : Prec -> f a -> String

  Analogous to `showPrec`

dshow : DShow f => f a -> String

  Analogous to `show`

Visibility: public export

dshowPrec : DShow f => Prec -> f a -> String

  Analogous to `showPrec`

Visibility: public export

dshowArg : DShow f => f x -> String

  `Prelude.Show.showArg` in terms of `DShow`

Visibility: export