monads-CodePudding

Tags > monads

09-03BlockchainNon-determinism on a set defined by the characteristic function
09-02OShow to converting function to cps recursively
09-01Software engineeringsequence from a specific field of a tuple
08-27databaseconvenience method for combine publishers
08-26NetIs there ReaderT raised into a monad?
08-20Software designWhy does the compiler infer incorrectly return type for Future.sequence declaration in function?
08-15Software engineeringMonadic function of `(a -> m (Either e b)) -> Either e a -> m (Either e b)`?
08-05Software engineeringHaskell traverse and filter through a list while lifting results
08-02EnterpriseHow to execute deterministic code from an untrusted third party safely?
07-29Back-endElegant way to access the value of a record in haskell which is inside a monad
07-27NetHaskell Monad task
07-11databaseAll possible binary trees storing a value
07-10databaseShort-circuit list, type of `(a -> Either e a) -> [a] -> Either e [a]` ... monadic operatio
07-05Back-endWhat is the advantage of Option/Maybe Monad over Functor?
06-18Back-endConfusing ReaderT definition
06-04NetIs the monad transformer of a monad unique in Haskell
06-02Software engineeringScala: for-comprehension with recursive Future
06-01EnterpriseNo instance for (MonadWriter [Log] IO) arising from a use of ‘tell’
05-19Software designRails 6 monads pattern matching to fetch only success/failure
05-19Software designRails 6 get error message from Failure monad results
04-29front endIs there a way to commute monads automatically?
04-29NetThe identity monad as a free monad
04-20Software designHow do define a monad transformer that is the composition of two arbitrary monad transformers?
04-12Software engineeringIndexed monads for state machines
04-10NetWhat is the mathematical theory or theorem underlying join of monad?
04-10NetHaskell mapM_ does not print
04-05Back-endScala concatenate Map - one with Option and other without Option
03-29MobileRegardless of composition, can I say monadic if there is only a way to change m(m a) to m a
03-27NetHaskell theorem proving tactics as indexed functors and monads
03-26OSMigrating to Dart null safety: best practice for migrating ternary operator null checks? Is a monadi
03-20Netiteration with the list monad
03-14Software designCan I say that Monad makes it possible to see some types as isomorphic?
03-04NetHow does Haskell "desugar" getline in this do block?
03-04NetRight not working with for comprehension Scala
03-02Software designHow do I deal with the error "No instance for (Control.Monad.IO.Class.MonadIO [])"?
02-26NetHaskell writing >>= using >=> Monads
02-24MobileThe list monad is not a free monad but …
02-21MobileWhy is (&) :: a -> (a -> b) -> b not treated as Monad?
02-19OSHaskell >> operator with two lists
01-03databaseWhat is the point of the Functor -> Applicative -> Monad hierarchy

63 1 2 Next Last