C# (CSharp) MonadicCSharp MType示例

示例#1

 public static MType <T> Join(MType <MType <T> > type)
 {
     return(type.Bind <T>(Cat.Id));
 }

示例#2

 public MType <U> Ap <U>(MType <Func <T, U> > appl)
 {
     return(ApS(appl)(this));
 }

示例#3

 public MType <U> Then <U>(MType <U> m)
 {
     return(m);
 }

示例#4

 public Func <MType <T>, MType <U> > ApS <U>(MType <Func <T, U> > f)
 {
     return(t => new MType <U>(f.Value(t.Value)));
 }