Numerical.World

Documentation

data Native

Every numerical algorithm runs somewhere.

This could be on a CPU, a GPU,

Instances

(Buffer rep el, Layout (Format lay locality rank rep) rank) => PureArray (ImmArray Native rep lay locality rank) rank el

Defined in Numerical.Array.Pure

Associated Types

type PureArrayAddress (ImmArray Native rep lay locality rank) :: Type

Methods

basicShape :: ImmArray Native rep lay locality rank el -> Index rank

basicSparseIndexToAddress :: address ~ PureArrayAddress (ImmArray Native rep lay locality rank) => ImmArray Native rep lay locality rank el -> Index rank -> Maybe address

basicAddressToIndex :: address ~ PureArrayAddress (ImmArray Native rep lay locality rank) => ImmArray Native rep lay locality rank el -> address -> Index rank

basicAddressRange :: address ~ PureArrayAddress (ImmArray Native rep lay locality rank) => ImmArray Native rep lay locality rank el -> Maybe (Range address)

basicNextAddress :: address ~ PureArrayAddress (ImmArray Native rep lay locality rank) => ImmArray Native rep lay locality rank el -> address -> Maybe address

basicNextIndex :: address ~ PureArrayAddress (ImmArray Native rep lay locality rank) => ImmArray Native rep lay locality rank el -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicUnsafeAddressRead :: (Monad m, address ~ PureArrayAddress (ImmArray Native rep lay locality rank)) => ImmArray Native rep lay locality rank el -> address -> m el

basicUnsafeSparseRead :: Monad m => ImmArray Native rep lay locality rank el -> Index rank -> m (Maybe el)

(Buffer rep el, Layout (Format lay locality rank rep) rank) => Array (MArray Native rep lay locality rank) rank el

Defined in Numerical.Array.Mutable

Associated Types

type ArrPure (MArray Native rep lay locality rank) :: Type -> Type

type MArrayAddress (MArray Native rep lay locality rank) :: Type

Methods

basicUnsafeAffineAddressShift :: address ~ MArrayAddress (MArray Native rep lay locality rank) => MArray Native rep lay locality rank st el -> Int -> address -> address

basicUnsafeFreeze :: (PrimMonad m, arr ~ ArrPure (MArray Native rep lay locality rank), MArray Native rep lay locality rank ~ ArrMutable arr) => MArray Native rep lay locality rank (PrimState m) el -> m (arr el)

basicUnsafeThaw :: (PrimMonad m, MArray Native rep lay locality rank ~ ArrMutable arr, arr ~ ArrPure (MArray Native rep lay locality rank)) => arr el -> m (MArray Native rep lay locality rank (PrimState m) el)

basicShape :: MArray Native rep lay locality rank st el -> Index rank

basicCardinality :: address ~ MArrayAddress (MArray Native rep lay locality rank) => MArray Native rep lay locality rank st el -> Range address -> Int

basicSparseIndexToAddress :: address ~ MArrayAddress (MArray Native rep lay locality rank) => MArray Native rep lay locality rank s el -> Index rank -> Maybe address

basicAddressToIndex :: address ~ MArrayAddress (MArray Native rep lay locality rank) => MArray Native rep lay locality rank s el -> address -> Index rank

basicAddressRange :: address ~ MArrayAddress (MArray Native rep lay locality rank) => MArray Native rep lay locality rank st el -> Maybe (Range address)

basicSparseNextAddress :: address ~ MArrayAddress (MArray Native rep lay locality rank) => MArray Native rep lay locality rank st el -> address -> Maybe address

basicSparseNextIndex :: address ~ MArrayAddress (MArray Native rep lay locality rank) => MArray Native rep lay locality rank st el -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicLocalAffineAddressRegion :: address ~ MArrayAddress (MArray Native rep lay locality rank) => MArray Native rep lay locality rank st el -> address -> AffineRange address

basicOverlaps :: MArray Native rep lay locality rank st el -> MArray Native rep lay locality rank st el -> Bool

basicClear :: PrimMonad m => MArray Native rep lay locality rank (PrimState m) el -> m ()

basicUnsafeAddressRead :: (PrimMonad m, address ~ MArrayAddress (MArray Native rep lay locality rank)) => MArray Native rep lay locality rank (PrimState m) el -> address -> m el

basicUnsafeAddressWrite :: (PrimMonad m, address ~ MArrayAddress (MArray Native rep lay locality rank)) => MArray Native rep lay locality rank (PrimState m) el -> address -> el -> m ()

basicUnsafeSparseRead :: PrimMonad m => MArray Native rep lay locality rank (PrimState m) el -> Index rank -> m (Maybe el)

data ImmArray Native rep lay locality rank el

Defined in Numerical.Array.Pure

data ImmArray Native rep lay locality rank el = ImMutableNativeArray {

• nativeBufferPure :: !(BufferPure rep el)
• nativeFormatPure :: !(Format lay locality rank rep)

}

data MArray Native rep lay locality rank st el

Defined in Numerical.Array.Mutable

data MArray Native rep lay locality rank st el = MutableNativeArray {

• nativeBuffer :: !(BufferMut rep st el)
• nativeFormat :: !(Format lay locality rank rep)

}

type PureArrayAddress (ImmArray Native rep lay locality rank)

Defined in Numerical.Array.Pure

type PureArrayAddress (ImmArray Native rep lay locality rank) = LayoutAddress (Format lay locality rank rep)

type ArrPure (MArray Native rep lay locality rank)

Defined in Numerical.Array.Mutable

type ArrPure (MArray Native rep lay locality rank) = ImmArray Native rep lay locality rank

type MArrayAddress (MArray Native rep lay locality rank)

Defined in Numerical.Array.Mutable

type MArrayAddress (MArray Native rep lay locality rank) = LayoutAddress (Format lay locality rank rep)

data ForeignNative