git.iko.soy/typeable/ether

on master help sign in

ether.cabal+4−4

compare with master

unifiedsplit

@@ -69,17 +69,17 @@ library

69 , ghc-prim >=0.3

69 , ghc-prim >=0.3

70

70

71 default-language: Haskell2010

71 default-language: Haskell2010

72+ default-extensions: PolyKinds

73+ ScopedTypeVariables

74+ FunctionalDependencies

75+ TypeApplications

72 other-extensions: ConstraintKinds

76 other-extensions: ConstraintKinds

73 DataKinds

77 DataKinds

74 DefaultSignatures

78 DefaultSignatures

75 DeriveGeneric

79 DeriveGeneric

76 FlexibleInstances

80 FlexibleInstances

77− FunctionalDependencies

78 GeneralizedNewtypeDeriving

81 GeneralizedNewtypeDeriving

79 MagicHash

82 MagicHash

80− MultiParamTypeClasses

81− ScopedTypeVariables

82− TypeApplications

83 TypeFamilies

83 TypeFamilies

84 TypeOperators

84 TypeOperators

85 UndecidableInstances

85 UndecidableInstances

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

@@ -1,6 +1,4 @@

1{-# LANGUAGE AllowAmbiguousTypes #-}

1{-# LANGUAGE AllowAmbiguousTypes #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

4{-# LANGUAGE MagicHash #-}

2{-# LANGUAGE MagicHash #-}

5

3

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

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

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

@@ -1,11 +1,6 @@

1−{-# LANGUAGE MultiParamTypeClasses #-}

2{-# LANGUAGE FlexibleInstances #-}

1{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE UndecidableInstances #-}

2{-# LANGUAGE UndecidableInstances #-}

4−{-# LANGUAGE FunctionalDependencies #-}

5{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE TypeFamilies #-}

6−{-# LANGUAGE PolyKinds #-}

7−{-# LANGUAGE TypeApplications #-}

8−{-# LANGUAGE ScopedTypeVariables #-}

9{-# LANGUAGE MagicHash #-}

4{-# LANGUAGE MagicHash #-}

10

5

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

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

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

@@ -1,6 +1,4 @@

1{-# LANGUAGE ConstraintKinds #-}

1{-# LANGUAGE ConstraintKinds #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

4

2

5-- | See "Control.Monad.Ether.Except".

3-- | See "Control.Monad.Ether.Except".

6

4

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

@@ -1,6 +1,4 @@

1{-# LANGUAGE ConstraintKinds #-}

1{-# LANGUAGE ConstraintKinds #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

4

2

5-- | See "Control.Monad.Ether.Reader".

3-- | See "Control.Monad.Ether.Reader".

6

4

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

@@ -1,6 +1,4 @@

1{-# LANGUAGE ConstraintKinds #-}

1{-# LANGUAGE ConstraintKinds #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

4

2

5-- | See "Control.Monad.Ether.State.Lazy".

3-- | See "Control.Monad.Ether.State.Lazy".

6

4

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

@@ -1,6 +1,4 @@

1{-# LANGUAGE ConstraintKinds #-}

1{-# LANGUAGE ConstraintKinds #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

4

2

5-- | See "Control.Monad.Ether.State.Strict".

3-- | See "Control.Monad.Ether.State.Strict".

6

4

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

@@ -1,6 +1,4 @@

1{-# LANGUAGE ConstraintKinds #-}

1{-# LANGUAGE ConstraintKinds #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

4

2

5-- | See "Control.Monad.Ether.Writer".

3-- | See "Control.Monad.Ether.Writer".

6

4

src/Control/Monad/Ether/Reader.hs−1

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

1{-# LANGUAGE AllowAmbiguousTypes #-}

1{-# LANGUAGE AllowAmbiguousTypes #-}

2−{-# LANGUAGE ScopedTypeVariables #-}

3{-# LANGUAGE MagicHash #-}

2{-# LANGUAGE MagicHash #-}

4

3

5-- | See "Control.Monad.Reader".

4-- | See "Control.Monad.Reader".

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

@@ -1,11 +1,6 @@

1−{-# LANGUAGE MultiParamTypeClasses #-}

2{-# LANGUAGE FlexibleInstances #-}

1{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE UndecidableInstances #-}

2{-# LANGUAGE UndecidableInstances #-}

4−{-# LANGUAGE FunctionalDependencies #-}

5{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE TypeFamilies #-}

6−{-# LANGUAGE PolyKinds #-}

7−{-# LANGUAGE TypeApplications #-}

8−{-# LANGUAGE ScopedTypeVariables #-}

9{-# LANGUAGE MagicHash #-}

4{-# LANGUAGE MagicHash #-}

10

5

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

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

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

@@ -1,11 +1,6 @@

1−{-# LANGUAGE MultiParamTypeClasses #-}

2{-# LANGUAGE FlexibleInstances #-}

1{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE UndecidableInstances #-}

2{-# LANGUAGE UndecidableInstances #-}

4−{-# LANGUAGE FunctionalDependencies #-}

5{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE TypeFamilies #-}

6−{-# LANGUAGE PolyKinds #-}

7−{-# LANGUAGE TypeApplications #-}

8−{-# LANGUAGE ScopedTypeVariables #-}

9{-# LANGUAGE MagicHash #-}

4{-# LANGUAGE MagicHash #-}

10

5

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

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

src/Control/Monad/Ether/State/Common.hs−2

@@ -1,6 +1,4 @@

1{-# LANGUAGE AllowAmbiguousTypes #-}

1{-# LANGUAGE AllowAmbiguousTypes #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

4{-# LANGUAGE MagicHash #-}

2{-# LANGUAGE MagicHash #-}

5

3

6module Control.Monad.Ether.State.Common

4module Control.Monad.Ether.State.Common

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

@@ -1,6 +1,4 @@

1{-# LANGUAGE AllowAmbiguousTypes #-}

1{-# LANGUAGE AllowAmbiguousTypes #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

4{-# LANGUAGE MagicHash #-}

2{-# LANGUAGE MagicHash #-}

5

3

6-- | See "Control.Monad.Writer".

4-- | See "Control.Monad.Writer".

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

@@ -1,11 +1,6 @@

1−{-# LANGUAGE MultiParamTypeClasses #-}

2{-# LANGUAGE FlexibleInstances #-}

1{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE UndecidableInstances #-}

2{-# LANGUAGE UndecidableInstances #-}

4−{-# LANGUAGE FunctionalDependencies #-}

5{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE TypeFamilies #-}

6−{-# LANGUAGE PolyKinds #-}

7−{-# LANGUAGE TypeApplications #-}

8−{-# LANGUAGE ScopedTypeVariables #-}

9{-# LANGUAGE MagicHash #-}

4{-# LANGUAGE MagicHash #-}

10

5

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

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

src/Control/Monad/Trans/Ether/Dispatch.hs−3

@@ -1,13 +1,10 @@

1{-# OPTIONS_GHC -fno-warn-unticked-promoted-constructors #-}

1{-# OPTIONS_GHC -fno-warn-unticked-promoted-constructors #-}

2

2

3{-# LANGUAGE DeriveGeneric #-}

3{-# LANGUAGE DeriveGeneric #-}

4−{-# LANGUAGE MultiParamTypeClasses #-}

5{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE TypeFamilies #-}

6{-# LANGUAGE FlexibleInstances #-}

5{-# LANGUAGE FlexibleInstances #-}

7{-# LANGUAGE UndecidableInstances #-}

6{-# LANGUAGE UndecidableInstances #-}

8−{-# LANGUAGE ScopedTypeVariables #-}

9{-# LANGUAGE DataKinds #-}

7{-# LANGUAGE DataKinds #-}

10−{-# LANGUAGE PolyKinds #-}

11{-# LANGUAGE GeneralizedNewtypeDeriving #-}

8{-# LANGUAGE GeneralizedNewtypeDeriving #-}

12{-# LANGUAGE MagicHash #-}

9{-# LANGUAGE MagicHash #-}

13

10

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

@@ -1,14 +1,10 @@

1{-# LANGUAGE DeriveGeneric #-}

1{-# LANGUAGE DeriveGeneric #-}

2−{-# LANGUAGE MultiParamTypeClasses #-}

3{-# LANGUAGE TypeFamilies #-}

2{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE FlexibleInstances #-}

5{-# LANGUAGE UndecidableInstances #-}

4{-# LANGUAGE UndecidableInstances #-}

6{-# LANGUAGE DataKinds #-}

5{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE PolyKinds #-}

8{-# LANGUAGE GeneralizedNewtypeDeriving #-}

6{-# LANGUAGE GeneralizedNewtypeDeriving #-}

9{-# LANGUAGE AllowAmbiguousTypes #-}

7{-# LANGUAGE AllowAmbiguousTypes #-}

10−{-# LANGUAGE TypeApplications #-}

11−{-# LANGUAGE ScopedTypeVariables #-}

12

8

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

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

14

10

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

@@ -1,13 +1,10 @@

1{-# LANGUAGE DeriveGeneric #-}

1{-# LANGUAGE DeriveGeneric #-}

2−{-# LANGUAGE MultiParamTypeClasses #-}

3{-# LANGUAGE TypeFamilies #-}

2{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE FlexibleInstances #-}

5{-# LANGUAGE UndecidableInstances #-}

4{-# LANGUAGE UndecidableInstances #-}

6{-# LANGUAGE DataKinds #-}

5{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE PolyKinds #-}

8{-# LANGUAGE GeneralizedNewtypeDeriving #-}

6{-# LANGUAGE GeneralizedNewtypeDeriving #-}

9{-# LANGUAGE AllowAmbiguousTypes #-}

7{-# LANGUAGE AllowAmbiguousTypes #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

11

8

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

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

13

10

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

@@ -1,13 +1,10 @@

1{-# LANGUAGE DeriveGeneric #-}

1{-# LANGUAGE DeriveGeneric #-}

2−{-# LANGUAGE MultiParamTypeClasses #-}

3{-# LANGUAGE TypeFamilies #-}

2{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE FlexibleInstances #-}

5{-# LANGUAGE UndecidableInstances #-}

4{-# LANGUAGE UndecidableInstances #-}

6{-# LANGUAGE DataKinds #-}

5{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE PolyKinds #-}

8{-# LANGUAGE GeneralizedNewtypeDeriving #-}

6{-# LANGUAGE GeneralizedNewtypeDeriving #-}

9{-# LANGUAGE AllowAmbiguousTypes #-}

7{-# LANGUAGE AllowAmbiguousTypes #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

11

8

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

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

13

10

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

@@ -1,13 +1,10 @@

1{-# LANGUAGE DeriveGeneric #-}

1{-# LANGUAGE DeriveGeneric #-}

2−{-# LANGUAGE MultiParamTypeClasses #-}

3{-# LANGUAGE TypeFamilies #-}

2{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE FlexibleInstances #-}

5{-# LANGUAGE UndecidableInstances #-}

4{-# LANGUAGE UndecidableInstances #-}

6{-# LANGUAGE DataKinds #-}

5{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE PolyKinds #-}

8{-# LANGUAGE GeneralizedNewtypeDeriving #-}

6{-# LANGUAGE GeneralizedNewtypeDeriving #-}

9{-# LANGUAGE AllowAmbiguousTypes #-}

7{-# LANGUAGE AllowAmbiguousTypes #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

11

8

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

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

13

10

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

@@ -1,8 +1,6 @@

1{-# LANGUAGE DeriveGeneric #-}

1{-# LANGUAGE DeriveGeneric #-}

2{-# LANGUAGE GeneralizedNewtypeDeriving #-}

2{-# LANGUAGE GeneralizedNewtypeDeriving #-}

3{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE FlexibleInstances #-}

4−{-# LANGUAGE PolyKinds #-}

5−{-# LANGUAGE MultiParamTypeClasses #-}

6{-# LANGUAGE UndecidableInstances #-}

4{-# LANGUAGE UndecidableInstances #-}

7{-# LANGUAGE ConstraintKinds #-}

5{-# LANGUAGE ConstraintKinds #-}

8{-# LANGUAGE TypeFamilies #-}

6{-# LANGUAGE TypeFamilies #-}

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

@@ -1,14 +1,10 @@

1{-# LANGUAGE DeriveGeneric #-}

1{-# LANGUAGE DeriveGeneric #-}

2−{-# LANGUAGE MultiParamTypeClasses #-}

3{-# LANGUAGE TypeFamilies #-}

2{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE FlexibleInstances #-}

3{-# LANGUAGE FlexibleInstances #-}

5{-# LANGUAGE UndecidableInstances #-}

4{-# LANGUAGE UndecidableInstances #-}

6{-# LANGUAGE DataKinds #-}

5{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE PolyKinds #-}

8{-# LANGUAGE GeneralizedNewtypeDeriving #-}

6{-# LANGUAGE GeneralizedNewtypeDeriving #-}

9{-# LANGUAGE AllowAmbiguousTypes #-}

7{-# LANGUAGE AllowAmbiguousTypes #-}

10−{-# LANGUAGE TypeApplications #-}

11−{-# LANGUAGE ScopedTypeVariables #-}

12

8

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

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

14

10