Lets not expose the internal structure of Markov, in case we want to change it later on.
I'd suggest we add a function: markovToAdjacencyMap :: Markov state cmd_ prob -> Map state (Map state (cmd, prob)) instead. (This type is what the alga library uses for labelled graphs.)
Lets not expose the internal structure of
Markov, in case we want to change it later on.I'd suggest we add a function:
markovToAdjacencyMap :: Markov state cmd_ prob -> Map state (Map state (cmd, prob))instead. (This type is what thealgalibrary uses for labelled graphs.)