lib:heftia-effects

Modules

• Control.Monad.Hefty.Concurrent.Timer
• Control.Monad.Hefty.Coroutine
• Control.Monad.Hefty.Except
• Control.Monad.Hefty.Fail
• Control.Monad.Hefty.Fresh
• Control.Monad.Hefty.Input
• Control.Monad.Hefty.KVStore
• Control.Monad.Hefty.NonDet
• Control.Monad.Hefty.Output
• Control.Monad.Hefty.Provider
• Control.Monad.Hefty.Reader
• Control.Monad.Hefty.Resource
• Control.Monad.Hefty.ShiftReset
• Control.Monad.Hefty.State
• Control.Monad.Hefty.Unlift
• Control.Monad.Hefty.Writer

Dependencies

• base lib:base >=4.17 && <4.21
• containers lib:containers >0.6.5 && <0.8
• data-effects lib:data-effects ^>=0.2
• ghc-typelits-knownnat lib:ghc-typelits-knownnat ^>=0.7
• heftia lib:heftia ^>=0.4
• time lib:time >=1.11.1 && <1.15
• unbounded-delays lib:unbounded-delays ^>=0.1.1
• unliftio lib:unliftio ^>=0.2

Reverse dependencies

Direct only. Not exhaustive.

• heftia-effects bench:heftia-bench
• heftia-effects exe:Continuation
• heftia-effects exe:Continuation2
• heftia-effects exe:FileSystemProvider
• heftia-effects exe:KeyedEffects
• heftia-effects exe:Logging
• heftia-effects exe:SemanticsZoo
• heftia-effects exe:Teletype
• heftia-effects exe:Writer
• heftia-effects test:test