Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. pattern Ix1 :: Int -> Ix1

    massiv Data.Massiv.Core.Index

    This is a very handy pattern synonym to indicate that any arbitrary Integral literal is an Int, e.g. a 1-dimensional index: (Ix1 5) == (5 :: Int) 

    >>> Ix1 5
5

>>> :t Ix1 5
Ix1 5 :: Ix1

  2. type Ix1T = Int

    massiv Data.Massiv.Core.Index

    Another 1-dimensional index type synonym for Int, same as Ix1 and is here just for consistency.

  3. data Ix2

    massiv Data.Massiv.Core.Index

    2-dimensional index. This is also a base index for higher dimensions.

  4. pattern Ix2 :: Int -> Int -> Ix2

    massiv Data.Massiv.Core.Index

    2-dimensional index constructor. Useful when infix notation is inconvenient. (Ix2 i j) == (i :. j)

  5. type Ix2T = (Int, Int)

    massiv Data.Massiv.Core.Index

    2-dimensional index as tuple of Ints.

  6. pattern Ix3 :: Int -> Int -> Int -> Ix3

    massiv Data.Massiv.Core.Index

    3-dimensional index constructor. (Ix3 i j k) == (i :> j :. k)

  7. type Ix3 = IxN 3

    massiv Data.Massiv.Core.Index

    3-dimensional type synonym. Useful as a alternative to enabling DataKinds and using type level Nats.

  8. type Ix3T = (Int, Int, Int)

    massiv Data.Massiv.Core.Index

    3-dimensional index as 3-tuple of Ints.

  9. pattern Ix4 :: Int -> Int -> Int -> Int -> Ix4

    massiv Data.Massiv.Core.Index

    4-dimensional index constructor. (Ix4 i j k l) == (i :> j :> k :. l)

  10. type Ix4 = IxN 4

    massiv Data.Massiv.Core.Index

    4-dimensional type synonym.

Page 15 of many | Previous | Next