UVMHS.Core.VectorSparse
data 𝑉 a Source #
Constructors
Fields
Defined in UVMHS.Core.VectorSparse
Methods
map :: (a -> b) -> 𝑉 a -> 𝑉 b Source #
(⋕?) :: 𝑉 a -> ℤ64 -> 𝑂 a Source #
showsPrec :: Int -> 𝑉 a -> ShowS #
show :: 𝑉 a -> String #
showList :: [𝑉 a] -> ShowS #
(==) :: 𝑉 a -> 𝑉 a -> Bool #
(/=) :: 𝑉 a -> 𝑉 a -> Bool #
compare :: 𝑉 a -> 𝑉 a -> Ordering #
(<) :: 𝑉 a -> 𝑉 a -> Bool #
(<=) :: 𝑉 a -> 𝑉 a -> Bool #
(>) :: 𝑉 a -> 𝑉 a -> Bool #
(>=) :: 𝑉 a -> 𝑉 a -> Bool #
max :: 𝑉 a -> 𝑉 a -> 𝑉 a #
min :: 𝑉 a -> 𝑉 a -> 𝑉 a #
one :: 𝑉 a Source #
(+) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #
(×) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #
zero :: 𝑉 a Source #
bot :: 𝑉 a Source #
(⊔) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #
(⊓) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #
(⊑) :: 𝑉 a -> 𝑉 a -> 𝔹 Source #
top :: 𝑉 a Source #
(⧺) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #
(⨳) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #
null :: 𝑉 a Source #
unit :: 𝑉 a Source #
single :: (ℤ64 ∧ a) -> 𝑉 a Source #
iter :: 𝑉 a -> 𝐼 (ℤ64 ∧ a) Source #
lookup𝑉 :: 𝑉 a -> ℤ64 -> 𝑂 a Source #
single𝑉 :: (ℤ64 ∧ a) -> 𝑉 a Source #
subDictBy𝑉 :: (a -> a -> 𝔹) -> 𝑉 a -> 𝑉 a -> 𝔹 Source #
wø :: 𝑉 a Source #
unionWith𝑉 :: (a -> a -> a) -> 𝑉 a -> 𝑉 a -> 𝑉 a Source #
(↦♮) :: ℤ64 -> a -> 𝑉 a Source #
(⋵♮) :: ℤ64 -> 𝑉 a -> 𝔹 Source #
(⩌♮) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #
(⩍♮) :: 𝑉 a -> 𝑉 a -> 𝑉 a Source #
delete𝑉 :: ℤ64 -> 𝑉 a -> 𝑉 a Source #
size𝑉 :: 𝑉 a -> ℕ Source #
(⊎♮) :: Additive a => 𝑉 a -> 𝑉 a -> 𝑉 a Source #
unionsWith𝑉 :: ToIter (𝑉 a) t => (a -> a -> a) -> t -> 𝑉 a Source #
interWith𝑉 :: (a -> b -> c) -> 𝑉 a -> 𝑉 b -> 𝑉 c Source #
minView𝑉 :: 𝑉 a -> 𝑂 ((ℤ64 ∧ a) ∧ 𝑉 a) Source #
maxView𝑉 :: 𝑉 a -> 𝑂 ((ℤ64 ∧ a) ∧ 𝑉 a) Source #
minKey𝑉 :: 𝑉 a -> 𝑂 ℤ64 Source #
maxKey𝑉 :: 𝑉 a -> 𝑂 ℤ64 Source #
view𝑉 :: ℤ64 -> 𝑉 a -> 𝑂 (a ∧ 𝑉 a) Source #
without𝑉 :: 𝑃 ℤ64 -> 𝑉 a -> 𝑉 a Source #
restrict𝑉 :: 𝑃 ℤ64 -> 𝑉 a -> 𝑉 a Source #
keys𝑉 :: 𝑉 a -> 𝐼 ℤ64 Source #
values𝑉 :: 𝑉 a -> 𝐼 a Source #
map𝑉 :: (a -> b) -> 𝑉 a -> 𝑉 b Source #
mapK𝑉 :: (ℤ64 -> a -> b) -> 𝑉 a -> 𝑉 b Source #
iter𝑉 :: 𝑉 a -> 𝐼 (ℤ64 ∧ a) Source #
spvec𝐼 :: 𝐼 (ℤ64 ∧ a) -> 𝑉 a Source #
spvec :: ToIter (𝑉 a) t => t -> 𝑉 a Source #
assoc𝑉 :: ToIter (ℤ64 ∧ a) t => t -> 𝑉 a Source #
join𝑉 :: (Ord a, Ord b) => 𝑉 (𝑃 a) -> 𝑉 (𝑃 b) -> 𝑉 (𝑃 (a ∧ b)) Source #