Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
withEmpty :: forall a b. (a -> Void) -> (Empty a => b) -> b Source #
Giving falsity witness by proving
from Void
a
.
See also withEmpty'
.
Since 0.4.0.0
withEmpty' :: forall a b. (forall c. a -> c) -> (Empty a => b) -> b Source #
Giving falsity witness by showing a
entails everything.
See also withEmpty
.
Since 0.4.0.0