Skip to content

Commit 0a2c1ef

Browse files
committed
add missing untranslated functions in japanese
1 parent c7c4ae6 commit 0a2c1ef

File tree

5 files changed

+83
-0
lines changed

5 files changed

+83
-0
lines changed

content/ja/functions/exists.md

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
---
2+
title: exists
3+
untranslated: true
4+
---
5+
6+
# `exists`
7+
8+
{{< signature exists >}}
9+
10+
`exists` checks whether at least one element in this collection satisfy the predicate `p`, returning `true` if such element exists.
11+
12+
{{< figure src="images/functions/exists.svg" >}}
13+
14+
On empty collections the predicate `p` cannot be satisfied at least once, hence this function returns `false`.
15+
16+
{{< figure src="images/functions/exists.2.svg" >}}

content/ja/functions/forall.md

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
---
2+
title: forall
3+
untranslated: true
4+
---
5+
6+
# `forall`
7+
8+
{{< signature forall >}}
9+
10+
`forall` checks whether all elements in this collection satisfy the predicate `p`, returning `false` if `p` doesn't stand for at least one element.
11+
12+
{{< figure src="images/functions/forall.svg" >}}
13+
14+
On empty collections there is no element which doesn't satisfy `p`, hence this function returns `true`.
15+
16+
{{< figure src="images/functions/forall.2.svg" >}}

content/ja/functions/lift.md

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
---
2+
title: lift
3+
untranslated: true
4+
---
5+
6+
# `lift`
7+
8+
{{< signature lift >}}
9+
10+
`lift` creates an anonymous function that wraps with `Some` the value returned by this partial function if it's defined for the given input value.
11+
12+
{{< figure src="images/functions/lift.svg" >}}
13+
14+
For those input values for which this partial function is not defined, the anonymous function will return `None`.
15+
16+
{{< figure src="images/functions/lift.2.svg" >}}

content/ja/functions/runWith.md

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
---
2+
title: runWith
3+
untranslated: true
4+
---
5+
6+
# `runWith`
7+
8+
{{< signature runWith >}}
9+
10+
`runWith` creates an anonymous function that applies this partial function and then `g` to an input value, if this partial function is defined for such value, and returns `true`.
11+
12+
{{< figure src="images/functions/runWith.svg" >}}
13+
14+
For those values this partial function is not defined, the anonymous function just return false, without even applying `g`.
15+
16+
{{< figure src="images/functions/runWith.2.svg" >}}

content/ja/functions/unlift.md

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
---
2+
title: unlift
3+
untranslated: true
4+
---
5+
6+
# `unlift`
7+
8+
{{< signature unlift >}}
9+
10+
`unlift` creates an anonymous partial function that returns the value extracted
11+
from `Some` returned by the function `f`.
12+
13+
{{< figure src="images/functions/unlift.svg" >}}
14+
15+
If `f` returns `None` then the anonymous partial function will throw a
16+
`MatchError` exception.
17+
18+
{{< figure src="images/functions/unlift.2.svg" >}}
19+

0 commit comments

Comments
 (0)