El diseño de un monádico tipo

Question

Yo necesitaría un poco de ayuda para el diseño de un monádico tipo de datos, me parece que tienen problemas para envolver mi cabeza alrededor de la idea, pero yo bastante sin duda sabe lo que quiero.Sólo el tipo de corrector parece requerir algunos persuadir en la materia.

Lo que quiero es algún tipo de datos Primitive que puede ser una mónada.Funciones de las que son, básicamente, dibujo de primitivas, y quiero ser capaz de combinarlos y las combinaciones de ser primitivas así, como el Parser escriba en la biblioteca parsec.Pero el dibujo tiene que ser hecho con un IO mónada.

Por cierto, yo también tengo una clase Drawable a como este:

class Drawable a where
    draw :: (MonadIO m) => Pos -> a -> m ()

Y quiero que todas las Primitivas de curso dibujable.Estoy muy agradecido por el aporte.

Answer 1

No entiendo por qué usted piensa que esto debe ser una mónada.Lo monádico al respecto?

Usted debe de diseño de la API desea en primer lugar, y de forma incremental a pensar acerca de cómo simplificarlo.

Por cierto, Brent diagramas de biblioteca tiene una muy buena composición de la API que podría proporcionar algunas buenas ideas: http://byorgey.wordpress.com/2008/04/30/new-haskell-diagrams-library/