Ejemplo n.º 1
0
 public static Future <A> narrowK <A>(this HigherKind <W, A> hkt) => (Future <A>)hkt;
Ejemplo n.º 2
0
 public static Id <A> narrowK <A>(this HigherKind <W, A> hkt) => (Id <A>)hkt;
Ejemplo n.º 3
0
 public HigherKind <Id.W, B> map <A, B>(HigherKind <Id.W, A> data, Func <A, B> mapper) =>
 Id.a(mapper(data.narrowK().a));
Ejemplo n.º 4
0
 public HigherKind <Option.W, B> map <A, B>(HigherKind <Option.W, A> data, Func <A, B> mapper) =>
 data.narrowK().map(mapper);
Ejemplo n.º 5
0
 public static Option <A> narrowK <A>(this HigherKind <W, A> hkt) => (Option <A>)hkt;
Ejemplo n.º 6
0
 [PublicAPI] public static HigherKind <Witness, B> map <Witness, A, B>(
     this HigherKind <Witness, A> hkt, Functor <Witness> F, Func <A, B> mapper
     ) => F.map(hkt, mapper);
Ejemplo n.º 7
0
 public HigherKind <Option.W, B> flatMap <A, B>(
     HigherKind <Option.W, A> data,
     Fn <A, HigherKind <Option.W, B> > mapper
     ) => data.narrowK().flatMap(a => mapper(a).narrowK());
Ejemplo n.º 8
0
 public HigherKind <Option.W, B> map <A, B>(HigherKind <Option.W, A> data, Fn <A, B> mapper) =>
 Functors.i.map(data, mapper);
Ejemplo n.º 9
0
 public HigherKind <Id.W, B> flatMap <A, B>(
     HigherKind <Id.W, A> data,
     Fn <A, HigherKind <Id.W, B> > mapper
     ) => mapper(data.narrowK().a);
Ejemplo n.º 10
0
 public HigherKind <Id.W, B> map <A, B>(HigherKind <Id.W, A> data, Func <A, B> mapper) =>
 Functors.i.map(data, mapper);
Ejemplo n.º 11
0
 public HigherKind <Future.W, B> map <A, B>(HigherKind <Future.W, A> data, Fn <A, B> mapper) =>
 data.narrowK().map(mapper);