prologue 3.1.7 → 3.2.0

raw patch · 4 files changed

+59/−16 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• prologue.cabal +3/−3
• src/Prologue.hs +1/−1
• src/Prologue/Text/Show/Pretty.hs +0/−12
• src/Prologue/Text/Show/Styled.hs +55/−0

@@ -2,10 +2,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 3fe730e269997bb415be310c9f50e763eb75d92f00169835ab0d84a1b22fca2e+-- hash: d1ea16d1ed3a0340ac20cadbb8452762d4d25ee6f46d882b5ac3404607590279  name:           prologue-version:        3.1.7+version:        3.2.0 synopsis:       Better, more general Prelude exporting common utilities. description:    Replacement for the Haskell's Prelude, exposing more commonly used functions and patching old GHC ones to behave in the newest GHC's way. category:       control@@ -97,7 +97,7 @@       Prologue.Placeholders_old       Prologue.Prim       Prologue.Text.Show-      Prologue.Text.Show.Pretty+      Prologue.Text.Show.Styled       Prologue.Type.Reflection       Prologue.Unsafe   other-modules:

@@ -36,7 +36,7 @@                                              ) import Text.Read                        as X (readPrec) -- new style Read class implementation import Prologue.Text.Show               as X-import Prologue.Text.Show.Pretty        as X+import Prologue.Text.Show.Styled        as X import Text.Show.Functions              as X () import Data.Void                        as X (Void, absurd) 

@@ -1,12 +0,0 @@-module Prologue.Text.Show.Pretty where--import Data.Text (Text)------------------------- === Class === ------------------------class PrettyShow a where-    prettyShow :: a -> Text-

@@ -0,0 +1,55 @@+{-# LANGUAGE AllowAmbiguousTypes #-}++module Prologue.Text.Show.Styled where++import Prelude++import Data.Text (Text)++++-------------------+-- === Class === --+-------------------++-- === Definition === --++type family StyledShowOutput style++class StyledShow  style a where +    styledShow :: style -> a -> StyledShowOutput style++class StyledShow1 style a where+    styledShow1 :: ∀ t1. style -> a t1 -> StyledShowOutput style++class StyledShow2 style a where+    styledShow2 :: ∀ t1 t2. style -> a t1 t2 -> StyledShowOutput style+++-- === Redirect instances === --++instance {-# OVERLAPPABLE #-} StyledShow1 style a +    => StyledShow style (a t) where+    styledShow = styledShow1 ; {-# INLINE styledShow #-}++instance {-# OVERLAPPABLE #-} StyledShow2 style a +    => StyledShow1 style (a t) where+    styledShow1 = styledShow2 ; {-# INLINE styledShow1 #-}++++--------------------+-- === Styles === --+--------------------++-- === Pretty === --++data Pretty = Pretty deriving (Show)+type PrettyShow  = StyledShow  Pretty+type PrettyShow1 = StyledShow1 Pretty+type instance StyledShowOutput Pretty = Text++prettyShow  :: PrettyShow  a => a    -> Text+prettyShow1 :: PrettyShow1 a => a t1 -> Text+prettyShow  = styledShow  Pretty ; {-# INLINE prettyShow  #-}+prettyShow1 = styledShow1 Pretty ; {-# INLINE prettyShow1 #-}