Layout

Documentation

class Transformable a where

Methods

flipX :: a -> a

flipY :: a -> a

rotate_ :: Int -> a -> a

Instances

Transformable Orientation

Transformable Direction

Transformable Placement

MonadLayout s b m => Transformable (m a)

Transformable (Floorplan s b)

Transformable (RelBlock s b)

rotate :: Transformable a => Int -> a -> a

data Layout s b a

Instances

MonadLayout s b (Layout s b)

Monad (Layout s b)

Functor (Layout s b)

MonadFix (Layout s b)

Applicative (Layout s b)

data LayoutT s b m a

Instances

Monad m => MonadLayout s b (LayoutT s b m)

MonadLava lib m => MonadLava lib (LayoutT s b m)

MonadTrans (LayoutT s b)

Monad m => Monad (LayoutT s b m)

Functor m => Functor (LayoutT s b m)

MonadFix m => MonadFix (LayoutT s b m)

Applicative m => Applicative (LayoutT s b m)

black :: Color

white :: Color

grey :: Color

red :: Color

green :: Color

blue :: Color

renderLayout :: Name -> Layout s b a -> IO ()

renderLayoutT :: Monad m => (forall a. m a -> a) -> Name -> LayoutT s b m a -> IO ()

class Monad m => MonadLayout s b m | m -> s b

Instances

MonadLayout s b (Layout s b)

Monad m => MonadLayout s b (LayoutT s b m)

space :: MonadLayout s b m => Length -> a -> m a

rightwards :: MonadLayout s b m => m a -> m a

leftwards :: MonadLayout s b m => m a -> m a

upwards :: MonadLayout s b m => m a -> m a

downwards :: MonadLayout s b m => m a -> m a

rightwards' :: MonadLayout s b m => m a -> m a

leftwards' :: MonadLayout s b m => m a -> m a

upwards' :: MonadLayout s b m => m a -> m a

downwards' :: MonadLayout s b m => m a -> m a

unplaced :: MonadLayout s b m => m a -> m a

stacked :: MonadLayout s b m => m a -> m a

translate :: MonadLayout s bl m => XPos -> YPos -> m a -> m a