MonadRandom 0.1.5 → 0.1.6
raw patch · 2 files changed
+3/−3 lines, 2 filesdep ~basenew-uploaderPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Control.Monad.Random: instance (Monad m) => Applicative (RandT g m)
- Control.Monad.Random: instance (Monad m) => Functor (RandT g m)
- Control.Monad.Random: instance (Monad m) => Monad (RandT g m)
- Control.Monad.Random: instance (MonadFix m) => MonadFix (RandT g m)
- Control.Monad.Random: instance (MonadIO m) => MonadIO (RandT g m)
- Control.Monad.Random: instance (MonadRandom m) => MonadRandom (ReaderT r m)
- Control.Monad.Random: instance (MonadRandom m) => MonadRandom (StateT s m)
- Control.Monad.Random: instance (MonadSplit g m) => MonadSplit g (ReaderT r m)
- Control.Monad.Random: instance (MonadSplit g m) => MonadSplit g (StateT s m)
- Control.Monad.Random: instance (RandomGen g) => MonadRandom (Rand g)
- Control.Monad.Random: instance (RandomGen g) => MonadSplit g (Rand g)
+ Control.Monad.Random: instance (Functor m, Monad m) => Applicative (RandT g m)
+ Control.Monad.Random: instance Functor m => Functor (RandT g m)
+ Control.Monad.Random: instance Monad m => Monad (RandT g m)
+ Control.Monad.Random: instance MonadFix m => MonadFix (RandT g m)
+ Control.Monad.Random: instance MonadIO m => MonadIO (RandT g m)
+ Control.Monad.Random: instance MonadRandom m => MonadRandom (ReaderT r m)
+ Control.Monad.Random: instance MonadRandom m => MonadRandom (StateT s m)
+ Control.Monad.Random: instance MonadSplit g m => MonadSplit g (ReaderT r m)
+ Control.Monad.Random: instance MonadSplit g m => MonadSplit g (StateT s m)
+ Control.Monad.Random: instance RandomGen g => MonadRandom (Rand g)
+ Control.Monad.Random: instance RandomGen g => MonadSplit g (Rand g)
- Control.Monad.Random: data (RandomGen g) => RandT g m a
+ Control.Monad.Random: data RandomGen g => RandT g m a
- Control.Monad.Random: evalRand :: (RandomGen g) => Rand g a -> g -> a
+ Control.Monad.Random: evalRand :: RandomGen g => Rand g a -> g -> a
- Control.Monad.Random: fromList :: (MonadRandom m) => [(a, Rational)] -> m a
+ Control.Monad.Random: fromList :: MonadRandom m => [(a, Rational)] -> m a
- Control.Monad.Random: runRand :: (RandomGen g) => Rand g a -> g -> (a, g)
+ Control.Monad.Random: runRand :: RandomGen g => Rand g a -> g -> (a, g)
- Control.Monad.Random.Class: class (Monad m) => MonadRandom m
+ Control.Monad.Random.Class: class Monad m => MonadRandom m
- Control.Monad.Random.Class: class (Monad m) => MonadSplit s m | m -> s
+ Control.Monad.Random.Class: class Monad m => MonadSplit s m | m -> s
- Control.Monad.Random.Class: getSplit :: (MonadSplit s m) => m s
+ Control.Monad.Random.Class: getSplit :: MonadSplit s m => m s
Files
- Control/Monad/Random.hs +2/−2
- MonadRandom.cabal +1/−1
Control/Monad/Random.hs view
@@ -1,6 +1,7 @@ {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE GeneralizedNewtypeDeriving #-}+{-# OPTIONS -fno-warn-orphans #-} {- | Copyright : 2006-2007 Cale Gibbard, Russell O'Connor, Dan Doel, Remi Turk, Eric Kidd.@@ -47,7 +48,6 @@ import Control.Monad.State import Control.Monad.Trans() import Control.Monad.Writer-import Control.Monad.Fix import Control.Arrow import Control.Applicative @@ -56,7 +56,7 @@ newtype (RandomGen g) => RandT g m a = RandT (StateT g m a) deriving (Functor, Monad, MonadTrans, MonadIO, MonadFix) -instance (Monad m) => Applicative (RandT g m) where+instance (Functor m,Monad m) => Applicative (RandT g m) where pure = return (<*>) = ap
MonadRandom.cabal view
@@ -1,6 +1,6 @@ Name: MonadRandom Build-type: Simple-Version: 0.1.5+Version: 0.1.6 Synopsis: Random-number generation monad. Description: Support for computations which consume random values. License: OtherLicense