[Haskell] Haskell type containing no non-_|_ values?

Ross Paterson ross at soi.city.ac.uk
Fri Mar 26 12:48:28 EST 2004


On Fri, Mar 26, 2004 at 01:43:25PM +0100, Janis Voigtlaender wrote:
> probably a trivial question: Is there a type in Haskell that contains
> only the undefined value _|_?

take your pick:

	data Void = Void !Void
	newtype Void = Void Void


More information about the Haskell mailing list