Wumpus.Basic.Graphic.BaseClasses

Base classes and type families.

Drawing is always built on TraceM and DrawingCtxM, it may use PointSupplyM for chains or turtle drawing.

Documentation

type family MonUnit m :: *

class Monad m => TraceM m where

Collect elementary graphics as part of a larger drawing.

TraceM works much like a writer monad.

Methods

trace :: HPrim (MonUnit m) -> m ()

Instances

TraceM (Drawing u)

TraceM (TurtleDrawing u)

(u ~ MonUnit m, Monad m, TraceM m) => TraceM (ChainT u m)

Monad m => TraceM (DrawingT u m)

(u ~ MonUnit m, Monad m, TraceM m) => TraceM (TurtleT u m)

class Monad m => DrawingCtxM m where

Methods

askCtx :: m DrawingContext

localCtx :: (DrawingContext -> DrawingContext) -> m a -> m a

Instances

DrawingCtxM (Drawing u)

DrawingCtxM (TurtleDrawing u)

(Monad m, DrawingCtxM m) => DrawingCtxM (ChainT u m)

Monad m => DrawingCtxM (DrawingT u m)

DrawingCtxM m => DrawingCtxM (TurtleT u m)

asksCtx :: DrawingCtxM m => (DrawingContext -> a) -> m a

Project a value out of a context.

class Monad m => PointSupplyM m where

A monad that supplies points, e.g. a turtle monad.

Methods

position :: u ~ MonUnit m => m (Point2 u)

Instances

Monad m => PointSupplyM (ChainT u m)