Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

Exact lookup

1. vector' :: forall a (n :: Nat) t . FromVector t a => SNat n -> t -> Array '[n] a

   harpie	Harpie.Fixed

   vector with an explicit SNat rather than a KnownNat constraint.

   >>> pretty $ vector' @Int (SNat @3) [2,3,4]
   [2,3,4]
   

2. vectorAs :: FromVector t a => Vector a -> t

   harpie	Harpie.Fixed

   No documentation available.

3. vectorOf :: Int -> Gen a -> Gen [a]

   massiv-test	Test.Massiv.Utils

   Generates a list of the given length.

4. vectorExponential :: (C y, C y v, Write sig v) => LazySize -> y -> v -> sig v

   synthesizer-core	Synthesizer.Generic.Control

   This is an extension of exponential to vectors which is straight-forward but requires more explicit signatures. But since it is needed rarely I setup a separate function.

5. vectorExponential2 :: (C y, C y v, Write sig v) => LazySize -> y -> v -> sig v

   synthesizer-core	Synthesizer.Generic.Control

   No documentation available.

6. vectorExponential :: (C y, C y v) => y -> v -> T v

   synthesizer-core	Synthesizer.Plain.Control

   This is an extension of exponential to vectors which is straight-forward but requires more explicit signatures. But since it is needed rarely I setup a separate function.

7. vectorExponential2 :: (C y, C y v) => y -> v -> T v

   synthesizer-core	Synthesizer.Plain.Control

   No documentation available.

8. vectorExponential :: (C a, C a v) => a -> v -> T v

   synthesizer-core	Synthesizer.State.Control

   This is an extension of exponential to vectors which is straight-forward but requires more explicit signatures. But since it is needed rarely I setup a separate function.

9. vectorExponential2 :: (C a, C a v) => a -> v -> T v

   synthesizer-core	Synthesizer.State.Control

   No documentation available.

10. vectorZipper :: [Vector Char] -> Maybe Int -> TextZipper (Vector Char)

    text-zipper	Data.Text.Zipper

    Construct a zipper from vectors of characters.

Page 30 of many | Previous | Next