compound-types 0.1.4 → 0.1.4.1
raw patch · 4 files changed
+8/−2 lines, 4 filesdep ~basePVP: minor bump suggested
API additions: PVP suggests at least a minor version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
+ CompoundTypes.Lazy: infixl 0 -
+ CompoundTypes.Lazy: infixl 1 /
+ CompoundTypes.Lazy: type family a / b
+ CompoundTypes.Strict: infixl 0 -
+ CompoundTypes.Strict: infixl 1 /
+ CompoundTypes.Strict: type family a / b
Files
- compound-types.cabal +5/−2
- demo/Main.hs +1/−0
- library/CompoundTypes/Private/Lazy/Product.hs +1/−0
- library/CompoundTypes/Private/Strict/Product.hs +1/−0
compound-types.cabal view
@@ -1,7 +1,7 @@ name: compound-types version:- 0.1.4+ 0.1.4.1 category: Data, Types, Type System synopsis:@@ -12,6 +12,9 @@ The solution is quite simple and doesn’t require the advanced proficiency in the language to be applied in practice. .+ The library supports GHC starting from version 8.6.1 and+ requires you to enable the @NoStarIsType@ extension.+ . For a comprehensive introduction please see <http://nikita-volkov.github.io/first-class-sums-and-products/ this blog post>. homepage:@@ -59,7 +62,7 @@ CompoundTypes.Lazy build-depends: -- general:- base >= 4.7 && < 5+ base >= 4.12 && < 5 -- Not a benchmark really.
demo/Main.hs view
@@ -1,3 +1,4 @@+{-# LANGUAGE NoStarIsType #-} module Main where import BasePrelude
library/CompoundTypes/Private/Lazy/Product.hs view
@@ -1,4 +1,5 @@ {-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE NoStarIsType #-} module CompoundTypes.Private.Lazy.Product where
library/CompoundTypes/Private/Strict/Product.hs view
@@ -1,4 +1,5 @@ {-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE NoStarIsType #-} module CompoundTypes.Private.Strict.Product where