Get | |
1 (Data Constructor) | Control.Eff.State.Strict |
2 (Data Constructor) | Control.Eff.State.Lazy, Control.Eff.QuickStart |
3 (Data Constructor) | Control.Eff.State.OnDemand |
get | |
1 (Function) | Control.Eff.State.Strict |
2 (Function) | Control.Eff.State.Lazy, Control.Eff.QuickStart |
3 (Function) | Control.Eff.State.OnDemand |
gnot | Control.Eff.Logic.Core, Control.Eff.Logic.NDet |