|| Generated Sapl file for Error.icl


Error.isOk !_x_0 = select _x_0 (\ _x_1_0 = False) (\ _x_1_0 = True)
Error.isError !_x_0 = select _x_0 (\ _x_1_0 = True) (\ _x_1_0 = False)
Error.fromOk !_x_0 = select _x_0 (\ _x_1_0 = StdMisc.abort "Data.Error.fromOk: argument is Error") (\ b_1_0 = b_1_0)
Error.fromError !_x_0 = select _x_0 (\ a_1_0 = a_1_0) (\ _x_1_0 = StdMisc.abort "Data.Error.fromError: argument is Ok")
Error.liftError !_x_0 = select _x_0 (\ a_1_0 = Error.Error a_1_0) (\ _x_1_0 = StdMisc.abort "Data.Error.liftError: argument is Ok")
Error.mb2error !error_0 !mbV_1 = Maybe.maybe (Error.Error error_0) Error.Ok mbV_1
Error.error2mb !_x_0 = select _x_0 (\ _x_1_0 = Maybe.Nothing) (\ a_1_0 = Maybe.Just a_1_0)
Error.seqErrors !a_0 bfunc_1 = <{Error._c;39;21_12}> a_0 bfunc_1
<{Error._c;39;21_12}> !a_0 bfunc_1 = select a_0 (\ e_1_0 = Error.Error e_1_0) (\ a_1_0 = bfunc_1 a_1_0)
Error.combineErrors !a_0 b_1 combf_2 = <{Error._c;44;27_14}> a_0 b_1 combf_2
<{Error._c;44;27_14}> !a_0 b_1 combf_2 = select a_0 (\ e_1_0 = Error.Error e_1_0) (\ a_1_0 = <{Error._c;46;12_13}> b_1 combf_2 a_1_0)
<{Error._c;46;12_13}> !b_0 combf_1 a_2 = select b_0 (\ e_1_0 = Error.Error e_1_0) (\ b_1_0 = combf_1 a_2 b_1_0)
Error.seqErrorsSt !aop_0 bop_1 !st_2 = let _x_1_0 = aop_0 st_2, st_1_1 = _predefined.tupsels2v1 _x_1_0 in <{Error._c;53;7_15}> (_predefined.tupsels2v0 _x_1_0) st_1_1 bop_1
<{Error._c;53;7_15}> !_x_0 st_1 bop_2 = select _x_0 (\ e_1_0 = _predefined._Tuple2 (Error.Error e_1_0) st_1) (\ a_1_0 = bop_2 a_1_0 st_1)
Error.combineErrorsSt !aop_0 bop_1 combf_2 !st_3 = let _x_1_0 = aop_0 st_3, st_1_1 = _predefined.tupsels2v1 _x_1_0 in <{Error._c;61;7_17}> (_predefined.tupsels2v0 _x_1_0) st_1_1 bop_1 combf_2
<{Error._c;61;7_17}> !_x_0 st_1 bop_2 combf_3 = select _x_0 (\ e_1_0 = _predefined._Tuple2 (Error.Error e_1_0) st_1) (\ a_1_0 = let _x_2_0 = bop_2 st_1, st_2_1 = _predefined.tupsels2v1 _x_2_0 in <{Error._c;65;15_16}> (_predefined.tupsels2v0 _x_2_0) st_2_1 combf_3 a_1_0)
<{Error._c;65;15_16}> !_x_0 !st_1 combf_2 a_3 = select _x_0 (\ e_1_0 = _predefined._Tuple2 (Error.Error e_1_0) st_1) (\ b_1_0 = _predefined._Tuple2 (combf_2 a_3 b_1_0) st_1)
Error.fmap_11 !f_0 !_x_1 = select _x_1 (\ x_1_0 = Error.Error x_1_0) (\ x_1_0 = Error.Ok (f_0 x_1_0))

:: Error.MaybeError = Error.Error a1 | Error.Ok a1

|| Converted Records