Improve unit coverage and fix #57

Author: eelstork

Src/Certainties/Action.cs

@@ -23,20 +23,26 @@ public readonly partial struct action{
 
     public static loop operator - (action x) => loop._cont;
 
-    public static bool operator true  (action s)
+    // NOTE: required since `false` is implemented; there is not
+    // a known instance where this function would be called.
+    public static bool operator true(action s)
     => throw new InvOp("truehood cannot be tested (action)");
 
+    // NOTE: used in action && action
     public static bool operator false (action s) => false;
 
+    public override bool Equals(object x) => x is action;
+
+    override public int GetHashCode() => 1;
+
     #if AL_OPTIMIZE   // --------------------------------------------
 
     public static action done(ValidString reason = null) => _done;
 
     public static failure operator ! (action s) => failure._fail;
     #endif
 
-    public static implicit operator bool(action self)
-    => true;
+    public static implicit operator bool(action self) => true;
 
     public static implicit operator status(action self)
     => status._done;

Src/Certainties/Failure.cs

@@ -27,6 +27,10 @@ public readonly partial struct failure{
     public static bool operator false (failure s)
     => throw new InvOp("falsehood cannot be tested (failure)");
 
+    public override bool Equals(object x) => x is failure;
+
+    override public int GetHashCode() => -1;
+
     #if AL_OPTIMIZE   // --------------------------------------------
 
     public static failure fail(ValidString reason = null) => _fail;

Src/Certainties/Impending.cs

@@ -45,6 +45,13 @@ public static bool operator true (impending s)
     public static bool operator false(impending s)
     => throw new InvOp("Cannot test falsehood (impending)");
 
+    public override bool Equals(object x)
+    => x is impending && Equals((impending)x);
+
+    public bool Equals(in impending x) => true;
+
+    override public int GetHashCode() => ω;
+
     override public string ToString()
     => ω == -1 ? "impending.fail" : "impending.cont";
 

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)");
 
+    override public int GetHashCode() => 0;
+
     public static implicit operator impending(loop self)
     => impending._cont;
 

Src/Certainties/Pending.cs

@@ -39,6 +39,13 @@ public static bool operator true (pending s)
 
     public static bool operator false(pending s) => s.ω !=  1;
 
+    public override bool Equals(object x)
+    => x is pending && Equals((pending)x);
+
+    public bool Equals(in pending x) => this.ω == x.ω;
+
+    override public int GetHashCode() => ω;
+
     public override string ToString()
     => ω == 0 ? "pending.cont" : "pending.done";
 

Src/Decorators/Drive.cs

@@ -24,10 +24,8 @@ public class Drive : AbstractDecorator{
         return @in.running ? Eval(crit) : Bypass();
     }}
 
-    public Gate? this[bool @in, bool crit]{ get{
-        StatusRef.hold = @in ? status.cont() : status.fail();
-        return @in ? Eval(crit) : Bypass();
-    }}
+    public Gate? this[bool @in, bool crit]
+    => this[@in ? status.cont() : status.fail(), crit];
 
     protected Gate Eval(bool crit, ValidString reason=null)
     => new Gate(this, crit, new LogData(this, ".", reason));

Src/Decorators/InOut.cs

@@ -7,7 +7,7 @@ namespace Active.Core{
 public class InOut : Conditional{
 
     static int uid; internal static int id => uid = ID(uid);
-    bool passing;
+    internal bool passing;
     int frame;
 
     public Gate? this[bool @in, bool @out]{ get{

Src/Decorators/Once.cs

@@ -65,7 +65,7 @@ public StatusRef this[status s]{ get{
 #if !AL_BEST_PERF
 partial class Task{
 	public Self.Gate? Once([Tag] int key = -1)
-	=> store.Decorator<Self>(key, Self.id)?.pass;
+	=> store.Decorator<Self>(key, Self.id).pass;
 }
 #endif
 

Src/Decorators/Timeout.cs

@@ -9,10 +9,10 @@ public class Timeout : Conditional, Conditional.OptionalArguments{
 
     static int uid; internal static int id => uid = ID(uid);
 	public float duration = 1;
-	float stamp;
+	internal float stamp;
     int frame;
 
-	bool enabled => stamp != -1;
+	internal bool enabled => stamp != -1;
 
 	public Timeout() => stamp = time;
 
@@ -36,7 +36,7 @@ public Gate? this[float s]{ get{
 
 	override public void OnStatus(status s) => OnStatus(s.running);
 
-    void OnStatus(bool running)
+    internal void OnStatus(bool running)
 	=> stamp = enabled ^ running ? (enabled ? -1 : time) : stamp;
 
     override public action Reset(){ stamp = -1; return @void(); }

Src/Decorators/Undef.cs

@@ -14,15 +14,17 @@ public class Undef : AbstractDecorator{
 
     static int uid; internal static int id => uid = ID(uid);
     protected Random _random;
-    float stamp;
+    internal float stamp;
     status value;
 
 	public Undef(){}
 
-    protected Random random => _random ?? (_random = new Random());
+    internal Random random => _random ?? (_random = new Random());
 
     public status this[float s]{ get{
-		var t = time; if(stamp == 0) stamp = t; var remaining = s + stamp - t;
+		var t = time;
+        if(stamp == 0) stamp = t;
+        var remaining = s + stamp - t;
 		return (
             (remaining > 0) ? value
             : (value = status.@unchecked(random.Next(-1, 2)))