We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6ddee1b commit ac7352aCopy full SHA for ac7352a
src/Data/Void.purs
@@ -3,7 +3,7 @@ module Data.Void (Void, absurd) where
3
import Data.Show (class Show)
4
5
-- | An uninhabited data type. In other words, one can never create
6
--- | a runtime value of type `Void` becaue no such value exists.
+-- | a runtime value of type `Void` because no such value exists.
7
-- |
8
-- | `Void` is useful to eliminate the possibility of a value being created.
9
-- | For example, a value of type `Either Void Boolean` can never have
0 commit comments