Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. BitvectorTheory :: AppTheory

   what4	What4.Expr.AppTheory

   No documentation available.

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

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

4. useBitvectors :: ProblemFeatures

   what4	What4.ProblemFeatures

   Indicates whether the problem uses bitvectors.

5. pppidVector :: Vector (Code, Code)

   ENIG	Data.Text.ENIG.Config

   PPP corresponding list 조사 대응 리스트

6. type DateVector = (Date, DatePattern)

   Hastructure	Types

   No documentation available.

7. class RealVectorSpace ds

   LPFP	LPFP

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

8. addVectorFields :: [VectorField] -> VectorField

   LPFP	LPFP

   No documentation available.

9. addVectorFields :: [VectorField] -> VectorField

   LPFP	LPFP.CoordinateSystems

   No documentation available.

10. class AbstractVector a

    LPFP	LPFP.ElectricField

    No documentation available.

Page 97 of many | Previous | Next