hincludes/lib/Maybe.enum.php

   1 <?php
   2
   3 class Maybe extends Enum {
   4         public static function Just($v) { return new Maybe("Just", 1, array($v)); }
   5         public static $Nothing;
   6         public static $__constructors = array(1 => 'Just', 0 => 'Nothing');
   7         }
   8 Maybe::$Nothing = new Maybe("Nothing", 0);