git.iko.soy/typeable/control-has
on master help sign in
swap
8dc54743 ahead, 0 behind
control-has.cabal+39−34
since splitsnapshots
unifiedsplit
@@ -1,36 +1,41 @@
1−cabal-version: 2.4
1+cabal-version: 2.4
2−name: control-has
2+name: control-has
3−version: 0.1.0.0
3+version: 0.2.0.0
4−synopsis: Typeclass for things that have parts
4+synopsis: Typeclass for things that have parts
5−license-file: LICENSE
5+license-file: LICENSE
6−build-type: Simple
6+build-type: Simple
7
7
8library
8library
9− hs-source-dirs: src
9+ hs-source-dirs: src
10− ghc-options: -Wall
10+ ghc-options: -Wall
11− exposed-modules: Control.Has
11+ exposed-modules:
12− Control.EnvT
12+ Control.EnvT
13+ Control.Has
14+
13− build-depends: base
15+ build-depends:
16+ , base >=4.10
14− , exceptions
17+ , exceptions
15− , lens
18+ , lens
16− , monad-control
19+ , monad-control
17− , mtl
20+ , mtl
18− , resourcet
21+ , resourcet
19− , transformers-base
22+ , transformers-base
23+
20− default-language: Haskell2010
24+ default-language: Haskell2010
21− default-extensions: ConstraintKinds
25+ default-extensions:
26+ ConstraintKinds
22− , DataKinds
27+ DataKinds
23− , DefaultSignatures
28+ DefaultSignatures
24− , DerivingStrategies
29+ DerivingStrategies
25− , FlexibleContexts
30+ FlexibleContexts
26− , FlexibleInstances
31+ FlexibleInstances
27− , FunctionalDependencies
32+ FunctionalDependencies
28− , GADTs
33+ GADTs
29− , GeneralizedNewtypeDeriving
34+ GeneralizedNewtypeDeriving
30− , KindSignatures
35+ KindSignatures
31− , RankNTypes
36+ RankNTypes
32− , StandaloneDeriving
37+ StandaloneDeriving
38+ TypeFamilies
33− , TypeOperators
39+ TypeOperators
34− , TypeFamilies
35− , UndecidableInstances
40+ UndecidableInstances
36− , UndecidableSuperClasses
41+ UndecidableSuperClasses
src/Control/EnvT.hs+5−1
@@ -19,11 +19,15 @@ import Control.Monad.Trans.Control
19import Control.Monad.Trans.Resource
19import Control.Monad.Trans.Resource
20import Control.Monad.Zip
20import Control.Monad.Zip
21
21
22−#if MIN_VERSION_base(4,18,0)
22+#if MIN_VERSION_mtl(2,3,0)
23import Control.Monad
23import Control.Monad
24import Control.Monad.Fix
24import Control.Monad.Fix
25#endif
25#endif
26
26
27+#if !MIN_VERSION_base(4,13,0)
28+import Control.Monad.Fail
29+#endif
30+
27-- | The only reason this exists is that there are a lot of instances for
31-- | The only reason this exists is that there are a lot of instances for
28-- 'EnvT, which simply pass the implementation to the inner 'm'
32-- 'EnvT, which simply pass the implementation to the inner 'm'
29-- such as 'MonadLogger'.
33-- such as 'MonadLogger'.
src/Control/Has.hs+4
@@ -9,7 +9,11 @@ module Control.Has
9 ) where
9 ) where
10
10
11import Control.Lens
11import Control.Lens
12+-- reexport all from Reader except Control.Monad etc
13+-- to correspond mtl-2.3+
12import Control.Monad.Reader as X
14import Control.Monad.Reader as X
15+ ( MonadReader(..), asks, Reader, runReader, mapReader, withReader
16+ , ReaderT(ReaderT), runReaderT, mapReaderT, withReaderT )
13import Data.Kind
17import Data.Kind
14import GHC.Generics as G
18import GHC.Generics as G
15
19