polysemy-methodology 0.1.0.0 → 0.1.1.0

raw patch · 2 files changed

+3/−3 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Polysemy.Methodology: endMethodologyTerminal :: Monoid c => Sem (Methodology (HList (x : xs)) c : r) a -> Sem r a

+ Polysemy.Methodology: endMethodologyTerminal :: Monoid c => Sem (Methodology (HList '[]) c : r) a -> Sem r a

- Polysemy.Methodology: separateMethodologyTerminal :: forall x xs c r a. (Monoid c, Members '[Methodology (HList xs) c, Methodology x c] r) => Sem (Methodology (HList (x : xs)) c : r) a -> Sem r a

+ Polysemy.Methodology: separateMethodologyTerminal :: forall x c xs r a. (Monoid c, Members '[Methodology (HList xs) c, Methodology x c] r) => Sem (Methodology (HList (x : xs)) c : r) a -> Sem r a

polysemy-methodology.cabal view

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           polysemy-methodology-version:        0.1.0.0+version:        0.1.1.0 synopsis:       Domain modelling algebra for polysemy category:       Polysemy author:         Daniel Firth

src/Polysemy/Methodology.hs view

@@ -159,7 +159,7 @@   Process _ -> return HNil  -- | Factor a `Methodology` decomposed over an `HList` in the source by a `Methodology` from the first variable. Assumes the result is a `Monoid`.-separateMethodologyTerminal :: forall x xs c r a.+separateMethodologyTerminal :: forall x c xs r a.                                (Monoid c,                                Members '[ Methodology (HList xs) c                                         , Methodology x c] r)@@ -173,7 +173,7 @@  -- | Finalise an `HList` separated `Methodology` in the source by returning the `Monoid` unit. endMethodologyTerminal :: Monoid c-                       => Sem (Methodology (HList (x ': xs)) c ': r) a+                       => Sem (Methodology (HList '[]) c ': r) a                        -> Sem r a endMethodologyTerminal = interpret \case   Process _ -> return mempty