thenA :: Auto a q1 -> Auto a q2 -> Auto a (Either q1 q2)
thenA (A s11 ini11 ac11 t11) (A s12 ini12 ac12 t12) = (A st init ac2 tr) where
(A s1 ini1 ac1 t1) = leftA (A s11 ini11 ac11 t11)
(A s2 ini2 ac2 t2) = rightA (A s12 ini12 ac12 t12)
st = s1 ++ s2
init = if any ac1 ini1 then
ini1 ++ ini2
else
ini1
tr (Left x) w = let l = t1 (Left x) w
in if (any ac1 l) then
l ++ ini2
else
l
tr (Right x) w = t2 (Right x) w
Replies to Untitled
Title |
Name |
Language |
UNIX |
When |
Re: Untitled |
Sweltering Duck |
haskell |
1435090443 |
8 Years ago. |
{"html5":"htmlmixed","css":"css","javascript":"javascript","php":"php","python":"python","ruby":"ruby","lua":"text\/x-lua","bash":"text\/x-sh","go":"go","c":"text\/x-csrc","cpp":"text\/x-c++src","diff":"diff","latex":"stex","sql":"sql","xml":"xml","apl":"apl","asterisk":"asterisk","c_loadrunner":"text\/x-csrc","c_mac":"text\/x-csrc","coffeescript":"text\/x-coffeescript","csharp":"text\/x-csharp","d":"d","ecmascript":"javascript","erlang":"erlang","groovy":"text\/x-groovy","haskell":"text\/x-haskell","haxe":"text\/x-haxe","html4strict":"htmlmixed","java":"text\/x-java","java5":"text\/x-java","jquery":"javascript","mirc":"mirc","mysql":"sql","ocaml":"text\/x-ocaml","pascal":"text\/x-pascal","perl":"perl","perl6":"perl","plsql":"sql","properties":"text\/x-properties","q":"text\/x-q","scala":"scala","scheme":"text\/x-scheme","tcl":"text\/x-tcl","vb":"text\/x-vb","verilog":"text\/x-verilog","yaml":"text\/x-yaml","z80":"text\/x-z80"}