Data.Markov.HMarkov

Documentation

data MarkovMap a

Constructors

MarkovMap

Fields

• _idx :: Vector a
• _mMap :: Vector (Vector Double)

Instances

Show a => Show (MarkovMap a)

Methods

showsPrec :: Int -> MarkovMap a -> ShowS

show :: MarkovMap a -> String

showList :: [MarkovMap a] -> ShowS

data MarkovProcess m a

Constructors

MarkovProcess

Fields

• _pMap :: MarkovMap a
• _g :: StdGen
• _lastT :: a
• _acc :: m a

Instances

(Show (m a), Show a) => Show (MarkovProcess m a)

Methods

showsPrec :: Int -> MarkovProcess m a -> ShowS

show :: MarkovProcess m a -> String

showList :: [MarkovProcess m a] -> ShowS

buildMap :: Eq a => Vector a -> MarkovMap a

buildProc :: (Eq a, MonadPlus m) => Vector a -> a -> StdGen -> MarkovProcess m a

runMarkov :: (Eq a, MonadPlus m) => MarkovProcess m a -> (m a, MarkovProcess m a)

runUntil :: (Eq a, MonadPlus m) => (m a -> Bool) -> MarkovProcess m a -> m a