Doctest for Void.absurd
authorDavid Luposchainsky <dluposchainsky@gmail.com>
Fri, 11 Aug 2017 08:38:24 +0000 (10:38 +0200)
committerBen Gamari <ben@smart-cactus.org>
Thu, 17 Aug 2017 20:42:55 +0000 (16:42 -0400)
libraries/base/Data/Void.hs

index fd4c0b5..d7fa179 100644 (file)
@@ -67,6 +67,14 @@ instance Exception Void
 -- | Since 'Void' values logically don't exist, this witnesses the
 -- logical reasoning tool of \"ex falso quodlibet\".
 --
+-- >>> let x :: Either Void Int; x = Right 5
+-- >>> :{
+-- case x of
+--     Right r -> r
+--     Left l  -> absurd l
+-- :}
+-- 5
+--
 -- @since 4.8.0.0
 absurd :: Void -> a
 absurd a = case a of {}