Text.Show.PrettyVal

Definitions

interface PrettyVal : Type -> Type

  A class for types that may be reified into a value.
  Instances of this class may be derived automatically,
  for datatypes that support `Generics`.

Parameters: a
Constructor: 

MkPrettyVal

Methods:

prettyVal : a -> Value

Implementations:

PrettyVal Void

PrettyVal Value

PrettyVal ()

PrettyVal Bits8

PrettyVal Bits16

PrettyVal Bits32

PrettyVal Bits64

PrettyVal Nat

PrettyVal Int

PrettyVal Int8

PrettyVal Int16

PrettyVal Int32

PrettyVal Int64

PrettyVal Integer

PrettyVal Double

PrettyVal Char

PrettyVal String

PrettyVal a => PrettyVal (List a)

PrettyVal a => PrettyVal (Vect n a)

(PrettyVal a, PrettyVal b) => PrettyVal (a, b)

PrettyVal a => PrettyVal (PreProc a)

prettyVal : PrettyVal a => a -> Value

Visibility: public export