[Functional Programming] propSatisfies with implies

?

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39

// implies :: ((a -> Boolean), (a -> Boolean)) -> a -> Boolean const implies = (p, q) =>   ifElse(     p,     compose(       Boolean,       q     ),     constant(true)   );   // hasLEngth :: a -> Boolean const hasLength = compose(   Boolean,   length ); // isLarge :: a -> Boolean const isLarge = propSatisfies(flip(gt, 3), "length"); const arrayWithLength = implies(isArray, hasLength); const isLargeString = implies(isString, isLarge);   /**  * isValidStringOrArray is week can check array has length  * or string is large, only for those two types  * other types, such as number, objet, it return false  */ const isValidStringOrArray = allPass([   or(isString, isArray),   arrayWithLength,   isLargeString ]);   log(isLargeString(undefined)); // true log(arrayWithLength(undefined)); // true log(isValidStringOrArray(undefined)); // false log(isValidStringOrArray({})); // false log(isValidStringOrArray([1, 2])); // true log(isValidStringOrArray("fwe")); // false log(isValidStringOrArray("fwef")); // true

　　

Crocks.js has the implementation, no need to do it yourself.

https://evilsoft.github.io/crocks/docs/functions/logic-functions.html#implies