Hoogle Search
Within LTS Haskell 24.42 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
clash-prelude Clash.Verification Property Specification Language
-
clash-prelude Clash.Verification A property is a temporal or basic assertion that's specified to either used as an _assert_ or _cover_ statement. See assert and cover.
-
clash-prelude Clash.Verification.Internal Property Specification Language
newtype
Property (dom :: Domain)clash-prelude Clash.Verification.Internal A property is a temporal or basic assertion that's specified to either used as an _assert_ or _cover_ statement. See assert and cover.
Property :: Property' (Maybe Text, Signal dom Bool) -> Property (dom :: Domain)clash-prelude Clash.Verification.Internal No documentation available.
-
clash-prelude Clash.Verification.Internal Internal version of Property. All user facing will instantiate a with (Maybe Text, Signal dom Bool). Blackboxes will instantiate it with (Maybe Text, Term) instead.
-
clash-prelude Clash.XException.Internal No documentation available.
class Monad m =>
PrimMonad (m :: Type -> Type)classy-prelude-conduit ClassyPrelude.Conduit Class of monads which can perform primitive state-transformer actions.
type family
PrimState (m :: Type -> Type)classy-prelude-conduit ClassyPrelude.Conduit State token type.
type
Producer (m :: Type -> Type) o = forall i . () => ConduitT i o m ()classy-prelude-conduit ClassyPrelude.Conduit A component which produces a stream of output values, regardless of the input stream. A Producer is a generalization of a Source, and can be used as either a Source or a Conduit. Since 1.0.0