git.iko.soy/typeable/ether
on master help sign in
Poly-kinded tags
8f35e40Index Int
src/Control/Monad/Ether/Except/Class.hs+1
compare with master
unifiedsplit
@@ -5,6 +5,7 @@
5{-# LANGUAGE FlexibleInstances #-}
5{-# LANGUAGE FlexibleInstances #-}
6{-# LANGUAGE UndecidableInstances #-}
6{-# LANGUAGE UndecidableInstances #-}
7{-# LANGUAGE FunctionalDependencies #-}
7{-# LANGUAGE FunctionalDependencies #-}
8+{-# LANGUAGE PolyKinds #-}
8
9
9#if __GLASGOW_HASKELL__ < 710
10#if __GLASGOW_HASKELL__ < 710
10{-# LANGUAGE OverlappingInstances #-}
11{-# LANGUAGE OverlappingInstances #-}
src/Control/Monad/Ether/Reader/Class.hs+1
@@ -5,6 +5,7 @@
5{-# LANGUAGE FlexibleInstances #-}
5{-# LANGUAGE FlexibleInstances #-}
6{-# LANGUAGE UndecidableInstances #-}
6{-# LANGUAGE UndecidableInstances #-}
7{-# LANGUAGE FunctionalDependencies #-}
7{-# LANGUAGE FunctionalDependencies #-}
8+{-# LANGUAGE PolyKinds #-}
8
9
9#if __GLASGOW_HASKELL__ < 710
10#if __GLASGOW_HASKELL__ < 710
10{-# LANGUAGE OverlappingInstances #-}
11{-# LANGUAGE OverlappingInstances #-}
src/Control/Monad/Ether/State/Class.hs+1
@@ -5,6 +5,7 @@
5{-# LANGUAGE FlexibleInstances #-}
5{-# LANGUAGE FlexibleInstances #-}
6{-# LANGUAGE UndecidableInstances #-}
6{-# LANGUAGE UndecidableInstances #-}
7{-# LANGUAGE FunctionalDependencies #-}
7{-# LANGUAGE FunctionalDependencies #-}
8+{-# LANGUAGE PolyKinds #-}
8
9
9#if __GLASGOW_HASKELL__ < 710
10#if __GLASGOW_HASKELL__ < 710
10{-# LANGUAGE OverlappingInstances #-}
11{-# LANGUAGE OverlappingInstances #-}
src/Control/Monad/Ether/Writer/Class.hs+1
@@ -5,6 +5,7 @@
5{-# LANGUAGE FlexibleInstances #-}
5{-# LANGUAGE FlexibleInstances #-}
6{-# LANGUAGE UndecidableInstances #-}
6{-# LANGUAGE UndecidableInstances #-}
7{-# LANGUAGE FunctionalDependencies #-}
7{-# LANGUAGE FunctionalDependencies #-}
8+{-# LANGUAGE PolyKinds #-}
8
9
9#if __GLASGOW_HASKELL__ < 710
10#if __GLASGOW_HASKELL__ < 710
10{-# LANGUAGE OverlappingInstances #-}
11{-# LANGUAGE OverlappingInstances #-}
src/Control/Monad/Trans/Ether/Except.hs+1
@@ -4,6 +4,7 @@
4{-# LANGUAGE FlexibleInstances #-}
4{-# LANGUAGE FlexibleInstances #-}
5{-# LANGUAGE UndecidableInstances #-}
5{-# LANGUAGE UndecidableInstances #-}
6{-# LANGUAGE DataKinds #-}
6{-# LANGUAGE DataKinds #-}
7+{-# LANGUAGE PolyKinds #-}
7{-# LANGUAGE GeneralizedNewtypeDeriving #-}
8{-# LANGUAGE GeneralizedNewtypeDeriving #-}
8
9
9-- | See "Control.Monad.Trans.Except".
10-- | See "Control.Monad.Trans.Except".
src/Control/Monad/Trans/Ether/Reader.hs+1
@@ -4,6 +4,7 @@
4{-# LANGUAGE FlexibleInstances #-}
4{-# LANGUAGE FlexibleInstances #-}
5{-# LANGUAGE UndecidableInstances #-}
5{-# LANGUAGE UndecidableInstances #-}
6{-# LANGUAGE DataKinds #-}
6{-# LANGUAGE DataKinds #-}
7+{-# LANGUAGE PolyKinds #-}
7{-# LANGUAGE GeneralizedNewtypeDeriving #-}
8{-# LANGUAGE GeneralizedNewtypeDeriving #-}
8
9
9-- | See "Control.Monad.Trans.Reader".
10-- | See "Control.Monad.Trans.Reader".
src/Control/Monad/Trans/Ether/State/Lazy.hs+1
@@ -4,6 +4,7 @@
4{-# LANGUAGE FlexibleInstances #-}
4{-# LANGUAGE FlexibleInstances #-}
5{-# LANGUAGE UndecidableInstances #-}
5{-# LANGUAGE UndecidableInstances #-}
6{-# LANGUAGE DataKinds #-}
6{-# LANGUAGE DataKinds #-}
7+{-# LANGUAGE PolyKinds #-}
7{-# LANGUAGE GeneralizedNewtypeDeriving #-}
8{-# LANGUAGE GeneralizedNewtypeDeriving #-}
8
9
9-- | See "Control.Monad.Trans.State.Lazy".
10-- | See "Control.Monad.Trans.State.Lazy".
src/Control/Monad/Trans/Ether/State/Strict.hs+1
@@ -4,6 +4,7 @@
4{-# LANGUAGE FlexibleInstances #-}
4{-# LANGUAGE FlexibleInstances #-}
5{-# LANGUAGE UndecidableInstances #-}
5{-# LANGUAGE UndecidableInstances #-}
6{-# LANGUAGE DataKinds #-}
6{-# LANGUAGE DataKinds #-}
7+{-# LANGUAGE PolyKinds #-}
7{-# LANGUAGE GeneralizedNewtypeDeriving #-}
8{-# LANGUAGE GeneralizedNewtypeDeriving #-}
8
9
9-- | See "Control.Monad.Trans.State.Strict".
10-- | See "Control.Monad.Trans.State.Strict".
src/Control/Monad/Trans/Ether/Writer.hs+1
@@ -5,6 +5,7 @@
5{-# LANGUAGE FlexibleInstances #-}
5{-# LANGUAGE FlexibleInstances #-}
6{-# LANGUAGE UndecidableInstances #-}
6{-# LANGUAGE UndecidableInstances #-}
7{-# LANGUAGE DataKinds #-}
7{-# LANGUAGE DataKinds #-}
8+{-# LANGUAGE PolyKinds #-}
8{-# LANGUAGE GeneralizedNewtypeDeriving #-}
9{-# LANGUAGE GeneralizedNewtypeDeriving #-}
9
10
10-- | See "Control.Monad.Trans.Writer".
11-- | See "Control.Monad.Trans.Writer".
stack.yaml+1−1
@@ -2,4 +2,4 @@ flags: {}
2packages:
2packages:
3- '.'
3- '.'
4extra-deps: []
4extra-deps: []
5−resolver: lts-3.9
5+resolver: lts-3.10