Wumpus.Basic.Kernel.Drawing.Basis

User state class for Drawing monads.

Documentation

type family UState m :: *

class (Applicative m, Monad m) => UserStateM m where

Methods

getState :: st ~ UState (m a) => m st

setState :: st ~ UState (m a) => st -> m ()

updateState :: st ~ UState (m a) => (st -> st) -> m ()

Instances

UserStateM (GenLocDrawing st u)

UserStateM (GenLocTrace st u)

UserStateM (GenTraceDrawing st u)

UserStateM (GenPosObject st u)

UserStateM (GenChain st u)

class InsertlM m where

Monad that collects a graphic trace, insertl is analogue to the Writer monad's tell.

Methods

insertl :: u ~ DUnit (m ()) => LocImage u a -> m a

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

Instances

InterpretUnit u => InsertlM (GenLocTrace st u)

class Monad m => LocationM m where

Monad with notion of location - i.e. the current point.

Methods

location :: u ~ DUnit (m ()) => m (Point2 u)

Instances

InterpretUnit u => LocationM (GenLocTrace st u)

InterpretUnit u => LocationM (GenChain st u)

class LocationM m => CursorM m where

Monad with turtle-like cursor movememnt.

Methods

moveby :: u ~ DUnit (m ()) => Vec2 u -> m ()

Instances

InterpretUnit u => CursorM (GenLocTrace st u)

class CursorM m => BranchCursorM m where

Add operations for branching at the current 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

branchCursor :: m a -> m a

Branch is like local in the Reader monad.

Instances

InterpretUnit u => BranchCursorM (GenLocTrace st u)

hmoveby :: (CursorM m, Num u, u ~ DUnit (m ())) => u -> m ()

Move the cursor horizontally.

vmoveby :: (CursorM m, Num u, u ~ DUnit (m ())) => u -> m ()

Move the cursor vertically.