rl-satton-0.1.2.4: Collection of Reinforcement Learning algorithms

Safe HaskellNone
LanguageHaskell2010

RL.Imports

Contents

Synopsis

Documentation

Break

newtype Break r m a Source #

For the most common use cases you will:

The meaning of the type parameters:

  • r: the argument type of break and the return type of the loop
  • m: the base Monad that you are running in a loop
  • a: the return type of a Break command (not the same as the return value of the loop)

Constructors

Break 

Fields

Instances

MonadState s m => MonadState s (Break r m) Source # 

Methods

get :: Break r m s #

put :: s -> Break r m () #

state :: (s -> (a, s)) -> Break r m a #

MonadWriter w m => MonadWriter w (Break r m) Source # 

Methods

writer :: (a, w) -> Break r m a #

tell :: w -> Break r m () #

listen :: Break r m a -> Break r m (a, w) #

pass :: Break r m (a, w -> w) -> Break r m a #

MonadTrans (Break r) Source # 

Methods

lift :: Monad m => m a -> Break r m a #

Monad m => Monad (Break r m) Source # 

Methods

(>>=) :: Break r m a -> (a -> Break r m b) -> Break r m b #

(>>) :: Break r m a -> Break r m b -> Break r m b #

return :: a -> Break r m a #

fail :: String -> Break r m a #

Functor m => Functor (Break r m) Source # 

Methods

fmap :: (a -> b) -> Break r m a -> Break r m b #

(<$) :: a -> Break r m b -> Break r m a #

Monad m => Applicative (Break r m) Source # 

Methods

pure :: a -> Break r m a #

(<*>) :: Break r m (a -> b) -> Break r m a -> Break r m b #

(*>) :: Break r m a -> Break r m b -> Break r m b #

(<*) :: Break r m a -> Break r m b -> Break r m a #

MonadIO m => MonadIO (Break r m) Source # 

Methods

liftIO :: IO a -> Break r m a #

MonadCont m => MonadCont (Break r m) Source # 

Methods

callCC :: ((a -> Break r m b) -> Break r m a) -> Break r m a #

loop :: Monad m => Break r m () -> m r Source #

(loop m) runs the action 'm' repeatedly until you break from the loop

break :: Monad m => r -> Break r m a Source #

break from a loop

The argument you supply to break is the return value of the loop

Re-exports

lift :: MonadTrans t => forall m a. Monad m => m a -> t m a #

Lift a computation from the argument monad to the constructed monad.

module Data.Bits

module Data.Ratio

module Data.Tuple

module Data.List

module Data.Maybe

module Data.Set

module Data.Text

module Prelude

trace1 :: Show a => a -> a Source #

traceM :: (Monad m, Show a) => a -> m () Source #

trace' :: Show a => a -> b -> b Source #

loopM :: Monad m => a -> (a -> Bool) -> (a -> m a) -> m a Source #

iter :: Monad m => r -> (r -> Break r m r) -> m r Source #

Orphan instances

MonadRnd g m => MonadRnd g (Break r m) Source # 

Methods

roll :: (g -> (a, g)) -> Break r m a Source #

getGen :: Break r m g Source #

putGen :: g -> Break r m () Source #