on master help sign in
Add the ability to ignore reporting
cae261cEvan Czaplicki
builder/src/Reporting.hs+6
@@ -9,6 +9,7 @@ module Reporting
9 --
9 --
10 , Key
10 , Key
11 , report
11 , report
12+ , ignorer
12 , ask
13 , ask
13 --
14 --
14 , DKey
15 , DKey
@@ -129,6 +130,11 @@ report (Key send) msg =
129 send msg
130 send msg
130
131
131
132
133+ignorer :: Key msg
134+ignorer =
135+ Key (\_ -> return ())
136+
137+
132
138
133-- ASK
139-- ASK
134
140