מאי הוא פועל או ביטוי המצביע על כך שמשהו יכול לקרות, ויש כאן מילה נפרדת. הכוונה היא למשהו שיכול לקרות או למצב שיכול להתקיים. לדוגמא, אם אינך יודע עם מי אתה רוצה לראות סרט, אך חברך רוצה שתלך כי הוא או היא רוצים שתעבור, למרות שאתה לא יודע איזה סרט אתה רוצה לראות, לך.
אולי תזכור להשתמש במשפט שיכול להיות פועל אם המשפט מכיל שני פעלים נפרדים
אם הפועל או הביטוי אינם משתמשים בתוספת, זכור כי הם אינם משתמשים בפתגמים, אם כי הם עשויים להכיל שתי מילים שונות (למשל "יכול" ו"יכול "במקרה זה).
לפעמים אתה מקבל ערך אולי לא ממש הערך שאתה מחפש
ולפעמים אתה צריך להעביר את הערך הזה לדברים שאתה לא באמת יודע. אולי זה שאתה לא יכול להשתמש בערכים הכלולים בו ישירות; אתה צריך לחלץ אותם ולהפוך אותם איכשהו מהמבנה. השימוש בערכים אלה הוא קצת יותר עבודה, אבל הם מחולצים והופכים.
אתה יכול להשתמש בבנאי אולי לבנות בדיוק את מה שרק השתמשתי בו, באמצעות מופע של הבנאי, אך אולי עדיף להשתמש בפונקציית עוזר (בבטחה).
היתרון בשימוש בערך אולי במצב זה
הוא שמכיוון שערך ההחזרה הוא עטוף, המשתמש בפונקציה נאלץ להכיר באפשרות של שגיאה, גם אם לא ניתן להשתמש בערך ישירות. אם יש לך שגיאות אך אינך מעוניין להציג אותן באותו אופן, תוכל להשתמש ב- getError () במקום זאת. אתה יכול להתחבר שוב על ידי קריאה ל- OnError, עם פרדיקט המתאים לחריגים מסוימים (ספירה חוזרת).
תוכל להשתמש בערך זה על ידי עטיפתו ב- אולי וחילוץו מהמיכל, אך יתכן ויהיה מעוניין בחלק מהקוד המספק ערך לא בטוח לפני שתרצה לבצע חישובים נוספים.
אתה יכול לבנות מופע אולי עם TypeRep שלך לסוגים אחרים ולמזג אותו אם ברצונך לבחור אולי, או להשתמש בו לכל שאר הסוגים אולי. אתה יכול גם להתאחד לסוג אולי אם אתה רוצה את זה אופציונלי, אבל אתה רוצה שהסוג אולי יישאר.
E מנוי אולי לשרת מסוים, ואם הזרם ב- עשוי להיות ריק, הוא עשוי להפיק את אותו הערך כמו המקור (למעט אולי חריגים). אם החריגה מחזירה אמת, היא עשויה להחזיר את כל האלמנטים הנפלטים מאותו מקור, ועשויה להחזיר את תת המשנה הנתונה Observer.
זה אומר לך להעביר את השליטה ל- MaybeSource ולהתקשר ל- OnError () אם אתה מבחין באג ב- Maybe. מורה להעביר את השליטה ל- אולי ולהתקשר לשגיאה (), הנקראת אם יש בה שגיאה.
אם המקור ב- אולי ריק
צוין אלמנט ברירת המחדל, והשני אולי מדפיס את האלמנט. אולי אלמנט חוזר מהמקור אולי הראשון כאשר מקור זה לא שולח אלמנטים כלשהם או כאשר הוא שולח את כל האלמנטים. אם המקור השלישי אולי מדפיס רק אלמנט אחד, הוא עשוי להדפיס אלמנט משלו ולקרוא ל-Error () ().
אולי
קריאה של פעולה מסוימת מאותתת עלSuccess () ונפטרת על ידי חברות במורד הזרם. אולי מופע אולי יבצע פעולה מסוימת לכל המשתתפים, ינפיק פטור ממשתתף או פשוט יבצע אותה עבור כל משתתף. אולי מקרים יבצעו פעולה ספציפית עבור כל מנוי, ישחררו את ציפיותיו של המנוי ופשוט מלאים ומלאים.
TestObserver (T) של בדיקה נוצר באופן אופציונלי על ידי ביטול המדינה ואז מנוי אליו באמצעות אולי
אולי המשך ל- MaybeSource מנויים על ידי חברות במורד הזרם ונפטרות ממנו. ב- אולי אירועים אינם מסומנים באמצעות מחוון פסק זמן, אלא אולי עם אותות לכך שאירועי מקור מועברים קדימה בזמן, אולי על ידי עיכוב מסוים.
אולי יש פונקציית שילוב מסוימת המתאימה לשבעה מקורות אולי אחרים הפולטים שבעה פריטים ברצף
אם הערך הבסיסי נקבע ב- אולי, ה- Conkat משתמש במופע אולי המשויך לחצי קבוצה בסיסית מאותו סוג, ואם הוא נקרא במופע שום דבר, הוא לא מחזיר דבר. אם אנו מצפים לעטוף אולי סם אחר, מאותו סוג, זה יעטוף אותנו במופע אולי חדש, על ידי גלישת שני קבוצות החצי הבסיסיות, ואז חזרה למקור אולי. אולי נפלט טעות, אך אם הקביעה תחזור נכונה, הקביעה הזו תגרום לפליטה שלמה ותבלע את החד פעמי, ותשחרר את השגיאה אולי.
עם AnyToMaybe
שהופך מופע נתון למופע אולי ואולי הראשון אולי לשרשור, firstTo עשוי להפוך מופע שאינו ריק למופע בסדר שפשוט עטוף בערך המקורי של הראשון . או כדי להפוך מופע נתון של אולי למופעים אולי, או כדי לשטוח אולי ואולי כאשר משורשרים, התוצאה למאולי תחליף את המופע OK בחזרה לעטיפה הפשוטה ב- Ok שמכילה את הערך המקורי. או להפוך תוצאה נתונה לדוגמאות אולי, או לשרשר אולי או תוצאה לאולי. אם eithertoMaybe () משורשר, כל מופע נכון ב- אולי מסובב ימינה (שהוא פשוט עטוף בסדר, שמכיל את הערך המקורי). אם אתה הופך את כל המופעים הנתונים למקרים מסוימים אולי אך משטחים אולי (או ראשונים) אולי, כל המופעים שאינם ריקים מומרים חזרה למופעים בסדר שפשוט הופכים לימין (), שהכיל את הערכים המקוריים.
