Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

1. AssumptionProp :: Assumption -> Property

   what4	Test.Verification

   No documentation available.

2. assumedProp :: Assumption -> Property

   what4	Test.Verification

   No documentation available.

3. assuming :: Verifiable t => Bool -> t -> Property

   what4	Test.Verification

   The named form of the ==> assumption operator

4. SemiRingSum :: forall (e :: BaseType -> Type) (sr :: SemiRing) . {-# UNPACK #-} !WeightedSum e sr -> App e (SemiRingBase sr)

   what4	What4.Expr

   No documentation available.

5. data WeightedSum (f :: BaseType -> Type) (sr :: SemiRing)

   what4	What4.Expr

   A weighted sum of semiring values. Mathematically, this represents an affine operation on the underlying expressions.

6. SR_Sum :: !WeightedSum (Expr t) sr -> SemiRingView t (sr :: SemiRing)

   what4	What4.Expr.App

   No documentation available.

7. SemiRingSum :: forall (e :: BaseType -> Type) (sr :: SemiRing) . {-# UNPACK #-} !WeightedSum e sr -> App e (SemiRingBase sr)

   what4	What4.Expr.App

   No documentation available.

8. asSemiRingSum :: forall (sr :: SemiRing) t . SemiRingRepr sr -> Expr t (SemiRingBase sr) -> Maybe (WeightedSum (Expr t) sr)

   what4	What4.Expr.App

   No documentation available.

9. asWeightedSum :: forall t (sr :: SemiRing) . HashableF (Expr t) => SemiRingRepr sr -> Expr t (SemiRingBase sr) -> WeightedSum (Expr t) sr

   what4	What4.Expr.App

   No documentation available.

10. SemiRingSum :: forall (e :: BaseType -> Type) (sr :: SemiRing) . {-# UNPACK #-} !WeightedSum e sr -> App e (SemiRingBase sr)

    what4	What4.Expr.Builder

    No documentation available.

Page 183 of many | Previous | Next