git.iko.soy/typeable/ether

on master help sign in

src/Control/Ether/Tagged.hs−1

compare with master

unifiedsplit

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

4{-# LANGUAGE ConstraintKinds #-}

4{-# LANGUAGE ConstraintKinds #-}

5{-# LANGUAGE TypeOperators #-}

5{-# LANGUAGE TypeOperators #-}

6{-# LANGUAGE FlexibleInstances #-}

6{-# LANGUAGE FlexibleInstances #-}

7−{-# LANGUAGE FlexibleContexts #-}

8{-# LANGUAGE UndecidableInstances #-}

7{-# LANGUAGE UndecidableInstances #-}

9{-# LANGUAGE MultiParamTypeClasses #-}

8{-# LANGUAGE MultiParamTypeClasses #-}

10{-# LANGUAGE FunctionalDependencies #-}

9{-# LANGUAGE FunctionalDependencies #-}

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

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

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

1+{-# LANGUAGE DataKinds #-}

2+{-# LANGUAGE PolyKinds #-}

2{-# LANGUAGE TypeOperators #-}

3{-# LANGUAGE TypeOperators #-}

3{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE TypeFamilies #-}

4module Control.Ether.Util

5module Control.Ether.Util

src/Control/Ether/Wrapped.hs−1

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

1{-# LANGUAGE MultiParamTypeClasses #-}

1{-# LANGUAGE MultiParamTypeClasses #-}

2{-# LANGUAGE FlexibleInstances #-}

2{-# LANGUAGE FlexibleInstances #-}

3−{-# LANGUAGE FlexibleContexts #-}

4{-# LANGUAGE UndecidableInstances #-}

3{-# LANGUAGE UndecidableInstances #-}

5{-# LANGUAGE ScopedTypeVariables #-}

4{-# LANGUAGE ScopedTypeVariables #-}

6{-# LANGUAGE GeneralizedNewtypeDeriving #-}

5{-# LANGUAGE GeneralizedNewtypeDeriving #-}

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

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

1{-# LANGUAGE MultiParamTypeClasses #-}

1{-# LANGUAGE MultiParamTypeClasses #-}

2−{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE FlexibleInstances #-}

2{-# LANGUAGE FlexibleInstances #-}

4−{-# LANGUAGE FlexibleContexts #-}

5{-# LANGUAGE UndecidableInstances #-}

3{-# LANGUAGE UndecidableInstances #-}

6−{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE ConstraintKinds #-}

8−{-# LANGUAGE TypeOperators #-}

9{-# LANGUAGE FunctionalDependencies #-}

4{-# LANGUAGE FunctionalDependencies #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

11−{-# LANGUAGE RankNTypes #-}

12−{-# LANGUAGE GeneralizedNewtypeDeriving #-}

13

5

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

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

15

7

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

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

1{-# LANGUAGE MultiParamTypeClasses #-}

1{-# LANGUAGE MultiParamTypeClasses #-}

2−{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE FlexibleInstances #-}

2{-# LANGUAGE FlexibleInstances #-}

4−{-# LANGUAGE FlexibleContexts #-}

5{-# LANGUAGE UndecidableInstances #-}

3{-# LANGUAGE UndecidableInstances #-}

6−{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE ConstraintKinds #-}

8−{-# LANGUAGE TypeOperators #-}

9{-# LANGUAGE FunctionalDependencies #-}

4{-# LANGUAGE FunctionalDependencies #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

11−{-# LANGUAGE RankNTypes #-}

12−{-# LANGUAGE GeneralizedNewtypeDeriving #-}

13

5

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

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

15

7

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

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

1{-# LANGUAGE MultiParamTypeClasses #-}

1{-# LANGUAGE MultiParamTypeClasses #-}

2−{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE FlexibleInstances #-}

2{-# LANGUAGE FlexibleInstances #-}

4−{-# LANGUAGE FlexibleContexts #-}

5{-# LANGUAGE UndecidableInstances #-}

3{-# LANGUAGE UndecidableInstances #-}

6−{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE ConstraintKinds #-}

8−{-# LANGUAGE TypeOperators #-}

9{-# LANGUAGE FunctionalDependencies #-}

4{-# LANGUAGE FunctionalDependencies #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

11−{-# LANGUAGE RankNTypes #-}

12−{-# LANGUAGE GeneralizedNewtypeDeriving #-}

13

5

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

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

15

7

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

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

1{-# LANGUAGE MultiParamTypeClasses #-}

1{-# LANGUAGE MultiParamTypeClasses #-}

2−{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE FlexibleInstances #-}

2{-# LANGUAGE FlexibleInstances #-}

4−{-# LANGUAGE FlexibleContexts #-}

5{-# LANGUAGE UndecidableInstances #-}

3{-# LANGUAGE UndecidableInstances #-}

6−{-# LANGUAGE DataKinds #-}

7−{-# LANGUAGE ConstraintKinds #-}

8−{-# LANGUAGE TypeOperators #-}

9{-# LANGUAGE FunctionalDependencies #-}

4{-# LANGUAGE FunctionalDependencies #-}

10−{-# LANGUAGE ScopedTypeVariables #-}

11−{-# LANGUAGE RankNTypes #-}

12−{-# LANGUAGE GeneralizedNewtypeDeriving #-}

13

5

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

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

15

7

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

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

2{-# LANGUAGE MultiParamTypeClasses #-}

2{-# LANGUAGE MultiParamTypeClasses #-}

3{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE FlexibleInstances #-}

4{-# LANGUAGE FlexibleInstances #-}

5−{-# LANGUAGE FlexibleContexts #-}

6{-# LANGUAGE UndecidableInstances #-}

5{-# LANGUAGE UndecidableInstances #-}

7{-# LANGUAGE DataKinds #-}

6{-# LANGUAGE DataKinds #-}

8−{-# LANGUAGE TypeOperators #-}

9{-# LANGUAGE GeneralizedNewtypeDeriving #-}

7{-# LANGUAGE GeneralizedNewtypeDeriving #-}

10

8

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

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

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

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

2{-# LANGUAGE MultiParamTypeClasses #-}

2{-# LANGUAGE MultiParamTypeClasses #-}

3{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE FlexibleInstances #-}

4{-# LANGUAGE FlexibleInstances #-}

5−{-# LANGUAGE FlexibleContexts #-}

6{-# LANGUAGE UndecidableInstances #-}

5{-# LANGUAGE UndecidableInstances #-}

7{-# LANGUAGE DataKinds #-}

6{-# LANGUAGE DataKinds #-}

8−{-# LANGUAGE TypeOperators #-}

9{-# LANGUAGE GeneralizedNewtypeDeriving #-}

7{-# LANGUAGE GeneralizedNewtypeDeriving #-}

10

8

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

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

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

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

2{-# LANGUAGE MultiParamTypeClasses #-}

2{-# LANGUAGE MultiParamTypeClasses #-}

3{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE FlexibleInstances #-}

4{-# LANGUAGE FlexibleInstances #-}

5−{-# LANGUAGE FlexibleContexts #-}

6{-# LANGUAGE UndecidableInstances #-}

5{-# LANGUAGE UndecidableInstances #-}

7{-# LANGUAGE DataKinds #-}

6{-# LANGUAGE DataKinds #-}

8−{-# LANGUAGE TypeOperators #-}

9{-# LANGUAGE GeneralizedNewtypeDeriving #-}

7{-# LANGUAGE GeneralizedNewtypeDeriving #-}

10

8

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

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

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

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

2{-# LANGUAGE MultiParamTypeClasses #-}

2{-# LANGUAGE MultiParamTypeClasses #-}

3{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE FlexibleInstances #-}

4{-# LANGUAGE FlexibleInstances #-}

5−{-# LANGUAGE FlexibleContexts #-}

6{-# LANGUAGE UndecidableInstances #-}

5{-# LANGUAGE UndecidableInstances #-}

7{-# LANGUAGE DataKinds #-}

6{-# LANGUAGE DataKinds #-}

8−{-# LANGUAGE TypeOperators #-}

9{-# LANGUAGE GeneralizedNewtypeDeriving #-}

7{-# LANGUAGE GeneralizedNewtypeDeriving #-}

10

8

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

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

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

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

2{-# LANGUAGE MultiParamTypeClasses #-}

2{-# LANGUAGE MultiParamTypeClasses #-}

3{-# LANGUAGE TypeFamilies #-}

3{-# LANGUAGE TypeFamilies #-}

4{-# LANGUAGE FlexibleInstances #-}

4{-# LANGUAGE FlexibleInstances #-}

5−{-# LANGUAGE FlexibleContexts #-}

6{-# LANGUAGE UndecidableInstances #-}

5{-# LANGUAGE UndecidableInstances #-}

7{-# LANGUAGE DataKinds #-}

6{-# LANGUAGE DataKinds #-}

8−{-# LANGUAGE TypeOperators #-}

9{-# LANGUAGE GeneralizedNewtypeDeriving #-}

7{-# LANGUAGE GeneralizedNewtypeDeriving #-}

10

8

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

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