map<B> method

  1. @override
HKT<G, B> map<B>(
  1. B f(
    1. A a
    )
)
override

Return type is HKT<G, B>, which expresses the fact that what we return is using exactly the same type constructor represented by the brand G

Implementation

@override
HKT<G, B> map<B>(B Function(A a) f) => ap(pure(f));