Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

1. fromListN' :: forall (n :: Nat) a p . (Storable a, KnownNat n) => p n -> [a] -> Maybe (Vector n a)

   vector-sized	Data.Vector.Storable.Sized

   O(n) Convert the first n elements of a list to a vector. The length of the resulting vector is given explicitly as a Proxy argument.

2. toList :: forall a (n :: Nat) . Storable a => Vector n a -> [a]

   vector-sized	Data.Vector.Storable.Sized

   O(n) Convert a vector to a list.

3. withSizedList :: Storable a => [a] -> (forall (n :: Nat) . KnownNat n => Vector n a -> r) -> r

   vector-sized	Data.Vector.Storable.Sized

   O(n) Takes a list and returns a continuation providing a vector with a size parameter corresponding to the length of the list. Essentially converts a list into a vector with the proper size parameter, determined at runtime. See withSized

4. fromList :: forall a (n :: Nat) . (Unbox a, KnownNat n) => [a] -> Maybe (Vector n a)

   vector-sized	Data.Vector.Unboxed.Sized

   O(n) Convert a list to a vector.

5. fromListN :: forall (n :: Nat) a . (Unbox a, KnownNat n) => [a] -> Maybe (Vector n a)

   vector-sized	Data.Vector.Unboxed.Sized

   O(n) Convert the first n elements of a list to a vector. The length of the resulting vector is inferred from the type.

6. fromListN' :: forall (n :: Nat) a p . (Unbox a, KnownNat n) => p n -> [a] -> Maybe (Vector n a)

   vector-sized	Data.Vector.Unboxed.Sized

   O(n) Convert the first n elements of a list to a vector. The length of the resulting vector is given explicitly as a Proxy argument.

7. toList :: forall a (n :: Nat) . Unbox a => Vector n a -> [a]

   vector-sized	Data.Vector.Unboxed.Sized

   O(n) Convert a vector to a list.

8. withSizedList :: Unbox a => [a] -> (forall (n :: Nat) . KnownNat n => Vector n a -> r) -> r

   vector-sized	Data.Vector.Unboxed.Sized

   O(n) Takes a list and returns a continuation providing a vector with a size parameter corresponding to the length of the list. Essentially converts a list into a vector with the proper size parameter, determined at runtime. See withSized

9. encodeList :: [ASN1] -> (Int, [ASN1Event])

   asn1-encoding	Data.ASN1.Prim

   No documentation available.

10. appendList :: NonEmpty a -> [a] -> NonEmpty a

    base-compat-batteries	Data.List.NonEmpty.Compat

    Attach a list at the end of a NonEmpty.

    >>> appendList (1 :| [2,3]) []
    1 :| [2,3]
    

    >>> appendList (1 :| [2,3]) [4,5]
    1 :| [2,3,4,5]
    

Page 89 of many | Previous | Next