Wumpus.Drawing.Basis.LocTrace

Writer monad with imperative turtle style movement to build LocGraphics.

LocTrace monads

data LocTrace u a

LocTrace is a writer state monad.

The writer accumulates a LocGraphic the state is a cumulative displacement vector (called a cursor below).

Instances

Monad (LocTrace u)

Functor (LocTrace u)

Applicative (LocTrace u)

Num u => LocForkTraceM (LocTrace u)

Num u => LocTraceM (LocTrace u)

data LocTraceT u m a

LocTrace is a writer state monad.

The writer accumulates a LocGraphic the state is a cumulative displacement vector.

Instances

Monad m => Monad (LocTraceT u m)

Monad m => Functor (LocTraceT u m)

Monad m => Applicative (LocTraceT u m)

(LocTraceM m, Num u) => LocForkTraceM (LocTraceT u m)

(Monad m, Num u) => LocTraceM (LocTraceT u m)

runLocTrace :: Num u => LocTrace u a -> (a, Vec2 u, LocGraphic u)

evalLocTrace :: Num u => LocTrace u a -> a

Forget the generated LocImage, just return the answer.

execLocTrace :: Num u => LocTrace u a -> LocGraphic u

Forget the answer, just return the generated LocImage.

runLocTraceT :: (Monad m, Num u) => LocTraceT u m a -> m (a, Vec2 u, LocGraphic u)

evalLocTraceT :: (Monad m, Num u) => LocTraceT u m a -> m a

Forget the generated LocImage, just return the answer.

execLocTraceT :: (Monad m, Num u) => LocTraceT u m a -> m (LocGraphic u)

Forget the answer, just return the generated LocImage.

liftLocTraceT :: Monad m => m a -> LocTraceT u m a

LocTrace classes

class Monad m => LocTraceM m where

insertl analogue to Writer monad tell.

Methods

insertl :: MonUnit (m ()) ~ u => LocGraphic u -> m ()

insertl_ :: MonUnit (m ()) ~ u => LocImage u a -> m ()

moveBy :: MonUnit (m ()) ~ u => Vec2 u -> m ()

location :: MonUnit (m ()) ~ u => m (Vec2 u)

Instances

Num u => LocTraceM (LocTrace u)

(Floating u, InterpretUnit u) => LocTraceM (PathSpec u)

(Monad m, Num u) => LocTraceM (LocTraceT u m)

Num u => LocTraceM (RefTrace u z)

(Monad m, Floating u, InterpretUnit u) => LocTraceM (PathSpecT u m)

(Monad m, Num u) => LocTraceM (RefTraceT u z m)

class LocTraceM m => LocForkTraceM m where

Add operations for branching (fork at the current point) and resetting to the start point.

Not all drawings that support tracing support branching. For instance Paths can be built by tracing but they always need a cumulative progression of next point they cannot resrt to the start point and go in a differnt direction.

Methods

reset :: m ()

branch :: m a -> m a

Instances

Num u => LocForkTraceM (LocTrace u)

(LocTraceM m, Num u) => LocForkTraceM (LocTraceT u m)

Derived operations

hmoveBy :: (LocTraceM m, Num u, u ~ MonUnit (m ())) => u -> m ()

Move the cursor horizontally.

vmoveBy :: (LocTraceM m, Num u, u ~ MonUnit (m ())) => u -> m ()

Move the cursor vertically.