Hoogle Search

Within LTS Haskell 24.10 (ghc-9.10.2)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. PayPrinResidual :: AccountName -> [BondName] -> Action

    Hastructure Waterfall

    pay principal regardless predefined balance schedule

  2. trueDualPortBlockRam :: forall (nAddrs :: Nat) (domA :: Domain) (domB :: Domain) a . (HasCallStack, KnownNat nAddrs, KnownDomain domA, KnownDomain domB, NFDataX a) => Clock domA -> Clock domB -> Signal domA (RamOp nAddrs a) -> Signal domB (RamOp nAddrs a) -> (Signal domA a, Signal domB a)

    clash-prelude Clash.Explicit.BlockRam

    Produces vendor-agnostic HDL that will be inferred as a true dual-port block RAM Any value that is being written on a particular port is also the value that will be read on that port, i.e. the same-port read/write behavior is: WriteFirst. For mixed-port read/write, when port A writes to the address port B reads from, the output of port B is undefined, and vice versa.

  3. trueDualPortBlockRam# :: forall (nAddrs :: Nat) (domA :: Domain) (domB :: Domain) a . (HasCallStack, KnownNat nAddrs, KnownDomain domA, KnownDomain domB, NFDataX a) => Clock domA -> Signal domA Bool -> Signal domA Bool -> Signal domA (Index nAddrs) -> Signal domA a -> Clock domB -> Signal domB Bool -> Signal domB Bool -> Signal domB (Index nAddrs) -> Signal domB a -> (Signal domA a, Signal domB a)

    clash-prelude Clash.Explicit.BlockRam

    Primitive for trueDualPortBlockRam

  4. trueDualPortBlockRam :: forall (nAddrs :: Nat) (domA :: Domain) (domB :: Domain) a . (HasCallStack, KnownNat nAddrs, KnownDomain domA, KnownDomain domB, NFDataX a) => Clock domA -> Clock domB -> Signal domA (RamOp nAddrs a) -> Signal domB (RamOp nAddrs a) -> (Signal domA a, Signal domB a)

    clash-prelude Clash.Explicit.Prelude

    Produces vendor-agnostic HDL that will be inferred as a true dual-port block RAM Any value that is being written on a particular port is also the value that will be read on that port, i.e. the same-port read/write behavior is: WriteFirst. For mixed-port read/write, when port A writes to the address port B reads from, the output of port B is undefined, and vice versa.

  5. trueDualPortBlockRam :: forall (nAddrs :: Nat) (domA :: Domain) (domB :: Domain) a . (HasCallStack, KnownNat nAddrs, KnownDomain domA, KnownDomain domB, NFDataX a) => Clock domA -> Clock domB -> Signal domA (RamOp nAddrs a) -> Signal domB (RamOp nAddrs a) -> (Signal domA a, Signal domB a)

    clash-prelude Clash.Explicit.Prelude.Safe

    Produces vendor-agnostic HDL that will be inferred as a true dual-port block RAM Any value that is being written on a particular port is also the value that will be read on that port, i.e. the same-port read/write behavior is: WriteFirst. For mixed-port read/write, when port A writes to the address port B reads from, the output of port B is undefined, and vice versa.

  6. trueDualPortBlockRam :: forall (nAddrs :: Nat) (dom :: Domain) a . (HasCallStack, KnownNat nAddrs, HiddenClock dom, NFDataX a) => Signal dom (RamOp nAddrs a) -> Signal dom (RamOp nAddrs a) -> (Signal dom a, Signal dom a)

    clash-prelude Clash.Prelude

    Produces vendor-agnostic HDL that will be inferred as a true dual-port block RAM Any value that is being written on a particular port is also the value that will be read on that port, i.e. the same-port read/write behavior is: WriteFirst. For mixed-port read/write, when port A writes to the address port B reads from, the output of port B is undefined, and vice versa.

  7. trueDualPortBlockRam :: forall (nAddrs :: Nat) (dom :: Domain) a . (HasCallStack, KnownNat nAddrs, HiddenClock dom, NFDataX a) => Signal dom (RamOp nAddrs a) -> Signal dom (RamOp nAddrs a) -> (Signal dom a, Signal dom a)

    clash-prelude Clash.Prelude.BlockRam

    Produces vendor-agnostic HDL that will be inferred as a true dual-port block RAM Any value that is being written on a particular port is also the value that will be read on that port, i.e. the same-port read/write behavior is: WriteFirst. For mixed-port read/write, when port A writes to the address port B reads from, the output of port B is undefined, and vice versa.

  8. trueDualPortBlockRam :: forall (nAddrs :: Nat) (dom :: Domain) a . (HasCallStack, KnownNat nAddrs, HiddenClock dom, NFDataX a) => Signal dom (RamOp nAddrs a) -> Signal dom (RamOp nAddrs a) -> (Signal dom a, Signal dom a)

    clash-prelude Clash.Prelude.Safe

    Produces vendor-agnostic HDL that will be inferred as a true dual-port block RAM Any value that is being written on a particular port is also the value that will be read on that port, i.e. the same-port read/write behavior is: WriteFirst. For mixed-port read/write, when port A writes to the address port B reads from, the output of port B is undefined, and vice versa.

  9. initialDualSolve :: Method

    coinor-clp Numeric.COINOR.CLP

    No documentation available.

  10. residual :: Compensable a => Lens' (Compensated a) a

    compensated Numeric.Compensated

    This Lens lets us edit the residual directly, leaving the primal untouched.

Page 22 of many | Previous | Next