Wumpus.Basic.Kernel.Drawing.LocTrace

Writer monad with imperative turtle style movement to build LocGraphics.

GenLocTrace monad

data GenLocTrace st u a

GenLocTrace is a reader-writer-state monad.

The writer accumulates a graphical trace and the state is the current point.

Instances

Monad (GenLocTrace st u)

Functor (GenLocTrace st u)

Applicative (GenLocTrace st u)

DrawingCtxM (GenLocTrace st u)

InterpretUnit u => BranchCursorM (GenLocTrace st u)

InterpretUnit u => CursorM (GenLocTrace st u)

InterpretUnit u => LocationM (GenLocTrace st u)

InterpretUnit u => InsertlM (GenLocTrace st u)

UserStateM (GenLocTrace st u)

Monoid a => Monoid (GenLocTrace st u a)

type LocTrace u a = GenLocTrace () u a

runGenLocTrace :: InterpretUnit u => GenLocTrace st u a -> st -> LocImage u (a, st)

evalGenLocTrace :: InterpretUnit u => GenLocTrace st u a -> st -> LocImage u a

Forget the user state LocImage, just return the answer.

execGenLocTrace :: InterpretUnit u => GenLocTrace st u a -> st -> LocImage u st

Forget the answer, just return the user state.

stripGenLocTrace :: InterpretUnit u => GenLocTrace st u a -> st -> LocQuery u (a, st)

runLocTrace :: InterpretUnit u => LocTrace u a -> LocImage u a

Simple version of runGenLocTrace - run a LocTrace without user state.

runLocTrace_ :: InterpretUnit u => LocTrace u a -> LocGraphic u