| Safe Haskell | None |
|---|
Wired
- module Data.Hardware
- module Lava
- module Layout
- type Wired lib = LayoutT Guide CellId (Lava lib)
- class CellLibrary lib => WiredLibrary lib where
- featureSize :: Res lib Length
- guideLength :: Layer -> Res lib Length
- rowHeight :: Res lib Height
- renderWired :: forall lib a. WiredLibrary lib => Name -> Wired lib a -> IO ()
- renderWiredWithNetsCol :: forall lib a. WiredLibrary lib => Maybe Color -> (Tag -> Maybe Color) -> Name -> Wired lib a -> IO ()
- renderWiredWithNets :: forall lib a. WiredLibrary lib => Name -> Wired lib a -> IO ()
- wireN :: (MonadWired lib m, PortStruct p Signal t) => Length -> Layer -> Width -> p -> m p
- wireS :: (MonadWired lib m, PortStruct p Signal t) => Length -> Layer -> Width -> p -> m p
- wireW :: (MonadWired lib m, PortStruct p Signal t) => Length -> Layer -> Width -> p -> m p
- wireE :: (MonadWired lib m, PortStruct p Signal t) => Length -> Layer -> Width -> p -> m p
- guide :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m p
- guideN :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m p
- guideS :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m p
- guideW :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m p
- guideE :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m p
Documentation
module Data.Hardware
module Lava
module Layout
class CellLibrary lib => WiredLibrary lib whereSource
Instances
renderWired :: forall lib a. WiredLibrary lib => Name -> Wired lib a -> IO ()Source
renderWiredWithNetsCol :: forall lib a. WiredLibrary lib => Maybe Color -> (Tag -> Maybe Color) -> Name -> Wired lib a -> IO ()Source
renderWiredWithNets :: forall lib a. WiredLibrary lib => Name -> Wired lib a -> IO ()Source
wireN :: (MonadWired lib m, PortStruct p Signal t) => Length -> Layer -> Width -> p -> m pSource
wireS :: (MonadWired lib m, PortStruct p Signal t) => Length -> Layer -> Width -> p -> m pSource
wireW :: (MonadWired lib m, PortStruct p Signal t) => Length -> Layer -> Width -> p -> m pSource
wireE :: (MonadWired lib m, PortStruct p Signal t) => Length -> Layer -> Width -> p -> m pSource
guide :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m pSource
To be used when direction doesn't matter (e.g. when guideLength = 0).
guideN :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m pSource
guideS :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m pSource
guideW :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m pSource
guideE :: (MonadWired lib m, PortStruct p Signal t) => Layer -> Width -> p -> m pSource