Wumpus.Basic.Monads.DrawingMonad

Drawing with trace and drawing context (i.e. reader monad of attributes - fill_colour etc.).

Documentation

data Drawing u a

Instances

Monad (Drawing u)

Functor (Drawing u)

Applicative (Drawing u)

DrawingCtxM (Drawing u)

TraceM (Drawing u) u

data DrawingT u m a

Instances

Monad m => Monad (DrawingT u m)

Monad m => Functor (DrawingT u m)

Monad m => Applicative (DrawingT u m)

Monad m => DrawingCtxM (DrawingT u m)

Monad m => TraceM (DrawingT u m) u

runDrawing :: DrawingAttr -> Drawing u a -> (a, Graphic u)

execDrawing :: DrawingAttr -> Drawing u a -> Graphic u

runDrawingT :: Monad m => DrawingAttr -> DrawingT u m a -> m (a, Graphic u)

execDrawingT :: Monad m => DrawingAttr -> DrawingT u m a -> m (Graphic u)

module Wumpus.Basic.Graphic.DrawingAttr

module Wumpus.Basic.Monads.DrawingCtxClass

module Wumpus.Basic.Monads.TraceClass