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)

Monad m => TraceM (DrawingT u m)

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

(u ~ MonUnit m, Monad m, TraceM m) => TraceM (ScalingT ux uy u m)

class Monad m => DrawingCtxM m where

Methods

askCtx :: m DrawingContext

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

Instances

DrawingCtxM (Drawing u)

Monad m => DrawingCtxM (DrawingT u m)

DrawingCtxM m => DrawingCtxM (TurtleT u m)

DrawingCtxM m => DrawingCtxM (ScalingT ux uy u m)

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

Project a value out of a context.

class ScalingM m where

Scaling...

Associated Types

type XDim m :: *

type YDim m :: *

Methods

scaleX :: (u ~ MonUnit m, ux ~ XDim m) => ux -> m u

scaleY :: (u ~ MonUnit m, uy ~ YDim m) => uy -> m u

scalePt :: (u ~ MonUnit m, ux ~ XDim m, uy ~ YDim m) => ux -> uy -> m (Point2 u)

scaleVec :: (u ~ MonUnit m, ux ~ XDim m, uy ~ YDim m) => ux -> uy -> m (Vec2 u)

Instances

ScalingM (Scaling ux uy u)

Monad m => ScalingM (ScalingT ux uy u m)

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

(u ~ MonUnit m, Monad m, Num u) => PointSupplyM (TurtleT u m)