name:                effect-handlers
version:             0.1.0.0
synopsis:            A library for writing extensible algebraic effects and handlers. Similar to extensible-effects but with deep handlers.
homepage:            https://github.com/edofic/effect-handlers
bug-reports:         https://github.com/edofic/effect-handlers/issues
license:             MIT
license-file:        LICENSE
author:              Andraz Bajt, Blaz Repas
maintainer:          Andraz Bajt <andraz@bajt.me>
category:            Control
build-type:          Simple
stability:           experimental
extra-source-files:  README.md
cabal-version:       >=1.10
description:
  This is an extensible effects library for Haskell taking inspiration from the Eff language <http://www.eff-lang.org/>.
  .
  See these papers for the ideas and theory behind the library:
  .
    - O. Kammar et al: Handlers in Action! <http://homepages.inf.ed.ac.uk/slindley/papers/handlers.pdf>
    - A. Bauer, M. Pretnar: Programming with Algebraic Effects and Handlers <http://arxiv.org/abs/1203.1539>
    - O Kiselyov, A Sabry, C Swords: Extensible Effects <http://dl.acm.org/citation.cfm?id=2503791>
  .
  Implementation wise it's most close to @extensible-effects@ <http://hackage.haskell.org/package/extensible-effects> (also see the Extensible Effects paper) but it implements deep handlers instead of shallow.
  .
  @
    import Control.Effects.Cont.Eff
    import Control.Effects.Cont.Reader
    import Control.Effects.Cont.Exception
    .
    program = do
      v <- ask
      if v < 15 
      then throw $ show v
      else return (v+1)
    .
    run n = runPure . handle exceptionHandler . handle (readerHandler n)
    .
    res :: Integer -> Either String Integer
    res n = run n program
  @


library
  exposed-modules:     Data.Union
                     
                     , Control.Effects.Eff
                     , Control.Effects.Reader
                     , Control.Effects.Writer
                     , Control.Effects.State
                     , Control.Effects.Exception
                     , Control.Effects.IO
                     , Control.Effects.Search 

  -- other-extensions:    
  build-depends:       base           >=4.7 && <4.8
                     , free           >=4.9 && <4.10
                     , mtl            >=2.1 && <2.3
                     , kan-extensions >=4.1 && <4.2
  hs-source-dirs:      src
  default-language:    Haskell2010
  default-extensions:  RankNTypes
                     , KindSignatures
                     , DataKinds
                     , GADTs
                     , TypeOperators
                     , MultiParamTypeClasses
                     , FlexibleInstances
                     , FlexibleContexts
                     , NoMonomorphismRestriction
                     , DeriveFunctor
                     , DeriveDataTypeable
                     , GeneralizedNewtypeDeriving

test-suite spec
  type:                exitcode-stdio-1.0
  default-language:    Haskell2010
  hs-source-dirs:      test

  main-is:             Main.hs

  build-depends:       base >=4.7 && <4.8
                     , effect-handlers
                     , hspec >= 1.12 && <1.13
                     , QuickCheck
                     , HUnit
                     , hspec-discover

  other-modules:      Main
                    , Spec
                

  default-extensions:  DataKinds
                     , FlexibleContexts
                     , NoMonomorphismRestriction


benchmark benchm
  type:                exitcode-stdio-1.0
  default-language:    Haskell2010 
  hs-source-dirs:      bench, test
  main-is:             TestBench.hs
  build-depends:       base >=4.7 && <4.8, effect-handlers
  build-depends:       criterion
  ghc-options:         -O3
  default-extensions:  DataKinds
                     , FlexibleContexts
                     , NoMonomorphismRestriction