Hoogle Search

Within LTS Haskell 24.53 (ghc-9.10.3)

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

Exact lookup

1. bvOrSingleton :: forall e (w :: Nat) . (OrdF e, HashableF e, HasAbsValue e) => e (BaseBVType w) -> BVOrSet e w

   what4	What4.Expr.Builder

   No documentation available.

2. asSingleton :: forall (w :: Nat) . BVDomain w -> Maybe Integer

   what4	What4.Utils.BVDomain

   Return value if this is a singleton.

3. asSingleton :: forall (w :: Nat) . Domain w -> Maybe Integer

   what4	What4.Utils.BVDomain.Arith

   Return value if this is a singleton.

4. asSingleton :: forall (w :: Nat) . Domain w -> Maybe Integer

   what4	What4.Utils.BVDomain.Bitwise

   Test if this domain contains a single value, and return it if so

5. asSingleton :: forall (w :: Nat) . Domain w -> Maybe Integer

   what4	What4.Utils.BVDomain.XOR

   Test if this domain contains a single value, and return it if so

6. isSingleton :: (Eq i, Num i, HasZero b) => Matrix i b -> Maybe b

   Agda	Agda.Termination.SparseMatrix

   Returns 'Just b' iff it is a 1x1 matrix with just one entry b. O(1).

7. feSingleton :: FreeEnv' a b c -> Maybe Variable -> c

   Agda	Agda.TypeChecking.Free.Lazy

   Method to return a single variable.

8. isSingletonRecord :: (PureTCM m, MonadBlock m) => QName -> Args -> m Bool

   Agda	Agda.TypeChecking.Records

   Is the type a hereditarily singleton record type? May return a blocking metavariable. Precondition: The name should refer to a record type, and the arguments should be the parameters to the type.

9. isSingletonRecord' :: (PureTCM m, MonadBlock m) => Bool -> QName -> Args -> Set QName -> m (Maybe Term)

   Agda	Agda.TypeChecking.Records

   Return the unique (closed) inhabitant if exists. In case of counting irrelevance in, the returned inhabitant contains dummy terms.

10. isSingletonRecordModuloRelevance :: (PureTCM m, MonadBlock m) => QName -> Args -> m Bool

    Agda	Agda.TypeChecking.Records

    No documentation available.

Page 68 of many | Previous | Next