fused-effects-1.1.2.7: fused-effects.cabal

cabal-version: 2.2
name: fused-effects
version: 1.1.2.7
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: rob.rix@me.com
copyright: 2018-2026 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
  ghc ==9.12.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:
    -- Carriers
    -- Effects
    Control.Algebra
    Control.Algebra.Handler
    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
    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.23,
    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.7,
    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