git.iko.soy/typeable/ether

on master help sign in

ether.cabal+4−4

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

6969 , ghc-prim >=0.3

7070

7171 default-language: Haskell2010

72+ default-extensions: PolyKinds

73+ ScopedTypeVariables

74+ FunctionalDependencies

75+ TypeApplications

7276 other-extensions: ConstraintKinds

7377 DataKinds

7478 DefaultSignatures

7579 DeriveGeneric

7680 FlexibleInstances

77− FunctionalDependencies

7881 GeneralizedNewtypeDeriving

7982 MagicHash

80− MultiParamTypeClasses

81− ScopedTypeVariables

82− TypeApplications

8383 TypeFamilies

8484 TypeOperators

8585 UndecidableInstances

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

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

11{-# LANGUAGE AllowAmbiguousTypes #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

42{-# LANGUAGE MagicHash #-}

53

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

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

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

1−{-# LANGUAGE MultiParamTypeClasses #-}

21{-# LANGUAGE FlexibleInstances #-}

32{-# LANGUAGE UndecidableInstances #-}

4−{-# LANGUAGE FunctionalDependencies #-}

53{-# LANGUAGE TypeFamilies #-}

6−{-# LANGUAGE PolyKinds #-}

7−{-# LANGUAGE TypeApplications #-}

8−{-# LANGUAGE ScopedTypeVariables #-}

94{-# LANGUAGE MagicHash #-}

105

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

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

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

11{-# LANGUAGE ConstraintKinds #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

42

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

64

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

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

11{-# LANGUAGE ConstraintKinds #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

42

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

64

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

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

11{-# LANGUAGE ConstraintKinds #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

42

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

64

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

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

11{-# LANGUAGE ConstraintKinds #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

42

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

64

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

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

11{-# LANGUAGE ConstraintKinds #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

42

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

64

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

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

11{-# LANGUAGE AllowAmbiguousTypes #-}

2−{-# LANGUAGE ScopedTypeVariables #-}

32{-# LANGUAGE MagicHash #-}

43

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

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

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

1−{-# LANGUAGE MultiParamTypeClasses #-}

21{-# LANGUAGE FlexibleInstances #-}

32{-# LANGUAGE UndecidableInstances #-}

4−{-# LANGUAGE FunctionalDependencies #-}

53{-# LANGUAGE TypeFamilies #-}

6−{-# LANGUAGE PolyKinds #-}

7−{-# LANGUAGE TypeApplications #-}

8−{-# LANGUAGE ScopedTypeVariables #-}

94{-# LANGUAGE MagicHash #-}

105

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

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

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

1−{-# LANGUAGE MultiParamTypeClasses #-}

21{-# LANGUAGE FlexibleInstances #-}

32{-# LANGUAGE UndecidableInstances #-}

4−{-# LANGUAGE FunctionalDependencies #-}

53{-# LANGUAGE TypeFamilies #-}

6−{-# LANGUAGE PolyKinds #-}

7−{-# LANGUAGE TypeApplications #-}

8−{-# LANGUAGE ScopedTypeVariables #-}

94{-# LANGUAGE MagicHash #-}

105

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

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

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

11{-# LANGUAGE AllowAmbiguousTypes #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

42{-# LANGUAGE MagicHash #-}

53

64module Control.Monad.Ether.State.Common

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

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

11{-# LANGUAGE AllowAmbiguousTypes #-}

2−{-# LANGUAGE TypeApplications #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

42{-# LANGUAGE MagicHash #-}

53

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

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

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

1−{-# LANGUAGE MultiParamTypeClasses #-}

21{-# LANGUAGE FlexibleInstances #-}

32{-# LANGUAGE UndecidableInstances #-}

4−{-# LANGUAGE FunctionalDependencies #-}

53{-# LANGUAGE TypeFamilies #-}

6−{-# LANGUAGE PolyKinds #-}

7−{-# LANGUAGE TypeApplications #-}

8−{-# LANGUAGE ScopedTypeVariables #-}

94{-# LANGUAGE MagicHash #-}

105

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

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

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

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

22

33{-# LANGUAGE DeriveGeneric #-}

4−{-# LANGUAGE MultiParamTypeClasses #-}

54{-# LANGUAGE TypeFamilies #-}

65{-# LANGUAGE FlexibleInstances #-}

76{-# LANGUAGE UndecidableInstances #-}

8−{-# LANGUAGE ScopedTypeVariables #-}

97{-# LANGUAGE DataKinds #-}

10−{-# LANGUAGE PolyKinds #-}

118{-# LANGUAGE GeneralizedNewtypeDeriving #-}

129{-# LANGUAGE MagicHash #-}

1310

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

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

11{-# LANGUAGE DeriveGeneric #-}

2−{-# LANGUAGE MultiParamTypeClasses #-}

32{-# LANGUAGE TypeFamilies #-}

43{-# LANGUAGE FlexibleInstances #-}

54{-# LANGUAGE UndecidableInstances #-}

65{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE PolyKinds #-}

86{-# LANGUAGE GeneralizedNewtypeDeriving #-}

97{-# LANGUAGE AllowAmbiguousTypes #-}

10−{-# LANGUAGE TypeApplications #-}

11−{-# LANGUAGE ScopedTypeVariables #-}

128

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

1410

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

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

11{-# LANGUAGE DeriveGeneric #-}

2−{-# LANGUAGE MultiParamTypeClasses #-}

32{-# LANGUAGE TypeFamilies #-}

43{-# LANGUAGE FlexibleInstances #-}

54{-# LANGUAGE UndecidableInstances #-}

65{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE PolyKinds #-}

86{-# LANGUAGE GeneralizedNewtypeDeriving #-}

97{-# LANGUAGE AllowAmbiguousTypes #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

118

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

1310

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

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

11{-# LANGUAGE DeriveGeneric #-}

2−{-# LANGUAGE MultiParamTypeClasses #-}

32{-# LANGUAGE TypeFamilies #-}

43{-# LANGUAGE FlexibleInstances #-}

54{-# LANGUAGE UndecidableInstances #-}

65{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE PolyKinds #-}

86{-# LANGUAGE GeneralizedNewtypeDeriving #-}

97{-# LANGUAGE AllowAmbiguousTypes #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

118

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

1310

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

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

11{-# LANGUAGE DeriveGeneric #-}

2−{-# LANGUAGE MultiParamTypeClasses #-}

32{-# LANGUAGE TypeFamilies #-}

43{-# LANGUAGE FlexibleInstances #-}

54{-# LANGUAGE UndecidableInstances #-}

65{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE PolyKinds #-}

86{-# LANGUAGE GeneralizedNewtypeDeriving #-}

97{-# LANGUAGE AllowAmbiguousTypes #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

118

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

1310

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

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

11{-# LANGUAGE DeriveGeneric #-}

22{-# LANGUAGE GeneralizedNewtypeDeriving #-}

33{-# LANGUAGE FlexibleInstances #-}

4−{-# LANGUAGE PolyKinds #-}

5−{-# LANGUAGE MultiParamTypeClasses #-}

64{-# LANGUAGE UndecidableInstances #-}

75{-# LANGUAGE ConstraintKinds #-}

86{-# LANGUAGE TypeFamilies #-}

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

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

11{-# LANGUAGE DeriveGeneric #-}

2−{-# LANGUAGE MultiParamTypeClasses #-}

32{-# LANGUAGE TypeFamilies #-}

43{-# LANGUAGE FlexibleInstances #-}

54{-# LANGUAGE UndecidableInstances #-}

65{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE PolyKinds #-}

86{-# LANGUAGE GeneralizedNewtypeDeriving #-}

97{-# LANGUAGE AllowAmbiguousTypes #-}

10−{-# LANGUAGE TypeApplications #-}

11−{-# LANGUAGE ScopedTypeVariables #-}

128

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

1410