Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. package validity-vector

   Validity instances for vector Validity instances for vector

2. BitvectorTheory :: AppTheory

   what4	What4.Expr

   No documentation available.

3. BitvectorTheory :: AppTheory

   what4	What4.Expr.AppTheory

   No documentation available.

4. bvJoinVector :: forall sym (n :: Natural) (w :: Natural) . (1 <= w, IsExprBuilder sym) => sym -> NatRepr w -> Vector n (SymBV sym w) -> IO (SymBV sym (n * w))

   what4	What4.Interface

   Join a Vector of smaller bitvectors. The vector is interpreted in big endian order; that is, with most significant bitvector first.

5. bvSplitVector :: forall sym (n :: Natural) (w :: Natural) . (IsExprBuilder sym, 1 <= w, 1 <= n) => sym -> NatRepr n -> NatRepr w -> SymBV sym (n * w) -> IO (Vector n (SymBV sym w))

   what4	What4.Interface

   Split a bitvector to a Vector of smaller bitvectors. The returned vector is in big endian order; that is, with most significant bitvector first.

6. useBitvectors :: ProblemFeatures

   what4	What4.ProblemFeatures

   Indicates whether the problem uses bitvectors.

7. pppidVector :: Vector (Code, Code)

   ENIG	Data.Text.ENIG.Config

   PPP corresponding list 조사 대응 리스트

8. type DateVector = (Date, DatePattern)

   Hastructure	Types

   No documentation available.

9. class RealVectorSpace ds

   LPFP	LPFP

   A real vector space allows vector addition and scalar multiplication by reals.

10. addVectorFields :: [VectorField] -> VectorField

    LPFP	LPFP

    No documentation available.

Page 97 of many | Previous | Next