Wumpus.Basic.Monads.TurtleMonad

Turtle monad and monad transformer.

The Turtle monad embodies the LOGO style of imperative drawing - sending commands to update the a cursor.

While Wumpus generally aims for a more compositional, "coordinate-free" style of drawing, some types of diagram are more easily expressed in the LOGO style.

Documentation

data Turtle u a

Instances

Monad (Turtle u)

Functor (Turtle u)

Applicative (Turtle u)

TurtleM (Turtle u)

TurtleScaleM (Turtle u) u

data TurtleT u m a

Instances

Monad m => Monad (TurtleT u m)

Monad m => Functor (TurtleT u m)

Monad m => Applicative (TurtleT u m)

Monad m => TurtleM (TurtleT u m)

DrawingCtxM m => DrawingCtxM (TurtleT u m)

Monad m => TurtleScaleM (TurtleT u m) u

(Monad m, TraceM m i) => TraceM (TurtleT u m) i

runTurtle :: Num u => TurtleConfig u -> (Int, Int) -> Turtle u a -> a

runTurtleT :: (Monad m, Num u) => TurtleConfig u -> (Int, Int) -> TurtleT u m a -> m a

data TurtleDrawing u a

Instances

Monad (TurtleDrawing u)

Functor (TurtleDrawing u)

Applicative (TurtleDrawing u)

TurtleM (TurtleDrawing u)

DrawingCtxM (TurtleDrawing u)

TurtleScaleM (TurtleDrawing u) u

TraceM (TurtleDrawing u) u

runTurtleDrawing :: Num u => TurtleConfig u -> (Int, Int) -> DrawingAttr -> TurtleDrawing u a -> (a, Graphic u)

execTurtleDrawing :: Num u => TurtleConfig u -> (Int, Int) -> DrawingAttr -> TurtleDrawing u a -> Graphic u

module Wumpus.Basic.Monads.DrawingMonad

module Wumpus.Basic.Monads.TurtleClass