Add the ability to ignore reporting
commitcae261cc86446908c6ae05c8384493e61049a73c
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateTue 16 Apr 2019, 15:00 (8 years ago)
parent42b8ce2
builder/src/Reporting.hs+6
@@ -9,6 +9,7 @@ module Reporting
99 --
1010 , Key
1111 , report
12+ , ignorer
1213 , ask
1314 --
1415 , DKey
@@ -129,6 +130,11 @@ report (Key send) msg =
129130 send msg
130131
131132
133+ignorer :: Key msg
134+ignorer =
135+ Key (\_ -> return ())
136+
137+
132138
133139-- ASK
134140