Questions marquées [monad-transformers]

0 votes
1 réponses
Transformateurs Monad avec IO et Maybe
J'essaie d'empiler des entrées /sorties et peut-être des monades, mais je ne comprends pas assez bien les transformateurs de monades ou bien cel...
a demandé il y a 1 mois
0 votes
1 réponses
Comment ajouter un masque à une pile monadique
J'essaie d'utiliser la fonction de crochet de Package Exception.Safe qui a un type de retour de forall m a b c. MonadMask m => m a -> (a...
a demandé il y a 3 mois
0 votes
1 réponses
Comment ajouter un masque à une pile monadique
J'essaie d'utiliser la fonction de crochet de Package Exception.Safe qui a un type de retour de forall m a b c. MonadMask m => m a -> (a...
a demandé il y a 3 mois
1 votes
1 réponses
Compose ReaderT avec soit par compréhension, soit purement applicatif
Voici les fonctions qui renvoient ReaderT et Either en tant que type de retour: import cats.data.{ReaderT} type FailFast[A] = Either[List[...
0 votes
1 réponses
Scala-cats, composez Reader avec ReaderT
Voici une petite composition de fonctions, qui renvoient toutes les informations ReaderT: type FailFast[A] = Either[List[String], A] def...
2 votes
1 réponses
Transformers en type signature ou pas?
Je pense juste à une conception d’API. Qu'est-ce qui est "commun" en Haskell? Des transformateurs en signature de type ou plutôt "cachés"? fin...
a demandé il y a 2 mois
1 votes
1 réponses
Comment échantillonner RVarT en IO
J'ai des difficultés à envelopper mon cerveau autour de RVarT dans random-fu. Tout comme un exercice mental, j'essaie de générer 060035099111110...
a demandé il y a 1 mois
1 votes
1 réponses
lancer et attraper avec une monade exceptionnelle au bas de la pile monadique
Dites que j'ai une pile monadique comme celle-ci: import Control.Monad.Trans.Reader import Control.Monad.Trans.Except import Control.Monad.Tra...
a demandé il y a 2 mois
0 votes
1 réponses
Scala: composition de ReaderT avec différents contextes et dépendances
Exemple de fonctions s3f1 et s3f2 renvoyant des lecteurs différents ReaderT: type FailFast[A] = Either[List[String], A] trait Service1 { def s...
a demandé il y a 2 mois
3 votes
1 réponses
Instance applicative MaybeT sans contrainte de monade pour la monade extérieure
J'implémente le transformateur monade du Maybe (alias 0600350991111101035062) en javascript (veuillez noter que j'utilise le passage par diction...
4 votes
1 réponses
Manipulation des monades ST et ST
Disons que j'ai les fonctions suivantes: checkA :: a -> Either err b checkA = undefined checkB :: b -> ST s (Either err c) checkB = und...
a demandé il y a 3 mois
11 votes
2 réponses
Pourquoi les monades ne sont-elles pas fermées par la composition?
Pendant que j'apprenais le chapitre 060035099991111101035062 de Haskell Book, on m'a confié la tâche d'écrire des instances Functor et Applicati...
a demandé il y a 3 mois
0 votes
1 réponses
Comment utiliser un type générique pour les fonctions de haskell
J'ai un code qui lit les données d'une file d'attente. Je veux que la fonction soit telle qu'elle prenne une fonction de rappel en tant que para...
a demandé il y a 2 mois