Wumpus.Basic.Graphic.DirectionContext

Reader monad over (angular) direction.

Documentation

class Monad m => DirectionM m where

Methods

localTheta :: Radian -> m a -> m a

asksTheta :: (Radian -> a) -> m a

parallel :: Floating u => u -> m (Vec2 u)

perpendicular :: Floating u => u -> m (Vec2 u)

Instances

DirectionM Direction

Monad m => DirectionM (DirectionT m)

data Direction a

Instances

Monad Direction

Functor Direction

Applicative Direction

DirectionM Direction

runDirection :: Radian -> Direction a -> a

data DirectionT m a

Instances

Monad m => Monad (DirectionT m)

Monad m => Functor (DirectionT m)

Monad m => Applicative (DirectionT m)

DrawingCtxM m => DrawingCtxM (DirectionT m)

(Monad m, TraceM m) => TraceM (DirectionT m)

Monad m => DirectionM (DirectionT m)

runDirectionT :: Radian -> DirectionT m a -> m a

displacePerp :: (DirectionM m, Floating u) => u -> Point2 u -> m (Point2 u)

displacePara :: (DirectionM m, Floating u) => u -> Point2 u -> m (Point2 u)