From 3a6b00955d93c789fe8bea0856267648239f9d5f Mon Sep 17 00:00:00 2001
From: Andrei Zavada <johnhommer@gmail.com>
Date: Sun, 17 Apr 2016 23:12:58 +0300
Subject: [PATCH] add hairy specs for en-/decode_cover_list/1

---
 src/riak_pb_ts_codec.erl | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/riak_pb_ts_codec.erl b/src/riak_pb_ts_codec.erl
index 60ec3aa4..6da12e91 100644
--- a/src/riak_pb_ts_codec.erl
+++ b/src/riak_pb_ts_codec.erl
@@ -250,12 +250,23 @@ decode_cells([#tscell{varchar_value = undefined,
 %% Copied and modified from riak_kv_pb_coverage:convert_list. Would
 %% be nice to collapse them back together, probably with a closure,
 %% but time and effort.
+-type ts_range() :: {FieldName::binary(),
+                     {{StartVal::integer(), StartIncl::boolean()},
+                      {EndVal::integer(), EndIncl::boolean()}}}.
+
+-spec encode_cover_list({{IP::string(), Port::non_neg_integer()},
+                         Context::binary(),
+                         ts_range(),
+                         SQLText::string()}) -> [#tscoverageentry{}].
 encode_cover_list(Entries) ->
     [#tscoverageentry{ip = IP, port = Port,
                       cover_context = Context,
                       range = encode_ts_range({Range, SQLText})}
      || {{IP, Port}, Context, Range, SQLText} <- Entries].
 
+-spec decode_cover_list([#tscoverageentry{}]) ->
+                               [{{IP::string(), Port::non_neg_integer()},
+                                 CoverContext::binary(), ts_range(), Text::string()}].
 decode_cover_list(Entries) ->
     [begin
          {RangeStruct, Text} = decode_ts_range(Range),