Safe Haskell	None
Language	Haskell2010

Math.RandomTree.Types

Description

Collects all types used in the program

Documentation

data TreeState a Source #

Constructors

TreeState
Fields size :: Int

Instances

Instances details

MonadState (TreeState Int) ReaderStateRandom Source #
Instance details Defined in Math.RandomTree.Types Methods get :: ReaderStateRandom (TreeState Int) # put :: TreeState Int -> ReaderStateRandom () # state :: (TreeState Int -> (a, TreeState Int)) -> ReaderStateRandom a #

data TreeConfig Source #

Constructors

TreeConfig
Fields maxSize :: Int minSize :: Int minChildren :: Int maxChildren :: Int

Instances

Instances details

MonadReader TreeConfig ReaderStateRandom Source #
Instance details Defined in Math.RandomTree.Types Methods ask :: ReaderStateRandom TreeConfig # local :: (TreeConfig -> TreeConfig) -> ReaderStateRandom a -> ReaderStateRandom a # reader :: (TreeConfig -> a) -> ReaderStateRandom a #

newtype ReaderStateRandom a Source #

Constructors

ReaderStateRandom
Fields runReaderStateRandom :: ReaderT TreeConfig (StateT (TreeState Int) (MaybeT (Rand StdGen))) a

Instances

Instances details

MonadRandom ReaderStateRandom Source #
Instance details Defined in Math.RandomTree.Types Methods getRandomR :: Random a => (a, a) -> ReaderStateRandom a # getRandom :: Random a => ReaderStateRandom a # getRandomRs :: Random a => (a, a) -> ReaderStateRandom [a] # getRandoms :: Random a => ReaderStateRandom [a] #
Alternative ReaderStateRandom Source #
Instance details Defined in Math.RandomTree.Types Methods empty :: ReaderStateRandom a # (<\|>) :: ReaderStateRandom a -> ReaderStateRandom a -> ReaderStateRandom a # some :: ReaderStateRandom a -> ReaderStateRandom [a] # many :: ReaderStateRandom a -> ReaderStateRandom [a] #
Applicative ReaderStateRandom Source #
Instance details Defined in Math.RandomTree.Types Methods pure :: a -> ReaderStateRandom a # (<>) :: ReaderStateRandom (a -> b) -> ReaderStateRandom a -> ReaderStateRandom b # liftA2 :: (a -> b -> c) -> ReaderStateRandom a -> ReaderStateRandom b -> ReaderStateRandom c # (>) :: ReaderStateRandom a -> ReaderStateRandom b -> ReaderStateRandom b # (<*) :: ReaderStateRandom a -> ReaderStateRandom b -> ReaderStateRandom a #
Functor ReaderStateRandom Source #
Instance details Defined in Math.RandomTree.Types Methods fmap :: (a -> b) -> ReaderStateRandom a -> ReaderStateRandom b # (<$) :: a -> ReaderStateRandom b -> ReaderStateRandom a #
Monad ReaderStateRandom Source #
Instance details Defined in Math.RandomTree.Types Methods (>>=) :: ReaderStateRandom a -> (a -> ReaderStateRandom b) -> ReaderStateRandom b # (>>) :: ReaderStateRandom a -> ReaderStateRandom b -> ReaderStateRandom b # return :: a -> ReaderStateRandom a #
MonadPlus ReaderStateRandom Source #
Instance details Defined in Math.RandomTree.Types Methods mzero :: ReaderStateRandom a # mplus :: ReaderStateRandom a -> ReaderStateRandom a -> ReaderStateRandom a #
MonadReader TreeConfig ReaderStateRandom Source #
Instance details Defined in Math.RandomTree.Types Methods ask :: ReaderStateRandom TreeConfig # local :: (TreeConfig -> TreeConfig) -> ReaderStateRandom a -> ReaderStateRandom a # reader :: (TreeConfig -> a) -> ReaderStateRandom a #
MonadState (TreeState Int) ReaderStateRandom Source #
Instance details Defined in Math.RandomTree.Types Methods get :: ReaderStateRandom (TreeState Int) # put :: TreeState Int -> ReaderStateRandom () # state :: (TreeState Int -> (a, TreeState Int)) -> ReaderStateRandom a #