Wired-0.2.1: Wire-aware hardware description Source code Contents Index

Layout.Internal

Documentation

data Alignment Source

Constructors BottomLeft TopRight Instances Eq Alignment Show Alignment

newtype Elasticity Source

Constructors Elasticity Int Instances Enum Elasticity Eq Elasticity Integral Elasticity Num Elasticity Ord Elasticity Real Elasticity Show Elasticity IntCast Elasticity

data Distance Source

Constructors Dist Length Instances Eq Distance Show Distance

data Block spaceSize s b Source

Constructors Space spaceSize (Maybe s) Box Size Orientation Name b Instances Transformable (RelBlock s b) (Eq spaceSize, Eq s, Eq b) => Eq (Block spaceSize s b) (Show spaceSize, Show s, Show b) => Show (Block spaceSize s b)

type RelBlock s b = Block Distance s b Source

type AbsBlock s b = Block (Angle, Length) s b Source

data Placement Source

Constructors Unspecified Stack Alignment Alignment Row Direction Alignment Instances Eq Placement Show Placement Transformable Placement

data Floorplan s b Source

Constructors Block (RelBlock s b) Comb Placement [Floorplan s b] Instances (Eq s, Eq b) => Eq (Floorplan s b) (Show s, Show b) => Show (Floorplan s b) Transformable (Floorplan s b)

type AbsFloorplan s b = [(Position, AbsBlock s b)] Source

class Transformable a where Source

Methods flipX :: a -> a Source flipY :: a -> a Source rotate_ :: Int -> a -> a Source Instances Transformable Orientation Transformable Direction Transformable Placement Transformable (Floorplan s b) Transformable (RelBlock s b)

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

absolutizeBlock :: Placement -> RelBlock s b -> (AbsBlock s b, Size) Source

align :: Alignment -> Length -> Length -> Length Source

translateBlocks :: Position -> AbsFloorplan s b -> AbsFloorplan s b Source

absolutize_ :: Placement -> Position -> Floorplan s b -> Writer (AbsFloorplan s b) Size Source

absolutize :: Floorplan s b -> (AbsFloorplan s b, Size) Source

blockCenter :: (Position, AbsBlock s b) -> Position Source

type Color = (Float, Float, Float) Source

white :: Color Source

grey :: Color Source

red :: Color Source

green :: Color Source

blue :: Color Source

black :: Color Source

type Postscript = ShowS Source

class Show a => PSShow a where Source

Methods psShow :: a -> Postscript Source Instances PSShow String PSShow Orientation PSShow Length

absToPS :: AbsFloorplan s b -> Postscript Source

floorplanToPS :: Floorplan s b -> (Postscript, Size) Source

linesToPS :: [([(Position, Position)], Color)] -> Postscript Source

renderFloorplan_ :: Length -> Name -> Floorplan s b -> [([(Position, Position)], Color)] -> IO () Source

renderFloorplan :: Name -> Floorplan s b -> IO () Source

ps1 :: Postscript Source

ps2 :: Postscript Source

ps3 :: Postscript Source

newtype Layout s b a Source

Constructors Layout (ReaderT Placement (Writer [Floorplan s b]) a) Instances MonadLayout s b (Layout s b) Monad (Layout s b) MonadFix (Layout s b)

newtype LayoutT s b m a Source

Constructors LayoutT (ReaderT Placement (WriterT [Floorplan 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) MonadFix m => MonadFix (LayoutT s b m)

runLayout :: Layout s b a -> (a, Floorplan s b) Source

runLayoutT :: Monad m => LayoutT s b m a -> m (a, Floorplan s b) Source

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

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

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

Methods currentPlacement :: m Placement Source space_ :: Length -> Maybe s -> m () Source block_ :: Width -> Height -> Name -> b -> m () Source subLayout :: Placement -> m a -> m a Source transformFloorplan :: (Floorplan s b -> Floorplan s b) -> m a -> m a Source 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 Source

block :: MonadLayout s b m => Width -> Height -> Name -> b -> a -> m a Source

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

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

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

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

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

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

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

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

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

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

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

Produced by Haddock version 2.4.2