e2637cf · typeable/ether

git.iko.soy/typeable/ether

Use only required extensions

commite2637cf6f2244654920b9936c7e685e3d9a22c19 authorIndex Int <vlad.z.4096@gmail.com> dateSun 14 Jun 2015, 01:02 (11 years ago) parent12d9b14

12 files changed+2−45

compare with master

unifiedsplit

src/Control/Ether/Tagged.hs−1 src/Control/Ether/Util.hs+2−1 src/Control/Ether/Wrapped.hs−1 src/Control/Monad/Ether/Except/Class.hs−8 src/Control/Monad/Ether/Reader/Class.hs−8 src/Control/Monad/Ether/State/Class.hs−8 src/Control/Monad/Ether/Writer/Class.hs−8 src/Control/Monad/Trans/Ether/Except.hs−2 src/Control/Monad/Trans/Ether/Reader.hs−2 src/Control/Monad/Trans/Ether/State/Lazy.hs−2 src/Control/Monad/Trans/Ether/State/Strict.hs−2 src/Control/Monad/Trans/Ether/Writer.hs−2

src/Control/Ether/Tagged.hs−1

@@ -4,7 +4,6 @@

44{-# LANGUAGE ConstraintKinds #-}

55{-# LANGUAGE TypeOperators #-}

66{-# LANGUAGE FlexibleInstances #-}

7−{-# LANGUAGE FlexibleContexts #-}

87{-# LANGUAGE UndecidableInstances #-}

98{-# LANGUAGE MultiParamTypeClasses #-}

109{-# LANGUAGE FunctionalDependencies #-}

src/Control/Ether/Util.hs+2−1

@@ -1,4 +1,5 @@

1−{-# LANGUAGE DataKinds, PolyKinds #-}

1+{-# LANGUAGE DataKinds #-}

2+{-# LANGUAGE PolyKinds #-}

23{-# LANGUAGE TypeOperators #-}

34{-# LANGUAGE TypeFamilies #-}

45module Control.Ether.Util

src/Control/Ether/Wrapped.hs−1

@@ -1,6 +1,5 @@

11{-# LANGUAGE MultiParamTypeClasses #-}

22{-# LANGUAGE FlexibleInstances #-}

3−{-# LANGUAGE FlexibleContexts #-}

43{-# LANGUAGE UndecidableInstances #-}

54{-# LANGUAGE ScopedTypeVariables #-}

65{-# LANGUAGE GeneralizedNewtypeDeriving #-}

src/Control/Monad/Ether/Except/Class.hs−8

@@ -1,15 +1,7 @@

11{-# LANGUAGE MultiParamTypeClasses #-}

2−{-# LANGUAGE TypeFamilies #-}

32{-# LANGUAGE FlexibleInstances #-}

4−{-# LANGUAGE FlexibleContexts #-}

53{-# LANGUAGE UndecidableInstances #-}

6−{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE ConstraintKinds #-}

8−{-# LANGUAGE TypeOperators #-}

94{-# LANGUAGE FunctionalDependencies #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

11−{-# LANGUAGE RankNTypes #-}

12−{-# LANGUAGE GeneralizedNewtypeDeriving #-}

135

146-- | See "Control.Monad.Except".

157

src/Control/Monad/Ether/Reader/Class.hs−8

@@ -1,15 +1,7 @@

11{-# LANGUAGE MultiParamTypeClasses #-}

2−{-# LANGUAGE TypeFamilies #-}

32{-# LANGUAGE FlexibleInstances #-}

4−{-# LANGUAGE FlexibleContexts #-}

53{-# LANGUAGE UndecidableInstances #-}

6−{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE ConstraintKinds #-}

8−{-# LANGUAGE TypeOperators #-}

94{-# LANGUAGE FunctionalDependencies #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

11−{-# LANGUAGE RankNTypes #-}

12−{-# LANGUAGE GeneralizedNewtypeDeriving #-}

135

146-- | See "Control.Monad.Reader.Class".

157

src/Control/Monad/Ether/State/Class.hs−8

@@ -1,15 +1,7 @@

11{-# LANGUAGE MultiParamTypeClasses #-}

2−{-# LANGUAGE TypeFamilies #-}

32{-# LANGUAGE FlexibleInstances #-}

4−{-# LANGUAGE FlexibleContexts #-}

53{-# LANGUAGE UndecidableInstances #-}

6−{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE ConstraintKinds #-}

8−{-# LANGUAGE TypeOperators #-}

94{-# LANGUAGE FunctionalDependencies #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

11−{-# LANGUAGE RankNTypes #-}

12−{-# LANGUAGE GeneralizedNewtypeDeriving #-}

135

146-- | See "Control.Monad.State.Class".

157

src/Control/Monad/Ether/Writer/Class.hs−8

@@ -1,15 +1,7 @@

11{-# LANGUAGE MultiParamTypeClasses #-}

2−{-# LANGUAGE TypeFamilies #-}

32{-# LANGUAGE FlexibleInstances #-}

4−{-# LANGUAGE FlexibleContexts #-}

53{-# LANGUAGE UndecidableInstances #-}

6−{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE ConstraintKinds #-}

8−{-# LANGUAGE TypeOperators #-}

94{-# LANGUAGE FunctionalDependencies #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

11−{-# LANGUAGE RankNTypes #-}

12−{-# LANGUAGE GeneralizedNewtypeDeriving #-}

135

146-- | See "Control.Monad.Writer.Class".

157

src/Control/Monad/Trans/Ether/Except.hs−2

@@ -2,10 +2,8 @@

22{-# LANGUAGE MultiParamTypeClasses #-}

33{-# LANGUAGE TypeFamilies #-}

44{-# LANGUAGE FlexibleInstances #-}

5−{-# LANGUAGE FlexibleContexts #-}

65{-# LANGUAGE UndecidableInstances #-}

76{-# LANGUAGE DataKinds #-}

8−{-# LANGUAGE TypeOperators #-}

97{-# LANGUAGE GeneralizedNewtypeDeriving #-}

108

119-- | See "Control.Monad.Trans.Except".

src/Control/Monad/Trans/Ether/Reader.hs−2

@@ -2,10 +2,8 @@

22{-# LANGUAGE MultiParamTypeClasses #-}

33{-# LANGUAGE TypeFamilies #-}

44{-# LANGUAGE FlexibleInstances #-}

5−{-# LANGUAGE FlexibleContexts #-}

65{-# LANGUAGE UndecidableInstances #-}

76{-# LANGUAGE DataKinds #-}

8−{-# LANGUAGE TypeOperators #-}

97{-# LANGUAGE GeneralizedNewtypeDeriving #-}

108

119-- | See "Control.Monad.Trans.Reader".

src/Control/Monad/Trans/Ether/State/Lazy.hs−2

@@ -2,10 +2,8 @@

22{-# LANGUAGE MultiParamTypeClasses #-}

33{-# LANGUAGE TypeFamilies #-}

44{-# LANGUAGE FlexibleInstances #-}

5−{-# LANGUAGE FlexibleContexts #-}

65{-# LANGUAGE UndecidableInstances #-}

76{-# LANGUAGE DataKinds #-}

8−{-# LANGUAGE TypeOperators #-}

97{-# LANGUAGE GeneralizedNewtypeDeriving #-}

108

119-- | See "Control.Monad.Trans.State.Lazy".

src/Control/Monad/Trans/Ether/State/Strict.hs−2

@@ -2,10 +2,8 @@

22{-# LANGUAGE MultiParamTypeClasses #-}

33{-# LANGUAGE TypeFamilies #-}

44{-# LANGUAGE FlexibleInstances #-}

5−{-# LANGUAGE FlexibleContexts #-}

65{-# LANGUAGE UndecidableInstances #-}

76{-# LANGUAGE DataKinds #-}

8−{-# LANGUAGE TypeOperators #-}

97{-# LANGUAGE GeneralizedNewtypeDeriving #-}

108

119-- | See "Control.Monad.Trans.State.Strict".

src/Control/Monad/Trans/Ether/Writer.hs−2

@@ -2,10 +2,8 @@

22{-# LANGUAGE MultiParamTypeClasses #-}

33{-# LANGUAGE TypeFamilies #-}

44{-# LANGUAGE FlexibleInstances #-}

5−{-# LANGUAGE FlexibleContexts #-}

65{-# LANGUAGE UndecidableInstances #-}

76{-# LANGUAGE DataKinds #-}

8−{-# LANGUAGE TypeOperators #-}

97{-# LANGUAGE GeneralizedNewtypeDeriving #-}

108

119-- | See "Control.Monad.Trans.Writer".