morley-prelude-0.6.0: A custom prelude used in Morley
Safe HaskellSafe-Inferred
LanguageHaskell2010

Morley.Prelude.Show

Description

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.

Synopsis

Documentation

type family PrettyShow a :: Constraint Source #

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

Instances details
type PrettyShow KnownExtension Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow TypeRep Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Int16 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Int16 = ()
type PrettyShow Int32 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Int32 = ()
type PrettyShow Int64 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Int64 = ()
type PrettyShow Int8 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Int8 = ()
type PrettyShow Word16 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Word16 = ()
type PrettyShow Word32 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Word32 = ()
type PrettyShow Word64 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Word64 = ()
type PrettyShow Word8 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Word8 = ()
type PrettyShow ByteString Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow ByteString = TypeError ('Text "Show instance for ByteString is not pretty") :: Constraint
type PrettyShow Word62 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Word62 = ()
type PrettyShow Word63 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Word63 = ()
type PrettyShow Doc Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Doc = ()
type PrettyShow Name Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Name = ()
type PrettyShow UnicodeException Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Text Source # 
Instance details

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 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow LByteString Source # 
Instance details

Defined in Morley.Prelude.Show

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

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 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Natural Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Char Source # 
Instance details

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 Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Double = ()
type PrettyShow Float Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Float = ()
type PrettyShow Int Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Int = ()
type PrettyShow Word Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow Word = ()
type PrettyShow [a] Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow [a] = PrettyShow a
type PrettyShow (Fixed _1) Source # 
Instance details

Defined in Morley.Prelude.Show

type PrettyShow (Fixed _1) = ()

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

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