Hoogle Search

Within LTS Haskell 24.27 (ghc-9.10.3)

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

  1. diagonalList :: Int -> a -> [a] -> Matrix a

    matrix Data.Matrix

    Diagonal matrix from a non-empty list given the desired size. Non-diagonal elements will be filled with the given default element. The list must have at least order elements.

    diagonalList n 0 [1..] =
    n
    1 ( 1 0 ... 0   0 )
    2 ( 0 2 ... 0   0 )
    (     ...       )
    ( 0 0 ... n-1 0 )
    n ( 0 0 ... 0   n )
    

  2. fromList :: Int -> Int -> [a] -> Matrix a

    matrix Data.Matrix

    Create a matrix from a non-empty list given the desired size. The list must have at least rows*cols elements. An example:

    ( 1 2 3 )
    ( 4 5 6 )
    fromList 3 3 [1..] =  ( 7 8 9 )
    

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

  4. toList :: Matrix a -> [a]

    matrix Data.Matrix

    Get the elements of a matrix stored in a list.

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

  5. toLists :: Matrix a -> [[a]]

    matrix Data.Matrix

    Get the elements of a matrix stored in a list of lists, where each list contains the elements of a single row.

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

  6. data ToListSym0 (a1 :: TyFun t a [a])

    singletons-base Data.Foldable.Singletons

    No documentation available.

  7. type family ToListSym1 (a6989586621680407280 :: t a) :: [a]

    singletons-base Data.Foldable.Singletons

    No documentation available.

  8. sToList :: forall a (t1 :: t a) . SFoldable t => Sing t1 -> Sing (Apply (ToListSym0 :: TyFun (t a) [a] -> Type) t1)

    singletons-base Data.Foldable.Singletons

    No documentation available.

  9. type family FromList (a1 :: [a]) :: NonEmpty a

    singletons-base Data.List.NonEmpty.Singletons

    No documentation available.

  10. data FromListSym0 (a1 :: TyFun [a] NonEmpty a)

    singletons-base Data.List.NonEmpty.Singletons

    No documentation available.

Page 84 of many | Previous | Next