Generics.SOP.PrettyVal

Generic pretty-printer.

This module defines a generic function that helps in defining class instances for the PrettyVal class from the pretty-show package.

Documentation

gprettyVal :: forall a. (Generic a, HasDatatypeInfo a, All2 PrettyVal (Code a)) => a -> Value

Generic pretty-printer.

This function turns a value into the uniform representation of type Value that is provided by the pretty-show package. The function has the suitable type to serve as the default implementation of the prettyVal function in the PrettyVal class.

If you have a datatype T that is an instance of generic-sop's Generic and HasDatatypeInfo classes, you can use gprettyVal as follows:

instance PrettyVal T where
  prettyVal = gprettyVal

Re-exports

class PrettyVal a where

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

Methods

prettyVal :: a -> Value

Instances

PrettyVal Bool

Methods

prettyVal :: Bool -> Value

listValue :: [Bool] -> Value

PrettyVal Char

Methods

prettyVal :: Char -> Value

listValue :: [Char] -> Value

PrettyVal Double

Methods

prettyVal :: Double -> Value

listValue :: [Double] -> Value

PrettyVal Float

Methods

prettyVal :: Float -> Value

listValue :: [Float] -> Value

PrettyVal Int

Methods

prettyVal :: Int -> Value

listValue :: [Int] -> Value

PrettyVal Int8

Methods

prettyVal :: Int8 -> Value

listValue :: [Int8] -> Value

PrettyVal Int16

Methods

prettyVal :: Int16 -> Value

listValue :: [Int16] -> Value

PrettyVal Int32

Methods

prettyVal :: Int32 -> Value

listValue :: [Int32] -> Value

PrettyVal Int64

Methods

prettyVal :: Int64 -> Value

listValue :: [Int64] -> Value

PrettyVal Integer

Methods

prettyVal :: Integer -> Value

listValue :: [Integer] -> Value

PrettyVal Ordering

Methods

prettyVal :: Ordering -> Value

listValue :: [Ordering] -> Value

PrettyVal Word8

Methods

prettyVal :: Word8 -> Value

listValue :: [Word8] -> Value

PrettyVal Word16

Methods

prettyVal :: Word16 -> Value

listValue :: [Word16] -> Value

PrettyVal Word32

Methods

prettyVal :: Word32 -> Value

listValue :: [Word32] -> Value

PrettyVal Word64

Methods

prettyVal :: Word64 -> Value

listValue :: [Word64] -> Value

PrettyVal a => PrettyVal [a]

Methods

prettyVal :: [a] -> Value

listValue :: [[a]] -> Value

PrettyVal a => PrettyVal (Maybe a)

Methods

prettyVal :: Maybe a -> Value

listValue :: [Maybe a] -> Value

(PrettyVal a, Integral a) => PrettyVal (Ratio a)

Methods

prettyVal :: Ratio a -> Value

listValue :: [Ratio a] -> Value

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

Methods

prettyVal :: Either a b -> Value

listValue :: [Either a b] -> Value

(PrettyVal a1, PrettyVal a2) => PrettyVal (a1, a2)

Methods

prettyVal :: (a1, a2) -> Value

listValue :: [(a1, a2)] -> Value

(PrettyVal a1, PrettyVal a2, PrettyVal a3) => PrettyVal (a1, a2, a3)

Methods

prettyVal :: (a1, a2, a3) -> Value

listValue :: [(a1, a2, a3)] -> Value

(PrettyVal a1, PrettyVal a2, PrettyVal a3, PrettyVal a4) => PrettyVal (a1, a2, a3, a4)

Methods

prettyVal :: (a1, a2, a3, a4) -> Value

listValue :: [(a1, a2, a3, a4)] -> Value

(PrettyVal a1, PrettyVal a2, PrettyVal a3, PrettyVal a4, PrettyVal a5) => PrettyVal (a1, a2, a3, a4, a5)

Methods

prettyVal :: (a1, a2, a3, a4, a5) -> Value

listValue :: [(a1, a2, a3, a4, a5)] -> Value

(PrettyVal a1, PrettyVal a2, PrettyVal a3, PrettyVal a4, PrettyVal a5, PrettyVal a6) => PrettyVal (a1, a2, a3, a4, a5, a6)

Methods

prettyVal :: (a1, a2, a3, a4, a5, a6) -> Value

listValue :: [(a1, a2, a3, a4, a5, a6)] -> Value

(PrettyVal a1, PrettyVal a2, PrettyVal a3, PrettyVal a4, PrettyVal a5, PrettyVal a6, PrettyVal a7) => PrettyVal (a1, a2, a3, a4, a5, a6, a7)

Methods

prettyVal :: (a1, a2, a3, a4, a5, a6, a7) -> Value

listValue :: [(a1, a2, a3, a4, a5, a6, a7)] -> Value