We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1736175 commit 8825fecCopy full SHA for 8825fec
servant-server/src/Servant/Server/TypeErrors.hs
@@ -80,3 +80,10 @@ type HasServerArrowTypeError a b =
80
instance {-# OVERLAPPABLE #-} TypeError (NoInstanceForSub HasServer ty) => HasServer (ty :> sub) context
81
82
instance {-# OVERLAPPABLE #-} TypeError (NoInstanceFor (HasServer api context)) => HasServer api context
83
+
84
+-- $setup
85
+-- >>> :set -XDataKinds
86
+-- >>> :set -XTypeOperators
87
+-- >>> import Data.Typeable
88
+-- >>> import Servant.API
89
+-- >>> import Servant.Server
0 commit comments