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

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)

data RefTrace u z a

Instances

Monad (RefTrace u z)

Functor (RefTrace u z)

Applicative (RefTrace u z)

Num u => LocTraceM (RefTrace u z)

Num 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, Num 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) => LinkRef u a -> m ()

Instances

Num u => RefTraceM (RefTrace u z)

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

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

unaryLink :: (ans -> Point2 u) -> LocGraphic u -> Ref -> LinkRef u ans

binaryLink :: (ans -> Point2 u) -> (ans -> Point2 u) -> ConnectorGraphic u -> Ref -> Ref -> LinkRef u ans

multiwayLink :: (ans -> Point2 u) -> ([Point2 u] -> Graphic u) -> [Ref] -> LinkRef u ans