|| Generated Sapl file for Maybe.icl


Maybe.maybe x_0 _x_1 !_x_2 = select _x_2 x_0 (\ x_1_0 = _x_1 x_1_0)
Maybe.fromMaybe x_0 !mb_1 = Maybe.maybe x_0 StdFunc.id mb_1
Maybe.isNothing !_x_0 = select _x_0 True (\ _uv1_1_0 = Maybe.isNothing_def0 _x_0)
Maybe.isNothing_def0 !_x_0 = False
Maybe.isNothingU !_x_0 = select _x_0 (_predefined._Tuple2 True Maybe.Nothing) (\ _uv1_1_0 = Maybe.isNothingU_def0 _x_0)
Maybe.isNothingU_def0 !_x_0 = _predefined._Tuple2 False _x_0
Maybe.isJust !_x_0 = select _x_0 (Maybe.isJust_def0 _x_0) (\ _x_1_0 = True)
Maybe.isJust_def0 !_x_0 = False
Maybe.isJustU !_x_0 = select _x_0 (Maybe.isJustU_def0 _x_0) (\ x_1_0 = _predefined._Tuple2 True (Maybe.Just x_1_0))
Maybe.isJustU_def0 !_x_0 = _predefined._Tuple2 False _x_0
Maybe.fromJust !_x_0 = select _x_0 (StdMisc.abort "Data.Maybe.fromJust: argument is Nothing") (\ x_1_0 = x_1_0)
Maybe.maybeToList !_x_0 = select _x_0 _predefined._Nil (\ x_1_0 = _predefined._Cons x_1_0 _predefined._Nil)
Maybe.listToMaybe !_x_0 = select _x_0 (\ x_1_0 _x_1_1 = Maybe.Just x_1_0) Maybe.Nothing
Maybe._lc_12 !g_l_0 = Maybe._lc_14 g_l_0
Maybe._lc_14 !g_l_0 = select g_l_0 (\ g_h_1_0 g_t_1_1 = Maybe._lc_13 g_h_1_0 g_t_1_1) (Maybe._lc_14_def0 g_l_0)
Maybe._lc_14_def0 !g_l_0 = _predefined._Nil
Maybe._lc_13 !g_h_0 g_t_1 = select g_h_0 (Maybe._lc_13_def0 g_h_0 g_t_1) (\ x_1_0 = _predefined._Cons x_1_0 (Maybe._lc_12 g_t_1))
Maybe._lc_13_def0 !g_h_0 g_t_1 = Maybe._lc_12 g_t_1
Maybe.catMaybes !xs_0 = Maybe._lc_12 xs_0
<{Maybe.==_10}> !<{_v==_0}> !_x_1 !maybe_2 = select _x_1 (<{Maybe._c;11;27_15}> maybe_2) (\ a_1_0 = <{Maybe._c;14;27_16}> maybe_2 <{_v==_0}> a_1_0)
<{Maybe._c;14;27_16}> !maybe_0 <{_v==_1}> a_2 = select maybe_0 (<{Maybe._c;14;27_16_def0}> maybe_0 <{_v==_1}> a_2) (\ b_1_0 = <{StdOverloaded.get_==_6}> <{_v==_1}> a_2 b_1_0)
<{Maybe._c;14;27_16_def0}> !maybe_0 <{_v==_1}> a_2 = False
<{Maybe._c;11;27_15}> !maybe_0 = select maybe_0 True (\ _uv1_1_0 = <{Maybe._c;11;27_15_def0}> maybe_0)
<{Maybe._c;11;27_15_def0}> !maybe_0 = False
Maybe.fmap_11 !f_0 !_x_1 = select _x_1 Maybe.Nothing (\ a_1_0 = Maybe.Just (f_0 a_1_0))

:: Maybe.Maybe = Maybe.Nothing | Maybe.Just a1

|| Converted Records