diff --git a/docs/api/index.html b/docs/api/index.html
index 191b576..bba27fe 100644
--- a/docs/api/index.html
+++ b/docs/api/index.html
@@ -1,71 +1,11 @@
-Hell's APIHell's API
Back to homepage
Types
data Bool :: *data ByteString :: *data Char :: *data ConsL :: Symbol -> * -> List -> Listdata Double :: *data Either :: * -> * -> *data ExitCode :: *data IO :: * -> *data Int :: *data Map :: * -> * -> *data Maybe :: * -> *data NilL :: Listdata ProcessConfig :: * -> * -> * -> *data Record :: List -> *data Set :: * -> *data Tagged :: Symbol -> * -> *data Text :: *data Value :: *data Vector :: * -> *
Terms
$ :: forall a_0 b_1 . (a_0 -> b_1) -> a_0 -> b_1
. :: forall a_0 b_1 c_2 . (b_1 -> c_2) -> (a_0 -> b_1) -> a_0 -> c_2
Async.concurrently :: forall a_0 b_1 .
-GHC.Types.IO a_0 -> GHC.Types.IO b_1 -> GHC.Types.IO (a_0, b_1)Async.pooledForConcurrently :: forall a_0 b_1 .
-[a_0] -> (a_0 -> GHC.Types.IO b_1) -> GHC.Types.IO ([b_1])Async.pooledForConcurrently_ :: forall a_0 . [a_0] -> (a_0 -> GHC.Types.IO ()) -> GHC.Types.IO ()Async.pooledMapConcurrently :: forall a_0 b_1 .
-(a_0 -> GHC.Types.IO b_1) -> [a_0] -> GHC.Types.IO ([b_1])Async.pooledMapConcurrently_ :: forall a_0 . (a_0 -> GHC.Types.IO ()) -> [a_0] -> GHC.Types.IO ()Async.race :: forall a_0 b_1 .
-GHC.Types.IO a_0 ->
-GHC.Types.IO b_1 -> GHC.Types.IO (Data.Either.Either a_0 b_1)
Bool.False :: BoolBool.True :: BoolBool.bool :: forall a_0 . a_0 -> a_0 -> GHC.Types.Bool -> a_0Bool.not :: Bool -> Bool
ByteString.getContents :: IO ByteStringByteString.hGet :: Handle -> Int -> IO ByteStringByteString.hPutStr :: Handle -> ByteString -> IO ()ByteString.interact :: (ByteString -> ByteString) -> IO ()ByteString.readFile :: Text -> IO ByteStringByteString.readProcess :: ProcessConfig () () () -> IO (ExitCode,ByteString,ByteString)ByteString.readProcessStdout_ :: ProcessConfig () () () -> IO ByteStringByteString.readProcess_ :: ProcessConfig () () () -> IO (ByteString,ByteString)ByteString.writeFile :: Text -> ByteString -> IO ()
Concurrent.threadDelay :: Int -> IO ()
Directory.copyFile :: Text -> Text -> IO ()Directory.createDirectory :: Text -> IO ()Directory.createDirectoryIfMissing :: Bool -> Text -> IO ()Directory.getCurrentDirectory :: IO TextDirectory.listDirectory :: Text -> IO [Text]Directory.removeFile :: Text -> IO ()Directory.renameFile :: Text -> Text -> IO ()Directory.setCurrentDirectory :: Text -> IO ()
Double.eq :: Double -> Double -> BoolDouble.fromInt :: Int -> DoubleDouble.plus :: Double -> Double -> DoubleDouble.show :: Double -> TextDouble.subtract :: Double -> Double -> Double
Either.Left :: forall a_0 b_1 . a_0 -> Data.Either.Either a_0 b_1Either.Right :: forall a_0 b_1 . b_1 -> Data.Either.Either a_0 b_1Either.either :: forall a_0 b_1 x_2 .
-(a_0 -> x_2) -> (b_1 -> x_2) -> Data.Either.Either a_0 b_1 -> x_2
Environment.getArgs :: IO [Text]Environment.getEnv :: Text -> IO TextEnvironment.getEnvironment :: IO [(Text,Text)]
Eq.eq :: forall a_0 . GHC.Classes.Eq a_0 => a_0 -> a_0 -> GHC.Types.Bool
Error.error :: forall a_0 . Data.Text.Internal.Text -> a_0
Function.fix :: forall a_0 . (a_0 -> a_0) -> a_0Function.id :: forall a_0 . a_0 -> a_0
IO.BlockBuffering :: Maybe Int -> BufferModeIO.LineBuffering :: BufferModeIO.NoBuffering :: BufferModeIO.forM_ :: forall a_0 . [a_0] -> (a_0 -> GHC.Types.IO ()) -> GHC.Types.IO ()IO.hSetBuffering :: Handle -> BufferMode -> IO ()IO.mapM_ :: forall a_0 . (a_0 -> GHC.Types.IO ()) -> [a_0] -> GHC.Types.IO ()IO.print :: forall a_0 . GHC.Show.Show a_0 => a_0 -> GHC.Types.IO ()IO.pure :: forall a_0 . a_0 -> GHC.Types.IO a_0IO.stderr :: HandleIO.stdin :: HandleIO.stdout :: Handle
Int.eq :: Int -> Int -> BoolInt.plus :: Int -> Int -> IntInt.show :: Int -> TextInt.subtract :: Int -> Int -> Int
Json.Array :: Vector Value -> ValueJson.Bool :: Bool -> ValueJson.Null :: ValueJson.Number :: Double -> ValueJson.Object :: Map Text Value -> ValueJson.String :: Text -> ValueJson.decode :: ByteString -> Maybe ValueJson.encode :: Value -> ByteStringJson.value :: forall a_0 .
-a_0 ->
-(GHC.Types.Bool -> a_0) ->
-(Data.Text.Internal.Text -> a_0) ->
-(GHC.Types.Double -> a_0) ->
-(Data.Vector.Vector Data.Aeson.Types.Internal.Value -> a_0) ->
-(Data.Map.Internal.Map Data.Text.Internal.Text
- Data.Aeson.Types.Internal.Value ->
- a_0) ->
-Data.Aeson.Types.Internal.Value -> a_0
List.and :: [Bool] -> BoolList.concat :: forall a_0 . [[a_0]] -> [a_0]List.cons :: forall a_0 . a_0 -> [a_0] -> [a_0]List.drop :: forall a_0 . GHC.Types.Int -> [a_0] -> [a_0]List.filter :: forall a_0 . (a_0 -> GHC.Types.Bool) -> [a_0] -> [a_0]List.foldl' :: forall a_0 b_1 . (b_1 -> a_0 -> b_1) -> b_1 -> [a_0] -> b_1List.groupBy :: forall a_0 . (a_0 -> a_0 -> GHC.Types.Bool) -> [a_0] -> [[a_0]]List.iterate' :: forall a_0 . (a_0 -> a_0) -> a_0 -> [a_0]List.length :: forall a_0 . [a_0] -> GHC.Types.IntList.lookup :: forall a_0 b_1 . GHC.Classes.Eq a_0 =>
-a_0 -> [(a_0, b_1)] -> GHC.Maybe.Maybe b_1List.map :: forall a_0 b_1 . (a_0 -> b_1) -> [a_0] -> [b_1]List.nil :: forall a_0 . [a_0]List.or :: [Bool] -> BoolList.reverse :: forall a_0 . [a_0] -> [a_0]List.sort :: forall a_0 . GHC.Classes.Ord a_0 => [a_0] -> [a_0]List.sortOn :: forall a_0 b_1 . GHC.Classes.Ord b_1 =>
-(a_0 -> b_1) -> [a_0] -> [a_0]List.take :: forall a_0 . GHC.Types.Int -> [a_0] -> [a_0]List.zip :: forall a_0 b_1 . [a_0] -> [b_1] -> [(a_0, b_1)]List.zipWith :: forall a_0 b_1 c_2 . (a_0 -> b_1 -> c_2) -> [a_0] -> [b_1] -> [c_2]
Map.adjust :: forall k_0 a_1 . GHC.Classes.Ord k_0 =>
-(a_1 -> a_1) ->
-k_0 ->
-Data.Map.Internal.Map k_0 a_1 -> Data.Map.Internal.Map k_0 a_1Map.all :: forall k_0 a_1 .
-(a_1 -> GHC.Types.Bool) ->
-Data.Map.Internal.Map k_0 a_1 -> GHC.Types.BoolMap.any :: forall k_0 a_1 .
-(a_1 -> GHC.Types.Bool) ->
-Data.Map.Internal.Map k_0 a_1 -> GHC.Types.BoolMap.delete :: forall k_0 a_1 . GHC.Classes.Ord k_0 =>
-k_0 ->
-Data.Map.Internal.Map k_0 a_1 -> Data.Map.Internal.Map k_0 a_1Map.filter :: forall k_0 a_1 .
-(a_1 -> GHC.Types.Bool) ->
-Data.Map.Internal.Map k_0 a_1 -> Data.Map.Internal.Map k_0 a_1Map.filterWithKey :: forall k_0 a_1 .
-(k_0 -> a_1 -> GHC.Types.Bool) ->
-Data.Map.Internal.Map k_0 a_1 -> Data.Map.Internal.Map k_0 a_1Map.fromList :: forall k_0 a_1 . GHC.Classes.Ord k_0 =>
-[(k_0, a_1)] -> Data.Map.Internal.Map k_0 a_1Map.insert :: forall k_0 a_1 . GHC.Classes.Ord k_0 =>
-k_0 ->
-a_1 ->
-Data.Map.Internal.Map k_0 a_1 -> Data.Map.Internal.Map k_0 a_1Map.insertWith :: forall k_0 a_1 . GHC.Classes.Ord k_0 =>
-(a_1 -> a_1 -> a_1) ->
-k_0 ->
-a_1 ->
-Data.Map.Internal.Map k_0 a_1 -> Data.Map.Internal.Map k_0 a_1Map.lookup :: forall k_0 a_1 . GHC.Classes.Ord k_0 =>
-k_0 -> Data.Map.Internal.Map k_0 a_1 -> GHC.Maybe.Maybe a_1Map.map :: forall a_0 b_1 k_2 .
-(a_0 -> b_1) ->
-Data.Map.Internal.Map k_2 a_0 -> Data.Map.Internal.Map k_2 b_1Map.singleton :: forall k_0 a_1 . GHC.Classes.Ord k_0 =>
-k_0 -> a_1 -> Data.Map.Internal.Map k_0 a_1Map.size :: forall k_0 a_1 . Data.Map.Internal.Map k_0 a_1 -> GHC.Types.IntMap.toList :: forall k_0 a_1 . Data.Map.Internal.Map k_0 a_1 -> [(k_0, a_1)]Map.unionWith :: forall k_0 a_1 . GHC.Classes.Ord k_0 =>
-(a_1 -> a_1 -> a_1) ->
-Data.Map.Internal.Map k_0 a_1 ->
-Data.Map.Internal.Map k_0 a_1 -> Data.Map.Internal.Map k_0 a_1
Maybe.Just :: forall a_0 . a_0 -> GHC.Maybe.Maybe a_0Maybe.Nothing :: forall a_0 . GHC.Maybe.Maybe a_0Maybe.listToMaybe :: forall a_0 . [a_0] -> GHC.Maybe.Maybe a_0Maybe.mapMaybe :: forall a_0 b_1 . (a_0 -> GHC.Maybe.Maybe b_1) -> [a_0] -> [b_1]Maybe.maybe :: forall a_0 b_1 . b_1 -> (a_0 -> b_1) -> GHC.Maybe.Maybe a_0 -> b_1
Monad.bind :: forall m_0 a_1 b_2 . GHC.Base.Monad m_0 =>
-m_0 a_1 -> (a_1 -> m_0 b_2) -> m_0 b_2Monad.forM :: forall a_0 b_1 m_2 . GHC.Base.Monad m_2 =>
-[a_0] -> (a_0 -> m_2 b_1) -> m_2 ([b_1])Monad.forM_ :: forall a_0 m_1 . GHC.Base.Monad m_1 =>
-[a_0] -> (a_0 -> m_1 ()) -> m_1 ()Monad.mapM :: forall a_0 b_1 m_2 . GHC.Base.Monad m_2 =>
-(a_0 -> m_2 b_1) -> [a_0] -> m_2 ([b_1])Monad.mapM_ :: forall a_0 m_1 . GHC.Base.Monad m_1 =>
-(a_0 -> m_1 ()) -> [a_0] -> m_1 ()Monad.return :: forall a_0 m_1 . GHC.Base.Monad m_1 => a_0 -> m_1 a_0Monad.then :: forall m_0 a_1 b_2 . GHC.Base.Monad m_0 =>
-m_0 a_1 -> m_0 b_2 -> m_0 b_2Monad.when :: forall m_0 . GHC.Base.Monad m_0 =>
-GHC.Types.Bool -> m_0 () -> m_0 ()
Ord.gt :: forall a_0 . GHC.Classes.Ord a_0 => a_0 -> a_0 -> GHC.Types.BoolOrd.lt :: forall a_0 . GHC.Classes.Ord a_0 => a_0 -> a_0 -> GHC.Types.Bool
Process.proc :: Text -> [Text] -> ProcessConfig () () ()Process.runProcess :: ProcessConfig () () () -> IO ExitCodeProcess.runProcess_ :: ProcessConfig () () () -> IO ()Process.setEnv :: [(Text,Text)] -> ProcessConfig () () () -> ProcessConfig () () ()
Record.cons :: forall (k_0 :: GHC.Types.Symbol) a_1 (xs_2 :: Main.List) .
-a_1 -> Main.Record xs_2 -> Main.Record ('Main.ConsL k_0 a_1 xs_2)Record.get :: forall (k_0 :: GHC.Types.Symbol) a_1 (t_2 :: GHC.Types.Symbol) (xs_3 :: Main.List) .
-Main.Tagged t_2 (Main.Record xs_3) -> a_1Record.modify :: forall (k_0 :: GHC.Types.Symbol) a_1 (t_2 :: GHC.Types.Symbol) (xs_3 :: Main.List) .
-(a_1 -> a_1) ->
-Main.Tagged t_2 (Main.Record xs_3) ->
-Main.Tagged t_2 (Main.Record xs_3)Record.nil :: Record 'NilLRecord.set :: forall (k_0 :: GHC.Types.Symbol) a_1 (t_2 :: GHC.Types.Symbol) (xs_3 :: Main.List) .
-a_1 ->
-Main.Tagged t_2 (Main.Record xs_3) ->
-Main.Tagged t_2 (Main.Record xs_3)
Set.delete :: forall a_0 . GHC.Classes.Ord a_0 =>
-a_0 -> Data.Set.Internal.Set a_0 -> Data.Set.Internal.Set a_0Set.fromList :: forall a_0 . GHC.Classes.Ord a_0 =>
-[a_0] -> Data.Set.Internal.Set a_0Set.insert :: forall a_0 . GHC.Classes.Ord a_0 =>
-a_0 -> Data.Set.Internal.Set a_0 -> Data.Set.Internal.Set a_0Set.member :: forall a_0 . GHC.Classes.Ord a_0 =>
-a_0 -> Data.Set.Internal.Set a_0 -> GHC.Types.BoolSet.singleton :: forall a_0 . GHC.Classes.Ord a_0 =>
-a_0 -> Data.Set.Internal.Set a_0Set.size :: forall a_0 . Data.Set.Internal.Set a_0 -> GHC.Types.IntSet.toList :: forall a_0 . Data.Set.Internal.Set a_0 -> [a_0]Set.union :: forall a_0 . GHC.Classes.Ord a_0 =>
-Data.Set.Internal.Set a_0 ->
-Data.Set.Internal.Set a_0 -> Data.Set.Internal.Set a_0
Show.show :: forall a_0 . GHC.Show.Show a_0 => a_0 -> Data.Text.Internal.Text
Tagged.Tagged :: forall (t_0 :: GHC.Types.Symbol) a_1 . a_1 -> Main.Tagged t_0 a_1
Text.appendFile :: Text -> Text -> IO ()Text.breakOn :: Text -> Text -> (Text,Text)Text.concat :: [Text] -> TextText.decodeUtf8 :: ByteString -> TextText.drop :: Int -> Text -> TextText.dropEnd :: Int -> Text -> TextText.encodeUtf8 :: Text -> ByteStringText.eq :: Text -> Text -> BoolText.getContents :: IO TextText.getLine :: IO TextText.hPutStr :: Handle -> Text -> IO ()Text.interact :: (Text -> Text) -> IO ()Text.intercalate :: Text -> [Text] -> TextText.isInfixOf :: Text -> Text -> BoolText.isPrefixOf :: Text -> Text -> BoolText.isSuffixOf :: Text -> Text -> BoolText.length :: Text -> IntText.lines :: Text -> [Text]Text.putStr :: Text -> IO ()Text.putStrLn :: Text -> IO ()Text.readFile :: Text -> IO TextText.readProcess :: ProcessConfig () () () -> IO (ExitCode,Text,Text)Text.readProcessStdout_ :: ProcessConfig () () () -> IO TextText.readProcess_ :: ProcessConfig () () () -> IO (Text,Text)Text.replace :: Text -> Text -> Text -> TextText.reverse :: Text -> TextText.setStdin :: Text -> ProcessConfig () () () -> ProcessConfig () () ()Text.splitOn :: Text -> Text -> [Text]Text.strip :: Text -> TextText.stripPrefix :: Text -> Text -> Maybe TextText.stripSuffix :: Text -> Text -> Maybe TextText.take :: Int -> Text -> TextText.takeEnd :: Int -> Text -> TextText.toLower :: Text -> TextText.toUpper :: Text -> TextText.unlines :: [Text] -> TextText.unwords :: [Text] -> TextText.words :: Text -> [Text]Text.writeFile :: Text -> Text -> IO ()
Timeout.timeout :: forall a_0 .
-GHC.Types.Int ->
-GHC.Types.IO a_0 -> GHC.Types.IO (GHC.Maybe.Maybe a_0)
Tuple.(,) :: forall a_0 b_1 . a_0 -> b_1 -> (a_0, b_1)Tuple.(,,) :: forall a_0 b_1 c_2 . a_0 -> b_1 -> c_2 -> (a_0, b_1, c_2)Tuple.(,,,) :: forall a_0 b_1 c_2 d_3 .
-a_0 -> b_1 -> c_2 -> d_3 -> (a_0, b_1, c_2, d_3)
Vector.fromList :: forall a_0 . [a_0] -> Data.Vector.Vector a_0Vector.toList :: forall a_0 . Data.Vector.Vector a_0 -> [a_0]
\ No newline at end of file
+Hell's APIHell's API
Back to homepage
Types
data Bool :: *data ByteString :: *data Char :: *data ConsL :: Symbol -> * -> List -> Listdata Double :: *data Either :: * -> * -> *data ExitCode :: *data IO :: * -> *data Int :: *data Map :: * -> * -> *data Maybe :: * -> *data NilL :: Listdata ProcessConfig :: * -> * -> * -> *data Record :: List -> *data Set :: * -> *data Tagged :: Symbol -> * -> *data Text :: *data Value :: *data Vector :: * -> *
Terms
$ :: forall a b . (a -> b) -> a -> b
. :: forall a b c . (b -> c) -> (a -> b) -> a -> c
Async.concurrently :: forall a b . IO a -> IO b -> IO (a, b)Async.pooledForConcurrently :: forall a b . [a] -> (a -> IO b) -> IO ([b])Async.pooledForConcurrently_ :: forall a . [a] -> (a -> IO ()) -> IO ()Async.pooledMapConcurrently :: forall a b . (a -> IO b) -> [a] -> IO ([b])Async.pooledMapConcurrently_ :: forall a . (a -> IO ()) -> [a] -> IO ()Async.race :: forall a b . IO a -> IO b -> IO (Either a b)
Bool.False :: BoolBool.True :: BoolBool.bool :: forall a . a -> a -> Bool -> aBool.not :: Bool -> Bool
ByteString.getContents :: IO ByteStringByteString.hGet :: Handle -> Int -> IO ByteStringByteString.hPutStr :: Handle -> ByteString -> IO ()ByteString.interact :: (ByteString -> ByteString) -> IO ()ByteString.readFile :: Text -> IO ByteStringByteString.readProcess :: ProcessConfig () () () -> IO (ExitCode,ByteString,ByteString)ByteString.readProcessStdout_ :: ProcessConfig () () () -> IO ByteStringByteString.readProcess_ :: ProcessConfig () () () -> IO (ByteString,ByteString)ByteString.writeFile :: Text -> ByteString -> IO ()
Concurrent.threadDelay :: Int -> IO ()
Directory.copyFile :: Text -> Text -> IO ()Directory.createDirectory :: Text -> IO ()Directory.createDirectoryIfMissing :: Bool -> Text -> IO ()Directory.getCurrentDirectory :: IO TextDirectory.listDirectory :: Text -> IO [Text]Directory.removeFile :: Text -> IO ()Directory.renameFile :: Text -> Text -> IO ()Directory.setCurrentDirectory :: Text -> IO ()
Double.eq :: Double -> Double -> BoolDouble.fromInt :: Int -> DoubleDouble.plus :: Double -> Double -> DoubleDouble.show :: Double -> TextDouble.subtract :: Double -> Double -> Double
Either.Left :: forall a b . a -> Either a bEither.Right :: forall a b . b -> Either a bEither.either :: forall a b x . (a -> x) -> (b -> x) -> Either a b -> x
Environment.getArgs :: IO [Text]Environment.getEnv :: Text -> IO TextEnvironment.getEnvironment :: IO [(Text,Text)]
Eq.eq :: forall a . Eq a => a -> a -> Bool
Error.error :: forall a . Text -> a
Function.fix :: forall a . (a -> a) -> aFunction.id :: forall a . a -> a
IO.BlockBuffering :: Maybe Int -> BufferModeIO.LineBuffering :: BufferModeIO.NoBuffering :: BufferModeIO.forM_ :: forall a . [a] -> (a -> IO ()) -> IO ()IO.hSetBuffering :: Handle -> BufferMode -> IO ()IO.mapM_ :: forall a . (a -> IO ()) -> [a] -> IO ()IO.print :: forall a . Show a => a -> IO ()IO.pure :: forall a . a -> IO aIO.stderr :: HandleIO.stdin :: HandleIO.stdout :: Handle
Int.eq :: Int -> Int -> BoolInt.plus :: Int -> Int -> IntInt.show :: Int -> TextInt.subtract :: Int -> Int -> Int
Json.Array :: Vector Value -> ValueJson.Bool :: Bool -> ValueJson.Null :: ValueJson.Number :: Double -> ValueJson.Object :: Map Text Value -> ValueJson.String :: Text -> ValueJson.decode :: ByteString -> Maybe ValueJson.encode :: Value -> ByteStringJson.value :: forall a .
+a ->
+(Bool -> a) ->
+(Text -> a) ->
+(Double -> a) ->
+(Vector Value -> a) -> (Map Text Value -> a) -> Value -> a
List.and :: [Bool] -> BoolList.concat :: forall a . [[a]] -> [a]List.cons :: forall a . a -> [a] -> [a]List.drop :: forall a . Int -> [a] -> [a]List.filter :: forall a . (a -> Bool) -> [a] -> [a]List.foldl' :: forall a b . (b -> a -> b) -> b -> [a] -> bList.groupBy :: forall a . (a -> a -> Bool) -> [a] -> [[a]]List.iterate' :: forall a . (a -> a) -> a -> [a]List.length :: forall a . [a] -> IntList.lookup :: forall a b . Eq a => a -> [(a, b)] -> Maybe bList.map :: forall a b . (a -> b) -> [a] -> [b]List.nil :: forall a . [a]List.or :: [Bool] -> BoolList.reverse :: forall a . [a] -> [a]List.sort :: forall a . Ord a => [a] -> [a]List.sortOn :: forall a b . Ord b => (a -> b) -> [a] -> [a]List.take :: forall a . Int -> [a] -> [a]List.zip :: forall a b . [a] -> [b] -> [(a, b)]List.zipWith :: forall a b c . (a -> b -> c) -> [a] -> [b] -> [c]
Map.adjust :: forall k a . Ord k => (a -> a) -> k -> Map k a -> Map k aMap.all :: forall k a . (a -> Bool) -> Map k a -> BoolMap.any :: forall k a . (a -> Bool) -> Map k a -> BoolMap.delete :: forall k a . Ord k => k -> Map k a -> Map k aMap.filter :: forall k a . (a -> Bool) -> Map k a -> Map k aMap.filterWithKey :: forall k a . (k -> a -> Bool) -> Map k a -> Map k aMap.fromList :: forall k a . Ord k => [(k, a)] -> Map k aMap.insert :: forall k a . Ord k => k -> a -> Map k a -> Map k aMap.insertWith :: forall k a . Ord k => (a -> a -> a) -> k -> a -> Map k a -> Map k aMap.lookup :: forall k a . Ord k => k -> Map k a -> Maybe aMap.map :: forall a b k . (a -> b) -> Map k a -> Map k bMap.singleton :: forall k a . Ord k => k -> a -> Map k aMap.size :: forall k a . Map k a -> IntMap.toList :: forall k a . Map k a -> [(k, a)]Map.unionWith :: forall k a . Ord k =>
+(a -> a -> a) -> Map k a -> Map k a -> Map k a
Maybe.Just :: forall a . a -> Maybe aMaybe.Nothing :: forall a . Maybe aMaybe.listToMaybe :: forall a . [a] -> Maybe aMaybe.mapMaybe :: forall a b . (a -> Maybe b) -> [a] -> [b]Maybe.maybe :: forall a b . b -> (a -> b) -> Maybe a -> b
Monad.bind :: forall m a b . Monad m => m a -> (a -> m b) -> m bMonad.forM :: forall a b m . Monad m => [a] -> (a -> m b) -> m ([b])Monad.forM_ :: forall a m . Monad m => [a] -> (a -> m ()) -> m ()Monad.mapM :: forall a b m . Monad m => (a -> m b) -> [a] -> m ([b])Monad.mapM_ :: forall a m . Monad m => (a -> m ()) -> [a] -> m ()Monad.return :: forall a m . Monad m => a -> m aMonad.then :: forall m a b . Monad m => m a -> m b -> m bMonad.when :: forall m . Monad m => Bool -> m () -> m ()
Ord.gt :: forall a . Ord a => a -> a -> BoolOrd.lt :: forall a . Ord a => a -> a -> Bool
Process.proc :: Text -> [Text] -> ProcessConfig () () ()Process.runProcess :: ProcessConfig () () () -> IO ExitCodeProcess.runProcess_ :: ProcessConfig () () () -> IO ()Process.setEnv :: [(Text,Text)] -> ProcessConfig () () () -> ProcessConfig () () ()
Record.cons :: forall (k :: Symbol) a (xs :: List) .
+a -> Record xs -> Record ('ConsL k a xs)Record.get :: forall (k :: Symbol) a (t :: Symbol) (xs :: List) .
+Tagged t (Record xs) -> aRecord.modify :: forall (k :: Symbol) a (t :: Symbol) (xs :: List) .
+(a -> a) -> Tagged t (Record xs) -> Tagged t (Record xs)Record.nil :: Record 'NilLRecord.set :: forall (k :: Symbol) a (t :: Symbol) (xs :: List) .
+a -> Tagged t (Record xs) -> Tagged t (Record xs)
Set.delete :: forall a . Ord a => a -> Set a -> Set aSet.fromList :: forall a . Ord a => [a] -> Set aSet.insert :: forall a . Ord a => a -> Set a -> Set aSet.member :: forall a . Ord a => a -> Set a -> BoolSet.singleton :: forall a . Ord a => a -> Set aSet.size :: forall a . Set a -> IntSet.toList :: forall a . Set a -> [a]Set.union :: forall a . Ord a => Set a -> Set a -> Set a
Show.show :: forall a . Show a => a -> Text
Tagged.Tagged :: forall (t :: Symbol) a . a -> Tagged t a
Text.appendFile :: Text -> Text -> IO ()Text.breakOn :: Text -> Text -> (Text,Text)Text.concat :: [Text] -> TextText.decodeUtf8 :: ByteString -> TextText.drop :: Int -> Text -> TextText.dropEnd :: Int -> Text -> TextText.encodeUtf8 :: Text -> ByteStringText.eq :: Text -> Text -> BoolText.getContents :: IO TextText.getLine :: IO TextText.hPutStr :: Handle -> Text -> IO ()Text.interact :: (Text -> Text) -> IO ()Text.intercalate :: Text -> [Text] -> TextText.isInfixOf :: Text -> Text -> BoolText.isPrefixOf :: Text -> Text -> BoolText.isSuffixOf :: Text -> Text -> BoolText.length :: Text -> IntText.lines :: Text -> [Text]Text.putStr :: Text -> IO ()Text.putStrLn :: Text -> IO ()Text.readFile :: Text -> IO TextText.readProcess :: ProcessConfig () () () -> IO (ExitCode,Text,Text)Text.readProcessStdout_ :: ProcessConfig () () () -> IO TextText.readProcess_ :: ProcessConfig () () () -> IO (Text,Text)Text.replace :: Text -> Text -> Text -> TextText.reverse :: Text -> TextText.setStdin :: Text -> ProcessConfig () () () -> ProcessConfig () () ()Text.splitOn :: Text -> Text -> [Text]Text.strip :: Text -> TextText.stripPrefix :: Text -> Text -> Maybe TextText.stripSuffix :: Text -> Text -> Maybe TextText.take :: Int -> Text -> TextText.takeEnd :: Int -> Text -> TextText.toLower :: Text -> TextText.toUpper :: Text -> TextText.unlines :: [Text] -> TextText.unwords :: [Text] -> TextText.words :: Text -> [Text]Text.writeFile :: Text -> Text -> IO ()
Timeout.timeout :: forall a . Int -> IO a -> IO (Maybe a)
Tuple.(,) :: forall a b . a -> b -> (a, b)Tuple.(,,) :: forall a b c . a -> b -> c -> (a, b, c)Tuple.(,,,) :: forall a b c d . a -> b -> c -> d -> (a, b, c, d)
Vector.fromList :: forall a . [a] -> Vector aVector.toList :: forall a . Vector a -> [a]
\ No newline at end of file
diff --git a/src/Hell.hs b/src/Hell.hs
index d8540d9..35f8f71 100644
--- a/src/Hell.hs
+++ b/src/Hell.hs
@@ -44,7 +44,7 @@ import qualified Data.Vector as Vector
import qualified Text.Show as Show
import qualified Text.Read as Read
import qualified Data.Function as Function
-import qualified Data.Generics.Schemes as SYB
+import qualified Data.Generics as SYB
import qualified Type.Reflection as Type
import qualified Data.Maybe as Maybe
import qualified Language.Haskell.Exts as HSE
@@ -1731,4 +1731,13 @@ polyToHtml (name, ty) =
code_ do
strong_ $ toHtml name
em_ " :: "
- toHtml $ TH.pprint ty
+ toHtml $ TH.pprint $ cleanUpTHType ty
+
+cleanUpTHType :: TH.Type -> TH.Type
+cleanUpTHType = SYB.everywhere unqualify where
+ unqualify :: forall a. Type.Typeable a => a -> a
+ unqualify a =
+ case Type.eqTypeRep (Type.typeRep @a) (Type.typeRep @TH.Name) of
+ Nothing -> a
+ Just Type.HRefl ->
+ TH.mkName $ TH.nameBase a