Wumpus.Drawing.Basis.RefTrace

Writer monad with imperative turtle style movement to build LocGraphics and references allowing connectors between objects.

Note - references are not feedback. Subsequent nodes cannot be place at anchors of previous nodes - anchors only allow connectors to be drawn between located nodes.

Re-exports

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

InterpretUnit u => LocTraceM (LocTrace u)

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

InterpretUnit u => LocTraceM (RefTrace u z)

InterpretUnit u => LocTraceM (GenPathSpec st u)

Note - location probably should return Point2 not Vec2 hence this uses cheat temporarily.

TODO - sort out LocTraceM class.

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

data RefTrace u z a

Instances

Monad (RefTrace u z)

Functor (RefTrace u z)

Applicative (RefTrace u z)

InterpretUnit u => LocTraceM (RefTrace u z)

InterpretUnit u => RefTraceM (RefTrace u z)

data RefTraceT u z m a

Instances

Monad m => Monad (RefTraceT u z m)

Monad m => Functor (RefTraceT u z m)

Monad m => Applicative (RefTraceT u z m)

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

data Ref

class Monad m => RefTraceM m where

Associated Types

type MonRef m :: *

Methods

insertRef :: (MonRef m ~ a, MonUnit (m ()) ~ u) => LocImage u a -> m Ref

linkRef :: (MonRef m ~ a, MonUnit (m ()) ~ u) => RefGraphic u a -> m ()

Instances

InterpretUnit u => RefTraceM (RefTrace u z)

runRefTrace :: InterpretUnit u => RefTrace u ans a -> LocImage u a

runRefTraceT :: (Monad m, InterpretUnit u) => RefTraceT u ans m a -> m (LocImage u a)

type Lookup u ans = IntMap ans -> Query u (Maybe ans)

type RefGraphic u ans = IntMap ans -> Graphic u

lookup :: Ref -> Lookup u ans

unary :: InterpretUnit u => (ans -> Graphic u) -> Ref -> RefGraphic u ans

binary :: InterpretUnit u => (ans -> ans -> Graphic u) -> Ref -> Ref -> RefGraphic u ans

multiway :: InterpretUnit u => ([ans] -> Graphic u) -> [Ref] -> RefGraphic u ans

oneToMany :: InterpretUnit u => (ans -> [ans] -> Graphic u) -> Ref -> [Ref] -> RefGraphic u ans