Monads/Maybe monad: Difference between revisions
Content added Content deleted
Line 1,251: | Line 1,251: | ||
} |
} |
||
class: |
class: |
||
// after class: all are temporary for the |
// after class: all are temporary for the construction phase |
||
// module with class name is the |
// module with class name is the constructor |
||
// the object |
// the object constructed before enter this module |
||
// but we can change it. So we return a new one. |
// but we can change it. So we return a new one. |
||
module maybe { |
module maybe { |