[Haskell-cafe] numerical subtyping

Jim Apple japple at freeshell.org
Tue Dec 7 21:18:51 EST 2004

Is there a standard Haskell trick for checking run-time assignment to 
data types? I'd like a data type of Probability that ensures its Double 
argument is between 0 and 1.


More information about the Haskell-Cafe mailing list