Monad m => MkStream m S (Unit C) Source #  

Monad m => MkStream m S (Unit O) Source #  

Monad m => MkStream m S (Unit I) Source #  

TableStaticVar c u (Unit C) Source #  

TableStaticVar c u (Unit O) Source #  

TableStaticVar c u (Unit I) Source #  

(Monad m, MkStream m S is) => MkStream m S ((:.) is (Unit C)) Source #  

(Monad m, MkStream m S is) => MkStream m S ((:.) is (Unit O)) Source #  

(Monad m, MkStream m S is) => MkStream m S ((:.) is (Unit I)) Source #  

RuleContext (Unit I) Source #  

RuleContext (Unit O) Source #  

RuleContext (Unit C) Source #  
