Closes #33

Author: eelstork

Src/Certainties/Loop.cs

@@ -34,6 +34,8 @@ public static bool operator true  (loop s)
     public static bool operator false (loop s)
     => throw new InvOp("falsehood cannot be tested (loop)");
 
+    public override bool Equals(object x) => x is loop;
+
     override public int GetHashCode() => 0;
 
     public static implicit operator impending(loop self)

Src/Logging/StatusLogging.cs

@@ -22,10 +22,12 @@ partial struct status{
     ? new status(this, new LogTrace(trace.scope, trace.next, reason))
     : this;
 
+    [Obsolete("Use via Active.Raw or Active.Status", false)]
     public static status ε(status s, [P] S path="", [M] S member="",
                                      [L] int line=0)
     => Eval(s, path, member, line);
 
+    [Obsolete("Use via Active.Status or Active.Raw", false)]
     public static status Eval(status s, [P] S path="", [M] S member="",
                                         [L] int line=0)
     => log ? Lg.Status(s, null, path, member, line) : s;

Src/Static/Raw.cs

@@ -17,4 +17,8 @@ public static class Raw{
 
     public static status Eval(status s) => s;
 
+    public static action  Do   (object arg) => @void;
+    public static loop    Cont (object arg) => forever;
+    public static failure Fail (object arg) => @false;
+
 }}

Src/Static/Status.cs

@@ -31,6 +31,10 @@ public static class Status{
 
     public static status ε(status s) => s;
 
+    public static action  Do   (object arg) => action._done;
+    public static loop    Cont (object arg) => loop._cont;
+    public static failure Fail (object arg) => failure._fail;
+
     #else  // logging variants ======================================
 
     internal static bool log => status.log;
@@ -66,6 +70,18 @@ public static status Eval(status s,
                        [P] S path="", [M] S member="", [L] int line=0)
     => status.log ? Lg.Status(s, null, path, member, line) : s;
 
+    public static action Do(object arg,
+                       [P] S path="", [M] S member="", [L] int line=0)
+    => status.log ? Lg.Action(null, path, member, line) : action._done;
+
+    public static loop Cont(object arg,
+                       [P] S path="", [M] S member="", [L] int line=0)
+    => status.log ? Lg.Forever(null, path, member, line) : loop._cont;
+
+    public static failure Fail(object arg,
+                       [P] S path="", [M] S member="", [L] int line=0)
+    => status.log ? Lg.Failure(null, path, member, line) : failure._fail;
+
     public static status ε(status s, [P] S path="", [M] S member="",
                                      [L] int line=0)
     => Eval(s, path, member, line);

Src/Status.cs

@@ -63,7 +63,7 @@ public status Map(in status failTo, in status contTo,
     public status ViaDecorator(IDecorator scope, S reason=null)
     => this;
 
-    [Obsolete("Import Active.Status/Active.Raw", false)]
+    [Obsolete("Use via Active.Status or Active.Raw", false)]
     public static status Eval(status s) => s;
 
     public static status done(S reason = null) => _done;

Tests/TestRawSemantics.cs renamed to Tests/TestActiveRaw.cs

@@ -2,7 +2,7 @@
 using Active.Core;
 using static Active.Raw;
 
-public class TestRawSemantics : TestBase{
+public class TestActiveRaw : TestBase{
 
     [Test] public void Standard(){
         o( done.complete  );
@@ -39,4 +39,8 @@ [Test] public void Eval_([Range(-1, 1)] int val){
         o( s0, Eval(s0) );
     }
 
+    [Test] public void Do_  () => o( Do(null), @void );
+    [Test] public void Cont_() => o( Cont(null), forever );
+    [Test] public void Fail_() => o( Fail(null), @false );
+
 }

Tests/TestStatusStaticImport.cs renamed to Tests/TestActiveStatus.cs

@@ -2,7 +2,7 @@
 using Active.Core;
 using static Active.Status;
 
-public class TestStatusStaticImport : TestBase{
+public class TestActiveStatus : TestBase{
 
     bool _log;
     [SetUp]    public void SaveLoggingState()    => _log = status.log;
@@ -50,4 +50,13 @@ [Test] public void ε_([Range(-1, 1)] int val){
         o( s0, ε(s0) );
     }
 
+    [Test] public void Do_  ([Values(true, false)] bool lg)
+    { status.log = lg; o( Do(null), @void() );     }
+
+    [Test] public void Cont_([Values(true, false)] bool lg)
+    { status.log = lg; o( Cont(null), forever() ); }
+
+    [Test] public void Fail_([Values(true, false)] bool lg)
+    { status.log = lg; o( Fail(null), @false() );  }
+
 }

Tests/TestStatus.cs

@@ -160,6 +160,8 @@ [Test] public void Condoner_withTrace(){
 
 	// SCHEDULED FOR DEPRECATION ====================================
 
+	#pragma warning disable 618
+
 	#if !AL_OPTIMIZE
 
 	[Test] public void Eval_ε([Values(true, false)] bool lg){
@@ -175,8 +177,6 @@ [Test] public void Eval_ε([Values(true, false)] bool lg){
 
 	#endif
 
-	#pragma warning disable 618
-
 	[Test] public void Eval(){
 
 		o( status.Eval(done).complete );