Skip to content

Commit

Permalink
Change doc wording
Browse files Browse the repository at this point in the history
  • Loading branch information
alex-snezhko committed Oct 21, 2024
1 parent 7e69841 commit ab6cd43
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 6 deletions.
6 changes: 3 additions & 3 deletions stdlib/json.gr
Original file line number Diff line number Diff line change
Expand Up @@ -2105,7 +2105,7 @@ provide module Lenses {
* Reads the value focused on by the given lens from the input data.
*
* @param lens: The lens to apply to the subject data
* @param subject: The data which will have the lens applied onto it
* @param subject: The data which will have the lens applied to it
* @returns `Some(data)` containing the data read by the lens if the lens matches the given data, or `None` if the data cannot be matched to the lens
*
* @example assert get(number, JsonNumber(123)) == Some(123)
Expand All @@ -2120,7 +2120,7 @@ provide module Lenses {
*
* @param lens: The lens to apply to the subject data
* @param newValue: The new value to set at the focus of the lens
* @param subject: The data which will have the lens applied onto it
* @param subject: The data which will have the lens applied to it
* @returns `Some(data)` containing the new data after the lens substitution if the lens matches the given data, or `None` if the data cannot be matched to the lens
*
* @example assert set(number, 123, JsonBoolean(true)) == Some(JsonNumber(123))
Expand All @@ -2135,7 +2135,7 @@ provide module Lenses {
*
* @param lens: The lens to apply to the subject data
* @param fn: The function to apply to the matched data at the lens if matched
* @param subject: The data which will have the lens applied onto it
* @param subject: The data which will have the lens applied to it
* @returns `Some(data)` containing the new data after the lens mapping has been applied if the lens matches the given data, or `None` if the data cannot be matched to the lens
*
* @example assert map(number, x => x * 2, JsonNumber(5)) == Some(JsonNumber(10))
Expand Down
6 changes: 3 additions & 3 deletions stdlib/json.md
Original file line number Diff line number Diff line change
Expand Up @@ -709,7 +709,7 @@ Parameters:
|param|type|description|
|-----|----|-----------|
|`lens`|`Lens<a, b>`|The lens to apply to the subject data|
|`subject`|`a`|The data which will have the lens applied onto it|
|`subject`|`a`|The data which will have the lens applied to it|

Returns:

Expand Down Expand Up @@ -746,7 +746,7 @@ Parameters:
|-----|----|-----------|
|`lens`|`Lens<a, b>`|The lens to apply to the subject data|
|`newValue`|`b`|The new value to set at the focus of the lens|
|`subject`|`a`|The data which will have the lens applied onto it|
|`subject`|`a`|The data which will have the lens applied to it|

Returns:

Expand Down Expand Up @@ -783,7 +783,7 @@ Parameters:
|-----|----|-----------|
|`lens`|`Lens<a, b>`|The lens to apply to the subject data|
|`fn`|`b => b`|The function to apply to the matched data at the lens if matched|
|`subject`|`a`|The data which will have the lens applied onto it|
|`subject`|`a`|The data which will have the lens applied to it|

Returns:

Expand Down

0 comments on commit ab6cd43

Please sign in to comment.