Swapped ListTr for Queue

Queue performes ~66% better thaan ListTr, and is more prone for foldl / foldr than 'Cat'.
2024-10-26 15:15:00 +03:00 · 2019-09-07 09:03:57 +02:00 · 2019-09-07 09:03:57 +02:00 · 450b78f918
commit 450b78f918
parent 2e29c220a0
1 changed files with 9 additions and 3 deletions
--- a/src/Control/Category/Free.hs
+++ b/src/Control/Category/Free.hs
@ -31,14 +31,20 @@ module Control.Category.Free
    , arrCat
    , foldCat

+      -- * Real time Queue
+    , Queue (ConsQ, NilQ)
+    , consQ
+    , snocQ
+    , unconsQ
+    , foldNatQ
+    , foldrQ
+    , foldlQ
+
      -- * Free category (CPS style)
    , C (..)
    , toC
    , fromC

-      -- * Naive version of a free category
-    , ListTr (..)
-
      -- * Opposite category
    , Op (..)
    , hoistOp