Îõ³h&²f     Safe-InferredT phantom-stateType synonym of  where the underlying   is the   monad. phantom-state‰The Phantom State Transformer is like the State Monad Transformer, but it does not hold any value. Therefore, it automatically discards the result of any computation. Only changes in the state and effects will remain. This transformer produces a new  functor from any  2. The primitive operations in this functor are:': Performs effects. State is unchanged.(: Changes state. No effect is performed.%: Changes state and performs effects. Although  and  are defined in terms of : ä useState f = useAndChangeState (\s -> f s *> pure s) changeState f = useAndChangeState (pure . f)So  is the only actual primitive.Use  (or 6) to get the result of a phantom state computation. phantom-state—Perform an applicative action using the current state, leaving the state unchanged. The result will be discarded, so only the effect will remain. phantom-stateçModify the state using a pure function. No effect will be produced, only the state will be modified. phantom-stateCombination of  and º. It allows you to change the state while performing any effects. The new state will be the result of applying the argument function to the old state. The following equations hold: ‰ useState f *> changeState g } } = useAndChangeState (\s -> f s *> g s) changeState g *> useState f } phantom-stateêPerform a phantom state computation by setting an initial state and running all the actions from there. phantom-stateSpecialized version of  where the underlying   is the   monad. phantom-statePhantom state computation phantom-state Initial state phantom-state Final result phantom-statePhantom state computation phantom-state Initial state phantom-state Final result     +phantom-state-0.2.1.4-sdJegftC9x8UWJ6w7f9YV Control.Applicative.PhantomState PhantomState PhantomStateTuseState changeStateuseAndChangeStaterunPhantomStateTrunPhantomState$fSemigroupPhantomStateT$fMonoidPhantomStateT$fAlternativePhantomStateT$fApplicativePhantomStateT$fFunctorPhantomStateTbaseGHC.BaseMonadData.Functor.IdentityIdentity Applicative