-module(hope_result_SUITE).
+%% TODO: Import only what is used.
+-include_lib("proper/include/proper.hrl").
+
%% Callbacks
-export(
[ all/0
-export(
[ 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).
%% ============================================================================
%% ============================================================================
all() ->
- [{group, ?GROUP_PIPE}].
+ [ {group, ?GROUP_PIPE}
+ , {group, ?GROUP_SPEC}
+ , {group, ?GROUP_LIFT}
+ , {group, ?GROUP_OTHER}
+ ].
groups() ->
- Tests =
+ PipeTests =
[ t_pipe_ok
, t_pipe_error
],
- Properties = [],
- [{?GROUP_PIPE, Properties, Tests}].
+ 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_PIPE, Cfg) ->
Steps =
, 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_PIPE, _Cfg) ->
+end_per_group(_, _Cfg) ->
ok.
t_pipe_error(Cfg) ->
{some, Steps} = hope_kv_list:get(Cfg, steps),
{error, 1} = hope_result:pipe(Steps, 1).
+
+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).