Wumpus.Basic.Graphic.ScalingContext

Scaling in X and Y

Documentation

data ScalingContext ux uy u

Constructors

ScalingContext

Fields

scale_in_x :: ux -> u

scale_in_y :: uy -> u

data Scaling ux uy u a

Instances

Monad (Scaling ux uy u)

Functor (Scaling ux uy u)

Applicative (Scaling ux uy u)

ScalingM (Scaling ux uy u)

runScaling :: ScalingContext ux uy u -> Scaling ux uy u a -> a

data ScalingT ux uy u m a

Instances

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

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

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

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

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

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

runScalingT :: ScalingContext ux uy u -> ScalingT ux uy u m a -> m a

regularScalingContext :: Num u => u -> ScalingContext u u u

coordinateScalingContext :: Num u => u -> u -> ScalingContext Int Int u

unitX :: (ScalingM m, Num ux, ux ~ XDim m, u ~ MonUnit m) => m u

unitY :: (ScalingM m, Num uy, uy ~ YDim m, u ~ MonUnit m) => m u