Aardvark.Base.Incremental


AMap

Nested types and modules

ModuleDescription
Implementation
Readers

Functions and values

Function or valueDescription
bind(mapping m)
Signature: mapping:('a -> amap<'k,'v>) -> m:IMod<'a> -> amap<'k,'v>
Type parameters: 'a, 'k, 'v
choose(mapping map)
Signature: mapping:('k -> 'a -> Option<'b>) -> map:amap<'k,'a> -> amap<'k,'b>
Type parameters: 'k, 'a, 'b
choose2(mapping l r)
Signature: mapping:('k -> Option<'a> -> Option<'b> -> Option<'c>) -> l:amap<'k,'a> -> r:amap<'k,'b> -> amap<'k,'c>
Type parameters: 'k, 'a, 'b, 'c
chooseM(mapping map)
Signature: mapping:('k -> 'a -> IMod<Option<'b>>) -> map:amap<'k,'a> -> amap<'k,'b>
Type parameters: 'k, 'a, 'b
chooseSet(f set)
Signature: f:('a -> Option<'b>) -> set:aset<'a> -> amap<'a,'b>
Type parameters: 'a, 'b
chooseSetM(f set)
Signature: f:('a -> IMod<Option<'b>>) -> set:aset<'a> -> amap<'a,'b>
Type parameters: 'a, 'b
empty
Signature: amap<'k,'v>
Type parameters: 'k, 'v
filter(predicate map)
Signature: predicate:('k -> 'a -> bool) -> map:amap<'k,'a> -> amap<'k,'a>
Type parameters: 'k, 'a
filterM(predicate map)
Signature: predicate:('k -> 'a -> IMod<bool>) -> map:amap<'k,'a> -> amap<'k,'a>
Type parameters: 'k, 'a
find(key m)
Signature: key:'k -> m:amap<'k,'v> -> IMod<'v>
Type parameters: 'k, 'v
findWithDefault(key def m)
Signature: key:'k -> def:'v -> m:amap<'k,'v> -> IMod<'v>
Type parameters: 'k, 'v
flatten(map)
Signature: map:amap<'k,Option<'a>> -> amap<'k,'a>
Type parameters: 'k, 'a
flattenM(map)
Signature: map:amap<'k,IMod<Option<'a>>> -> amap<'k,'a>
Type parameters: 'k, 'a
map(mapping map)
Signature: mapping:('k -> 'a -> 'b) -> map:amap<'k,'a> -> amap<'k,'b>
Type parameters: 'k, 'a, 'b
map2(mapping l r)
Signature: mapping:('k -> Option<'a> -> Option<'b> -> 'c) -> l:amap<'k,'a> -> r:amap<'k,'b> -> amap<'k,'c>
Type parameters: 'k, 'a, 'b, 'c
mapM(mapping map)
Signature: mapping:('k -> 'a -> IMod<'b>) -> map:amap<'k,'a> -> amap<'k,'b>
Type parameters: 'k, 'a, 'b
mapSet(f set)
Signature: f:('a -> 'b) -> set:aset<'a> -> amap<'a,'b>
Type parameters: 'a, 'b
mapSetM(f set)
Signature: f:('a -> IMod<'b>) -> set:aset<'a> -> amap<'a,'b>
Type parameters: 'a, 'b
ofArray(arr)
Signature: arr:('k * 'v) array -> amap<'k,'v>
Type parameters: 'k, 'v
ofASet(set)
Signature: set:aset<'a * 'b> -> amap<'a,hset<'b>>
Type parameters: 'a, 'b
ofHMap(map)
Signature: map:hmap<'k,'v> -> amap<'k,'v>
Type parameters: 'k, 'v
ofList(list)
Signature: list:('k * 'v) list -> amap<'k,'v>
Type parameters: 'k, 'v
ofMod(m)
Signature: m:IMod<hmap<'a,'b>> -> amap<'a,'b>
Type parameters: 'a, 'b
ofSeq(seq)
Signature: seq:seq<'k * 'v> -> amap<'k,'v>
Type parameters: 'k, 'v
reduce(map)
Signature: map:amap<'k,'a> -> amap<'k,'a>
Type parameters: 'k, 'a
reduceM(map)
Signature: map:amap<'k,IMod<'a>> -> amap<'k,'a>
Type parameters: 'k, 'a
toASet(m)
Signature: m:amap<'k,'v> -> aset<'k * 'v>
Type parameters: 'k, 'v
toMod(map)
Signature: map:amap<'k,'v> -> IMod<hmap<'k,'v>>
Type parameters: 'k, 'v
tryFind(key m)
Signature: key:'k -> m:amap<'k,'v> -> IMod<'v option>
Type parameters: 'k, 'v
union(l r)
Signature: l:amap<'k,'a> -> r:amap<'k,'a> -> amap<'k,'a>
Type parameters: 'k, 'a
unionWith(f l r)
Signature: f:('k -> 'a -> 'a -> 'a) -> l:amap<'k,'a> -> r:amap<'k,'a> -> amap<'k,'a>
Type parameters: 'k, 'a
updateMany(keys f m)
Signature: keys:hset<'k> -> f:('k -> Option<'v> -> 'v) -> m:amap<'k,'v> -> amap<'k,'v>
Type parameters: 'k, 'v
Fork me on GitHub