Czy istnieje ogólny sposób na dekomponowanie darmowego comonada przez monadę awarii w "strumieniu wartości i ostatecznym błędzie"?

Question

Komonadka Cofree jest przydatna do iterowania funkcji częściowych w sposób polimorficzny dla typu błędu. Jego coiter przypomina forM -zachowanie w monadzie błędu, ale zbiera wygenerowane wartości w sposób czysty/leniwy i widzisz tylko błąd na końcu, w strukturze danych.

Na przykład Cofree Identity (bez awarii dozwolone!) Jest nieskończony strumień, natomiast Cofree Maybe jest izomorficzna NonEmpty i Cofree (Either e) a jest w zasadzie (NonEmpty a, e) (lista wartości udany-iteracji plus błąd, który pojawia się na końcu).

Teraz zastanawiam się, jaki jest najlepszy sposób oceny wyników, bez konkretnego dopasowania wzorców w monadach pojedynczego błędu. Wyodrębnianie wszystkich wartości jest bardzo łatwe dzięki instancji Foldable (np.), ale nie jestem pewien, jak najlepiej uchwycić błędy . Byłoby to możliwe do wykorzystania Foldable na to, aby po prostu pozbyć z wartości i pozostawić część błędzie:

vals'n'err :: (Monad m, Foldable m) 
      => Cofree m a -> (NonEmpty a, (m())) 
vals'n'err (a :< q) = case toList q of 
     [] -> (a:|[], const() <$> q) 
     l -> first (pure a<>) 
      $ foldr1 (\(bs,e) (cs,f) -> (bs<>cs, e>>f)) $ vals'n'err<$>l 

ale czuje się trochę hackish. Czy istnieje lepsze rozwiązanie?

Answer 1

Uważam, że jest to zła transformacja dla dużych strumieni, ponieważ można leczyć przestrzeń dzięki lenistwu. Ale w przypadku małych strumieni może być użyteczny.

Możemy podzielić tej transformacji na dwie części:

vals :: Foldable f => Cofree f a -> NonEmpty a 
vals = NonEmpty.fromList . Foldable.toList 

err :: Monad m => Cofree m a -> m b 
err (_ :< m) = m >>= err 

a następnie połączyć ze sobą:

vals'n'err :: (Monad m, Foldable m) => Cofree m a -> (NonEmpty a, m b) 
vals'n'err w = (vals w, err w)