cabal-version:       2.2

name:                fused-effects
version:             1.1.2.3
synopsis:            A fast, flexible, fused effect system.
description:         A fast, flexible, fused effect system, à la Effect Handlers in Scope, Monad Transformers and Modular Algebraic Effects: What Binds Them Together, and Fusion for Free—Efficient Algebraic Effect Handlers.
homepage:            https://github.com/fused-effects/fused-effects
license:             BSD-3-Clause
license-file:        LICENSE
author:              Nicolas Wu, Tom Schrijvers, Rob Rix, Patrick Thomson
maintainer:          robrix@github.com
copyright:           2018-2023 Nicolas Wu, Tom Schrijvers, Rob Rix, Patrick Thomson
category:            Control
build-type:          Simple
extra-source-files:
  README.md
extra-doc-files:
  ChangeLog.md

tested-with:
  GHC == 8.2.2
  GHC == 8.4.4
  GHC == 8.6.5
  GHC == 8.8.4
  GHC == 8.10.4
  GHC == 9.0.1
  GHC == 9.2.1
  GHC == 9.4.2
  GHC == 9.6.2
  GHC == 9.8.2
  GHC == 9.10.1

common common
  default-language: Haskell2010
  ghc-options:
    -Weverything
    -Wno-all-missed-specialisations
    -Wno-implicit-prelude
    -Wno-missed-specialisations
    -Wno-missing-import-lists
    -Wno-missing-local-signatures
    -Wno-monomorphism-restriction
    -Wno-name-shadowing
    -Wno-safe
    -Wno-unsafe
  if (impl(ghc >= 8.8))
    ghc-options: -Wno-missing-deriving-strategies
  if (impl(ghc >= 8.10))
    ghc-options:
      -Wno-missing-safe-haskell-mode
      -Wno-prepositive-qualified-module
  if (impl(ghc >= 9.2))
    ghc-options:
      -Wno-missing-kind-signatures
  -- Temporary hack to deal with a bug in GHC 9.6 where
  -- derivations of MonadTrans cause spurious redundant-constraint warnings.
  -- https://gitlab.haskell.org/ghc/ghc/-/issues/23143
  if (impl(ghc >= 9.6))
    ghc-options:
      -Wno-redundant-constraints
  if (impl(ghc >= 9.8))
    ghc-options:
      -Wno-missing-role-annotations
      -Wno-term-variable-capture
      -Wno-x-partial
      -Wno-missing-poly-kind-signatures  

library
  import:         common
  hs-source-dirs: src
  exposed-modules:
    Control.Algebra
    Control.Algebra.Handler
    -- Carriers
    Control.Carrier.Accum.Church
    Control.Carrier.Accum.IORef
    Control.Carrier.Accum.Strict
    Control.Carrier.Choose.Church
    Control.Carrier.Cull.Church
    Control.Carrier.Cut.Church
    Control.Carrier.Empty.Church
    Control.Carrier.Empty.Maybe
    Control.Carrier.Error.Church
    Control.Carrier.Error.Either
    Control.Carrier.Fail.Either
    Control.Carrier.Fresh.Church
    Control.Carrier.Fresh.Strict
    Control.Carrier.Interpret
    Control.Carrier.Lift
    Control.Carrier.NonDet.Church
    Control.Carrier.Reader
    Control.Carrier.State.Church
    Control.Carrier.State.IORef
    Control.Carrier.State.Lazy
    Control.Carrier.State.Strict
    Control.Carrier.Throw.Either
    Control.Carrier.Trace.Ignoring
    Control.Carrier.Trace.Printing
    Control.Carrier.Trace.Returning
    Control.Carrier.Writer.Church
    Control.Carrier.Writer.Strict
    -- Effects
    Control.Effect.Accum
    Control.Effect.Catch
    Control.Effect.Choose
    Control.Effect.Cull
    Control.Effect.Cut
    Control.Effect.Empty
    Control.Effect.Error
    Control.Effect.Fail
    Control.Effect.Fresh
    Control.Effect.Labelled
    Control.Effect.Lift
    Control.Effect.NonDet
    Control.Effect.Reader
    Control.Effect.Reader.Labelled
    Control.Effect.State
    Control.Effect.State.Labelled
    Control.Effect.Sum
    Control.Effect.Throw
    Control.Effect.Trace
    Control.Effect.Writer
  other-modules:
    Control.Effect.Accum.Internal
    Control.Effect.Catch.Internal
    Control.Effect.Choose.Internal
    Control.Effect.Empty.Internal
    Control.Effect.Error.Internal
    Control.Effect.Lift.Internal
    Control.Effect.NonDet.Internal
    Control.Effect.Reader.Internal
    Control.Effect.State.Internal
    Control.Effect.Throw.Internal
    Control.Effect.Writer.Internal
  build-depends:
      base          >= 4.9 && < 4.21
    , transformers  >= 0.4 && < 0.7
    , unliftio-core >= 0.2 && < 0.3


test-suite examples
  import:         common
  type:           exitcode-stdio-1.0
  hs-source-dirs: examples
  main-is:        Main.hs
  other-modules:
    Inference
    Labelled
    Parser
    ReinterpretLog
    Teletype
    Utils
  build-depends:
    , base
    , fused-effects
    , hedgehog           >= 1 && < 1.6
    , hedgehog-fn        ^>= 1


test-suite test
  import:         common
  type:           exitcode-stdio-1.0
  hs-source-dirs: test
  main-is:        Test.hs
  other-modules:
    Accum
    Catch
    Choose
    Cull
    Cut
    Cut.Church
    Empty
    Error
    Fail
    Fresh
    Fusion
    Gen
    Lift
    Monad
    MonadFix
    NonDet
    NonDet.Church
    Reader
    State
    Throw
    Writer
  build-depends:
    , base
    , containers          >= 0.5 && < 0.8
    , fused-effects
    , hedgehog
    , hedgehog-fn
    , inspection-testing  >= 0.4 && < 0.6
    , transformers


test-suite docs
  import:      common
  type:        exitcode-stdio-1.0
  main-is:     README.lhs
  ghc-options: -pgmL markdown-unlit
  build-depends:
    , base
    , fused-effects
  build-tool-depends:
      markdown-unlit:markdown-unlit ^>= 0.5


benchmark benchmark
  import:         common
  type:           exitcode-stdio-1.0
  hs-source-dirs: benchmark
  main-is:        Bench.hs
  other-modules:
    Bench.Error
    Bench.Interpret
    Bench.NonDet
    Bench.NonDet.NQueens
    Bench.Reader
    Bench.State
    Bench.Writer
  build-depends:
    , base
    , fused-effects
    , tasty-bench == 0.3.*
    , transformers
  ghc-options:
    -threaded


source-repository head
  type:     git
  location: https://github.com/fused-effects/fused-effects