cabal-version: 2.2
-- This file has been generated from package.yaml by hpack version 0.39.6.
--
-- see: https://github.com/sol/hpack
name: indexed-transformers
version: 0.2.0.0
synopsis: Atkey indexed monad transformers
description: Please see the README on GitHub at <https://github.com/morphismtech/indexed-transformers#readme>
category: Control
homepage: https://github.com/morphismtech/indexed-transformers#readme
bug-reports: https://github.com/morphismtech/indexed-transformers/issues
author: Eitan Chatav
maintainer: eitan.chatav@gmail.com
copyright: 2026 Eitan Chatav
license: BSD-3-Clause
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
extra-doc-files:
CHANGELOG.md
source-repository head
type: git
location: https://github.com/morphismtech/indexed-transformers
library
exposed-modules:
Control.Monad.Trans.Indexed
Control.Monad.Trans.Indexed.Codensity
Control.Monad.Trans.Indexed.Cont
Control.Monad.Trans.Indexed.Do
Control.Monad.Trans.Indexed.Free
Control.Monad.Trans.Indexed.State
Control.Monad.Trans.Indexed.Writer
other-modules:
Paths_indexed_transformers
autogen-modules:
Paths_indexed_transformers
hs-source-dirs:
src
default-extensions:
ConstraintKinds
DeriveFunctor
DerivingStrategies
FlexibleInstances
GADTs
GeneralizedNewtypeDeriving
ImportQualifiedPost
LambdaCase
MultiParamTypeClasses
PolyKinds
QualifiedDo
QuantifiedConstraints
RankNTypes
StandaloneDeriving
StandaloneKindSignatures
TupleSections
TypeOperators
UndecidableInstances
ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints
build-depends:
base >=4.18.1.0 && <5
, free >=5.2 && <6
, kan-extensions >=5.2.5 && <6
, mtl >=2.3.1 && <3
, transformers >=0.6.1.0 && <1
default-language: Haskell2010
test-suite doctests
type: exitcode-stdio-1.0
main-is: Doctests.hs
other-modules:
Paths_indexed_transformers
autogen-modules:
Paths_indexed_transformers
hs-source-dirs:
test/doctests
default-extensions:
ConstraintKinds
DeriveFunctor
DerivingStrategies
FlexibleInstances
GADTs
GeneralizedNewtypeDeriving
ImportQualifiedPost
LambdaCase
MultiParamTypeClasses
PolyKinds
QualifiedDo
QuantifiedConstraints
RankNTypes
StandaloneDeriving
StandaloneKindSignatures
TupleSections
TypeOperators
UndecidableInstances
ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded
build-depends:
base >=4.18.1.0 && <5
, doctest-parallel >=0.3.1 && <1
, free >=5.2 && <6
, indexed-transformers
, kan-extensions >=5.2.5 && <6
, mtl >=2.3.1 && <3
, transformers >=0.6.1.0 && <1
default-language: Haskell2010
test-suite spec
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
Paths_indexed_transformers
autogen-modules:
Paths_indexed_transformers
hs-source-dirs:
test/spec
default-extensions:
ConstraintKinds
DeriveFunctor
DerivingStrategies
FlexibleInstances
GADTs
GeneralizedNewtypeDeriving
ImportQualifiedPost
LambdaCase
MultiParamTypeClasses
PolyKinds
QualifiedDo
QuantifiedConstraints
RankNTypes
StandaloneDeriving
StandaloneKindSignatures
TupleSections
TypeOperators
UndecidableInstances
ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints
build-depends:
QuickCheck >=2.14.3 && <3
, base >=4.18.1.0 && <5
, free >=5.2 && <6
, hspec >=2.11.7 && <3
, indexed-transformers
, kan-extensions >=5.2.5 && <6
, mtl >=2.3.1 && <3
, transformers >=0.6.1.0 && <1
default-language: Haskell2010