ansi-pretty 0.1.0.0 → 0.1.1.0

raw patch · 3 files changed

+32/−12 lines, 3 filesdep ~generics-sopdep ~natsdep ~semigroupsPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: generics-sop, nats, semigroups

API changes (from Hackage documentation)

Files

• CHANGELOG.md +5/−0
• ansi-pretty.cabal +7/−6
• src/Text/PrettyPrint/ANSI/Leijen/AnsiPretty.hs +20/−6

@@ -0,0 +1,5 @@+# 0.1.1.0++- Accept `generics-sop-0.2`+- Other upper bounds lifts+- `AnsiPretty Float` and `AnsiFloat Double`

@@ -1,9 +1,9 @@--- This file has been generated from package.yaml by hpack version 0.7.0.+-- This file has been generated from package.yaml by hpack version 0.8.0. -- -- see: https://github.com/sol/hpack  name:           ansi-pretty-version:        0.1.0.0+version:        0.1.1.0 synopsis:       AnsiPretty for ansi-wl-pprint description:    'AnsiPretty' type class, more colorful than 'Pretty'. category:       Web@@ -18,6 +18,7 @@ cabal-version:  >= 1.10  extra-source-files:+    CHANGELOG.md     README.md  source-repository head@@ -29,16 +30,16 @@       src   ghc-options: -Wall   build-depends:-      aeson                 >=0.8   && <0.10+      aeson                 >=0.8   && <0.11     , ansi-wl-pprint        >=0.6   && <0.7     , array                 >=0.5   && <0.6     , base                  >=4.7   && <4.9     , bytestring            >=0.10  && <0.11     , containers            >=0.5   && <0.6-    , generics-sop          >=0.1   && <0.2-    , nats                  >=1     && <1.1+    , generics-sop          >=0.1   && <0.3+    , nats                  >=1     && <1.2     , scientific            >=0.3   && <0.4-    , semigroups            >=0.16  && <0.18+    , semigroups            >=0.16  && <0.19     , tagged                >=0.7   && <0.9     , text                  >=1.2   && <1.3     , time                  >=1.4   && <1.6

@@ -5,6 +5,7 @@ {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE KindSignatures #-}+{-# LANGUAGE PolyKinds #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE ScopedTypeVariables #-} -- |@@ -76,11 +77,18 @@ import qualified Data.Vector.Storable as S import qualified Data.Vector.Unboxed as U +#if !MIN_VERSION_generics_sop(0,2,0)+type SListI (a :: k) = SingI a+type SList (a :: k) = Sing a+sList :: forall xs. SListI xs => SList xs+sList = sing+#endif+ -- | Generically derivable colorful analogue of 'Text.PrettyPrint.ANSI.Leijen.Pretty' class AnsiPretty a where   ansiPretty :: a -> Doc -  default ansiPretty :: (GHC.Generic a, All2 AnsiPretty (GCode a), GFrom a, GDatatypeInfo a, SingI (GCode a)) => a -> Doc+  default ansiPretty :: (GHC.Generic a, All2 AnsiPretty (GCode a), GFrom a, GDatatypeInfo a, SListI (GCode a)) => a -> Doc   ansiPretty = ghcAnsiPretty    ansiPrettyList :: [a] -> Doc@@ -120,10 +128,10 @@  -- GHC -ghcAnsiPretty :: forall a. (GHC.Generic a, All2 AnsiPretty (GCode a), GFrom a, GDatatypeInfo a, SingI (GCode a)) => a -> Doc+ghcAnsiPretty :: forall a. (GHC.Generic a, All2 AnsiPretty (GCode a), GFrom a, GDatatypeInfo a, SListI (GCode a)) => a -> Doc ghcAnsiPretty = ghcAnsiPrettyWith defAnsiPrettyOpts -ghcAnsiPrettyWith :: forall a. (GHC.Generic a, All2 AnsiPretty (GCode a), GFrom a, GDatatypeInfo a, SingI (GCode a)) => AnsiPrettyOpts -> a -> Doc+ghcAnsiPrettyWith :: forall a. (GHC.Generic a, All2 AnsiPretty (GCode a), GFrom a, GDatatypeInfo a, SListI (GCode a)) => AnsiPrettyOpts -> a -> Doc ghcAnsiPrettyWith opts x = sopAnsiPrettyS opts (gfrom x) (gdatatypeInfo (Proxy :: Proxy a))  -- SOP@@ -152,13 +160,13 @@ constructorName (Record name _) = name  fieldInfo :: ConstructorInfo xs -> NP FieldInfo xs-fieldInfo (Constructor _) = constructorFieldInfos 0 sing+fieldInfo (Constructor _) = constructorFieldInfos 0 sList fieldInfo (Infix _ _ _) = FieldInfo "_lhs" :* FieldInfo "_rhs" :* Nil fieldInfo (Record _ fi) = fi -constructorFieldInfos :: forall (xs :: [*]). Int -> Sing xs -> NP FieldInfo xs+constructorFieldInfos :: forall (xs :: [*]). Int -> SList xs -> NP FieldInfo xs constructorFieldInfos _ SNil  = Nil-constructorFieldInfos n SCons = FieldInfo ("_" <> show n) :* constructorFieldInfos (n+1) sing+constructorFieldInfos n SCons = FieldInfo ("_" <> show n) :* constructorFieldInfos (n+1) sList  -- Instances @@ -167,6 +175,12 @@  instance AnsiPretty Int where   ansiPretty = dullyellow . int++instance AnsiPretty Float where+  ansiPretty = dullyellow . float++instance AnsiPretty Double where+  ansiPretty = dullyellow . double  instance AnsiPretty Doc where   ansiPretty = id