GraphRewriting.Layout.Rotation

Documentation

newtype Rotation

Constructors

Rotation

Fields

• rotation :: Angle

Instances

View Rotation (Wrapper n)

Methods

inspect :: Wrapper n -> Rotation

update :: Rotation -> Wrapper n -> Wrapper n

adjust :: (Rotation -> Rotation) -> Wrapper n -> Wrapper n

type Angle = Double

type Impulse = Angle -> Angle

type Momentum = Impulse -> Rotation -> Rotation

v01 :: Vector2

meanAngle :: [Angle] -> Angle

momSum :: [Momentum] -> Momentum

approach :: Rotation -> Momentum

momentum :: Angle -> Momentum

angle :: Vector2 -> Vector2 -> Angle

rotate :: Angle -> Vector2 -> Vector2

module Data.View