Define and implement a generic monad behavior.

[hope.git] / test / hope_result_SUITE.erl

diff --git a/test/hope_result_SUITE.erl b/test/hope_result_SUITE.erl
index 4f16b64..9e60e85 100644 (file)
--- a/test/hope_result_SUITE.erl
+++ b/test/hope_result_SUITE.erl
@@ -1,5 +1,6 @@
 -module(hope_result_SUITE).
 
+%% TODO: Import only what is used.
 -include_lib("proper/include/proper.hrl").
 
 %% Callbacks
@@ -15,10 +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).
 
 
 %% ============================================================================
@@ -26,16 +33,33 @@
 %% ============================================================================
 
 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
-        , t_hope_result_specs
+        ],
+    SpecTests =
+        [ t_hope_result_specs
+        ],
+    LiftTests =
+        [ t_lift_exn
+        ],
+    OtherTests =
+        [ t_return
+        , t_map
         ],
     Properties = [parallel],
-    [{?GROUP_PIPE, Properties, Tests}].
+    [ {?GROUP_PIPE, Properties, PipeTests}
+    , {?GROUP_SPEC, Properties, SpecTests}
+    , {?GROUP_LIFT, Properties, LiftTests}
+    , {?GROUP_OTHER, Properties, OtherTests}
+    ].
 
 init_per_group(?GROUP_PIPE, Cfg) ->
     Steps =
@@ -43,9 +67,11 @@ init_per_group(?GROUP_PIPE, Cfg) ->
         , 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.
 
 
@@ -63,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).