git.iko.soy/Idris-dev
on master help sign in
Use the Maybe functor to simplify
50797fdNiklas Larsson
src/Idris/IBC.hs+2−3
compare with master
unifiedsplit
@@ -22,6 +22,7 @@ import Paths_idris
22import qualified Cheapskate.Types as CT
22import qualified Cheapskate.Types as CT
23
23
24import Data.Binary
24import Data.Binary
25+import Data.Functor
25import Data.Vector.Binary
26import Data.Vector.Binary
26import Data.List as L
27import Data.List as L
27import Data.Maybe (catMaybes)
28import Data.Maybe (catMaybes)
@@ -168,9 +169,7 @@ entries i = catMaybes [Just $ toEntry "ver" 0 (encode $ ver i),
168 makeEntry "ibc_patdefs" (ibc_patdefs i),
169 makeEntry "ibc_patdefs" (ibc_patdefs i),
169 makeEntry "ibc_postulates" (ibc_postulates i),
170 makeEntry "ibc_postulates" (ibc_postulates i),
170 makeEntry "ibc_externs" (ibc_externs i),
171 makeEntry "ibc_externs" (ibc_externs i),
171− case ibc_parsedSpan i of
172− Nothing -> Nothing
173− Just s -> Just $ toEntry "ibc_parsedSpan" 0 (encode s),
172+ toEntry "ibc_parsedSpan" 0 . encode <$> ibc_parsedSpan i,
174 makeEntry "ibc_usage" (ibc_usage i),
173 makeEntry "ibc_usage" (ibc_usage i),
175 makeEntry "ibc_exports" (ibc_exports i),
174 makeEntry "ibc_exports" (ibc_exports i),
176 makeEntry "ibc_autohints" (ibc_autohints i)]
175 makeEntry "ibc_autohints" (ibc_autohints i)]