package gmap
Heterogenous maps over a GADT
Install
Dune Dependency
Authors
Maintainers
Sources
gmap-0.2.0.tbz
sha256=00c6a2186c0c9908f6057566ac72de062b26ac5b1f5d0d78721c8526a580884d
md5=fbf9d1d5a38c2c86ef2f122e22359896
CHANGES.md.html
0.2.0 (2018-06-24)
New function
update
.New function
add_unless_bound
andaddb_unless_bound
.Replace
type v = V : 'a key * 'a -> v
bytype b = B : 'a key * 'a -> b
.Renamed functions ending with
v
tob
0.1.0 (2018-06-16)
Initial release
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>