PList traversal

Plutarch/CPS/Optics/Traversal.hs

@@ -28,6 +28,9 @@ ctraverseOf p = runCStar . p . CStar . (fmap . fmap . fmap) return
 
 newtype FunList a b t = FunList {unFunList :: Either t (a, FunList a b (b -> t))}
 
+single :: a -> FunList a b b
+single a = FunList $ Right (a, FunList $ Left id)
+
 instance Functor (FunList a b) where
   fmap f (FunList (Left t)) = FunList (Left (f t))
   fmap f (FunList (Right (a, as))) = FunList (Right (a, fmap (f .) as))

Plutarch/Optics/PList.hs

@@ -6,16 +6,6 @@ import Plutarch.CPS.Optics.Traversal
 import Plutarch.Core
 import Plutarch.PList
 
-list' :: [a] -> Cont r (FunList a b [b])
-list' [] = cont \f -> f (pure [])
-list' (x : xs) = cont $ \c -> runCont (list' xs) (c . liftA2 (:) (single x))
-
-single :: a -> FunList a b b
-single a = FunList $ Right (a, FunList $ Left id)
-
-list :: CTraversal r [a] [b] a b
-list = traversal list'
-
 plist'' ::
   ( ESOP edsl
   , IsEType edsl a
@@ -71,3 +61,4 @@ plist ::
     (Term edsl a)
     (Term edsl b)
 plist = traversal plist'
+

Plutarch/PList.hs

@@ -8,9 +8,11 @@ data PListF a self ef
   = PNil
   | PCons (ef /$ a) (ef /$ self)
   deriving stock (Generic)
+  deriving anyclass EHasRepr
 
 newtype PList a ef = PList {unPList :: ef /$ EFix (PListF a)}
   deriving stock (Generic)
+  deriving anyclass EHasRepr
 
 mkPList ::
   ( ESOP edsl