operational 0.2.0.3 → 0.2.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)
- Control.Monad.Operational: type Program instr a = ProgramT instr Identity a
+ Control.Monad.Operational: type Program instr = ProgramT instr Identity
- Control.Monad.Operational: type ProgramView instr a = ProgramViewT instr Identity a
+ Control.Monad.Operational: type ProgramView instr = ProgramViewT instr Identity
Files
operational.cabal view
@@ -1,5 +1,5 @@ Name: operational-Version: 0.2.0.3+Version: 0.2.1.0 Synopsis: Implement monads by specifying operational semantics. Description: Tiny library for implementing monads by specifying the primitive instructions
src/Control/Monad/Operational.hs view
@@ -44,12 +44,12 @@ @'Program' instr@ is always a monad and automatically obeys the monad laws. -}-type Program instr a = ProgramT instr Identity a+type Program instr = ProgramT instr Identity -- | View type for inspecting the first instruction. -- It has two constructors 'Return' and @:>>=@. -- (For technical reasons, they are documented at 'ProgramViewT'.)-type ProgramView instr a = ProgramViewT instr Identity a+type ProgramView instr = ProgramViewT instr Identity -- | View function for inspecting the first instruction. view :: Program instr a -> ProgramView instr a