Morley.Prelude.Show

Module defining a version of show constrained only to types that have a human-readable representation.

For printing non-human-readable representation, use module Debug.

Documentation

type family PrettyShow a :: Constraint

An open type family for types having a human-readable Show representation. The kind is Constraint in case we need to further constrain the instance, and also for convenience to avoid explicitly writing ~ 'True everywhere.

Instances

type PrettyShow KnownExtension

Defined in Morley.Prelude.Show

type PrettyShow KnownExtension = ()

type PrettyShow TypeRep

Defined in Morley.Prelude.Show

type PrettyShow TypeRep = ()

type PrettyShow Int16

Defined in Morley.Prelude.Show

type PrettyShow Int16 = ()

type PrettyShow Int32

Defined in Morley.Prelude.Show

type PrettyShow Int32 = ()

type PrettyShow Int64

Defined in Morley.Prelude.Show

type PrettyShow Int64 = ()

type PrettyShow Int8

Defined in Morley.Prelude.Show

type PrettyShow Int8 = ()

type PrettyShow Word16

Defined in Morley.Prelude.Show

type PrettyShow Word16 = ()

type PrettyShow Word32

Defined in Morley.Prelude.Show

type PrettyShow Word32 = ()

type PrettyShow Word64

Defined in Morley.Prelude.Show

type PrettyShow Word64 = ()

type PrettyShow Word8

Defined in Morley.Prelude.Show

type PrettyShow Word8 = ()

type PrettyShow ByteString

Defined in Morley.Prelude.Show

type PrettyShow ByteString = TypeError ('Text "Show instance for ByteString is not pretty") :: Constraint

type PrettyShow Word62

Defined in Morley.Prelude.Show

type PrettyShow Word62 = ()

type PrettyShow Word63

Defined in Morley.Prelude.Show

type PrettyShow Word63 = ()

type PrettyShow Doc

Defined in Morley.Prelude.Show

type PrettyShow Doc = ()

type PrettyShow Name

Defined in Morley.Prelude.Show

type PrettyShow Name = ()

type PrettyShow UnicodeException

Defined in Morley.Prelude.Show

type PrettyShow UnicodeException = ()

type PrettyShow Text

Defined in Morley.Prelude.Show

type PrettyShow Text = TypeError ('Text "Show instance for Text is not pretty" ':$$: 'Text "Consider relying on the Buildable instance") :: Constraint

type PrettyShow NominalDiffTime

Defined in Morley.Prelude.Show

type PrettyShow NominalDiffTime = ()

type PrettyShow LByteString

Defined in Morley.Prelude.Show

type PrettyShow LByteString = TypeError ('Text "Show instance for lazy ByteString is not pretty") :: Constraint

type PrettyShow LText

Defined in Morley.Prelude.Show

type PrettyShow LText = TypeError ('Text "Show instance for lazy Text is not pretty" ':$$: 'Text "Consider relying on the Buildable instance") :: Constraint

type PrettyShow Integer

Defined in Morley.Prelude.Show

type PrettyShow Integer = ()

type PrettyShow Natural

Defined in Morley.Prelude.Show

type PrettyShow Natural = ()

type PrettyShow Char

Defined in Morley.Prelude.Show

type PrettyShow Char = TypeError ('Text "Show instance for String and Char is not pretty" ':$$: 'Text "Consider relying on the Buildable instance") :: Constraint

type PrettyShow Double

Defined in Morley.Prelude.Show

type PrettyShow Double = ()

type PrettyShow Float

Defined in Morley.Prelude.Show

type PrettyShow Float = ()

type PrettyShow Int

Defined in Morley.Prelude.Show

type PrettyShow Int = ()

type PrettyShow Word

Defined in Morley.Prelude.Show

type PrettyShow Word = ()

type PrettyShow [a]

Defined in Morley.Prelude.Show

type PrettyShow [a] = PrettyShow a

type PrettyShow (Fixed _1)

Defined in Morley.Prelude.Show

type PrettyShow (Fixed _1) = ()

show :: forall b a. (PrettyShow a, Show a, IsString b) => a -> b

A version of show that requires the value to have a human-readable Show instance.