Safe Haskell	Safe-Inferred
Language	Haskell2010

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

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

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 KnownExtension = ()
type PrettyShow TypeRep Source #
Instance details Defined in Morley.Prelude.Show type PrettyShow TypeRep = ()
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 UnicodeException = ()
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 NominalDiffTime = ()
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 Integer = ()
type PrettyShow Natural Source #
Instance details Defined in Morley.Prelude.Show type PrettyShow Natural = ()
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.