예제 #1
0
 public static IEnumerable <object[]> ApplyLaws() =>
 new ApplyLawsTests <ListF, string, int, long>(ListK.Apply(), ListK.EqK()).Wrap();
예제 #2
0
 public static IEnumerable <object[]> InvariantLaws() =>
 new InvariantLawsTests <ListF, string, int, long>(ListK.Invariant(), ListK.EqK()).Wrap();
예제 #3
0
 public static IEnumerable <object[]> FunctorLaws() =>
 new FunctorLawsTests <ListF, string, int, long>(ListK.Functor(), ListK.EqK()).Wrap();
예제 #4
0
 public static IEnumerable <object[]> MonadLaws() =>
 new MonadLawsTests <ListF, string, int, long>(ListK.Monad(), ListK.EqK()).Wrap();