drop comments
authorCarter Tazio Schonwald <carter.schonwald@gmail.com>
Fri, 10 Feb 2017 19:48:28 +0000 (14:48 -0500)
committerCarter Tazio Schonwald <carter.schonwald@gmail.com>
Fri, 10 Feb 2017 19:48:28 +0000 (14:48 -0500)
src/System/Random/SplitMix/Internal.hs

index 6c6dac8..420bddf 100644 (file)
@@ -136,28 +136,6 @@ instance Monad m => Monad (RandomT m) where
             (a,_boring) <- ma fseed
             unRandomT# (f a) nextSeed
 
---instance Monad m => Monad (RandomT m) where
---  (>>=) = \ (RandomT# ma) mf ->
---    RandomT# $  \ s ->
---      let
---         (# splitSeed, nextSeed #) = splitGeneratorSplitMix s
---         (# maRes, _boringSeed #) = ma splitSeed
---         (# mfRes , resultSeed  #)
-
-{-
-there are two models of RandomT m a we could do
-
-1)  s -> (m a , s)
-
-or
-
-2)  s -> m (a,s)
-
--- The 'return' function leaves the state unchanged, while @>>=@ uses
--- split on the rng state so that the final state of the first computation
--- is independent of the second ...
-so lets try writing an instance using 1
--}