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. fromLists :: [[a]] -> Matrix a

   matrix	Data.Matrix

   Create a matrix from a non-empty list of non-empty lists. Each list must have at least as many elements as the first list. Examples:

   fromLists [ [1,2,3]      ( 1 2 3 )
   , [4,5,6]      ( 4 5 6 )
   , [7,8,9] ] =  ( 7 8 9 )
   

   fromLists [ [1,2,3  ]     ( 1 2 3 )
   , [4,5,6,7]     ( 4 5 6 )
   , [8,9,0  ] ] = ( 8 9 0 )
   

2. fromListN :: forall (v :: Type -> Type) (n :: Nat) a . (Vector v a, KnownNat n) => [a] -> Maybe (Vector v n a)

   vector-sized	Data.Vector.Generic.Sized

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

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

   vector-sized	Data.Vector.Generic.Sized

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

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

   vector-sized	Data.Vector.Primitive.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.

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

   vector-sized	Data.Vector.Primitive.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.

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

   vector-sized	Data.Vector.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.

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

   vector-sized	Data.Vector.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.

8. fromListN :: forall (n :: Nat) a . (Storable a, KnownNat 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 inferred from the type.

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

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

Page 45 of many | Previous | Next