master..2b0b246 · typeable/control-has

git.iko.soy/typeable/control-has

on 2b0b246 help sign in

control-has.cabal+34−39

since splitsnapshots

unifiedsplit

@@ -1,41 +1,36 @@

1−cabal-version: 2.4

1+cabal-version: 2.4

2−name: control-has

2+name: control-has

3−version: 0.2.0.0

3+version: 0.1.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

8library

9− hs-source-dirs: src

9+ hs-source-dirs: src

10− ghc-options: -Wall

10+ ghc-options: -Wall

11− exposed-modules:

11+ exposed-modules: Control.Has

12− Control.EnvT

12+ Control.EnvT

13− Control.Has

14−

15− build-depends:

13+ build-depends: base

16− , base >=4.10

17− , exceptions

14+ , exceptions

18− , lens

15+ , lens

19− , monad-control

16+ , monad-control

20− , mtl

17+ , mtl

21− , resourcet

18+ , resourcet

22− , transformers-base

19+ , transformers-base

23−

24− default-language: Haskell2010

20+ default-language: Haskell2010

25− default-extensions:

21+ default-extensions: ConstraintKinds

26− ConstraintKinds

27− DataKinds

22+ , DataKinds

28− DefaultSignatures

23+ , DefaultSignatures

29− DerivingStrategies

24+ , DerivingStrategies

30− FlexibleContexts

25+ , FlexibleContexts

31− FlexibleInstances

26+ , FlexibleInstances

32− FunctionalDependencies

27+ , FunctionalDependencies

33− GADTs

28+ , GADTs

34− GeneralizedNewtypeDeriving

29+ , GeneralizedNewtypeDeriving

35− KindSignatures

30+ , KindSignatures

36− RankNTypes

31+ , RankNTypes

37− StandaloneDeriving

32+ , StandaloneDeriving

33+ , TypeOperators

38− TypeFamilies

34+ , TypeFamilies

39− TypeOperators

40− UndecidableInstances

35+ , UndecidableInstances

41− UndecidableSuperClasses

36+ , UndecidableSuperClasses

src/Control/EnvT.hs+1−5

@@ -19,15 +19,11 @@ import Control.Monad.Trans.Control

19import Control.Monad.Trans.Resource

20import Control.Monad.Zip

22−#if MIN_VERSION_mtl(2,3,0)

22+#if MIN_VERSION_base(4,18,0)

23import Control.Monad

24import Control.Monad.Fix

25#endif

27−#if !MIN_VERSION_base(4,13,0)

28−import Control.Monad.Fail

29−#endif

30−

31-- | The only reason this exists is that there are a lot of instances for

27-- | The only reason this exists is that there are a lot of instances for

32-- 'EnvT, which simply pass the implementation to the inner 'm'

28-- 'EnvT, which simply pass the implementation to the inner 'm'

33-- such as 'MonadLogger'.

29-- such as 'MonadLogger'.

src/Control/Has.hs−4

@@ -9,11 +9,7 @@ module Control.Has

9 ) where

11import Control.Lens

12−-- reexport all from Reader except Control.Monad etc

13−-- to correspond mtl-2.3+

14import Control.Monad.Reader as X

12import Control.Monad.Reader as X

15− ( MonadReader(..), asks, Reader, runReader, mapReader, withReader

16− , ReaderT(ReaderT), runReaderT, mapReaderT, withReaderT )

17import Data.Kind

13import Data.Kind

18import GHC.Generics as G

14import GHC.Generics as G