module Loopthrough(loopThroughRightSP) where
import SP
import Queue
loopThroughRightSP :: SP (Either a a) (Either a b) -> SP a a -> SP a b
loopThroughRightSP SP (Either a a) (Either a b)
sp1 SP a a
sp2 = QUEUE a -> SP (Either a a) (Either a b) -> SP a a -> SP a b
ltrSP QUEUE a
forall a. QUEUE a
empty SP (Either a a) (Either a b)
sp1 SP a a
sp2
ltrSP :: QUEUE a -> SP (Either a a) (Either a b) -> SP a a -> SP a b
ltrSP QUEUE a
q SP (Either a a) (Either a b)
sp1 SP a a
sp2 =
case SP (Either a a) (Either a b)
sp1 of
PutSP (Right b
out) SP (Either a a) (Either a b)
sp1' -> b -> SP a b -> SP a b
forall a b. b -> SP a b -> SP a b
PutSP b
out (QUEUE a -> SP (Either a a) (Either a b) -> SP a a -> SP a b
ltrSP QUEUE a
q SP (Either a a) (Either a b)
sp1' SP a a
sp2)
PutSP (Left a
loop') SP (Either a a) (Either a b)
sp1' -> QUEUE a -> SP (Either a a) (Either a b) -> SP a a -> SP a b
ltrSP (QUEUE a -> a -> QUEUE a
forall a. QUEUE a -> a -> QUEUE a
enter QUEUE a
q a
loop') SP (Either a a) (Either a b)
sp1' SP a a
sp2
GetSP Either a a -> SP (Either a a) (Either a b)
xsp1 -> QUEUE a
-> (Either a a -> SP (Either a a) (Either a b)) -> SP a a -> SP a b
ltrSP1 QUEUE a
q Either a a -> SP (Either a a) (Either a b)
xsp1 SP a a
sp2
SP (Either a a) (Either a b)
NullSP -> SP a b
forall a b. SP a b
NullSP
ltrSP1 :: QUEUE a
-> (Either a a -> SP (Either a a) (Either a b)) -> SP a a -> SP a b
ltrSP1 QUEUE a
q Either a a -> SP (Either a a) (Either a b)
xsp1 SP a a
sp2 =
case SP a a
sp2 of
PutSP a
x SP a a
sp2' -> QUEUE a -> SP (Either a a) (Either a b) -> SP a a -> SP a b
ltrSP QUEUE a
q (Either a a -> SP (Either a a) (Either a b)
xsp1 (a -> Either a a
forall a b. a -> Either a b
Left a
x)) SP a a
sp2'
GetSP a -> SP a a
xsp2 ->
case QUEUE a -> Maybe (a, QUEUE a)
forall a. QUEUE a -> Maybe (a, QUEUE a)
qremove QUEUE a
q of
Just (a
x,QUEUE a
q') -> QUEUE a
-> (Either a a -> SP (Either a a) (Either a b)) -> SP a a -> SP a b
ltrSP1 QUEUE a
q' Either a a -> SP (Either a a) (Either a b)
xsp1 (a -> SP a a
xsp2 a
x)
Maybe (a, QUEUE a)
Nothing -> (a -> SP a b) -> SP a b
forall a b. (a -> SP a b) -> SP a b
GetSP (\a
x -> SP (Either a a) (Either a b) -> (a -> SP a a) -> SP a b
ltrSP2 (Either a a -> SP (Either a a) (Either a b)
xsp1 (a -> Either a a
forall a b. b -> Either a b
Right a
x)) a -> SP a a
xsp2)
SP a a
NullSP -> (a -> SP a b) -> SP a b
forall a b. (a -> SP a b) -> SP a b
GetSP (SP (Either a a) (Either a b) -> SP a b
forall a b a b. SP (Either a b) (Either a b) -> SP b b
lltrSP (SP (Either a a) (Either a b) -> SP a b)
-> (a -> SP (Either a a) (Either a b)) -> a -> SP a b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Either a a -> SP (Either a a) (Either a b)
xsp1 (Either a a -> SP (Either a a) (Either a b))
-> (a -> Either a a) -> a -> SP (Either a a) (Either a b)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> Either a a
forall a b. b -> Either a b
Right)
ltrSP2 :: SP (Either a a) (Either a b) -> (a -> SP a a) -> SP a b
ltrSP2 SP (Either a a) (Either a b)
sp1 a -> SP a a
xsp2 =
case SP (Either a a) (Either a b)
sp1 of
PutSP (Right b
out) SP (Either a a) (Either a b)
sp1' -> b -> SP a b -> SP a b
forall a b. b -> SP a b -> SP a b
PutSP b
out (SP (Either a a) (Either a b) -> (a -> SP a a) -> SP a b
ltrSP2 SP (Either a a) (Either a b)
sp1' a -> SP a a
xsp2)
PutSP (Left a
loop') SP (Either a a) (Either a b)
sp1' -> SP (Either a a) (Either a b) -> SP a a -> SP a b
loopThroughRightSP SP (Either a a) (Either a b)
sp1' (a -> SP a a
xsp2 a
loop')
GetSP Either a a -> SP (Either a a) (Either a b)
xsp1 -> (a -> SP a b) -> SP a b
forall a b. (a -> SP a b) -> SP a b
GetSP (\a
x -> SP (Either a a) (Either a b) -> (a -> SP a a) -> SP a b
ltrSP2 (Either a a -> SP (Either a a) (Either a b)
xsp1 (a -> Either a a
forall a b. b -> Either a b
Right a
x)) a -> SP a a
xsp2)
SP (Either a a) (Either a b)
NullSP -> SP a b
forall a b. SP a b
NullSP
lltrSP :: SP (Either a b) (Either a b) -> SP b b
lltrSP SP (Either a b) (Either a b)
sp1 =
case SP (Either a b) (Either a b)
sp1 of
PutSP (Right b
out) SP (Either a b) (Either a b)
sp1' -> b -> SP b b -> SP b b
forall a b. b -> SP a b -> SP a b
PutSP b
out (SP (Either a b) (Either a b) -> SP b b
lltrSP SP (Either a b) (Either a b)
sp1')
PutSP (Left a
loop') SP (Either a b) (Either a b)
sp1' -> SP (Either a b) (Either a b) -> SP b b
lltrSP SP (Either a b) (Either a b)
sp1'
GetSP Either a b -> SP (Either a b) (Either a b)
xsp1 -> (b -> SP b b) -> SP b b
forall a b. (a -> SP a b) -> SP a b
GetSP (SP (Either a b) (Either a b) -> SP b b
lltrSP (SP (Either a b) (Either a b) -> SP b b)
-> (b -> SP (Either a b) (Either a b)) -> b -> SP b b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Either a b -> SP (Either a b) (Either a b)
xsp1 (Either a b -> SP (Either a b) (Either a b))
-> (b -> Either a b) -> b -> SP (Either a b) (Either a b)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. b -> Either a b
forall a b. b -> Either a b
Right)
SP (Either a b) (Either a b)
NullSP -> SP b b
forall a b. SP a b
NullSP