#4315: Generalize the 'RandomGen' and 'Random' classes ---------------------------------+------------------------------------------ Reporter: TomMD | Owner: Type: proposal | Status: new Priority: normal | Milestone: Not GHC Component: libraries/random | Version: 6.12.3 Keywords: | Testcase: Blockedby: | Difficulty: Os: Unknown/Multiple | Blocking: Architecture: Unknown/Multiple | Failure: None/Unknown ---------------------------------+------------------------------------------ Changes (by igloo):
* milestone: => Not GHC Old description: > RandomGen and Random classes assume generators produce Int values. This > is non-ideal as many high speed generators produce special values (ex: > doubles) or generic values (bit streams / bytestrings) that can be > converted directly to my types easier than coercing to Int then to an 'a' > via the Random class. > > The proposal is to change the classes from/to: > > class RandomGen g where > > --> > > class RandomGen g v | g -> v where > > and > > class Random a where > > --> > > class Random a v where > > And make needed changes to the classes instances that follow from these. New description: RandomGen and Random classes assume generators produce Int values. This is non-ideal as many high speed generators produce special values (ex: doubles) or generic values (bit streams / bytestrings) that can be converted directly to my types easier than coercing to Int then to an 'a' via the Random class. The proposal is to change the classes from/to: {{{ class RandomGen g where --> class RandomGen g v | g -> v where }}} and {{{ class Random a where --> class Random a v where }}} And make needed changes to the classes instances that follow from these. -- -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4315#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs