Skip to content

Commit

Permalink
Export Set.difference and Set.intersection (#57)
Browse files Browse the repository at this point in the history
  • Loading branch information
@MichaelXavier
MichaelXavier authored Oct 30, 2024
1 parent 930acfe commit b38b6dc
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 1 deletion.
2 changes: 1 addition & 1 deletion docs/api/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,4 +28,4 @@
a -&gt; Record xs -&gt; Record (&#39;ConsL k a xs)</code></li><li><code><strong>Record.get</strong><em> :: </em>forall (k :: Symbol) a (t :: Symbol) (xs :: List) .
Tagged t (Record xs) -&gt; a</code></li><li><code><strong>Record.modify</strong><em> :: </em>forall (k :: Symbol) a (t :: Symbol) (xs :: List) .
(a -&gt; a) -&gt; Tagged t (Record xs) -&gt; Tagged t (Record xs)</code></li><li><code><strong>Record.nil</strong><em> :: </em>Record &#39;NilL</code></li><li><code><strong>Record.set</strong><em> :: </em>forall (k :: Symbol) a (t :: Symbol) (xs :: List) .
a -&gt; Tagged t (Record xs) -&gt; Tagged t (Record xs)</code></li></ul><h3>Set</h3><ul><li><code><strong>Set.delete</strong><em> :: </em>forall a . Ord a =&gt; a -&gt; Set a -&gt; Set a</code></li><li><code><strong>Set.fromList</strong><em> :: </em>forall a . Ord a =&gt; [a] -&gt; Set a</code></li><li><code><strong>Set.insert</strong><em> :: </em>forall a . Ord a =&gt; a -&gt; Set a -&gt; Set a</code></li><li><code><strong>Set.member</strong><em> :: </em>forall a . Ord a =&gt; a -&gt; Set a -&gt; Bool</code></li><li><code><strong>Set.singleton</strong><em> :: </em>forall a . Ord a =&gt; a -&gt; Set a</code></li><li><code><strong>Set.size</strong><em> :: </em>forall a . Set a -&gt; Int</code></li><li><code><strong>Set.toList</strong><em> :: </em>forall a . Set a -&gt; [a]</code></li><li><code><strong>Set.union</strong><em> :: </em>forall a . Ord a =&gt; Set a -&gt; Set a -&gt; Set a</code></li></ul><h3>Show</h3><ul><li><code><strong>Show.show</strong><em> :: </em>forall a . Show a =&gt; a -&gt; Text</code></li></ul><h3>Tagged</h3><ul><li><code><strong>Tagged.Tagged</strong><em> :: </em>forall (t :: Symbol) a . a -&gt; Tagged t a</code></li></ul><h3>Text</h3><ul><li><code><strong>Text.appendFile</strong><em> :: </em>Text -&gt; Text -&gt; IO ()</code></li><li><code><strong>Text.breakOn</strong><em> :: </em>Text -&gt; Text -&gt; (Text,Text)</code></li><li><code><strong>Text.concat</strong><em> :: </em>[Text] -&gt; Text</code></li><li><code><strong>Text.decodeUtf8</strong><em> :: </em>ByteString -&gt; Text</code></li><li><code><strong>Text.drop</strong><em> :: </em>Int -&gt; Text -&gt; Text</code></li><li><code><strong>Text.dropEnd</strong><em> :: </em>Int -&gt; Text -&gt; Text</code></li><li><code><strong>Text.encodeUtf8</strong><em> :: </em>Text -&gt; ByteString</code></li><li><code><strong>Text.eq</strong><em> :: </em>Text -&gt; Text -&gt; Bool</code></li><li><code><strong>Text.getContents</strong><em> :: </em>IO Text</code></li><li><code><strong>Text.getLine</strong><em> :: </em>IO Text</code></li><li><code><strong>Text.hPutStr</strong><em> :: </em>Handle -&gt; Text -&gt; IO ()</code></li><li><code><strong>Text.interact</strong><em> :: </em>(Text -&gt; Text) -&gt; IO ()</code></li><li><code><strong>Text.intercalate</strong><em> :: </em>Text -&gt; [Text] -&gt; Text</code></li><li><code><strong>Text.isInfixOf</strong><em> :: </em>Text -&gt; Text -&gt; Bool</code></li><li><code><strong>Text.isPrefixOf</strong><em> :: </em>Text -&gt; Text -&gt; Bool</code></li><li><code><strong>Text.isSuffixOf</strong><em> :: </em>Text -&gt; Text -&gt; Bool</code></li><li><code><strong>Text.length</strong><em> :: </em>Text -&gt; Int</code></li><li><code><strong>Text.lines</strong><em> :: </em>Text -&gt; [Text]</code></li><li><code><strong>Text.putStr</strong><em> :: </em>Text -&gt; IO ()</code></li><li><code><strong>Text.putStrLn</strong><em> :: </em>Text -&gt; IO ()</code></li><li><code><strong>Text.readFile</strong><em> :: </em>Text -&gt; IO Text</code></li><li><code><strong>Text.readProcess</strong><em> :: </em>ProcessConfig () () () -&gt; IO (ExitCode,Text,Text)</code></li><li><code><strong>Text.readProcessStdout_</strong><em> :: </em>ProcessConfig () () () -&gt; IO Text</code></li><li><code><strong>Text.readProcess_</strong><em> :: </em>ProcessConfig () () () -&gt; IO (Text,Text)</code></li><li><code><strong>Text.replace</strong><em> :: </em>Text -&gt; Text -&gt; Text -&gt; Text</code></li><li><code><strong>Text.reverse</strong><em> :: </em>Text -&gt; Text</code></li><li><code><strong>Text.setStdin</strong><em> :: </em>Text -&gt; ProcessConfig () () () -&gt; ProcessConfig () () ()</code></li><li><code><strong>Text.splitOn</strong><em> :: </em>Text -&gt; Text -&gt; [Text]</code></li><li><code><strong>Text.strip</strong><em> :: </em>Text -&gt; Text</code></li><li><code><strong>Text.stripPrefix</strong><em> :: </em>Text -&gt; Text -&gt; Maybe Text</code></li><li><code><strong>Text.stripSuffix</strong><em> :: </em>Text -&gt; Text -&gt; Maybe Text</code></li><li><code><strong>Text.take</strong><em> :: </em>Int -&gt; Text -&gt; Text</code></li><li><code><strong>Text.takeEnd</strong><em> :: </em>Int -&gt; Text -&gt; Text</code></li><li><code><strong>Text.toLower</strong><em> :: </em>Text -&gt; Text</code></li><li><code><strong>Text.toUpper</strong><em> :: </em>Text -&gt; Text</code></li><li><code><strong>Text.unlines</strong><em> :: </em>[Text] -&gt; Text</code></li><li><code><strong>Text.unwords</strong><em> :: </em>[Text] -&gt; Text</code></li><li><code><strong>Text.words</strong><em> :: </em>Text -&gt; [Text]</code></li><li><code><strong>Text.writeFile</strong><em> :: </em>Text -&gt; Text -&gt; IO ()</code></li></ul><h3>Timeout</h3><ul><li><code><strong>Timeout.timeout</strong><em> :: </em>forall a . Int -&gt; IO a -&gt; IO (Maybe a)</code></li></ul><h3>Tuple</h3><ul><li><code><strong>Tuple.(,)</strong><em> :: </em>forall a b . a -&gt; b -&gt; (a, b)</code></li><li><code><strong>Tuple.(,,)</strong><em> :: </em>forall a b c . a -&gt; b -&gt; c -&gt; (a, b, c)</code></li><li><code><strong>Tuple.(,,,)</strong><em> :: </em>forall a b c d . a -&gt; b -&gt; c -&gt; d -&gt; (a, b, c, d)</code></li></ul><h3>Vector</h3><ul><li><code><strong>Vector.fromList</strong><em> :: </em>forall a . [a] -&gt; Vector a</code></li><li><code><strong>Vector.toList</strong><em> :: </em>forall a . Vector a -&gt; [a]</code></li></ul></body></html>
a -&gt; Tagged t (Record xs) -&gt; Tagged t (Record xs)</code></li></ul><h3>Set</h3><ul><li><code><strong>Set.delete</strong><em> :: </em>forall a . Ord a =&gt; a -&gt; Set a -&gt; Set a</code></li><li><code><strong>Set.difference</strong><em> :: </em>forall a . Ord a =&gt; Set a -&gt; Set a -&gt; Set a</code></li><li><code><strong>Set.fromList</strong><em> :: </em>forall a . Ord a =&gt; [a] -&gt; Set a</code></li><li><code><strong>Set.insert</strong><em> :: </em>forall a . Ord a =&gt; a -&gt; Set a -&gt; Set a</code></li><li><code><strong>Set.intersection</strong><em> :: </em>forall a . Ord a =&gt; Set a -&gt; Set a -&gt; Set a</code></li><li><code><strong>Set.member</strong><em> :: </em>forall a . Ord a =&gt; a -&gt; Set a -&gt; Bool</code></li><li><code><strong>Set.singleton</strong><em> :: </em>forall a . Ord a =&gt; a -&gt; Set a</code></li><li><code><strong>Set.size</strong><em> :: </em>forall a . Set a -&gt; Int</code></li><li><code><strong>Set.toList</strong><em> :: </em>forall a . Set a -&gt; [a]</code></li><li><code><strong>Set.union</strong><em> :: </em>forall a . Ord a =&gt; Set a -&gt; Set a -&gt; Set a</code></li></ul><h3>Show</h3><ul><li><code><strong>Show.show</strong><em> :: </em>forall a . Show a =&gt; a -&gt; Text</code></li></ul><h3>Tagged</h3><ul><li><code><strong>Tagged.Tagged</strong><em> :: </em>forall (t :: Symbol) a . a -&gt; Tagged t a</code></li></ul><h3>Text</h3><ul><li><code><strong>Text.appendFile</strong><em> :: </em>Text -&gt; Text -&gt; IO ()</code></li><li><code><strong>Text.breakOn</strong><em> :: </em>Text -&gt; Text -&gt; (Text,Text)</code></li><li><code><strong>Text.concat</strong><em> :: </em>[Text] -&gt; Text</code></li><li><code><strong>Text.decodeUtf8</strong><em> :: </em>ByteString -&gt; Text</code></li><li><code><strong>Text.drop</strong><em> :: </em>Int -&gt; Text -&gt; Text</code></li><li><code><strong>Text.dropEnd</strong><em> :: </em>Int -&gt; Text -&gt; Text</code></li><li><code><strong>Text.encodeUtf8</strong><em> :: </em>Text -&gt; ByteString</code></li><li><code><strong>Text.eq</strong><em> :: </em>Text -&gt; Text -&gt; Bool</code></li><li><code><strong>Text.getContents</strong><em> :: </em>IO Text</code></li><li><code><strong>Text.getLine</strong><em> :: </em>IO Text</code></li><li><code><strong>Text.hPutStr</strong><em> :: </em>Handle -&gt; Text -&gt; IO ()</code></li><li><code><strong>Text.interact</strong><em> :: </em>(Text -&gt; Text) -&gt; IO ()</code></li><li><code><strong>Text.intercalate</strong><em> :: </em>Text -&gt; [Text] -&gt; Text</code></li><li><code><strong>Text.isInfixOf</strong><em> :: </em>Text -&gt; Text -&gt; Bool</code></li><li><code><strong>Text.isPrefixOf</strong><em> :: </em>Text -&gt; Text -&gt; Bool</code></li><li><code><strong>Text.isSuffixOf</strong><em> :: </em>Text -&gt; Text -&gt; Bool</code></li><li><code><strong>Text.length</strong><em> :: </em>Text -&gt; Int</code></li><li><code><strong>Text.lines</strong><em> :: </em>Text -&gt; [Text]</code></li><li><code><strong>Text.putStr</strong><em> :: </em>Text -&gt; IO ()</code></li><li><code><strong>Text.putStrLn</strong><em> :: </em>Text -&gt; IO ()</code></li><li><code><strong>Text.readFile</strong><em> :: </em>Text -&gt; IO Text</code></li><li><code><strong>Text.readProcess</strong><em> :: </em>ProcessConfig () () () -&gt; IO (ExitCode,Text,Text)</code></li><li><code><strong>Text.readProcessStdout_</strong><em> :: </em>ProcessConfig () () () -&gt; IO Text</code></li><li><code><strong>Text.readProcess_</strong><em> :: </em>ProcessConfig () () () -&gt; IO (Text,Text)</code></li><li><code><strong>Text.replace</strong><em> :: </em>Text -&gt; Text -&gt; Text -&gt; Text</code></li><li><code><strong>Text.reverse</strong><em> :: </em>Text -&gt; Text</code></li><li><code><strong>Text.setStdin</strong><em> :: </em>Text -&gt; ProcessConfig () () () -&gt; ProcessConfig () () ()</code></li><li><code><strong>Text.splitOn</strong><em> :: </em>Text -&gt; Text -&gt; [Text]</code></li><li><code><strong>Text.strip</strong><em> :: </em>Text -&gt; Text</code></li><li><code><strong>Text.stripPrefix</strong><em> :: </em>Text -&gt; Text -&gt; Maybe Text</code></li><li><code><strong>Text.stripSuffix</strong><em> :: </em>Text -&gt; Text -&gt; Maybe Text</code></li><li><code><strong>Text.take</strong><em> :: </em>Int -&gt; Text -&gt; Text</code></li><li><code><strong>Text.takeEnd</strong><em> :: </em>Int -&gt; Text -&gt; Text</code></li><li><code><strong>Text.toLower</strong><em> :: </em>Text -&gt; Text</code></li><li><code><strong>Text.toUpper</strong><em> :: </em>Text -&gt; Text</code></li><li><code><strong>Text.unlines</strong><em> :: </em>[Text] -&gt; Text</code></li><li><code><strong>Text.unwords</strong><em> :: </em>[Text] -&gt; Text</code></li><li><code><strong>Text.words</strong><em> :: </em>Text -&gt; [Text]</code></li><li><code><strong>Text.writeFile</strong><em> :: </em>Text -&gt; Text -&gt; IO ()</code></li></ul><h3>Timeout</h3><ul><li><code><strong>Timeout.timeout</strong><em> :: </em>forall a . Int -&gt; IO a -&gt; IO (Maybe a)</code></li></ul><h3>Tuple</h3><ul><li><code><strong>Tuple.(,)</strong><em> :: </em>forall a b . a -&gt; b -&gt; (a, b)</code></li><li><code><strong>Tuple.(,,)</strong><em> :: </em>forall a b c . a -&gt; b -&gt; c -&gt; (a, b, c)</code></li><li><code><strong>Tuple.(,,,)</strong><em> :: </em>forall a b c d . a -&gt; b -&gt; c -&gt; d -&gt; (a, b, c, d)</code></li></ul><h3>Vector</h3><ul><li><code><strong>Vector.fromList</strong><em> :: </em>forall a . [a] -&gt; Vector a</code></li><li><code><strong>Vector.toList</strong><em> :: </em>forall a . Vector a -&gt; [a]</code></li></ul></body></html>
2 changes: 2 additions & 0 deletions src/Hell.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1131,6 +1131,8 @@ polyLits = Map.fromList
"Set.member" Set.member :: forall a. Ord a => a -> Set a -> Bool
"Set.delete" Set.delete :: forall a. Ord a => a -> Set a -> Set a
"Set.union" Set.union :: forall a. Ord a => Set a -> Set a -> Set a
"Set.difference" Set.difference :: forall a. Ord a => Set a -> Set a -> Set a
"Set.intersection" Set.intersection :: forall a. Ord a => Set a -> Set a -> Set a
"Set.toList" Set.toList :: forall a. Set a -> [a]
"Set.size" Set.size :: forall a. Set a -> Int
"Set.singleton" Set.singleton :: forall a. Ord a => a -> Set a
Expand Down

0 comments on commit b38b6dc

Please sign in to comment.