makeChoice | Control.Eff.Logic.NDet |
makeChoiceA | Control.Eff.Logic.NDet |
makeChoiceA0 | Control.Eff.Logic.NDet |
makeChoiceA_manual | Control.Eff.Logic.NDet |
Member | Data.OpenUnion, Control.Eff.Extend, Control.Eff |
modify | |
1 (Function) | Control.Eff.State.Strict |
2 (Function) | Control.Eff.State.Lazy, Control.Eff.QuickStart |
3 (Function) | Control.Eff.State.OnDemand |
Move | |
1 (Type/Class) | Control.Eff.Example |
2 (Data Constructor) | Control.Eff.Example |
MSplit | Control.Eff.Logic.Core, Control.Eff.Logic.NDet |
msplit | Control.Eff.Logic.Core, Control.Eff.Logic.NDet |
msplit' | Control.Eff.Logic.NDet |
msplit'_manual | Control.Eff.Logic.NDet |