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