Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
blockRam :: forall n m a. (KnownNat n, KnownNat m, Pack a) => SNat n -> Signal (Unsigned m) -> Signal (Unsigned m) -> Signal Bool -> Signal a -> Signal a Source
blockRamPow2 :: (KnownNat n, KnownNat (n ^ 2), Pack a) => SNat (n ^ 2 :: Nat) -> Signal (Unsigned n) -> Signal (Unsigned n) -> Signal Bool -> Signal a -> Signal a Source
C | |
|