C# (CSharp) HigherKind Examples

Example #1

File: Static.cs Project: yika-aixi/tlplib

 public static Future <A> narrowK <A>(this HigherKind <W, A> hkt) => (Future <A>)hkt;

Example #2

 public static Id <A> narrowK <A>(this HigherKind <W, A> hkt) => (Id <A>)hkt;

Example #3

 public HigherKind <Id.W, B> map <A, B>(HigherKind <Id.W, A> data, Func <A, B> mapper) =>
 Id.a(mapper(data.narrowK().a));

Example #4

 public HigherKind <Option.W, B> map <A, B>(HigherKind <Option.W, A> data, Func <A, B> mapper) =>
 data.narrowK().map(mapper);

Example #5

File: Option.cs Project: JurgisRainys/tlplib

 public static Option <A> narrowK <A>(this HigherKind <W, A> hkt) => (Option <A>)hkt;

Example #6

 [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);

Example #7

 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());

Example #8

 public HigherKind <Option.W, B> map <A, B>(HigherKind <Option.W, A> data, Fn <A, B> mapper) =>
 Functors.i.map(data, mapper);

Example #9

 public HigherKind <Id.W, B> flatMap <A, B>(
     HigherKind <Id.W, A> data,
     Fn <A, HigherKind <Id.W, B> > mapper
     ) => mapper(data.narrowK().a);

Example #10

File: Monad.cs Project: arturaz/pzd.lib

 public HigherKind <Id.W, B> map <A, B>(HigherKind <Id.W, A> data, Func <A, B> mapper) =>
 Functors.i.map(data, mapper);

Example #11

File: Functor.cs Project: yika-aixi/tlplib

 public HigherKind <Future.W, B> map <A, B>(HigherKind <Future.W, A> data, Fn <A, B> mapper) =>
 data.narrowK().map(mapper);