git.iko.soy/typeable/ether
on c16ac65 help sign in
7b3583a
swap
0 ahead, 7 behind
.travis.yml+1−16
since splitsnapshots
unifiedsplit
@@ -1,19 +1,12 @@
1language: nix
1language: nix
2
2
3−os:
4− - linux
5− - osx
6−
7env:
3env:
8 - HC=ghc822
4 - HC=ghc822
9 - HC=ghc844
5 - HC=ghc844
10 - HC=ghc861
6 - HC=ghc861
11
7
12−before_install:
13− - curl https://raw.githubusercontent.com/monadfix/nix-cabal/master/nix-cabal -o nix-cabal && chmod u+x nix-cabal
14− - travis_retry ./nix-cabal new-update
15−
16script:
8script:
9+ - travis_retry ./nix-cabal new-update
17 - ./nix-cabal new-test ether:regression
10 - ./nix-cabal new-test ether:regression
18 - ./nix-cabal new-bench ether:bench
11 - ./nix-cabal new-bench ether:bench
19
12
@@ -21,11 +14,3 @@ cache:
21 directories:
14 directories:
22 - ~/.cabal
15 - ~/.cabal
23 - ~/.ghc
16 - ~/.ghc
24−
25−matrix:
26− # broken at the moment
27− exclude:
28− - os: osx
29− env: HC=ghc822
30− - os: osx
31− env: HC=ghc861
ether.cabal+11−7
@@ -1,17 +1,21 @@
1−cabal-version: 2.2
2name: ether
1name: ether
3−version: 0.5.2.0
2+version: 0.5.1.0
4synopsis: Monad transformers and classes
3synopsis: Monad transformers and classes
5−description: Lib
4+description:
6−license: BSD-3-Clause
5+ Ether is a Haskell library that extends @mtl@ and @transformers@ with
7−-- ^ unfortunately have to change this line due to the issue with cabal2nix
6+ tagged monad transformers and classes in a compatible way.
8−license-file: LICENSE
7+
8+ Introduction <https://int-index.github.io/ether/>
9+
9category: Control
10category: Control
11+license: BSD3
12+license-file: LICENSE
10author: Vladislav Zavialov
13author: Vladislav Zavialov
11maintainer: Vladislav Zavialov <vlad.z.4096@gmail.com>
14maintainer: Vladislav Zavialov <vlad.z.4096@gmail.com>
12homepage: https://int-index.github.io/ether/
15homepage: https://int-index.github.io/ether/
13bug-reports: https://github.com/int-index/ether/issues
16bug-reports: https://github.com/int-index/ether/issues
14build-type: Simple
17build-type: Simple
18+cabal-version: >=1.18
15extra-source-files: CHANGELOG.md
19extra-source-files: CHANGELOG.md
16
20
17source-repository head
21source-repository head
@@ -57,7 +61,7 @@ library
57 base >=4.9 && <4.13,
61 base >=4.9 && <4.13,
58 transformers >=0.5.2.0,
62 transformers >=0.5.2.0,
59 transformers-lift >=0.2.0.1,
63 transformers-lift >=0.2.0.1,
60− mtl >=2.2.2,
64+ mtl >=2.2.1,
61 mmorph >=1.0.4,
65 mmorph >=1.0.4,
62 monad-control >=1.0.0.4,
66 monad-control >=1.0.0.4,
63 transformers-base >=0.4.4,
67 transformers-base >=0.4.4,
nix-cabalnew file+12
@@ -0,0 +1,12 @@
1+#!/usr/bin/env bash
2+
3+set -e
4+
5+if [ -z "$HC" ]; then
6+ ARG_HC=""
7+else
8+ ARG_HC="--argstr hc $HC"
9+fi
10+
11+CMD="cabal $@"
12+nix-shell --pure $ARG_HC --run "$CMD"
shell.nix+1−2
@@ -13,9 +13,8 @@ pkgs.stdenv.mkDerivation rec {
13 ];
13 ];
14 shellHook = ''
14 shellHook = ''
15 export LD_LIBRARY_PATH=${pkgs.lib.makeLibraryPath buildInputs}:$LD_LIBRARY_PATH
15 export LD_LIBRARY_PATH=${pkgs.lib.makeLibraryPath buildInputs}:$LD_LIBRARY_PATH
16− export LANG=en_US.UTF-8
17 '';
16 '';
18− LOCALE_ARCHIVE =
17+ LOCALE_ARCHIVES =
19 if pkgs.stdenv.isLinux
18 if pkgs.stdenv.isLinux
20 then "${pkgs.glibcLocales}/lib/locale/locale-archive"
19 then "${pkgs.glibcLocales}/lib/locale/locale-archive"
21 else "";
20 else "";
src/Ether/Reader.hs+2−2
@@ -139,7 +139,7 @@ readerT = coerce (T.ReaderT @r @m @a)
139-- | Runs a 'ReaderT' with the given environment
139-- | Runs a 'ReaderT' with the given environment
140-- and returns the final value.
140-- and returns the final value.
141runReaderT :: forall tag r m a . ReaderT tag r m a -> r -> m a
141runReaderT :: forall tag r m a . ReaderT tag r m a -> r -> m a
142−runReaderT = coerce (T.runReaderT @r @m @a)
142+runReaderT = coerce (T.runReaderT @r @_ @m @a)
143
143
144-- | Runs a 'ReaderT' with the given environment
144-- | Runs a 'ReaderT' with the given environment
145-- and returns the final value.
145-- and returns the final value.
@@ -203,7 +203,7 @@ type ReadersT r = TaggedTrans (READERS (Tags r)) (T.ReaderT r)
203type Readers r = ReadersT r Identity
203type Readers r = ReadersT r Identity
204
204
205runReadersT :: forall p m a . ReadersT p m a -> p -> m a
205runReadersT :: forall p m a . ReadersT p m a -> p -> m a
206−runReadersT = coerce (T.runReaderT @p @m @a)
206+runReadersT = coerce (T.runReaderT @p @_ @m @a)
207
207
208runReaders :: forall p a . Readers p a -> p -> a
208runReaders :: forall p a . Readers p a -> p -> a
209runReaders = coerce (T.runReader @p @a)
209runReaders = coerce (T.runReader @p @a)