text-builder-lawful-conversions 0.1.2 → 0.1.3
raw patch · 7 files changed
+34/−8 lines, 7 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- src/hspec/Main.hs +6/−3
- src/hspec/Main/Conversions/StrictBuilder.hs +1/−1
- src/hspec/Main/Conversions/StrictTextBuilder.hs +1/−1
- src/hspec/Main/LawfulConversionsHspec.hs +7/−2
- src/library/TextBuilderLawfulConversions.hs +1/−0
- src/library/TextBuilderLawfulConversions/String.hs +16/−0
- text-builder-lawful-conversions.cabal +2/−1
src/hspec/Main.hs view
@@ -18,14 +18,17 @@ main :: IO () main = hspec do+ describe "String" do+ allUptoIsMany (Proxy @String) (Proxy @TextBuilder)+ describe "Data.Text.Text" do- allIs (Proxy @Data.Text.Text) (Proxy @TextBuilder)+ allUptoIs (Proxy @Data.Text.Text) (Proxy @TextBuilder) describe "Data.Text.Lazy.Text" do- allIs (Proxy @Data.Text.Lazy.Text) (Proxy @TextBuilder)+ allUptoIs (Proxy @Data.Text.Lazy.Text) (Proxy @TextBuilder) describe "Data.Text.Lazy.Builder.Builder" do- allIs (Proxy @Data.Text.Lazy.Builder.Builder) (Proxy @TextBuilder)+ allUptoIs (Proxy @Data.Text.Lazy.Builder.Builder) (Proxy @TextBuilder) describe "Data.Text.Encoding.StrictBuilder" do Main.Conversions.StrictBuilder.spec
src/hspec/Main/Conversions/StrictBuilder.hs view
@@ -15,7 +15,7 @@ import Prelude spec :: Spec-spec = allIs (Proxy @TextBuilder) (Proxy @TextEncoding.StrictBuilder)+spec = allUptoIs (Proxy @TextBuilder) (Proxy @TextEncoding.StrictBuilder) instance Eq TextEncoding.StrictBuilder where a == b =
src/hspec/Main/Conversions/StrictTextBuilder.hs view
@@ -15,7 +15,7 @@ import Prelude spec :: Spec-spec = allIs (Proxy @TextBuilder) (Proxy @TextEncoding.StrictTextBuilder)+spec = allUptoIs (Proxy @TextBuilder) (Proxy @TextEncoding.StrictTextBuilder) instance Eq TextEncoding.StrictTextBuilder where a == b =
src/hspec/Main/LawfulConversionsHspec.hs view
@@ -25,8 +25,8 @@ forM_ (LawfulConversions.isProperties a b) \(name, property) -> prop name property -allIs :: (LawfulConversions.Is a b, Eq a, Eq b, Show a, Show b, Arbitrary a, Arbitrary b) => Proxy a -> Proxy b -> Spec-allIs a b = do+allUptoIs :: (LawfulConversions.Is a b, Eq a, Eq b, Show a, Show b, Arbitrary a, Arbitrary b) => Proxy a -> Proxy b -> Spec+allUptoIs a b = do describe "Forward" do isSome a b isMany a b@@ -36,3 +36,8 @@ isSome b a isMany b a is b a++allUptoIsMany :: (LawfulConversions.IsMany a b, Eq a, Eq b, Show a, Show b, Arbitrary a, Arbitrary b) => Proxy a -> Proxy b -> Spec+allUptoIsMany a b = do+ isSome a b+ isMany a b
src/library/TextBuilderLawfulConversions.hs view
@@ -22,3 +22,4 @@ import TextBuilderLawfulConversions.StrictBuilder () import TextBuilderLawfulConversions.StrictText () import TextBuilderLawfulConversions.StrictTextBuilder ()+import TextBuilderLawfulConversions.String ()
+ src/library/TextBuilderLawfulConversions/String.hs view
@@ -0,0 +1,16 @@+{-# OPTIONS_GHC -Wno-orphans #-}++module TextBuilderLawfulConversions.String where++import Data.Function+import Data.Functor+import Data.String+import LawfulConversions+import TextBuilder++instance IsSome String TextBuilder where+ to = toString+ maybeFrom = fmap text . maybeFrom++instance IsMany String TextBuilder where+ from = string
text-builder-lawful-conversions.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: text-builder-lawful-conversions-version: 0.1.2+version: 0.1.3 category: Text, Builders, Conversions synopsis: Orphan instances of "lawful-conversions" for "text-builder" homepage: https://github.com/nikita-volkov/text-builder-lawful-conversions@@ -85,6 +85,7 @@ TextBuilderLawfulConversions.StrictBuilder TextBuilderLawfulConversions.StrictText TextBuilderLawfulConversions.StrictTextBuilder+ TextBuilderLawfulConversions.String build-depends: base >=4.13 && <5,