Data.PrimitiveArray.Dense

Dense primitive arrays where the lower index is zero (or the equivalent of zero for newtypes and enumerations).

Actual writes to data structures use a more safe write instead of the unsafe unsafeWrite. Writes also tend to occur much less in DP algorithms (say, N^2 writes for an N^3 time algorithm -- mostly reads are being executed).

TODO consider if we want to force the lower index to be zero, or allow non-zero lower indices. Will have to be considered together with the Index.Class module!

TODO while Unboxed is, in princile, Hashable, we'd need the corresponding VU.Vector instances ...

TODO rename to Dense.Vector, since there are other possibilities to store, without basing on vector.

Documentation

data Dense v sh e

Constructors

Dense

Fields

• _denseLimit :: !(LimitType sh)
• _denseV :: !(v e)

Instances

(Index sh, Vector v e, Vector v e') => PrimArrayMap (Dense v :: Type -> Type -> Type) (sh :: Type) e e'

Defined in Data.PrimitiveArray.Dense

Methods

mapArray :: (e -> e') -> Dense v sh e -> Dense v sh e'

(Show (LimitType sh), Show (Mutable v (PrimState m) e), Mutable v (PrimState m) e ~ mv) => Show (MutArr m (Dense v sh e))

Defined in Data.PrimitiveArray.Dense

Methods

showsPrec :: Int -> MutArr m (Dense v sh e) -> ShowS

show :: MutArr m (Dense v sh e) -> String

showList :: [MutArr m (Dense v sh e)] -> ShowS

Generic (MutArr m (Dense v sh e))

Defined in Data.PrimitiveArray.Dense

Associated Types

type Rep (MutArr m (Dense v sh e)) :: Type -> Type

Methods

from :: MutArr m (Dense v sh e) -> Rep (MutArr m (Dense v sh e)) x

to :: Rep (MutArr m (Dense v sh e)) x -> MutArr m (Dense v sh e)

(NFData (LimitType sh), NFData (Mutable v (PrimState m) e), Mutable v (PrimState m) e ~ mv) => NFData (MutArr m (Dense v sh e))

Defined in Data.PrimitiveArray.Dense

Methods

rnf :: MutArr m (Dense v sh e) -> ()

(Index sh, Vector v e) => PrimArrayOps (Dense v) sh e

Defined in Data.PrimitiveArray.Dense

Methods

upperBound :: Dense v sh e -> LimitType sh

unsafeIndex :: Dense v sh e -> sh -> e

safeIndex :: Dense v sh e -> sh -> Maybe e

transformShape :: Index sh' => (LimitType sh -> LimitType sh') -> Dense v sh e -> Dense v sh' e

upperBoundM :: forall (m :: Type -> Type). MutArr m (Dense v sh e) -> LimitType sh

fromListM :: PrimMonad m => LimitType sh -> [e] -> m (MutArr m (Dense v sh e))

newM :: PrimMonad m => LimitType sh -> m (MutArr m (Dense v sh e))

newSM :: (Monad m, PrimMonad m) => LimitType sh -> FillStruc (Dense v sh e) -> m (MutArr m (Dense v sh e))

newWithM :: PrimMonad m => LimitType sh -> e -> m (MutArr m (Dense v sh e))

newWithSM :: (Monad m, PrimMonad m) => LimitType sh -> FillStruc (Dense v sh e) -> e -> m (MutArr m (Dense v sh e))

readM :: PrimMonad m => MutArr m (Dense v sh e) -> sh -> m e

safeReadM :: (Monad m, PrimMonad m) => MutArr m (Dense v sh e) -> sh -> m (Maybe e)

writeM :: PrimMonad m => MutArr m (Dense v sh e) -> sh -> e -> m ()

safeWriteM :: (Monad m, PrimMonad m) => MutArr m (Dense v sh e) -> sh -> e -> m ()

unsafeFreezeM :: PrimMonad m => MutArr m (Dense v sh e) -> m (Dense v sh e)

unsafeThawM :: PrimMonad m => Dense v sh e -> m (MutArr m (Dense v sh e))

Functor v => Functor (Dense v sh)

Defined in Data.PrimitiveArray.Dense

Methods

fmap :: (a -> b) -> Dense v sh a -> Dense v sh b

(<$) :: a -> Dense v sh b -> Dense v sh a

(Eq (LimitType sh), Eq (v e)) => Eq (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

Methods

(==) :: Dense v sh e -> Dense v sh e -> Bool

(/=) :: Dense v sh e -> Dense v sh e -> Bool

(Data (v e), Data (LimitType sh), Data e, Data sh, Typeable sh, Typeable e, Typeable v) => Data (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Dense v sh e -> c (Dense v sh e)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Dense v sh e)

toConstr :: Dense v sh e -> Constr

dataTypeOf :: Dense v sh e -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Dense v sh e))

dataCast2 :: Typeable t => (forall d e0. (Data d, Data e0) => c (t d e0)) -> Maybe (c (Dense v sh e))

gmapT :: (forall b. Data b => b -> b) -> Dense v sh e -> Dense v sh e

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Dense v sh e -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Dense v sh e -> r

gmapQ :: (forall d. Data d => d -> u) -> Dense v sh e -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Dense v sh e -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Dense v sh e -> m (Dense v sh e)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Dense v sh e -> m (Dense v sh e)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Dense v sh e -> m (Dense v sh e)

(Read (LimitType sh), Read (v e)) => Read (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

Methods

readsPrec :: Int -> ReadS (Dense v sh e)

readList :: ReadS [Dense v sh e]

readPrec :: ReadPrec (Dense v sh e)

readListPrec :: ReadPrec [Dense v sh e]

(Show (LimitType sh), Show (v e)) => Show (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

Methods

showsPrec :: Int -> Dense v sh e -> ShowS

show :: Dense v sh e -> String

showList :: [Dense v sh e] -> ShowS

(Generic (LimitType sh), Generic (v e)) => Generic (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

Associated Types

type Rep (Dense v sh e) :: Type -> Type

Methods

from :: Dense v sh e -> Rep (Dense v sh e) x

to :: Rep (Dense v sh e) x -> Dense v sh e

(Hashable (LimitType sh), Hashable (v e), Generic (LimitType sh), Generic (v e)) => Hashable (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

Methods

hashWithSalt :: Int -> Dense v sh e -> Int

hash :: Dense v sh e -> Int

(ToJSON (LimitType sh), ToJSON (v e), Generic (LimitType sh), Generic (v e)) => ToJSON (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

Methods

toJSON :: Dense v sh e -> Value

toEncoding :: Dense v sh e -> Encoding

toJSONList :: [Dense v sh e] -> Value

toEncodingList :: [Dense v sh e] -> Encoding

(FromJSON (LimitType sh), FromJSON (v e), Generic (LimitType sh), Generic (v e)) => FromJSON (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

Methods

parseJSON :: Value -> Parser (Dense v sh e)

parseJSONList :: Value -> Parser [Dense v sh e]

(Binary (LimitType sh), Binary (v e), Generic (LimitType sh), Generic (v e)) => Binary (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

Methods

put :: Dense v sh e -> Put

get :: Get (Dense v sh e)

putList :: [Dense v sh e] -> Put

(Serialize (LimitType sh), Serialize (v e), Generic (LimitType sh), Generic (v e)) => Serialize (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

Methods

put :: Putter (Dense v sh e)

get :: Get (Dense v sh e)

(NFData (LimitType sh), NFData (v e)) => NFData (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

Methods

rnf :: Dense v sh e -> ()

data MutArr m (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

data MutArr m (Dense v sh e) = MDense !(LimitType sh) !(Mutable v (PrimState m) e)

type Rep (MutArr m (Dense v sh e))

Defined in Data.PrimitiveArray.Dense

type Rep (MutArr m (Dense v sh e)) = D1 ('MetaData "MutArr" "Data.PrimitiveArray.Dense" "PrimitiveArray-0.10.1.1-FHg9n6QRwG947627Wq9cn2" 'False) (C1 ('MetaCons "MDense" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LimitType sh)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Mutable v (PrimState m) e))))

type Rep (Dense v sh e)

Defined in Data.PrimitiveArray.Dense

type Rep (Dense v sh e) = D1 ('MetaData "Dense" "Data.PrimitiveArray.Dense" "PrimitiveArray-0.10.1.1-FHg9n6QRwG947627Wq9cn2" 'False) (C1 ('MetaCons "Dense" 'PrefixI 'True) (S1 ('MetaSel ('Just "_denseLimit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LimitType sh)) :*: S1 ('MetaSel ('Just "_denseV") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (v e))))

denseV :: forall k (v :: k -> Type) sh (e :: k) k (v :: k -> Type) (e :: k). Lens (Dense (v :: k -> Type) sh (e :: k)) (Dense (v :: k -> Type) sh (e :: k)) (v e) (v e)

denseLimit :: forall k (v :: k -> Type) sh (e :: k) sh. Lens (Dense (v :: k -> Type) sh (e :: k)) (Dense (v :: k -> Type) sh (e :: k)) (LimitType sh) (LimitType sh)

type Unboxed sh e = Dense Vector sh e

type Storable sh e = Dense Vector sh e

type Boxed sh e = Dense Vector sh e