ersatz 0.2 → 0.2.0.1
raw patch · 2 files changed
+6/−2 lines, 2 filesdep ~containersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: containers
API changes (from Hackage documentation)
- Ersatz.Problem: class HasSAT t_abio where formula = (sat . go_abiq) where go_abiq _f_abir (SAT __lastAtom_abis __formula'_abit __stableMap_abiv) = ((\ __formula_abiu -> SAT __lastAtom_abis __formula_abiu __stableMap_abiv) <$> (_f_abir __formula'_abit)) lastAtom = (sat . go_abiw) where go_abiw _f_abix (SAT __lastAtom'_abiy __formula_abiA __stableMap_abiB) = ((\ __lastAtom_abiz -> SAT __lastAtom_abiz __formula_abiA __stableMap_abiB) <$> (_f_abix __lastAtom'_abiy)) stableMap = (sat . go_abiC) where go_abiC _f_abiD (SAT __lastAtom_abiE __formula_abiF __stableMap'_abiG) = ((\ __stableMap_abiH -> SAT __lastAtom_abiE __formula_abiF __stableMap_abiH) <$> (_f_abiD __stableMap'_abiG))
+ Ersatz.Problem: class HasSAT t_abCX where formula = (sat . go_abCZ) where go_abCZ _f_abD0 (SAT __lastAtom_abD1 __formula'_abD2 __stableMap_abD4) = ((\ __formula_abD3 -> SAT __lastAtom_abD1 __formula_abD3 __stableMap_abD4) <$> (_f_abD0 __formula'_abD2)) lastAtom = (sat . go_abD5) where go_abD5 _f_abD6 (SAT __lastAtom'_abD7 __formula_abD9 __stableMap_abDa) = ((\ __lastAtom_abD8 -> SAT __lastAtom_abD8 __formula_abD9 __stableMap_abDa) <$> (_f_abD6 __lastAtom'_abD7)) stableMap = (sat . go_abDb) where go_abDb _f_abDc (SAT __lastAtom_abDd __formula_abDe __stableMap'_abDf) = ((\ __stableMap_abDg -> SAT __lastAtom_abDd __formula_abDe __stableMap_abDg) <$> (_f_abDc __stableMap'_abDf))
- Ersatz.Problem: formula :: HasSAT t_abio => Lens' t_abio Formula
+ Ersatz.Problem: formula :: HasSAT t_abCX => Lens' t_abCX Formula
- Ersatz.Problem: lastAtom :: HasSAT t_abio => Lens' t_abio Int
+ Ersatz.Problem: lastAtom :: HasSAT t_abCX => Lens' t_abCX Int
- Ersatz.Problem: sat :: HasSAT t_abio => Lens' t_abio SAT
+ Ersatz.Problem: sat :: HasSAT t_abCX => Lens' t_abCX SAT
- Ersatz.Problem: stableMap :: HasSAT t_abio => Lens' t_abio (HashMap (StableName ()) Literal)
+ Ersatz.Problem: stableMap :: HasSAT t_abCX => Lens' t_abCX (HashMap (StableName ()) Literal)
Files
- CHANGELOG.md +4/−0
- ersatz.cabal +2/−2
CHANGELOG.md view
@@ -1,3 +1,7 @@+0.2.0.1+-------+* Fixed an overly conservative bound on `containers`.+ 0.2 --- * Converted to `Control.Lens` internally.
ersatz.cabal view
@@ -1,5 +1,5 @@ name: ersatz-version: 0.2+version: 0.2.0.1 license: BSD3 license-file: LICENSE author: Edward A. Kmett, Johan Kiviniemi@@ -115,7 +115,7 @@ blaze-builder == 0.3.*, blaze-textual == 0.2.*, bytestring >= 0.9 && < 0.12,- containers >= 0.2.0.1 && < 0.5,+ containers >= 0.2.0.1 && < 0.6, data-default >= 0.5 && < 0.6, ghc-prim, lens >= 3.8 && < 4.0,