git.iko.soy/typeable/servant
on master help sign in
Document that EmptyAPI is, morally speaking, the unit of :<|>
commit021bcd9e237d5a489bb953ea9724414f6c65a200 authorDavid Turner <dave.c.turner@gmail.com> dateTue 16 May 2017, 16:03 (9 years ago) parent0bbc4f9
1 file changed+3−1
compare with master
unifiedsplit
servant/src/Servant/API/Empty.hs+3−1
servant/src/Servant/API/Empty.hs+3−1
@@ -6,5 +6,7 @@ import Data.Typeable (Typeable)
66import Prelude ()
77import Prelude.Compat
88
9−-- | An empty API: one which serves nothing.
9+-- | An empty API: one which serves nothing. Morally speaking, this should be
10+-- the unit of ':<|>'. Implementors of interpretations of API types should
11+-- treat 'EmptyAPI' as close to the unit as possible.
1012data EmptyAPI = EmptyAPI deriving (Typeable, Eq, Show, Bounded)