eeva/servant
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix doctests

Browse source
This commit is contained in:
Nicolas BACQUEY 2022-03-21 12:32:59 +01:00
parent b7625a8039
commit e32b28c7c4
No known key found for this signature in database
GPG key ID: 518D364D061C12AC
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
servant-server/src/Servant/Server/TypeErrors.hs
View file

@ -97,3 +97,10 @@ instance {-# OVERLAPPABLE #-} TypeError (NoInstanceForSub
HasServer ty) => HasServer (ty :> sub) context HasServer ty) => HasServer (ty :> sub) context
instance {-# OVERLAPPABLE #-} TypeError (NoInstanceFor (HasServer api context)) => HasServer api context instance {-# OVERLAPPABLE #-} TypeError (NoInstanceFor (HasServer api context)) => HasServer api context
-- $setup
-- >>> :set -XDataKinds
-- >>> :set -XTypeOperators
-- >>> import Data.Typeable
-- >>> import Servant.API
-- >>> import Servant.Server