X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=test%2Fhope_result_SUITE.erl;h=9e60e855683b46065e26248d308caeec3009eeb4;hb=c66ddf8079f01284853e24ca129062c3d11229b0;hp=a49d4519c66d80c74dc975022aaa6165f22577c5;hpb=8857d0f074831db31349897dabc7261fc71730c1;p=hope.git diff --git a/test/hope_result_SUITE.erl b/test/hope_result_SUITE.erl index a49d451..9e60e85 100644 --- a/test/hope_result_SUITE.erl +++ b/test/hope_result_SUITE.erl @@ -16,11 +16,16 @@ [ t_pipe_ok/1 , t_pipe_error/1 , t_hope_result_specs/1 + , t_lift_exn/1 + , t_return/1 + , t_map/1 ]). -define(GROUP_PIPE, result_pipe). -define(GROUP_SPEC, result_spec). +-define(GROUP_LIFT, result_lift_exn). +-define(GROUP_OTHER, result_other). %% ============================================================================ @@ -30,6 +35,8 @@ all() -> [ {group, ?GROUP_PIPE} , {group, ?GROUP_SPEC} + , {group, ?GROUP_LIFT} + , {group, ?GROUP_OTHER} ]. groups() -> @@ -40,24 +47,31 @@ groups() -> SpecTests = [ t_hope_result_specs ], + LiftTests = + [ t_lift_exn + ], + OtherTests = + [ t_return + , t_map + ], Properties = [parallel], [ {?GROUP_PIPE, Properties, PipeTests} , {?GROUP_SPEC, Properties, SpecTests} + , {?GROUP_LIFT, Properties, LiftTests} + , {?GROUP_OTHER, Properties, OtherTests} ]. -init_per_group(?GROUP_SPEC, Cfg) -> - Cfg; init_per_group(?GROUP_PIPE, Cfg) -> Steps = [ fun (0) -> {ok, 1}; (X) -> {error, X} end , fun (1) -> {ok, 2}; (X) -> {error, X} end , fun (2) -> {ok, 3}; (X) -> {error, X} end ], - hope_kv_list:set(Cfg, steps, Steps). + hope_kv_list:set(Cfg, steps, Steps); +init_per_group(_, Cfg) -> + Cfg. -end_per_group(?GROUP_SPEC, _Cfg) -> - ok; -end_per_group(?GROUP_PIPE, _Cfg) -> +end_per_group(_, _Cfg) -> ok. @@ -75,3 +89,24 @@ t_pipe_error(Cfg) -> t_hope_result_specs(_) -> [] = proper:check_specs(hope_result). + +t_lift_exn(_Cfg) -> + Class = throw, + Reason = foofoo, + Label = bar, + F = fun (ok) -> apply(erlang, Class, [Reason]) end, + G = hope_result:lift_exn(F), + H = hope_result:lift_exn(F, Label), + {error, {Class, Reason}} = G(ok), + {error, {Label, {Class, Reason}}} = H(ok). + +t_return(_Cfg) -> + X = foo, + {ok, X} = hope_result:return(X). + +t_map(_Cfg) -> + X = foo, + Y = bar, + F = fun (foo) -> Y end, + {ok, Y} = hope_result:map({ok, X}, F), + {error, X} = hope_result:map({error, X}, F).