1

がある場合、既存のものを に変換F<A, B>するにはどうすればよいですか?Ord<A>Ord<B>

例えば:

public class Foo {
    public String name;
}

F<Foo, String> f = new F<Foo, String>() {
    public String f(Foo foo) {
        return foo.name;
    }
};

Ord<String> stringOrd = Ord.stringOrd;

Ord<Foo> fooOrd = ???
4

1 に答える 1

2

答えは、取得用の API にありました。comap:

Ord<Foo> fooOrd = Ord.stringOrd.comap(new F<Foo, String>() {
    public String f(Foo foo) {
        return foo.name;
    }
});
于 2015-01-20T04:03:01.417 に答える