Commit efa3890b authored by Robbert's avatar Robbert

Merge branch 'docfixes' into 'master'

Minor documentation fixes

See merge request robbertkrebbers/coq-stdpp!14
parents 2e5cc41f 84ecfd79
...@@ -964,7 +964,7 @@ Hint Mode Alter - - ! : typeclass_instances. ...@@ -964,7 +964,7 @@ Hint Mode Alter - - ! : typeclass_instances.
Instance: Params (@alter) 5. Instance: Params (@alter) 5.
Arguments alter {_ _ _ _} _ !_ !_ / : simpl nomatch, assert. Arguments alter {_ _ _ _} _ !_ !_ / : simpl nomatch, assert.
(** The function [alter f k m] should update the value at key [k] using the (** The function [partial_alter f k m] should update the value at key [k] using the
function [f], which is called with the original value at key [k] or [None] function [f], which is called with the original value at key [k] or [None]
if [k] is not a member of [m]. The value at [k] should be deleted if [f] if [k] is not a member of [m]. The value at [k] should be deleted if [f]
yields [None]. *) yields [None]. *)
...@@ -1092,7 +1092,7 @@ Hint Mode Size ! : typeclass_instances. ...@@ -1092,7 +1092,7 @@ Hint Mode Size ! : typeclass_instances.
Arguments size {_ _} !_ / : simpl nomatch, assert. Arguments size {_ _} !_ / : simpl nomatch, assert.
Instance: Params (@size) 2. Instance: Params (@size) 2.
(** The class [Collection M] axiomatizes a type constructor [M] that can be (** The class [CollectionMonad M] axiomatizes a type constructor [M] that can be
used to construct a collection [M A] with elements of type [A]. The advantage used to construct a collection [M A] with elements of type [A]. The advantage
of this class, compared to [Collection], is that it also axiomatizes the of this class, compared to [Collection], is that it also axiomatizes the
the monadic operations. The disadvantage, is that not many inhabits are the monadic operations. The disadvantage, is that not many inhabits are
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment