BVB Source Codes

prettier Show sanity-refine.js Source code

Return Download prettier: download sanity-refine.js Source code - Download prettier Source code - Type:.js
  1. // @flow
  2.  
  3. // Sanity check A: the refinment position index is outside of the allowed range
  4. declare function refine<T, P: $Pred<1>>(v: T, cb: P): $Refine<T,P,2>;
  5.  
  6. declare var a: mixed;
  7. var b = refine(a, is_string);   // ERROR: index out of bounds
  8. (b: string);
  9.  
  10.  
  11. // Sanity check B: refine2 expects a function that accepts 3 arguments but
  12. // it is called with a function that takes 2
  13. declare var c: mixed;
  14. declare var d: mixed;
  15. declare var e: mixed;
  16.  
  17. declare function refine3<T, P: $Pred<3>>(u: T, v: T, w: T, cb: P): $Refine<T,P,1>;
  18.  
  19. var e = refine3(c, d, e, is_string_and_number);
  20. (e: string);
  21.  
  22. function is_string_and_number(x, y): %checks {
  23.   return typeof x === "string" && typeof y === "number";
  24. }
  25.  
  26.  
  27. // Sanity check C: expecting a predicate function but passed a non-predicate one
  28. var e = refine(a, is_string_regular);   // ERROR: is_string_regular is not a
  29.                                         // predicate function
  30. (e: number);
  31.  
  32. ////////////////////////////////////////////////////////////////////////////////
  33.  
  34. function is_string(x): %checks {
  35.   return typeof x === "string";
  36. }
  37.  
  38. function is_string_regular(x)  {
  39.   return typeof x === "string";
  40. }
  41.  
  42. function is_string_and_number(x, y): %checks {
  43.   return typeof x === "string" && typeof y === "number";
  44. }
  45.  
downloadsanity-refine.js Source code - Download prettier Source code
Related Source Codes/Software:
storybook - 2017-06-07
ionicons - The premium icon font for Ionic ... 2017-06-07
AsyncDisplayKit - Smooth asynchronous user interfaces for iOS apps. ... 2017-06-07
lottie-android - Render After Effects animations natively on Androi... 2017-06-07
parse-server - Parse-compatible API server module for Node/Expres... 2017-06-07
inferno - An extremely fast, React-like JavaScript library f... 2017-06-08
guetzli - Perceptual JPEG encoder 2017-06-08
cs-video-courses - List of Computer Science courses with video lectur... 2017-06-08
interviews - Everything you need to know to get the job. 2017-06-08
prepack - Prepack is a partial evaluator for JavaScript. Pre... 2017-06-08
CRYENGINE - CRYENGINE is a powerful real-time game development... 2017-06-11
postal - 2017-06-11
reactide - Reactide is the first dedicated IDE for React web ... 2017-06-11
rkt - rkt is a pod-native container engine for Linux. It... 2017-06-11
uWebSockets - Tiny WebSockets https://for... 2017-06-11
realworld - TodoMVC for the RealWorld - Exemplary fullstack Me... 2017-06-11
goreplay - GoReplay is an open-source tool for capturing and ... 2017-06-10
pyenv - Simple Python version management 2017-06-10
redux-saga - An alternative side effect model for Redux apps ... 2017-06-10
angular-starter - 2017-06-10

 Back to top