Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. Assuming :: Bool -> Property -> Assumption

   what4	Test.Verification

   No documentation available.

2. data Assumption

   what4	Test.Verification

   Internal data structure to store the two elements to the ==> assumption operator.

3. AssumptionProp :: Assumption -> Property

   what4	Test.Verification

   No documentation available.

4. assumedProp :: Assumption -> Property

   what4	Test.Verification

   No documentation available.

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

   what4	Test.Verification

   The named form of the ==> assumption operator

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

   what4	What4.Expr

   No documentation available.

7. 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.

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

   what4	What4.Expr.App

   No documentation available.

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

   what4	What4.Expr.App

   No documentation available.

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

    what4	What4.Expr.App

    No documentation available.

Page 182 of many | Previous | Next