Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

  1. midpointStencil :: (Fractional e, Index ix) => e -> Dim -> Int -> Stencil ix e e

    massiv Data.Massiv.Array.Numeric.Integral

    Midpoint Rule <math>

  2. trapezoidRule :: (Fractional e, StrideLoad DW ix e, Manifest r e) => Comp -> r -> ((Int -> e) -> ix -> e) -> e -> e -> Sz ix -> Int -> Array D ix e

    massiv Data.Massiv.Array.Numeric.Integral

    Use trapezoid rule to approximate an integral.

  3. trapezoidStencil :: (Fractional e, Index ix) => e -> Dim -> Int -> Stencil ix e e

    massiv Data.Massiv.Array.Numeric.Integral

    Trapezoid Rule <math>

  4. SafeStride :: ix -> Stride ix

    massiv Data.Massiv.Array.Unsafe

    No documentation available.

  5. newtype Stride ix

    massiv Data.Massiv.Array.Unsafe

    Stride provides a way to ignore elements of an array if an index is divisible by a corresponding value in a stride. So, for a Stride (i :. j) only elements with indices will be kept around: 

    ( 0 :. 0) ( 0 :. j) ( 0 :. 2j) ( 0 :. 3j) ...
( i :. 0) ( i :. j) ( i :. 2j) ( i :. 3j) ...
(2i :. 0) (2i :. j) (2i :. 2j) (2i :. 3j) ...
...
    Only positive strides make sense, so Stride pattern synonym constructor will prevent a user from creating a stride with negative or zero values, thus promoting safety of the library.

    Examples:

    • Default and minimal stride of Stride (pureIndex 1) will have no affect and all elements will kept.
    • If stride is Stride 2, then every 2nd element (i.e. with index 1, 3, 5, ..) will be skipped and only elemnts with indices divisible by 2 will be kept around.
    • In case of two dimensions, if what you want is to keep all rows divisible by 5, but keep every column intact then you'd use Stride (5 :. 1).

  6. class Load r ix e => StrideLoad r ix e

    massiv Data.Massiv.Core

    No documentation available.

  7. iterArrayLinearWithStrideST_ :: StrideLoad r ix e => Scheduler s () -> Stride ix -> Sz ix -> Array r ix e -> (Int -> e -> ST s ()) -> ST s ()

    massiv Data.Massiv.Core

    Load an array into memory with stride. Default implementation requires an instance of Source.

  8. type family IsDimValid ix (n :: Nat) :: Bool

    massiv Data.Massiv.Core.Index

    No documentation available.

  9. type family ReportInvalidDim (dims :: Nat) (n :: Nat) (isNotZero :: Bool) (isLess :: Bool) :: Bool

    massiv Data.Massiv.Core.Index

    No documentation available.

  10. data Stride ix

    massiv Data.Massiv.Core.Index

    Stride provides a way to ignore elements of an array if an index is divisible by a corresponding value in a stride. So, for a Stride (i :. j) only elements with indices will be kept around: 

    ( 0 :. 0) ( 0 :. j) ( 0 :. 2j) ( 0 :. 3j) ...
( i :. 0) ( i :. j) ( i :. 2j) ( i :. 3j) ...
(2i :. 0) (2i :. j) (2i :. 2j) (2i :. 3j) ...
...
    Only positive strides make sense, so Stride pattern synonym constructor will prevent a user from creating a stride with negative or zero values, thus promoting safety of the library.

    Examples:

    • Default and minimal stride of Stride (pureIndex 1) will have no affect and all elements will kept.
    • If stride is Stride 2, then every 2nd element (i.e. with index 1, 3, 5, ..) will be skipped and only elemnts with indices divisible by 2 will be kept around.
    • In case of two dimensions, if what you want is to keep all rows divisible by 5, but keep every column intact then you'd use Stride (5 :. 1).

Page 620 of many | Previous | Next