This commit is contained in:
Matthias Fischmann 2021-04-23 10:11:13 +02:00
parent ad76c47c2f
commit ffc29929d7
No known key found for this signature in database
GPG key ID: 0DE4AA9C5446EBF4

View file

@ -47,7 +47,7 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-} -}
-- | Type-level code for implementing and using 'UVerb'. Heavily inspired by -- | Type-level code for implementing and using 'UVerb'. Heavily inspired by
-- [world-piece](https://github.com/cdepillabout/world-peace). -- [world-peace](https://github.com/cdepillabout/world-peace).
module Servant.API.UVerb.Union module Servant.API.UVerb.Union
( IsMember ( IsMember
, Unique , Unique