Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

  1. before :: forall (dom :: Domain) a b . (AssertionValue dom a, AssertionValue dom b) => a -> b -> Assertion dom

    clash-prelude Clash.Verification

    Same as a && next b but with a nice syntax. E.g., a && next b could be written as a `before` b. Might be read as "a happens one cycle before b".

  2. CvBefore :: Assertion' a -> Assertion' a -> Assertion' a

    clash-prelude Clash.Verification.Internal

    Before CvBefore a b is the same as CvAnd a (CvNext 1 b)

  3. YosysFormal :: RenderAs

    clash-prelude Clash.Verification.Internal

    Yosys Formal Extensions for Verilog and SystemVerilog. See: https://symbiyosys.readthedocs.io/en/latest/verilog.html and https://symbiyosys.readthedocs.io/en/latest/verific.html Falls back to PSL for VHDL, however currently Clash's PSL syntax isn't suported by GHDL+SymbiYosys;

  4. awaitForever :: forall (m :: Type -> Type) i o r . Monad m => (i -> ConduitT i o m r) -> ConduitT i o m ()

    classy-prelude-conduit ClassyPrelude.Conduit

    Wait for input forever, calling the given inner component for each piece of new input. This function is provided as a convenience for the common pattern of awaiting input, checking if it's Just and then looping. Since 0.5.0

  5. peekForever :: forall (m :: Type -> Type) i o . Monad m => ConduitT i o m () -> ConduitT i o m ()

    classy-prelude-conduit ClassyPrelude.Conduit

    Run a consuming conduit repeatedly, only stopping when there is no more data available from upstream.

  6. peekForeverE :: forall (m :: Type -> Type) i o . (Monad m, MonoFoldable i) => ConduitT i o m () -> ConduitT i o m ()

    classy-prelude-conduit ClassyPrelude.Conduit

    Run a consuming conduit repeatedly, only stopping when there is no more data available from upstream. In contrast to peekForever, this function will ignore empty chunks of data. So for example, if a stream of data contains an empty ByteString, it is still treated as empty, and the consuming function is not called.

  7. headednessExtractForall :: Headedness h => Maybe (ExtractForall h)

    colonnade Colonnade

    No documentation available.

  8. newtype ExtractForall (h :: Type -> Type)

    colonnade Colonnade.Encode

    No documentation available.

  9. ExtractForall :: (forall a . () => h a -> a) -> ExtractForall (h :: Type -> Type)

    colonnade Colonnade.Encode

    No documentation available.

  10. headednessExtractForall :: Headedness h => Maybe (ExtractForall h)

    colonnade Colonnade.Encode

    No documentation available.

Page 1386 of many | Previous | Next