Call | Control.Effect.Cut |
call | Control.Effect.Cut |
Carrier | Control.Effect.Carrier, Control.Effect.State.Strict, Control.Effect.State, Control.Effect.State.Lazy, Control.Effect.Reader, Control.Effect.Random, Control.Effect.NonDet, Control.Effect.Lift, Control.Effect.Fresh, Control.Effect.Error, Control.Effect.Resumable, Control.Effect.Fail, Control.Effect.Cut, Control.Effect.Cull, Control.Effect.Trace, Control.Effect.Writer, Control.Effect |
Catch | Control.Effect.Error |
catchError | Control.Effect.Error |
Censor | Control.Effect.Writer |
censor | Control.Effect.Writer |
Choose | Control.Effect.NonDet |
Cull | |
1 (Type/Class) | Control.Effect.Cull, Control.Effect |
2 (Data Constructor) | Control.Effect.Cull |
cull | Control.Effect.Cull |
CullC | |
1 (Type/Class) | Control.Effect.Cull, Control.Effect |
2 (Data Constructor) | Control.Effect.Cull |
Cut | Control.Effect.Cut, Control.Effect |
cut | Control.Effect.Cut |
CutC | |
1 (Type/Class) | Control.Effect.Cut, Control.Effect |
2 (Data Constructor) | Control.Effect.Cut |
Cutfail | Control.Effect.Cut |
cutfail | Control.Effect.Cut |