summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorstuebinm2022-02-10 00:14:43 +0100
committerstuebinm2022-02-10 00:14:43 +0100
commit485af1d460be0979b7093da307f379ef088a98db (patch)
tree8d0358713b5915f73bb2a72b42b0ead1472ad0bd /lib
parent3a109e79363b52e22da35aaecf666014a75fcb63 (diff)
server: simple servant-lucid stuff
Diffstat (limited to 'lib')
-rw-r--r--lib/CheckDir.hs3
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/CheckDir.hs b/lib/CheckDir.hs
index 02985ec..b9a3a31 100644
--- a/lib/CheckDir.hs
+++ b/lib/CheckDir.hs
@@ -7,7 +7,7 @@
{-# LANGUAGE TypeFamilies #-}
-- | Module that contains high-level checking for an entire directory
-module CheckDir (recursiveCheckDir, DirResult(..), resultIsFatal) where
+module CheckDir (maximumLintLevel, recursiveCheckDir, DirResult(..), MissingAsset(..), MissingDep(..), resultIsFatal) where
import CheckMap (MapResult (..), loadAndLintMap)
import Control.Monad (void)
@@ -36,7 +36,6 @@ import Types (Dep (Local, LocalMap), Hint (Hint),
Level (..), hintLevel)
import Util (PrettyPrint (prettyprint))
-
-- based on the startling observation that Data.Map has lower complexity
-- for difference than Data.Set, but the same complexity for fromList
type Set a = Map a ()