Modulevector-map-1.2.1.0

Data.VMap

7 types
1 class
41 values

Packagevector-map-1.2.1.0
Exports49
LicenceApache-2.0

valueelemAt :: (Vector kv k, Vector vv v) => Int -> VMap kv vv k v -> (k, v)

valueelems :: Vector vv v => VMap kv vv k v -> [v]

valueempty :: (Vector kv k, Vector vv v) => VMap kv vv k v

valuefilter

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

valuefindWithDefault

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

valuefold :: (Vector vv m, Monoid m) => VMap kv vv k m -> m

valuefoldMap :: (Vector vv v, Monoid m) => (v -> m) -> VMap kv vv k v -> m

valuefoldMapWithKey

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

valuefoldl :: Vector vv v => (a -> v -> a) -> a -> VMap kv vv k v -> a

valuefoldlWithKey

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

valuefromAscList

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

valuefromAscListN

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

valuefromAscListWithKey

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

valuefromAscListWithKeyN

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

valuefromDistinctAscList

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

valuefromDistinctAscListN

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

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

valuefromListN

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

valuefromMap :: (Vector kv k, Vector vv v) => Map k v -> VMap kv vv k v

valueinternMaybe :: (Vector kv k, Ord k) => k -> VMap kv vv k v -> Maybe k

valuekeys :: Vector kv k => VMap kv vv k v -> [k]

valuekeysSet :: Vector kv k => VMap kv vv k v -> Set k

valuelookup

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

valuelookupIndex :: (Ord k, Vector kv k) => k -> VMap kv vv k v -> Maybe Int

valuemap

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

valuemapMaybe

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

valuemapMaybeWithKey

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

valuemapWithKey

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

valuemember :: (Ord k, Vector kv k) => k -> VMap kv vv k v -> Bool

valuenotMember :: (Ord k, Vector kv k) => k -> VMap kv vv k v -> Bool

valuenull :: (Vector vv v, Vector kv k) => VMap kv vv k v -> Bool

valuesize :: (Vector kv k, Vector vv v) => VMap kv vv k v -> Int

valuesplitAt

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

valuetoAscList :: (Vector kv k, Vector vv v) => VMap kv vv k v -> [(k, v)]

valuetoList :: (Vector kv k, Vector vv v) => VMap kv vv k v -> [(k, v)]

valuetoMap :: (Vector kv k, Vector vv v) => VMap kv vv k v -> Map k v

valueunion

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

valueunionWith

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

valueunionWithKey

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

valuenormalize

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

valuenormalizeM

:: (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))

classclass MVector (Mutable v) a => Vector (v :: Type -> Type) a where

Instances49Vector, …

Storable a => Vector Vector aDefined in vector-0.13.2.0 · Data.Vector.Storable
Prim a => Vector Vector aDefined in vector-0.13.2.0 · Data.Vector.Primitive
Vector Vector aDefined in vector-0.13.2.0 · Data.Vector
Vector Vector aDefined in vector-0.13.2.0 · Data.Vector.Strict
Vector Vector BitDefined in bitvec-1.1.6.0 · Data.Bit.Internal
Vector Vector BitDefined in bitvec-1.1.6.0 · Data.Bit.InternalTS
Vector Vector AllDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector AnyDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Int16Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Int32Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Int64Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Int8Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector BoolDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector CharDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector DoubleDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector FloatDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector IntDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector WordDefined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Word16Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Word32Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Word64Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector Word8Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector ()Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
NFData a => Vector Vector (DoNotUnboxNormalForm a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Prim a => Vector Vector (UnboxViaPrim a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector (DoNotUnboxLazy a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Vector Vector (DoNotUnboxStrict a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Complex a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (First a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Last a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Max a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Min a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (WrappedMonoid a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Identity a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Down a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Dual a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Product a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Sum a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(IsoUnbox a b, Unbox b) => Vector Vector (As a b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b) => Vector Vector (Arg a b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b) => Vector Vector (a, b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox (f a) => Vector Vector (Alt f a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Const a b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b, Unbox c) => Vector Vector (a, b, c)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b, Unbox c, Unbox d) => Vector Vector (a, b, c, d)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox (f (g a)) => Vector Vector (Compose f g a)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) => Vector Vector (a, b, c, d, e)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) => Vector Vector (a, b, c, d, e, f)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
(Vector kv k, Vector vv v) => Vector (KVVector kv vv) (k, v)Defined in vector-map-1.2.1.0 · Data.VMap.KVVector

typetype VB = Vector

newtypenewtype VMap (kv :: Type -> Type) (vv :: Type -> Type) k v

Constructors

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

Instances12IsList, Eq, Show, Generic, Semigroup, Monoid, …

(Vector kv k, Vector vv v, Ord k) => IsList (VMap kv vv k v)Defined in vector-map-1.2.1.0 · Data.VMap
(Eq (kv k), Eq (vv v)) => Eq (VMap kv vv k v)Defined in vector-map-1.2.1.0 · Data.VMap
(Show k, Show v, Vector kv k, Vector vv v) => Show (VMap kv vv k v)Defined in vector-map-1.2.1.0 · Data.VMap
Generic (VMap kv vv k v)Defined in vector-map-1.2.1.0 · Data.VMap
(Vector kv k, Vector vv v, Ord k) => Semigroup (VMap kv vv k v)Defined in vector-map-1.2.1.0 · Data.VMap
(Vector kv k, Vector vv v, Ord k) => Monoid (VMap kv vv k v)Defined in vector-map-1.2.1.0 · Data.VMap
(NFData (kv k), NFData (vv v)) => NFData (VMap kv vv k v)Defined in vector-map-1.2.1.0 · Data.VMap
(Vector vk k, Vector vv v, Ord k, FromJSONKey k, FromJSON v) => FromJSON (VMap vk vv k v)Defined in vector-map-1.2.1.0 · Data.VMap
(Vector vk k, Vector vv v, ToJSONKey k, ToJSON v) => ToJSON (VMap vk vv k v)Defined in vector-map-1.2.1.0 · Data.VMap
(NoThunks (kv k), NoThunks (vv v), Typeable kv, Typeable vv, Typeable k, Typeable v) => NoThunks (VMap kv vv k v)Defined in vector-map-1.2.1.0 · Data.VMap
type Rep (VMap kv vv k v) = D1 ('MetaData "VMap" "Data.VMap" "vector-map-1.2.1.0-6iIjz20M4MY3FF9jvDNFFV" 'True) (C1 ('MetaCons "VMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KVVector kv vv (k, v)))))Defined in vector-map-1.2.1.0 · Data.VMap
type Item (VMap kv vv k v) = (k, v)Defined in vector-map-1.2.1.0 · Data.VMap

typetype VP = Vector

typetype VS = Vector

typetype VU = Vector

datadata KVMVector (kmv :: Type -> Type -> Type) (vmv :: Type -> Type -> Type) s a

Instances1MVector

(MVector kmv k, MVector vmv v) => MVector (KVMVector kmv vmv) (k, v)Defined in vector-map-1.2.1.0 · Data.VMap.KVVector

datadata KVVector (kv :: Type -> Type) (vv :: Type -> Type) a

Instances12Vector, IsList, Eq, Show, Generic, Semigroup, …

(Vector kv k, Vector vv v) => Vector (KVVector kv vv) (k, v)Defined in vector-map-1.2.1.0 · Data.VMap.KVVector
(Vector kv k, Vector vv v, Ord k) => IsList (KVVector kv vv (k, v))Defined in vector-map-1.2.1.0 · Data.VMap.KVVector
(Eq (kv k), Eq (vv v)) => Eq (KVVector kv vv (k, v))Defined in vector-map-1.2.1.0 · Data.VMap.KVVector
(Show (kv k), Show (vv v)) => Show (KVVector kv vv (k, v))Defined in vector-map-1.2.1.0 · Data.VMap.KVVector
Generic (KVVector kv vv a)Defined in vector-map-1.2.1.0 · Data.VMap.KVVector
(Vector kv k, Vector vv v, Ord k) => Semigroup (KVVector kv vv (k, v))Defined in vector-map-1.2.1.0 · Data.VMap.KVVector
(Vector kv k, Vector vv v, Ord k) => Monoid (KVVector kv vv (k, v))Defined in vector-map-1.2.1.0 · Data.VMap.KVVector
(NFData (kv k), NFData (vv v)) => NFData (KVVector kv vv (k, v))Defined in vector-map-1.2.1.0 · Data.VMap.KVVector
(NoThunks (kv k), NoThunks (vv v), Typeable kv, Typeable vv, Typeable k, Typeable v) => NoThunks (KVVector kv vv (k, v))Defined in vector-map-1.2.1.0 · Data.VMap.KVVector
type Rep (KVVector kv vv a) = D1 ('MetaData "KVVector" "Data.VMap.KVVector" "vector-map-1.2.1.0-6iIjz20M4MY3FF9jvDNFFV" 'False) (C1 ('MetaCons "KVVector" 'PrefixI 'True) (S1 ('MetaSel ('Just "keysVector") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (kv (Key a))) :*: S1 ('MetaSel ('Just "valsVector") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (vv (Value a)))))Defined in vector-map-1.2.1.0 · Data.VMap.KVVector
type Item (KVVector kv vv (k, v)) = (k, v)Defined in vector-map-1.2.1.0 · Data.VMap.KVVector
type Mutable (KVVector kv vv) = KVMVector (Mutable kv) (Mutable vv)Defined in vector-map-1.2.1.0 · Data.VMap.KVVector