diff options
author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-01 12:49:53 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-01 12:49:53 +1000 |
commit | a0d8c8066faadaf609e151ed0b71235a9615584a (patch) | |
tree | b9e07a2d5e32158991c8c40b6ede95c864d4056d /src/main/java/au/id/zancanaro/javacheck/Generator.java | |
parent | fef70631f4d1be56d772816af22778efebcc8391 (diff) |
Rename fmap -> map (apparently that's what Java's going with, see java.util.Optional)
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/Generator.java')
-rw-r--r-- | src/main/java/au/id/zancanaro/javacheck/Generator.java | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/main/java/au/id/zancanaro/javacheck/Generator.java b/src/main/java/au/id/zancanaro/javacheck/Generator.java index 55d06f8..076f7c2 100644 --- a/src/main/java/au/id/zancanaro/javacheck/Generator.java +++ b/src/main/java/au/id/zancanaro/javacheck/Generator.java @@ -1,6 +1,5 @@ package au.id.zancanaro.javacheck; -import java.util.Arrays; import java.util.List; import java.util.Random; import java.util.function.Function; @@ -36,13 +35,13 @@ public interface Generator<T> { }; } - default <R> Generator<R> fmap(Function<T, R> f) { - return (random, size) -> this.generate(random, size).fmap(f); + default <R> Generator<R> map(Function<T, R> f) { + return (random, size) -> this.generate(random, size).map(f); } default <R> Generator<R> flatMap(Function<T, Generator<R>> action) { return (random, size) -> { - return RoseTree.join(this.generate(random, size).fmap(action).fmap(g -> g.generate(random, size))); + return RoseTree.join(this.generate(random, size).map(action).map(g -> g.generate(random, size))); }; } } |