Safe Haskell	None
Language	Haskell2010

Data.VMap

Synopsis

class MVector ( Mutable v) a => Vector (v :: Type -> Type ) a
type VB = Vector
type VU = Vector
type VP = Vector
type VS = Vector
newtype VMap kv vv k v = VMap {
- unVMap :: KVVector kv vv (k, v)
}
empty :: ( Vector kv k, Vector vv v) => VMap kv vv k v
size :: Vector kv k => VMap kv vv k v -> Int
lookup :: ( Ord k, Vector kv k, Vector vv v) => k -> VMap kv vv k v -> Maybe v
findWithDefault :: ( Ord k, Vector kv k, Vector vv v) => v -> k -> VMap kv vv k v -> v
member :: ( Ord k, Vector kv k) => k -> VMap kv vv k v -> Bool
notMember :: ( Ord k, Vector kv k) => k -> VMap kv vv k v -> Bool
map :: ( Vector vv a, Vector vv b) => (a -> b) -> VMap kv vv k a -> VMap kv vv k b
mapMaybe :: ( Vector kv k, Vector vv a, Vector vv b) => (a -> Maybe b) -> VMap kv vv k a -> VMap kv vv k b
mapWithKey :: ( Vector kv k, Vector vv a, Vector vv b) => (k -> a -> b) -> VMap kv vv k a -> VMap kv vv k b
filter :: ( Vector kv k, Vector vv v) => (k -> v -> Bool ) -> VMap kv vv k v -> VMap kv vv k v
fold :: ( Vector vv m, Monoid m) => VMap kv vv k m -> m
foldl :: Vector vv v => (a -> v -> a) -> a -> VMap kv vv k v -> a
foldlWithKey :: ( Vector kv k, Vector vv v) => (a -> k -> v -> a) -> a -> VMap kv vv k v -> a
foldMap :: ( Vector vv v, Monoid m) => (v -> m) -> VMap kv vv k v -> m
foldMapWithKey :: ( Vector kv k, Vector vv v, Monoid m) => (k -> v -> m) -> VMap kv vv k v -> m
fromMap :: ( Vector kv k, Vector vv v) => Map k v -> VMap kv vv k v
toMap :: ( Vector kv k, Vector vv v) => VMap kv vv k v -> Map k v
fromList :: ( Ord k, Vector kv k, Vector vv v) => [(k, v)] -> VMap kv vv k v
fromListN :: ( Ord k, Vector kv k, Vector vv v) => Int -> [(k, v)] -> VMap kv vv k v
toList :: ( Vector kv k, Vector vv v) => VMap kv vv k v -> [(k, v)]
toAscList :: ( Vector kv k, Vector vv v) => VMap kv vv k v -> [(k, v)]
keys :: Vector kv k => VMap kv vv k v -> [k]
elems :: Vector vv v => VMap kv vv k v -> [v]
fromAscList :: ( Eq k, Vector kv k, Vector vv v) => [(k, v)] -> VMap kv vv k v
fromAscListN :: ( Eq k, Vector kv k, Vector vv v) => Int -> [(k, v)] -> VMap kv vv k v
fromAscListWithKey :: ( Eq k, Vector kv k, Vector vv v) => (k -> v -> v -> v) -> [(k, v)] -> VMap kv vv k v
fromAscListWithKeyN :: ( Eq k, Vector kv k, Vector vv v) => Int -> (k -> v -> v -> v) -> [(k, v)] -> VMap kv vv k v
fromDistinctAscList :: ( Vector kv k, Vector vv v) => [(k, v)] -> VMap kv vv k v
fromDistinctAscListN :: ( Vector kv k, Vector vv v) => Int -> [(k, v)] -> VMap kv vv k v
internMaybe :: ( Vector kv k, Ord k) => k -> VMap kv vv k v -> Maybe k
null :: ( Vector vv v, Vector kv k) => VMap kv vv k v -> Bool
splitAt :: ( Vector vv v, Vector kv k) => Int -> VMap kv vv k v -> ( VMap kv vv k v, VMap kv vv k v)
data KVMVector kmv vmv s a
data KVVector kv vv a
normalize :: ( Vector kv k, Vector vv v, Ord k) => KVVector kv vv (k, v) -> KVVector kv vv (k, v)
normalizeM :: ( Ord k, PrimMonad m, Vector kv k, Vector vv v) => KVMVector ( Mutable kv) ( Mutable vv) ( PrimState m) (k, v) -> m ( KVMVector ( Mutable kv) ( Mutable vv) ( PrimState m) (k, v))

Documentation

class MVector ( Mutable v) a => Vector (v :: Type -> Type ) a Source #

Class of immutable vectors. Every immutable vector is associated with its mutable version through the Mutable type family. Methods of this class should not be used directly. Instead, Data.Vector.Generic and other Data.Vector modules provide safe and fusible wrappers.

Minimum complete implementation:

Minimal complete definition

basicUnsafeFreeze , basicUnsafeThaw , basicLength , basicUnsafeSlice , basicUnsafeIndexM

Instances

Instances details

Vector Vector Bool
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Bool -> m ( Vector Bool ) Source # basicUnsafeThaw :: PrimMonad m => Vector Bool -> m ( Mutable Vector ( PrimState m) Bool ) Source # basicLength :: Vector Bool -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Bool -> Vector Bool Source # basicUnsafeIndexM :: Monad m => Vector Bool -> Int -> m Bool Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Bool -> Vector Bool -> m () Source # elemseq :: Vector Bool -> Bool -> b -> b Source #
Vector Vector Char
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Char -> m ( Vector Char ) Source # basicUnsafeThaw :: PrimMonad m => Vector Char -> m ( Mutable Vector ( PrimState m) Char ) Source # basicLength :: Vector Char -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Char -> Vector Char Source # basicUnsafeIndexM :: Monad m => Vector Char -> Int -> m Char Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Char -> Vector Char -> m () Source # elemseq :: Vector Char -> Char -> b -> b Source #
Vector Vector Double
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Double -> m ( Vector Double ) Source # basicUnsafeThaw :: PrimMonad m => Vector Double -> m ( Mutable Vector ( PrimState m) Double ) Source # basicLength :: Vector Double -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Double -> Vector Double Source # basicUnsafeIndexM :: Monad m => Vector Double -> Int -> m Double Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Double -> Vector Double -> m () Source # elemseq :: Vector Double -> Double -> b -> b Source #
Vector Vector Float
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Float -> m ( Vector Float ) Source # basicUnsafeThaw :: PrimMonad m => Vector Float -> m ( Mutable Vector ( PrimState m) Float ) Source # basicLength :: Vector Float -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Float -> Vector Float Source # basicUnsafeIndexM :: Monad m => Vector Float -> Int -> m Float Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Float -> Vector Float -> m () Source # elemseq :: Vector Float -> Float -> b -> b Source #
Vector Vector Int
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Int -> m ( Vector Int ) Source # basicUnsafeThaw :: PrimMonad m => Vector Int -> m ( Mutable Vector ( PrimState m) Int ) Source # basicLength :: Vector Int -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Int -> Vector Int Source # basicUnsafeIndexM :: Monad m => Vector Int -> Int -> m Int Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Int -> Vector Int -> m () Source # elemseq :: Vector Int -> Int -> b -> b Source #
Vector Vector Int8
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Int8 -> m ( Vector Int8 ) Source # basicUnsafeThaw :: PrimMonad m => Vector Int8 -> m ( Mutable Vector ( PrimState m) Int8 ) Source # basicLength :: Vector Int8 -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Int8 -> Vector Int8 Source # basicUnsafeIndexM :: Monad m => Vector Int8 -> Int -> m Int8 Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Int8 -> Vector Int8 -> m () Source # elemseq :: Vector Int8 -> Int8 -> b -> b Source #
Vector Vector Int16
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Int16 -> m ( Vector Int16 ) Source # basicUnsafeThaw :: PrimMonad m => Vector Int16 -> m ( Mutable Vector ( PrimState m) Int16 ) Source # basicLength :: Vector Int16 -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Int16 -> Vector Int16 Source # basicUnsafeIndexM :: Monad m => Vector Int16 -> Int -> m Int16 Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Int16 -> Vector Int16 -> m () Source # elemseq :: Vector Int16 -> Int16 -> b -> b Source #
Vector Vector Int32
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Int32 -> m ( Vector Int32 ) Source # basicUnsafeThaw :: PrimMonad m => Vector Int32 -> m ( Mutable Vector ( PrimState m) Int32 ) Source # basicLength :: Vector Int32 -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Int32 -> Vector Int32 Source # basicUnsafeIndexM :: Monad m => Vector Int32 -> Int -> m Int32 Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Int32 -> Vector Int32 -> m () Source # elemseq :: Vector Int32 -> Int32 -> b -> b Source #
Vector Vector Int64
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Int64 -> m ( Vector Int64 ) Source # basicUnsafeThaw :: PrimMonad m => Vector Int64 -> m ( Mutable Vector ( PrimState m) Int64 ) Source # basicLength :: Vector Int64 -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Int64 -> Vector Int64 Source # basicUnsafeIndexM :: Monad m => Vector Int64 -> Int -> m Int64 Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Int64 -> Vector Int64 -> m () Source # elemseq :: Vector Int64 -> Int64 -> b -> b Source #
Vector Vector Word
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Word -> m ( Vector Word ) Source # basicUnsafeThaw :: PrimMonad m => Vector Word -> m ( Mutable Vector ( PrimState m) Word ) Source # basicLength :: Vector Word -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Word -> Vector Word Source # basicUnsafeIndexM :: Monad m => Vector Word -> Int -> m Word Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Word -> Vector Word -> m () Source # elemseq :: Vector Word -> Word -> b -> b Source #
Vector Vector Word8
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Word8 -> m ( Vector Word8 ) Source # basicUnsafeThaw :: PrimMonad m => Vector Word8 -> m ( Mutable Vector ( PrimState m) Word8 ) Source # basicLength :: Vector Word8 -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Word8 -> Vector Word8 Source # basicUnsafeIndexM :: Monad m => Vector Word8 -> Int -> m Word8 Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Word8 -> Vector Word8 -> m () Source # elemseq :: Vector Word8 -> Word8 -> b -> b Source #
Vector Vector Word16
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Word16 -> m ( Vector Word16 ) Source # basicUnsafeThaw :: PrimMonad m => Vector Word16 -> m ( Mutable Vector ( PrimState m) Word16 ) Source # basicLength :: Vector Word16 -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Word16 -> Vector Word16 Source # basicUnsafeIndexM :: Monad m => Vector Word16 -> Int -> m Word16 Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Word16 -> Vector Word16 -> m () Source # elemseq :: Vector Word16 -> Word16 -> b -> b Source #
Vector Vector Word32
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Word32 -> m ( Vector Word32 ) Source # basicUnsafeThaw :: PrimMonad m => Vector Word32 -> m ( Mutable Vector ( PrimState m) Word32 ) Source # basicLength :: Vector Word32 -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Word32 -> Vector Word32 Source # basicUnsafeIndexM :: Monad m => Vector Word32 -> Int -> m Word32 Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Word32 -> Vector Word32 -> m () Source # elemseq :: Vector Word32 -> Word32 -> b -> b Source #
Vector Vector Word64
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Word64 -> m ( Vector Word64 ) Source # basicUnsafeThaw :: PrimMonad m => Vector Word64 -> m ( Mutable Vector ( PrimState m) Word64 ) Source # basicLength :: Vector Word64 -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Word64 -> Vector Word64 Source # basicUnsafeIndexM :: Monad m => Vector Word64 -> Int -> m Word64 Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Word64 -> Vector Word64 -> m () Source # elemseq :: Vector Word64 -> Word64 -> b -> b Source #
Vector Vector ()
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) () -> m ( Vector ()) Source # basicUnsafeThaw :: PrimMonad m => Vector () -> m ( Mutable Vector ( PrimState m) ()) Source # basicLength :: Vector () -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector () -> Vector () Source # basicUnsafeIndexM :: Monad m => Vector () -> Int -> m () Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) () -> Vector () -> m () Source # elemseq :: Vector () -> () -> b -> b Source #
Vector Vector All
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) All -> m ( Vector All ) Source # basicUnsafeThaw :: PrimMonad m => Vector All -> m ( Mutable Vector ( PrimState m) All ) Source # basicLength :: Vector All -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector All -> Vector All Source # basicUnsafeIndexM :: Monad m => Vector All -> Int -> m All Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) All -> Vector All -> m () Source # elemseq :: Vector All -> All -> b -> b Source #
Vector Vector Any
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Any -> m ( Vector Any ) Source # basicUnsafeThaw :: PrimMonad m => Vector Any -> m ( Mutable Vector ( PrimState m) Any ) Source # basicLength :: Vector Any -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector Any -> Vector Any Source # basicUnsafeIndexM :: Monad m => Vector Any -> Int -> m Any Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Any -> Vector Any -> m () Source # elemseq :: Vector Any -> Any -> b -> b Source #
Storable a => Vector Vector a
Instance details Defined in Data.Vector.Storable Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) a -> m ( Vector a) Source # basicUnsafeThaw :: PrimMonad m => Vector a -> m ( Mutable Vector ( PrimState m) a) Source # basicLength :: Vector a -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector a -> Vector a Source # basicUnsafeIndexM :: Monad m => Vector a -> Int -> m a Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) a -> Vector a -> m () Source # elemseq :: Vector a -> a -> b -> b Source #
Prim a => Vector Vector a
Instance details Defined in Data.Vector.Primitive Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) a -> m ( Vector a) Source # basicUnsafeThaw :: PrimMonad m => Vector a -> m ( Mutable Vector ( PrimState m) a) Source # basicLength :: Vector a -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector a -> Vector a Source # basicUnsafeIndexM :: Monad m => Vector a -> Int -> m a Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) a -> Vector a -> m () Source # elemseq :: Vector a -> a -> b -> b Source #
Vector Vector a
Instance details Defined in Data.Vector Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) a -> m ( Vector a) Source # basicUnsafeThaw :: PrimMonad m => Vector a -> m ( Mutable Vector ( PrimState m) a) Source # basicLength :: Vector a -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector a -> Vector a Source # basicUnsafeIndexM :: Monad m => Vector a -> Int -> m a Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) a -> Vector a -> m () Source # elemseq :: Vector a -> a -> b -> b Source #
Unbox a => Vector Vector ( Complex a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Complex a) -> m ( Vector ( Complex a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Complex a) -> m ( Mutable Vector ( PrimState m) ( Complex a)) Source # basicLength :: Vector ( Complex a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Complex a) -> Vector ( Complex a) Source # basicUnsafeIndexM :: Monad m => Vector ( Complex a) -> Int -> m ( Complex a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Complex a) -> Vector ( Complex a) -> m () Source # elemseq :: Vector ( Complex a) -> Complex a -> b -> b Source #
Unbox a => Vector Vector ( Min a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Min a) -> m ( Vector ( Min a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Min a) -> m ( Mutable Vector ( PrimState m) ( Min a)) Source # basicLength :: Vector ( Min a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Min a) -> Vector ( Min a) Source # basicUnsafeIndexM :: Monad m => Vector ( Min a) -> Int -> m ( Min a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Min a) -> Vector ( Min a) -> m () Source # elemseq :: Vector ( Min a) -> Min a -> b -> b Source #
Unbox a => Vector Vector ( Max a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Max a) -> m ( Vector ( Max a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Max a) -> m ( Mutable Vector ( PrimState m) ( Max a)) Source # basicLength :: Vector ( Max a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Max a) -> Vector ( Max a) Source # basicUnsafeIndexM :: Monad m => Vector ( Max a) -> Int -> m ( Max a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Max a) -> Vector ( Max a) -> m () Source # elemseq :: Vector ( Max a) -> Max a -> b -> b Source #
Unbox a => Vector Vector ( First a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( First a) -> m ( Vector ( First a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( First a) -> m ( Mutable Vector ( PrimState m) ( First a)) Source # basicLength :: Vector ( First a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( First a) -> Vector ( First a) Source # basicUnsafeIndexM :: Monad m => Vector ( First a) -> Int -> m ( First a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( First a) -> Vector ( First a) -> m () Source # elemseq :: Vector ( First a) -> First a -> b -> b Source #
Unbox a => Vector Vector ( Last a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Last a) -> m ( Vector ( Last a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Last a) -> m ( Mutable Vector ( PrimState m) ( Last a)) Source # basicLength :: Vector ( Last a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Last a) -> Vector ( Last a) Source # basicUnsafeIndexM :: Monad m => Vector ( Last a) -> Int -> m ( Last a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Last a) -> Vector ( Last a) -> m () Source # elemseq :: Vector ( Last a) -> Last a -> b -> b Source #
Unbox a => Vector Vector ( WrappedMonoid a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( WrappedMonoid a) -> m ( Vector ( WrappedMonoid a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( WrappedMonoid a) -> m ( Mutable Vector ( PrimState m) ( WrappedMonoid a)) Source # basicLength :: Vector ( WrappedMonoid a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( WrappedMonoid a) -> Vector ( WrappedMonoid a) Source # basicUnsafeIndexM :: Monad m => Vector ( WrappedMonoid a) -> Int -> m ( WrappedMonoid a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( WrappedMonoid a) -> Vector ( WrappedMonoid a) -> m () Source # elemseq :: Vector ( WrappedMonoid a) -> WrappedMonoid a -> b -> b Source #
Unbox a => Vector Vector ( Identity a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Identity a) -> m ( Vector ( Identity a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Identity a) -> m ( Mutable Vector ( PrimState m) ( Identity a)) Source # basicLength :: Vector ( Identity a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Identity a) -> Vector ( Identity a) Source # basicUnsafeIndexM :: Monad m => Vector ( Identity a) -> Int -> m ( Identity a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Identity a) -> Vector ( Identity a) -> m () Source # elemseq :: Vector ( Identity a) -> Identity a -> b -> b Source #
Unbox a => Vector Vector ( Dual a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Dual a) -> m ( Vector ( Dual a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Dual a) -> m ( Mutable Vector ( PrimState m) ( Dual a)) Source # basicLength :: Vector ( Dual a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Dual a) -> Vector ( Dual a) Source # basicUnsafeIndexM :: Monad m => Vector ( Dual a) -> Int -> m ( Dual a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Dual a) -> Vector ( Dual a) -> m () Source # elemseq :: Vector ( Dual a) -> Dual a -> b -> b Source #
Unbox a => Vector Vector ( Sum a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Sum a) -> m ( Vector ( Sum a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Sum a) -> m ( Mutable Vector ( PrimState m) ( Sum a)) Source # basicLength :: Vector ( Sum a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Sum a) -> Vector ( Sum a) Source # basicUnsafeIndexM :: Monad m => Vector ( Sum a) -> Int -> m ( Sum a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Sum a) -> Vector ( Sum a) -> m () Source # elemseq :: Vector ( Sum a) -> Sum a -> b -> b Source #
Unbox a => Vector Vector ( Product a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Product a) -> m ( Vector ( Product a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Product a) -> m ( Mutable Vector ( PrimState m) ( Product a)) Source # basicLength :: Vector ( Product a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Product a) -> Vector ( Product a) Source # basicUnsafeIndexM :: Monad m => Vector ( Product a) -> Int -> m ( Product a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Product a) -> Vector ( Product a) -> m () Source # elemseq :: Vector ( Product a) -> Product a -> b -> b Source #
Unbox a => Vector Vector ( Down a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Down a) -> m ( Vector ( Down a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Down a) -> m ( Mutable Vector ( PrimState m) ( Down a)) Source # basicLength :: Vector ( Down a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Down a) -> Vector ( Down a) Source # basicUnsafeIndexM :: Monad m => Vector ( Down a) -> Int -> m ( Down a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Down a) -> Vector ( Down a) -> m () Source # elemseq :: Vector ( Down a) -> Down a -> b -> b Source #
( Unbox a, Unbox b) => Vector Vector (a, b)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) (a, b) -> m ( Vector (a, b)) Source # basicUnsafeThaw :: PrimMonad m => Vector (a, b) -> m ( Mutable Vector ( PrimState m) (a, b)) Source # basicLength :: Vector (a, b) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector (a, b) -> Vector (a, b) Source # basicUnsafeIndexM :: Monad m => Vector (a, b) -> Int -> m (a, b) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) (a, b) -> Vector (a, b) -> m () Source # elemseq :: Vector (a, b) -> (a, b) -> b0 -> b0 Source #
( Unbox a, Unbox b) => Vector Vector ( Arg a b)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Arg a b) -> m ( Vector ( Arg a b)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Arg a b) -> m ( Mutable Vector ( PrimState m) ( Arg a b)) Source # basicLength :: Vector ( Arg a b) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Arg a b) -> Vector ( Arg a b) Source # basicUnsafeIndexM :: Monad m => Vector ( Arg a b) -> Int -> m ( Arg a b) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Arg a b) -> Vector ( Arg a b) -> m () Source # elemseq :: Vector ( Arg a b) -> Arg a b -> b0 -> b0 Source #
( Unbox a, Unbox b, Unbox c) => Vector Vector (a, b, c)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) (a, b, c) -> m ( Vector (a, b, c)) Source # basicUnsafeThaw :: PrimMonad m => Vector (a, b, c) -> m ( Mutable Vector ( PrimState m) (a, b, c)) Source # basicLength :: Vector (a, b, c) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector (a, b, c) -> Vector (a, b, c) Source # basicUnsafeIndexM :: Monad m => Vector (a, b, c) -> Int -> m (a, b, c) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) (a, b, c) -> Vector (a, b, c) -> m () Source # elemseq :: Vector (a, b, c) -> (a, b, c) -> b0 -> b0 Source #
Unbox a => Vector Vector ( Const a b)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Const a b) -> m ( Vector ( Const a b)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Const a b) -> m ( Mutable Vector ( PrimState m) ( Const a b)) Source # basicLength :: Vector ( Const a b) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Const a b) -> Vector ( Const a b) Source # basicUnsafeIndexM :: Monad m => Vector ( Const a b) -> Int -> m ( Const a b) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Const a b) -> Vector ( Const a b) -> m () Source # elemseq :: Vector ( Const a b) -> Const a b -> b0 -> b0 Source #
Unbox (f a) => Vector Vector ( Alt f a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Alt f a) -> m ( Vector ( Alt f a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Alt f a) -> m ( Mutable Vector ( PrimState m) ( Alt f a)) Source # basicLength :: Vector ( Alt f a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Alt f a) -> Vector ( Alt f a) Source # basicUnsafeIndexM :: Monad m => Vector ( Alt f a) -> Int -> m ( Alt f a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Alt f a) -> Vector ( Alt f a) -> m () Source # elemseq :: Vector ( Alt f a) -> Alt f a -> b -> b Source #
( Unbox a, Unbox b, Unbox c, Unbox d) => Vector Vector (a, b, c, d)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) (a, b, c, d) -> m ( Vector (a, b, c, d)) Source # basicUnsafeThaw :: PrimMonad m => Vector (a, b, c, d) -> m ( Mutable Vector ( PrimState m) (a, b, c, d)) Source # basicLength :: Vector (a, b, c, d) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector (a, b, c, d) -> Vector (a, b, c, d) Source # basicUnsafeIndexM :: Monad m => Vector (a, b, c, d) -> Int -> m (a, b, c, d) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) (a, b, c, d) -> Vector (a, b, c, d) -> m () Source # elemseq :: Vector (a, b, c, d) -> (a, b, c, d) -> b0 -> b0 Source #
( Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) => Vector Vector (a, b, c, d, e)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) (a, b, c, d, e) -> m ( Vector (a, b, c, d, e)) Source # basicUnsafeThaw :: PrimMonad m => Vector (a, b, c, d, e) -> m ( Mutable Vector ( PrimState m) (a, b, c, d, e)) Source # basicLength :: Vector (a, b, c, d, e) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector (a, b, c, d, e) -> Vector (a, b, c, d, e) Source # basicUnsafeIndexM :: Monad m => Vector (a, b, c, d, e) -> Int -> m (a, b, c, d, e) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) (a, b, c, d, e) -> Vector (a, b, c, d, e) -> m () Source # elemseq :: Vector (a, b, c, d, e) -> (a, b, c, d, e) -> b0 -> b0 Source #
Unbox (f (g a)) => Vector Vector ( Compose f g a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Compose f g a) -> m ( Vector ( Compose f g a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Compose f g a) -> m ( Mutable Vector ( PrimState m) ( Compose f g a)) Source # basicLength :: Vector ( Compose f g a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Compose f g a) -> Vector ( Compose f g a) Source # basicUnsafeIndexM :: Monad m => Vector ( Compose f g a) -> Int -> m ( Compose f g a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Compose f g a) -> Vector ( Compose f g a) -> m () Source # elemseq :: Vector ( Compose f g a) -> Compose f g a -> b -> b Source #
( Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) => Vector Vector (a, b, c, d, e, f)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) (a, b, c, d, e, f) -> m ( Vector (a, b, c, d, e, f)) Source # basicUnsafeThaw :: PrimMonad m => Vector (a, b, c, d, e, f) -> m ( Mutable Vector ( PrimState m) (a, b, c, d, e, f)) Source # basicLength :: Vector (a, b, c, d, e, f) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector (a, b, c, d, e, f) -> Vector (a, b, c, d, e, f) Source # basicUnsafeIndexM :: Monad m => Vector (a, b, c, d, e, f) -> Int -> m (a, b, c, d, e, f) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) (a, b, c, d, e, f) -> Vector (a, b, c, d, e, f) -> m () Source # elemseq :: Vector (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> b0 -> b0 Source #
( Vector kv k, Vector vv v) => Vector ( KVVector kv vv) (k, v) Source #
Instance details Defined in Data.VMap.KVVector Methods basicUnsafeFreeze :: PrimMonad m => Mutable ( KVVector kv vv) ( PrimState m) (k, v) -> m ( KVVector kv vv (k, v)) Source # basicUnsafeThaw :: PrimMonad m => KVVector kv vv (k, v) -> m ( Mutable ( KVVector kv vv) ( PrimState m) (k, v)) Source # basicLength :: KVVector kv vv (k, v) -> Int Source # basicUnsafeSlice :: Int -> Int -> KVVector kv vv (k, v) -> KVVector kv vv (k, v) Source # basicUnsafeIndexM :: Monad m => KVVector kv vv (k, v) -> Int -> m (k, v) Source # basicUnsafeCopy :: PrimMonad m => Mutable ( KVVector kv vv) ( PrimState m) (k, v) -> KVVector kv vv (k, v) -> m () Source # elemseq :: KVVector kv vv (k, v) -> (k, v) -> b -> b Source #

type VB = Vector Source #

type VU = Vector Source #

type VP = Vector Source #

type VS = Vector Source #

newtype VMap kv vv k v Source #

Constructors

VMap
Fields unVMap :: KVVector kv vv (k, v)

Instances

Instances details

( Vector kv k, Vector vv v, Ord k) => IsList ( VMap kv vv k v) Source #
Instance details Defined in Data.VMap Associated Types type Item ( VMap kv vv k v) Source # Methods fromList :: [ Item ( VMap kv vv k v)] -> VMap kv vv k v Source # fromListN :: Int -> [ Item ( VMap kv vv k v)] -> VMap kv vv k v Source # toList :: VMap kv vv k v -> [ Item ( VMap kv vv k v)] Source #
( Eq (kv k), Eq (vv v)) => Eq ( VMap kv vv k v) Source #
Instance details Defined in Data.VMap Methods (==) :: VMap kv vv k v -> VMap kv vv k v -> Bool Source # (/=) :: VMap kv vv k v -> VMap kv vv k v -> Bool Source #
( Show k, Show v, Vector kv k, Vector vv v) => Show ( VMap kv vv k v) Source #
Instance details Defined in Data.VMap Methods showsPrec :: Int -> VMap kv vv k v -> ShowS Source # show :: VMap kv vv k v -> String Source # showList :: [ VMap kv vv k v] -> ShowS Source #
Generic ( VMap kv vv k v) Source #
Instance details Defined in Data.VMap Associated Types type Rep ( VMap kv vv k v) :: Type -> Type Source # Methods from :: VMap kv vv k v -> Rep ( VMap kv vv k v) x Source # to :: Rep ( VMap kv vv k v) x -> VMap kv vv k v Source #
( Vector kv k, Vector vv v, Ord k) => Semigroup ( VMap kv vv k v) Source #
Instance details Defined in Data.VMap Methods (<>) :: VMap kv vv k v -> VMap kv vv k v -> VMap kv vv k v Source # sconcat :: NonEmpty ( VMap kv vv k v) -> VMap kv vv k v Source # stimes :: Integral b => b -> VMap kv vv k v -> VMap kv vv k v Source #
( Vector kv k, Vector vv v, Ord k) => Monoid ( VMap kv vv k v) Source #
Instance details Defined in Data.VMap Methods mempty :: VMap kv vv k v Source # mappend :: VMap kv vv k v -> VMap kv vv k v -> VMap kv vv k v Source # mconcat :: [ VMap kv vv k v] -> VMap kv vv k v Source #
( Typeable kv, Typeable vv, ToCBOR k, ToCBOR v, Ord k, Vector kv k, Vector vv v) => ToCBOR ( VMap kv vv k v) Source #
Instance details Defined in Data.VMap Methods toCBOR :: VMap kv vv k v -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( VMap kv vv k v) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ VMap kv vv k v] -> Size Source #
( Typeable kv, Typeable vv, FromCBOR k, FromCBOR v, Ord k, Vector kv k, Vector vv v) => FromCBOR ( VMap kv vv k v) Source #
Instance details Defined in Data.VMap Methods fromCBOR :: Decoder s ( VMap kv vv k v) Source # label :: Proxy ( VMap kv vv k v) -> Text Source #
( NFData (kv k), NFData (vv v)) => NFData ( VMap kv vv k v) Source #
Instance details Defined in Data.VMap Methods rnf :: VMap kv vv k v -> () Source #
( NoThunks (kv k), NoThunks (vv v), Typeable kv, Typeable vv, Typeable k, Typeable v) => NoThunks ( VMap kv vv k v) Source #
Instance details Defined in Data.VMap Methods noThunks :: Context -> VMap kv vv k v -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> VMap kv vv k v -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( VMap kv vv k v) -> String Source #
type Rep ( VMap kv vv k v) Source #
Instance details Defined in Data.VMap type Rep ( VMap kv vv k v) = D1 (' MetaData "VMap" "Data.VMap" "vector-map-0.1.0.0-5O8aYQeM00kIcIXV60u2Tb" ' True ) ( C1 (' MetaCons "VMap" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unVMap") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( KVVector kv vv (k, v)))))
type Item ( VMap kv vv k v) Source #
Instance details Defined in Data.VMap type Item ( VMap kv vv k v) = (k, v)

empty :: ( Vector kv k, Vector vv v) => VMap kv vv k v Source #

size :: Vector kv k => VMap kv vv k v -> Int Source #

lookup :: ( Ord k, Vector kv k, Vector vv v) => k -> VMap kv vv k v -> Maybe v Source #

findWithDefault :: ( Ord k, Vector kv k, Vector vv v) => v -> k -> VMap kv vv k v -> v Source #

member :: ( Ord k, Vector kv k) => k -> VMap kv vv k v -> Bool Source #

notMember :: ( Ord k, Vector kv k) => k -> VMap kv vv k v -> Bool Source #

map :: ( Vector vv a, Vector vv b) => (a -> b) -> VMap kv vv k a -> VMap kv vv k b Source #

mapMaybe :: ( Vector kv k, Vector vv a, Vector vv b) => (a -> Maybe b) -> VMap kv vv k a -> VMap kv vv k b Source #

mapWithKey :: ( Vector kv k, Vector vv a, Vector vv b) => (k -> a -> b) -> VMap kv vv k a -> VMap kv vv k b Source #

filter :: ( Vector kv k, Vector vv v) => (k -> v -> Bool ) -> VMap kv vv k v -> VMap kv vv k v Source #

fold :: ( Vector vv m, Monoid m) => VMap kv vv k m -> m Source #

Fold values monoidally

foldl :: Vector vv v => (a -> v -> a) -> a -> VMap kv vv k v -> a Source #

foldlWithKey :: ( Vector kv k, Vector vv v) => (a -> k -> v -> a) -> a -> VMap kv vv k v -> a Source #

foldMap :: ( Vector vv v, Monoid m) => (v -> m) -> VMap kv vv k v -> m Source #

foldMapWithKey :: ( Vector kv k, Vector vv v, Monoid m) => (k -> v -> m) -> VMap kv vv k v -> m Source #

fromMap :: ( Vector kv k, Vector vv v) => Map k v -> VMap kv vv k v Source #

toMap :: ( Vector kv k, Vector vv v) => VMap kv vv k v -> Map k v Source #

fromList :: ( Ord k, Vector kv k, Vector vv v) => [(k, v)] -> VMap kv vv k v Source #

fromListN :: ( Ord k, Vector kv k, Vector vv v) => Int -> [(k, v)] -> VMap kv vv k v Source #

toList :: ( Vector kv k, Vector vv v) => VMap kv vv k v -> [(k, v)] Source #

toAscList :: ( Vector kv k, Vector vv v) => VMap kv vv k v -> [(k, v)] Source #

keys :: Vector kv k => VMap kv vv k v -> [k] Source #

elems :: Vector vv v => VMap kv vv k v -> [v] Source #

fromAscList :: ( Eq k, Vector kv k, Vector vv v) => [(k, v)] -> VMap kv vv k v Source #

fromAscListN :: ( Eq k, Vector kv k, Vector vv v) => Int -> [(k, v)] -> VMap kv vv k v Source #

fromAscListWithKey :: ( Eq k, Vector kv k, Vector vv v) => (k -> v -> v -> v) -> [(k, v)] -> VMap kv vv k v Source #

fromAscListWithKeyN :: ( Eq k, Vector kv k, Vector vv v) => Int -> (k -> v -> v -> v) -> [(k, v)] -> VMap kv vv k v Source #

fromDistinctAscList :: ( Vector kv k, Vector vv v) => [(k, v)] -> VMap kv vv k v Source #

fromDistinctAscListN :: ( Vector kv k, Vector vv v) => Int -> [(k, v)] -> VMap kv vv k v Source #

internMaybe :: ( Vector kv k, Ord k) => k -> VMap kv vv k v -> Maybe k Source #

null :: ( Vector vv v, Vector kv k) => VMap kv vv k v -> Bool Source #

splitAt :: ( Vector vv v, Vector kv k) => Int -> VMap kv vv k v -> ( VMap kv vv k v, VMap kv vv k v) Source #

data KVMVector kmv vmv s a Source #

Instances

Instances details

( MVector kmv k, MVector vmv v) => MVector ( KVMVector kmv vmv) (k, v) Source #

Instance details

Defined in Data.VMap.KVVector

Methods

basicLength :: KVMVector kmv vmv s (k, v) -> Int Source #

basicUnsafeSlice :: Int -> Int -> KVMVector kmv vmv s (k, v) -> KVMVector kmv vmv s (k, v) Source #

basicOverlaps :: KVMVector kmv vmv s (k, v) -> KVMVector kmv vmv s (k, v) -> Bool Source #

basicUnsafeNew :: PrimMonad m => Int -> m ( KVMVector kmv vmv ( PrimState m) (k, v)) Source #

basicInitialize :: PrimMonad m => KVMVector kmv vmv ( PrimState m) (k, v) -> m () Source #

basicUnsafeReplicate :: PrimMonad m => Int -> (k, v) -> m ( KVMVector kmv vmv ( PrimState m) (k, v)) Source #

basicUnsafeRead :: PrimMonad m => KVMVector kmv vmv ( PrimState m) (k, v) -> Int -> m (k, v) Source #

basicUnsafeWrite :: PrimMonad m => KVMVector kmv vmv ( PrimState m) (k, v) -> Int -> (k, v) -> m () Source #

basicClear :: PrimMonad m => KVMVector kmv vmv ( PrimState m) (k, v) -> m () Source #

basicSet :: PrimMonad m => KVMVector kmv vmv ( PrimState m) (k, v) -> (k, v) -> m () Source #

basicUnsafeCopy :: PrimMonad m => KVMVector kmv vmv ( PrimState m) (k, v) -> KVMVector kmv vmv ( PrimState m) (k, v) -> m () Source #

basicUnsafeMove :: PrimMonad m => KVMVector kmv vmv ( PrimState m) (k, v) -> KVMVector kmv vmv ( PrimState m) (k, v) -> m () Source #

basicUnsafeGrow :: PrimMonad m => KVMVector kmv vmv ( PrimState m) (k, v) -> Int -> m ( KVMVector kmv vmv ( PrimState m) (k, v)) Source #

data KVVector kv vv a Source #

Instances

Instances details

( Vector kv k, Vector vv v) => Vector ( KVVector kv vv) (k, v) Source #
Instance details Defined in Data.VMap.KVVector Methods basicUnsafeFreeze :: PrimMonad m => Mutable ( KVVector kv vv) ( PrimState m) (k, v) -> m ( KVVector kv vv (k, v)) Source # basicUnsafeThaw :: PrimMonad m => KVVector kv vv (k, v) -> m ( Mutable ( KVVector kv vv) ( PrimState m) (k, v)) Source # basicLength :: KVVector kv vv (k, v) -> Int Source # basicUnsafeSlice :: Int -> Int -> KVVector kv vv (k, v) -> KVVector kv vv (k, v) Source # basicUnsafeIndexM :: Monad m => KVVector kv vv (k, v) -> Int -> m (k, v) Source # basicUnsafeCopy :: PrimMonad m => Mutable ( KVVector kv vv) ( PrimState m) (k, v) -> KVVector kv vv (k, v) -> m () Source # elemseq :: KVVector kv vv (k, v) -> (k, v) -> b -> b Source #
( Vector kv k, Vector vv v, Ord k) => IsList ( KVVector kv vv (k, v)) Source #
Instance details Defined in Data.VMap.KVVector Associated Types type Item ( KVVector kv vv (k, v)) Source # Methods fromList :: [ Item ( KVVector kv vv (k, v))] -> KVVector kv vv (k, v) Source # fromListN :: Int -> [ Item ( KVVector kv vv (k, v))] -> KVVector kv vv (k, v) Source # toList :: KVVector kv vv (k, v) -> [ Item ( KVVector kv vv (k, v))] Source #
( Eq (kv k), Eq (vv v)) => Eq ( KVVector kv vv (k, v)) Source #
Instance details Defined in Data.VMap.KVVector Methods (==) :: KVVector kv vv (k, v) -> KVVector kv vv (k, v) -> Bool Source # (/=) :: KVVector kv vv (k, v) -> KVVector kv vv (k, v) -> Bool Source #
( Show (kv k), Show (vv v)) => Show ( KVVector kv vv (k, v)) Source #
Instance details Defined in Data.VMap.KVVector Methods showsPrec :: Int -> KVVector kv vv (k, v) -> ShowS Source # show :: KVVector kv vv (k, v) -> String Source # showList :: [ KVVector kv vv (k, v)] -> ShowS Source #
Generic ( KVVector kv vv a) Source #
Instance details Defined in Data.VMap.KVVector Associated Types type Rep ( KVVector kv vv a) :: Type -> Type Source # Methods from :: KVVector kv vv a -> Rep ( KVVector kv vv a) x Source # to :: Rep ( KVVector kv vv a) x -> KVVector kv vv a Source #
( Vector kv k, Vector vv v, Ord k) => Semigroup ( KVVector kv vv (k, v)) Source #
Instance details Defined in Data.VMap.KVVector Methods (<>) :: KVVector kv vv (k, v) -> KVVector kv vv (k, v) -> KVVector kv vv (k, v) Source # sconcat :: NonEmpty ( KVVector kv vv (k, v)) -> KVVector kv vv (k, v) Source # stimes :: Integral b => b -> KVVector kv vv (k, v) -> KVVector kv vv (k, v) Source #
( Vector kv k, Vector vv v, Ord k) => Monoid ( KVVector kv vv (k, v)) Source #
Instance details Defined in Data.VMap.KVVector Methods mempty :: KVVector kv vv (k, v) Source # mappend :: KVVector kv vv (k, v) -> KVVector kv vv (k, v) -> KVVector kv vv (k, v) Source # mconcat :: [ KVVector kv vv (k, v)] -> KVVector kv vv (k, v) Source #
( ToCBOR k, ToCBOR v, Ord k, Vector kv k, Vector vv v, Typeable kv, Typeable vv) => ToCBOR ( KVVector kv vv (k, v)) Source #
Instance details Defined in Data.VMap.KVVector Methods toCBOR :: KVVector kv vv (k, v) -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( KVVector kv vv (k, v)) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ KVVector kv vv (k, v)] -> Size Source #
( FromCBOR k, FromCBOR v, Ord k, Vector kv k, Vector vv v, Typeable kv, Typeable vv) => FromCBOR ( KVVector kv vv (k, v)) Source #
Instance details Defined in Data.VMap.KVVector Methods fromCBOR :: Decoder s ( KVVector kv vv (k, v)) Source # label :: Proxy ( KVVector kv vv (k, v)) -> Text Source #
( NFData (kv k), NFData (vv v)) => NFData ( KVVector kv vv (k, v)) Source #
Instance details Defined in Data.VMap.KVVector Methods rnf :: KVVector kv vv (k, v) -> () Source #
( NoThunks (kv k), NoThunks (vv v), Typeable kv, Typeable vv, Typeable k, Typeable v) => NoThunks ( KVVector kv vv (k, v)) Source #
Instance details Defined in Data.VMap.KVVector Methods noThunks :: Context -> KVVector kv vv (k, v) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> KVVector kv vv (k, v) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( KVVector kv vv (k, v)) -> String Source #
type Mutable ( KVVector kv vv) Source #
Instance details Defined in Data.VMap.KVVector type Mutable ( KVVector kv vv) = KVMVector ( Mutable kv) ( Mutable vv)
type Rep ( KVVector kv vv a) Source #
Instance details Defined in Data.VMap.KVVector type Rep ( KVVector kv vv a)
type Item ( KVVector kv vv (k, v)) Source #
Instance details Defined in Data.VMap.KVVector type Item ( KVVector kv vv (k, v)) = (k, v)

normalize :: ( Vector kv k, Vector vv v, Ord k) => KVVector kv vv (k, v) -> KVVector kv vv (k, v) Source #

normalizeM :: ( Ord k, PrimMonad m, Vector kv k, Vector vv v) => KVMVector ( Mutable kv) ( Mutable vv) ( PrimState m) (k, v) -> m ( KVMVector ( Mutable kv) ( Mutable vv) ( PrimState m) (k, v)) Source #