Îõ³h$à”     /A monad for stateful, backtracking computations(c) Samuel Schlesinger 2020MITsgschlesinger@gmail.com experimentalPOSIX, Windows Safe-Inferred+5ÔÙ‚ commandertA Í action is a metaphor for a military commander. At each step, we have a new ( to take, or we could have experienced , or we can see ò. While a real life commander worries about moving his troops around in order to achieve a victory in battle, a Å worries about iteratively transforming a state to find some value.(In more practical terms, a term of type • can be thought of as a backtracking, stateful computation which can either result in a result being produced, or nothing being produced. It is a   for any base à you want to use as the effect inside of the stateful computation, similarly to the free monad. commandert We can run a 8 on some state and see if it has a successful campaign. commandertWe can go from a non- to a  inside of a Ç action. This does the transformation "top to bottom", as opposed to Ÿ, which does it "bottom to top". If your natural transformation is lessening, i.e. it trims branching structure, then you probably want to use this function. commandertWe can go from a  to a non- inside of a Ç action. This does the transformation "bottom to top", as opposed to Ÿ, which does it "top to bottom". If your natural transformation is increasing, i.e. it adds branching structure, then you probably want to use this function.     )commandert-0.1.1.0-EAmUIhkxiOaHlihbV8V0t5Control.Monad.Commander CommanderTActionDefeatVictory runCommanderThoistToFunctorhoistFromFunctor$fAlternativeCommanderT$fMonadCommanderT$fMonadIOCommanderT$fMonadTransCommanderT$fApplicativeCommanderT$fFunctorCommanderTbaseGHC.BaseMonadFunctor