Overrides a store to have history/pushdown semantics. Setting this store adds a new value on top of the stack. Destroying pops the stack. You can view the entire stack using the Stack wrapper.
Instances10ExplInit, ExplDestroy, ExplGet, ExplMembers, ExplSet, Elem, …
(Elem (s (Stack c)) ~ Stack c, ExplDestroy m (s (Stack c))) => ExplDestroy m (StackStore (Pushdown s c))Defined in apecs-0.9.6 · Apecs.Experimental.Stores(Elem (s (Stack c)) ~ Stack c, ExplGet m (s (Stack c))) => ExplGet m (StackStore (Pushdown s c))Defined in apecs-0.9.6 · Apecs.Experimental.Stores(Elem (s (Stack c)) ~ Stack c, ExplMembers m (s (Stack c))) => ExplMembers m (StackStore (Pushdown s c))Defined in apecs-0.9.6 · Apecs.Experimental.Stores(Elem (s (Stack c)) ~ Stack c, ExplSet m (s (Stack c)), ExplDestroy m (s (Stack c))) => ExplSet m (StackStore (Pushdown s c))Defined in apecs-0.9.6 · Apecs.Experimental.Stores(Functor m, ExplInit m (s (Stack c))) => ExplInit m (Pushdown s c)Defined in apecs-0.9.6 · Apecs.Experimental.Stores(Monad m, ExplGet m (s (Stack c)), ExplSet m (s (Stack c)), ExplDestroy m (s (Stack c)), Elem (s (Stack c)) ~ Stack c) => ExplDestroy m (Pushdown s c)Defined in apecs-0.9.6 · Apecs.Experimental.Stores(Monad m, ExplGet m (s (Stack c)), Elem (s (Stack c)) ~ Stack c) => ExplGet m (Pushdown s c)Defined in apecs-0.9.6 · Apecs.Experimental.Stores(Monad m, ExplMembers m (s (Stack c)), Elem (s (Stack c)) ~ Stack c) => ExplMembers m (Pushdown s c)Defined in apecs-0.9.6 · Apecs.Experimental.Stores(Monad m, ExplGet m (s (Stack c)), ExplSet m (s (Stack c)), Elem (s (Stack c)) ~ Stack c) => ExplSet m (Pushdown s c)Defined in apecs-0.9.6 · Apecs.Experimental.Storestype Elem (Pushdown s c) = cDefined in apecs-0.9.6 · Apecs.Experimental.Stores