monad-transformers

6El calor

1Respuesta

Haskell ReaderT Env IO estándar

Tengo la siguiente plantilla repetitiva que hago bastante a menudo, y me gustaría eliminar. Se ve algo como esto: type Configured = ReaderT Config doSomething :: Configured IO Data doSomething = do

haskell monads monad-transformers 2011-11-16

---

5El calor

1Respuesta

Resultado de la mónada dentro del transformador de mónada

Este es mi primer contacto con Monad Transformers, por lo que la respuesta puede ser obvia. Digamos que estoy dentro de un bloque do de tipo StateT MyMonad MyType, quiero hacer que otra función del mi

haskell monad-transformers 2012-01-20

---

10El calor

3Respuesta

¿cómo puedo implementar este transformador de mónada con una continuación?

motivación. Estoy tratando de crear un transformador de mónada, con una instrucción especial f <||> g que significa "repetir todo este bloque que contiene f <||> g, una vez con f, la próxima vez con g

haskell monads continuations monad-transformers 2011-12-04

---

5El calor

2Respuesta

Cómo crear una pila de mónadas de base de datos en Happstack?

Quiero crear una aplicación Happstack con mucho acceso a una base de datos. Creo que una pila Mónada con IO en la parte inferior y una base de datos de escritura como mónada en la parte superior (con

haskell monads monad-transformers happstack 2011-10-18

---

13El calor

1Respuesta

¿Se combinan dos mónadas cuando ninguno tiene un transformador?

Estoy jugando con la escritura de una aplicación web. En este caso, estoy usando scotty y redis, pero este problema aparece en cualquier combo web/db. Utilicé happstack antes de esto, así que me encan

haskell monads monad-transformers 2012-01-27

---

17El calor

3Respuesta

Transformador de mónada para seguimiento de progreso

Estoy buscando un transformador de mónada que se pueda usar para rastrear el progreso de un procedimiento. Para explicar la forma en que se utilizaría, considere el siguiente código: procedure :: Prog

haskell functional-programming monads coroutine monad-transformers 2011-12-19

---

5El calor

2Respuesta

Mónadas Haskell y un fallo que no requiere una cadena

Tengo el siguiente transformador de mónada para tratar los errores en Haskell. instance (Monad m, Error e) => Monad (EitherT e m) where return = EitherT . return . return m >>= k = EitherT $

haskell monads monad-transformers 2011-12-22

---

5El calor

2Respuesta

Abstracción de la composición de la mónada como un transformador

Disculpa si la pregunta parece un poco trivial ... no es para mí. he compuesto felizmente el siguiente mónada: type SB i a = ReaderT (AlgRO i) (State (AlgState i)) a que es, así, una mónada bien com

haskell monads composition monad-transformers 2011-09-14

---

10El calor

2Respuesta

Subyacente Parsec Mónada

Muchos de los combinadores Parsec que uso son de un tipo tal como: foo :: CharParser st Foo CharParser se define here como: type CharParser st = GenParser Char st CharParser es por lo tanto un sin

parsing haskell monads monad-transformers 2011-11-08

---

23El calor

1Respuesta

Cómo inyectar un valor Maybe en MaybeT

Digamos que tengo un foo :: Maybe Int y quiero vincularlo, por ejemplo, con bar :: Int -> MaybeT (Writer String) Int, ¿cuál sería la forma idiomática de hacerlo? Podría definir mi propia función liftM

haskell monad-transformers 2011-12-30

---