Call | Control.Eff.Logic.Core, Control.Eff.Logic.NDet |
call | Control.Eff.Logic.Core, Control.Eff.Logic.NDet |
catchDynE | Control.Eff.Extend, Control.Eff |
catchError | Control.Eff.Exception, Control.Eff.QuickStart |
catchesDynE | Control.Eff.Extend, Control.Eff |
censor | |
1 (Function) | Control.Eff.Writer.Strict |
2 (Function) | Control.Eff.Writer.Lazy |
choose | Control.Eff.Logic.NDet |
comp | Control.Eff.Extend |
CutFalse | |
1 (Type/Class) | Control.Eff.Logic.Core, Control.Eff.Logic.NDet |
2 (Data Constructor) | Control.Eff.Logic.Core, Control.Eff.Logic.NDet |
cutfalse | Control.Eff.Logic.Core, Control.Eff.Logic.NDet |