Wumpus.Basic.Monads.TurtleMonad

Turtle 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.

Turtle is only a transformer - it is intended to be run within a Drawing.

Re-exports

module Wumpus.Basic.Monads.TurtleClass

Turtle transformer

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)

(u ~ MonUnit m, Monad m, TraceM m) => TraceM (TurtleT u m)

Monad m => TurtleScaleM (TurtleT u m) u

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

Turtle combined with Drawing

data TurtleDrawing u a

Instances

Monad (TurtleDrawing u)

Functor (TurtleDrawing u)

Applicative (TurtleDrawing u)

TurtleM (TurtleDrawing u)

DrawingCtxM (TurtleDrawing u)

TraceM (TurtleDrawing u)

TurtleScaleM (TurtleDrawing u) u

runTurtleDrawing :: Num u => TurtleConfig u -> (Int, Int) -> DrawingContext -> TurtleDrawing u a -> (a, HPrim u)

execTurtleDrawing :: Num u => TurtleConfig u -> (Int, Int) -> DrawingContext -> TurtleDrawing u a -> HPrim u