heftia/heftia-effects/heftia-effects.cabal

cabal-version:      2.4
name:               heftia-effects
version:            0.2.0.0

-- A short (one-line) description of the package.
synopsis: Handlers for standard effects using Heftia.

-- A longer description of the package.
description:
    This library provides interpreters based
    on [Heftia](https://hackage.haskell.org/package/heftia).

-- A URL where users can report bugs.
bug-reports: https://github.com/sayo-hs/heftia

-- The license under which the package is released.
license:            MPL-2.0
license-file:       LICENSE
author:             Yamada Ryo <ymdfield@outlook.jp>
maintainer:         Yamada Ryo <ymdfield@outlook.jp>

-- A copyright notice.
copyright: 2023 Yamada Ryo
category: Control, Effect, Monads

extra-source-files:
    ChangeLog.md
    NOTICE
    README.md

tested-with:
    GHC == 9.2.8

source-repository head
    type: git
    location: https://github.com/sayo-hs/heftia
    tag: v0.2.0
    subdir: heftia-effects

common common-base
    ghc-options:      -Wall
    default-language: GHC2021

    default-extensions:
        LambdaCase,
        DerivingStrategies,
        DataKinds,
        TypeFamilies,
        BlockArguments,
        FunctionalDependencies,
        RecordWildCards,
        DefaultSignatures,
        PatternSynonyms

    build-depends:
        base ^>= 4.16,
        ghc-typelits-knownnat ^>= 0.7,
        data-effects ^>= 0.1,
        heftia ^>= 0.2,

    ghc-options: -Wall -fplugin GHC.TypeLits.KnownNat.Solver

library
    import: common-base

    exposed-modules:
        Control.Effect.Handler.Heftia.Reader
        Control.Effect.Handler.Heftia.Writer
        Control.Effect.Handler.Heftia.State
        Control.Effect.Handler.Heftia.Except
        Control.Effect.Handler.Heftia.ShiftReset
        Control.Effect.Handler.Heftia.Coroutine
        Control.Effect.Handler.Heftia.Provider
        Control.Effect.Handler.Heftia.Provider.Implicit
        Control.Effect.Handler.Heftia.Resource
        Control.Effect.Handler.Heftia.Unlift

    reexported-modules:
        Control.Effect.Hefty,
        Control.Effect.Free,
        Control.Effect.ExtensibleFinal,
        Control.Effect.ExtensibleChurch,
        Control.Effect.ExtensibleTree,
        Control.Effect.ExtensibleFinalA,
        Control.Effect.ExtensibleTreeA,
        Control.Effect.ExtensibleFastA,
        Control.Hefty,
        Control.Freer,
        Control.Freer.Final,
        Control.Monad.Freer,
        Control.Monad.Freer.Church,
        Control.Monad.Freer.Tree,
        Data.Hefty.Union,
        Data.Hefty.Extensible,
        Data.Free.Sum,
        Data.Effect,
        Data.Effect.TH,
        Data.Effect.Tag,
        Data.Effect.Key,
        Data.Effect.Key.TH,
        Data.Effect.HFunctor,
        Data.Effect.HFunctor.HCoyoneda,
        Data.Effect.HFunctor.TH,
        Control.Effect,
        Control.Effect.Tag,
        Control.Effect.Key,
        Data.Effect.Reader,
        Data.Effect.Writer,
        Data.Effect.State,
        Data.Effect.Except,
        Data.Effect.ShiftReset,
        Data.Effect.Coroutine,
        Data.Effect.Provider,
        Data.Effect.Provider.Implicit,
        Data.Effect.Resource,

    -- Modules included in this executable, other than Main.
    -- other-modules:

    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:
    build-depends:
        mtl                           ^>= 2.2.2,
        transformers                  ^>= 0.5.6,
        extensible                    ^>= 0.9,
        unliftio                      ^>= 0.2.0,
        free                          ^>= 5.2,

    hs-source-dirs:   src

test-suite test
    import: common-base

    main-is: Driver.hs
    hs-source-dirs: test
    build-depends:
        heftia-effects,
        tasty                         ^>= 1.4,
        tasty-hunit                   ^>= 0.10,

    build-tool-depends:
        tasty-discover:tasty-discover

    type: exitcode-stdio-1.0


executable Teletype
    import: common-base

    main-is: Main.hs
    hs-source-dirs: Example/Teletype
    build-depends:
        heftia-effects,

executable KeyedEffects
    import: common-base

    main-is: Main.hs
    hs-source-dirs: Example/KeyedEffects
    build-depends:
        heftia-effects,

executable Logging
    import: common-base

    main-is: Main.hs
    hs-source-dirs: Example/Logging
    build-depends:
        heftia-effects,
        text ^>= 1.2.5,
        time ^>= 1.11.1,
        loglevel ^>= 0.1.0,
        extra ^>= 1.7.14,

executable Continuation
    import: common-base

    main-is: Main.hs
    hs-source-dirs: Example/Continuation
    build-depends:
        heftia-effects,

executable Continuation2
    import: common-base

    main-is: Main.hs
    hs-source-dirs: Example/Continuation2
    build-depends:
        heftia-effects,
        extra

executable Writer
    import: common-base

    main-is: Main.hs
    hs-source-dirs: Example/Writer
    build-depends:
        heftia-effects,