Mi sembra che Scalaz 'NonEmptyList
abbia un'istanza monad, quindi un trasformatore monad per esso (un po' simile a ListT
) dovrebbe essere possibile. È corretto?Monad transformer per NonEmptyList?
Se è così, c'è uno là fuori? (Non riuscivo a trovarne uno in Scalaz 7.)
In caso contrario, ad esempio un trasformatore monad per esso sarebbe impossibile o non ha alcun senso, sarei grato per qualsiasi spiegazione aggiuntiva sul perché no.
Posso suggerire di provare a crearne uno e a contribuire! –
Questo era assolutamente il mio piano. = ^.^= Ma volevo evitare di provare a implementare qualcosa che non può funzionare per principio. NEL sembra un po '"ampiamente" usato, quindi ho attribuito l'inesistenza di un trasformatore monad per ciò che non caccio (ancora) invece di (semplicemente) a "nessuno ha trovato il tempo di farlo ancora". –
Il modo migliore è spesso quello di provare come di consueto se è impossibile sarà subito ovvio. :) –