equal
deleted
inserted
replaced
247 \hspace*{0pt}\\ |
247 \hspace*{0pt}\\ |
248 \hspace*{0pt}dequeue ::~forall a.~Queue a -> (Maybe a,~Queue a);\\ |
248 \hspace*{0pt}dequeue ::~forall a.~Queue a -> (Maybe a,~Queue a);\\ |
249 \hspace*{0pt}dequeue (AQueue [] []) = (Nothing,~AQueue [] []);\\ |
249 \hspace*{0pt}dequeue (AQueue [] []) = (Nothing,~AQueue [] []);\\ |
250 \hspace*{0pt}dequeue (AQueue xs (y :~ys)) = (Just y,~AQueue xs ys);\\ |
250 \hspace*{0pt}dequeue (AQueue xs (y :~ys)) = (Just y,~AQueue xs ys);\\ |
251 \hspace*{0pt}dequeue (AQueue (v :~va) []) =\\ |
251 \hspace*{0pt}dequeue (AQueue (v :~va) []) =\\ |
252 \hspace*{0pt} ~(let {\char123}\\ |
252 \hspace*{0pt} ~let {\char123}\\ |
253 \hspace*{0pt} ~~~(y :~ys) = rev (v :~va);\\ |
253 \hspace*{0pt} ~~~(y :~ys) = rev (v :~va);\\ |
254 \hspace*{0pt} ~{\char125}~in (Just y,~AQueue [] ys) );\\ |
254 \hspace*{0pt} ~{\char125}~in (Just y,~AQueue [] ys);\\ |
255 \hspace*{0pt}\\ |
255 \hspace*{0pt}\\ |
256 \hspace*{0pt}enqueue ::~forall a.~a -> Queue a -> Queue a;\\ |
256 \hspace*{0pt}enqueue ::~forall a.~a -> Queue a -> Queue a;\\ |
257 \hspace*{0pt}enqueue x (AQueue xs ys) = AQueue (x :~xs) ys;\\ |
257 \hspace*{0pt}enqueue x (AQueue xs ys) = AQueue (x :~xs) ys;\\ |
258 \hspace*{0pt}\\ |
258 \hspace*{0pt}\\ |
259 \hspace*{0pt}{\char125}% |
259 \hspace*{0pt}{\char125}% |