Exemple #1
0
 public static MType <T> Join(MType <MType <T> > type)
 {
     return(type.Bind <T>(Cat.Id));
 }
Exemple #2
0
 public MType <U> Ap <U>(MType <Func <T, U> > appl)
 {
     return(ApS(appl)(this));
 }
Exemple #3
0
 public MType <U> Then <U>(MType <U> m)
 {
     return(m);
 }
Exemple #4
0
 public Func <MType <T>, MType <U> > ApS <U>(MType <Func <T, U> > f)
 {
     return(t => new MType <U>(f.Value(t.Value)));
 }