Skip to content

issues Search Results · repo:xnning/EvEff language:Haskell

Filter by

7 results
 (55 ms)

7 results

inxnning/EvEff (press backspace or delete to remove)

xnning/EvEff
Build fails using GHC 9.0.1

I tried to build this library with the latest Stackage Nightly snapshot (nightly-2021-07-01) and got the following errors: src/Control/Ev/Util.hs:160:24: error: • Couldn t match type: forall a1. Op ...
  • mmhat
  • 3
  • Opened 
    on Jul 1, 2021
  • #9

xnning/EvEff
Latent Effects

To continue exploring expressivity from issue #5, let us consider the notion of latent effects from Staged Effects and Handlers for Modular Languages with Abstraction by Casper Bach Poulsen, Cas van der ...
  • noughtmare
  • Opened 
    on Jun 13, 2021
  • #8

xnning/EvEff
Local state is not safe

E.g. the program: import Control.Ev.Eff main :: IO () main = print $ runEff $ local 0 $ do localModify (+ 1) localGet Prints (when compiled with -O): 0 I think that this is due to common sub-expression ...
  • noughtmare
  • 3
  • Opened 
    on May 5, 2021
  • #6

xnning/EvEff
Higher order effects

Currently in Control.Ev.Utils the Exception effect is defined with only a throw operation. The catch operation is implemented as a handler that handler the throw operation as you would expect. But this ...
  • noughtmare
  • 4
  • Opened 
    on Mar 27, 2021
  • #5

xnning/EvEff
handlerHide2?

I m trying to implement the effect-zoo scenarios to learn how to use this library. I m stuck on the reinterpretation scenario. The scenario is that there is a Zooit effect that should be decomposed into ...
  • noughtmare
  • 3
  • Opened 
    on Mar 20, 2021
  • #3

xnning/EvEff
runEffIO :: Eff (IOEff) a -> IO a

Hi, thanks for this interesting library. Currently, we can only handle effects purely since we can t use IO inside hander. Can we have IO-like effect at the bottom of effect stack, and a runner like runEffIO ...
  • kamoii
  • 14
  • Opened 
    on Mar 11, 2021
  • #2

xnning/EvEff
Strange bug

I ve been trying this library out to write a parser effect by combining state and choice. I ve run into a very strange bug. Here is my code: {-# LANGUAGE LambdaCase #-} {-# LANGUAGE TypeOperators, FlexibleContexts, ...
  • noughtmare
  • 4
  • Opened 
    on Oct 27, 2020
  • #1
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue search results · GitHub