Update docs

chrisdone · Nov 30, 2024 · 8361ded · 8361ded
1 parent befd15d
commit 8361ded
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/api/index.html b/docs/api/index.html
@@ -23,7 +23,7 @@
 (Bool -&gt; a) -&gt;
 (Text -&gt; a) -&gt;
 (Double -&gt; a) -&gt;
-(Vector Value -&gt; a) -&gt; (Map Text Value -&gt; a) -&gt; Value -&gt; a</code></li></ul><h3>List</h3><ul><li><code><strong>List.all</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.and</strong><em> :: </em>[Bool] -&gt; Bool</code></li><li><code><strong>List.any</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.break</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; ([a], [a])</code></li><li><code><strong>List.concat</strong><em> :: </em>forall a . [[a]] -&gt; [a]</code></li><li><code><strong>List.concatMap</strong><em> :: </em>forall a b . (a -&gt; [b]) -&gt; [a] -&gt; [b]</code></li><li><code><strong>List.cons</strong><em> :: </em>forall a . a -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.cycle</strong><em> :: </em>forall a . [a] -&gt; [a]</code></li><li><code><strong>List.deleteBy</strong><em> :: </em>forall a . (a -&gt; a -&gt; Bool) -&gt; a -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.drop</strong><em> :: </em>forall a . Int -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.dropWhile</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.dropWhileEnd</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.elem</strong><em> :: </em>forall a . Eq a =&gt; a -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.elemIndex</strong><em> :: </em>forall a . Eq a =&gt; a -&gt; [a] -&gt; Maybe Int</code></li><li><code><strong>List.elemIndices</strong><em> :: </em>forall a . Eq a =&gt; a -&gt; [a] -&gt; [Int]</code></li><li><code><strong>List.filter</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.find</strong><em> :: </em>forall a b . (a -&gt; Bool) -&gt; [a] -&gt; Maybe a</code></li><li><code><strong>List.findIndex</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; Maybe Int</code></li><li><code><strong>List.findIndices</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; [Int]</code></li><li><code><strong>List.foldl&#39;</strong><em> :: </em>forall a b . (b -&gt; a -&gt; b) -&gt; b -&gt; [a] -&gt; b</code></li><li><code><strong>List.foldr</strong><em> :: </em>forall a b . (a -&gt; b -&gt; b) -&gt; b -&gt; [a] -&gt; b</code></li><li><code><strong>List.group</strong><em> :: </em>forall a . Eq a =&gt; [a] -&gt; [[a]]</code></li><li><code><strong>List.groupBy</strong><em> :: </em>forall a . (a -&gt; a -&gt; Bool) -&gt; [a] -&gt; [[a]]</code></li><li><code><strong>List.inits</strong><em> :: </em>forall a . [a] -&gt; [[a]]</code></li><li><code><strong>List.intercalate</strong><em> :: </em>forall a . [a] -&gt; [[a]] -&gt; [a]</code></li><li><code><strong>List.intersperse</strong><em> :: </em>forall a . a -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.isInfixOf</strong><em> :: </em>forall a . Eq a =&gt; [a] -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.isPrefixOf</strong><em> :: </em>forall a . Eq a =&gt; [a] -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.isSubsequenceOf</strong><em> :: </em>forall a . Eq a =&gt; [a] -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.isSuffixOf</strong><em> :: </em>forall a . Eq a =&gt; [a] -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.iterate&#39;</strong><em> :: </em>forall a . (a -&gt; a) -&gt; a -&gt; [a]</code></li><li><code><strong>List.length</strong><em> :: </em>forall a . [a] -&gt; Int</code></li><li><code><strong>List.lookup</strong><em> :: </em>forall a b . Eq a =&gt; a -&gt; [(a, b)] -&gt; Maybe b</code></li><li><code><strong>List.map</strong><em> :: </em>forall a b . (a -&gt; b) -&gt; [a] -&gt; [b]</code></li><li><code><strong>List.mapAccumL</strong><em> :: </em>forall s a b . (s -&gt; a -&gt; (s, b)) -&gt; s -&gt; [a] -&gt; (s, [b])</code></li><li><code><strong>List.mapAccumR</strong><em> :: </em>forall s a b . (s -&gt; a -&gt; (s, b)) -&gt; s -&gt; [a] -&gt; (s, [b])</code></li><li><code><strong>List.nil</strong><em> :: </em>forall a . [a]</code></li><li><code><strong>List.notElem</strong><em> :: </em>forall a . Eq a =&gt; a -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.nubOrd</strong><em> :: </em>forall a . Ord a =&gt; [a] -&gt; [a]</code></li><li><code><strong>List.null</strong><em> :: </em>forall a . [a] -&gt; Bool</code></li><li><code><strong>List.or</strong><em> :: </em>[Bool] -&gt; Bool</code></li><li><code><strong>List.partition</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; ([a], [a])</code></li><li><code><strong>List.permutations</strong><em> :: </em>forall a . [a] -&gt; [[a]]</code></li><li><code><strong>List.repeat</strong><em> :: </em>forall a . a -&gt; [a]</code></li><li><code><strong>List.reverse</strong><em> :: </em>forall a . [a] -&gt; [a]</code></li><li><code><strong>List.scanl&#39;</strong><em> :: </em>forall a b . (b -&gt; a -&gt; b) -&gt; b -&gt; [a] -&gt; [b]</code></li><li><code><strong>List.scanr</strong><em> :: </em>forall a b . (a -&gt; b -&gt; b) -&gt; b -&gt; [a] -&gt; [b]</code></li><li><code><strong>List.sort</strong><em> :: </em>forall a . Ord a =&gt; [a] -&gt; [a]</code></li><li><code><strong>List.sortOn</strong><em> :: </em>forall a b . Ord b =&gt; (a -&gt; b) -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.span</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; ([a], [a])</code></li><li><code><strong>List.splitAt</strong><em> :: </em>forall a . Int -&gt; [a] -&gt; ([a], [a])</code></li><li><code><strong>List.subsequences</strong><em> :: </em>forall a . [a] -&gt; [[a]]</code></li><li><code><strong>List.tails</strong><em> :: </em>forall a . [a] -&gt; [[a]]</code></li><li><code><strong>List.take</strong><em> :: </em>forall a . Int -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.takeWhile</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.transpose</strong><em> :: </em>forall a . [[a]] -&gt; [[a]]</code></li><li><code><strong>List.uncons</strong><em> :: </em>forall a . [a] -&gt; Maybe (a, [a])</code></li><li><code><strong>List.unfoldr</strong><em> :: </em>forall a b . (b -&gt; Maybe (a, b)) -&gt; b -&gt; [a]</code></li><li><code><strong>List.zip</strong><em> :: </em>forall a b . [a] -&gt; [b] -&gt; [(a, b)]</code></li><li><code><strong>List.zipWith</strong><em> :: </em>forall a b c . (a -&gt; b -&gt; c) -&gt; [a] -&gt; [b] -&gt; [c]</code></li></ul><h3>Map</h3><ul><li><code><strong>Map.adjust</strong><em> :: </em>forall k a . Ord k =&gt; (a -&gt; a) -&gt; k -&gt; Map k a -&gt; Map k a</code></li><li><code><strong>Map.all</strong><em> :: </em>forall k a . (a -&gt; Bool) -&gt; Map k a -&gt; Bool</code></li><li><code><strong>Map.any</strong><em> :: </em>forall k a . (a -&gt; Bool) -&gt; Map k a -&gt; Bool</code></li><li><code><strong>Map.delete</strong><em> :: </em>forall k a . Ord k =&gt; k -&gt; Map k a -&gt; Map k a</code></li><li><code><strong>Map.filter</strong><em> :: </em>forall k a . (a -&gt; Bool) -&gt; Map k a -&gt; Map k a</code></li><li><code><strong>Map.filterWithKey</strong><em> :: </em>forall k a . (k -&gt; a -&gt; Bool) -&gt; Map k a -&gt; Map k a</code></li><li><code><strong>Map.fromList</strong><em> :: </em>forall k a . Ord k =&gt; [(k, a)] -&gt; Map k a</code></li><li><code><strong>Map.insert</strong><em> :: </em>forall k a . Ord k =&gt; k -&gt; a -&gt; Map k a -&gt; Map k a</code></li><li><code><strong>Map.insertWith</strong><em> :: </em>forall k a . Ord k =&gt; (a -&gt; a -&gt; a) -&gt; k -&gt; a -&gt; Map k a -&gt; Map k a</code></li><li><code><strong>Map.lookup</strong><em> :: </em>forall k a . Ord k =&gt; k -&gt; Map k a -&gt; Maybe a</code></li><li><code><strong>Map.map</strong><em> :: </em>forall a b k . (a -&gt; b) -&gt; Map k a -&gt; Map k b</code></li><li><code><strong>Map.singleton</strong><em> :: </em>forall k a . Ord k =&gt; k -&gt; a -&gt; Map k a</code></li><li><code><strong>Map.size</strong><em> :: </em>forall k a . Map k a -&gt; Int</code></li><li><code><strong>Map.toList</strong><em> :: </em>forall k a . Map k a -&gt; [(k, a)]</code></li><li><code><strong>Map.unionWith</strong><em> :: </em>forall k a . Ord k =&gt;
+(Vector Value -&gt; a) -&gt; (Map Text Value -&gt; a) -&gt; Value -&gt; a</code></li></ul><h3>List</h3><ul><li><code><strong>List.all</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.and</strong><em> :: </em>[Bool] -&gt; Bool</code></li><li><code><strong>List.any</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.break</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; ([a], [a])</code></li><li><code><strong>List.concat</strong><em> :: </em>forall a . [[a]] -&gt; [a]</code></li><li><code><strong>List.concatMap</strong><em> :: </em>forall a b . (a -&gt; [b]) -&gt; [a] -&gt; [b]</code></li><li><code><strong>List.cons</strong><em> :: </em>forall a . a -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.cycle</strong><em> :: </em>forall a . [a] -&gt; [a]</code></li><li><code><strong>List.deleteBy</strong><em> :: </em>forall a . (a -&gt; a -&gt; Bool) -&gt; a -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.drop</strong><em> :: </em>forall a . Int -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.dropWhile</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.dropWhileEnd</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.elem</strong><em> :: </em>forall a . Eq a =&gt; a -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.elemIndex</strong><em> :: </em>forall a . Eq a =&gt; a -&gt; [a] -&gt; Maybe Int</code></li><li><code><strong>List.elemIndices</strong><em> :: </em>forall a . Eq a =&gt; a -&gt; [a] -&gt; [Int]</code></li><li><code><strong>List.filter</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.find</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; Maybe a</code></li><li><code><strong>List.findIndex</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; Maybe Int</code></li><li><code><strong>List.findIndices</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; [Int]</code></li><li><code><strong>List.foldl&#39;</strong><em> :: </em>forall a b . (b -&gt; a -&gt; b) -&gt; b -&gt; [a] -&gt; b</code></li><li><code><strong>List.foldr</strong><em> :: </em>forall a b . (a -&gt; b -&gt; b) -&gt; b -&gt; [a] -&gt; b</code></li><li><code><strong>List.group</strong><em> :: </em>forall a . Eq a =&gt; [a] -&gt; [[a]]</code></li><li><code><strong>List.groupBy</strong><em> :: </em>forall a . (a -&gt; a -&gt; Bool) -&gt; [a] -&gt; [[a]]</code></li><li><code><strong>List.inits</strong><em> :: </em>forall a . [a] -&gt; [[a]]</code></li><li><code><strong>List.intercalate</strong><em> :: </em>forall a . [a] -&gt; [[a]] -&gt; [a]</code></li><li><code><strong>List.intersperse</strong><em> :: </em>forall a . a -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.isInfixOf</strong><em> :: </em>forall a . Eq a =&gt; [a] -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.isPrefixOf</strong><em> :: </em>forall a . Eq a =&gt; [a] -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.isSubsequenceOf</strong><em> :: </em>forall a . Eq a =&gt; [a] -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.isSuffixOf</strong><em> :: </em>forall a . Eq a =&gt; [a] -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.iterate&#39;</strong><em> :: </em>forall a . (a -&gt; a) -&gt; a -&gt; [a]</code></li><li><code><strong>List.length</strong><em> :: </em>forall a . [a] -&gt; Int</code></li><li><code><strong>List.lookup</strong><em> :: </em>forall a b . Eq a =&gt; a -&gt; [(a, b)] -&gt; Maybe b</code></li><li><code><strong>List.map</strong><em> :: </em>forall a b . (a -&gt; b) -&gt; [a] -&gt; [b]</code></li><li><code><strong>List.mapAccumL</strong><em> :: </em>forall s a b . (s -&gt; a -&gt; (s, b)) -&gt; s -&gt; [a] -&gt; (s, [b])</code></li><li><code><strong>List.mapAccumR</strong><em> :: </em>forall s a b . (s -&gt; a -&gt; (s, b)) -&gt; s -&gt; [a] -&gt; (s, [b])</code></li><li><code><strong>List.nil</strong><em> :: </em>forall a . [a]</code></li><li><code><strong>List.notElem</strong><em> :: </em>forall a . Eq a =&gt; a -&gt; [a] -&gt; Bool</code></li><li><code><strong>List.nubOrd</strong><em> :: </em>forall a . Ord a =&gt; [a] -&gt; [a]</code></li><li><code><strong>List.null</strong><em> :: </em>forall a . [a] -&gt; Bool</code></li><li><code><strong>List.or</strong><em> :: </em>[Bool] -&gt; Bool</code></li><li><code><strong>List.partition</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; ([a], [a])</code></li><li><code><strong>List.permutations</strong><em> :: </em>forall a . [a] -&gt; [[a]]</code></li><li><code><strong>List.repeat</strong><em> :: </em>forall a . a -&gt; [a]</code></li><li><code><strong>List.reverse</strong><em> :: </em>forall a . [a] -&gt; [a]</code></li><li><code><strong>List.scanl&#39;</strong><em> :: </em>forall a b . (b -&gt; a -&gt; b) -&gt; b -&gt; [a] -&gt; [b]</code></li><li><code><strong>List.scanr</strong><em> :: </em>forall a b . (a -&gt; b -&gt; b) -&gt; b -&gt; [a] -&gt; [b]</code></li><li><code><strong>List.sort</strong><em> :: </em>forall a . Ord a =&gt; [a] -&gt; [a]</code></li><li><code><strong>List.sortOn</strong><em> :: </em>forall a b . Ord b =&gt; (a -&gt; b) -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.span</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; ([a], [a])</code></li><li><code><strong>List.splitAt</strong><em> :: </em>forall a . Int -&gt; [a] -&gt; ([a], [a])</code></li><li><code><strong>List.subsequences</strong><em> :: </em>forall a . [a] -&gt; [[a]]</code></li><li><code><strong>List.tails</strong><em> :: </em>forall a . [a] -&gt; [[a]]</code></li><li><code><strong>List.take</strong><em> :: </em>forall a . Int -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.takeWhile</strong><em> :: </em>forall a . (a -&gt; Bool) -&gt; [a] -&gt; [a]</code></li><li><code><strong>List.transpose</strong><em> :: </em>forall a . [[a]] -&gt; [[a]]</code></li><li><code><strong>List.uncons</strong><em> :: </em>forall a . [a] -&gt; Maybe (a, [a])</code></li><li><code><strong>List.unfoldr</strong><em> :: </em>forall a b . (b -&gt; Maybe (a, b)) -&gt; b -&gt; [a]</code></li><li><code><strong>List.zip</strong><em> :: </em>forall a b . [a] -&gt; [b] -&gt; [(a, b)]</code></li><li><code><strong>List.zipWith</strong><em> :: </em>forall a b c . (a -&gt; b -&gt; c) -&gt; [a] -&gt; [b] -&gt; [c]</code></li></ul><h3>Map</h3><ul><li><code><strong>Map.adjust</strong><em> :: </em>forall k a . Ord k =&gt; (a -&gt; a) -&gt; k -&gt; Map k a -&gt; Map k a</code></li><li><code><strong>Map.all</strong><em> :: </em>forall k a . (a -&gt; Bool) -&gt; Map k a -&gt; Bool</code></li><li><code><strong>Map.any</strong><em> :: </em>forall k a . (a -&gt; Bool) -&gt; Map k a -&gt; Bool</code></li><li><code><strong>Map.delete</strong><em> :: </em>forall k a . Ord k =&gt; k -&gt; Map k a -&gt; Map k a</code></li><li><code><strong>Map.filter</strong><em> :: </em>forall k a . (a -&gt; Bool) -&gt; Map k a -&gt; Map k a</code></li><li><code><strong>Map.filterWithKey</strong><em> :: </em>forall k a . (k -&gt; a -&gt; Bool) -&gt; Map k a -&gt; Map k a</code></li><li><code><strong>Map.fromList</strong><em> :: </em>forall k a . Ord k =&gt; [(k, a)] -&gt; Map k a</code></li><li><code><strong>Map.insert</strong><em> :: </em>forall k a . Ord k =&gt; k -&gt; a -&gt; Map k a -&gt; Map k a</code></li><li><code><strong>Map.insertWith</strong><em> :: </em>forall k a . Ord k =&gt; (a -&gt; a -&gt; a) -&gt; k -&gt; a -&gt; Map k a -&gt; Map k a</code></li><li><code><strong>Map.lookup</strong><em> :: </em>forall k a . Ord k =&gt; k -&gt; Map k a -&gt; Maybe a</code></li><li><code><strong>Map.map</strong><em> :: </em>forall a b k . (a -&gt; b) -&gt; Map k a -&gt; Map k b</code></li><li><code><strong>Map.singleton</strong><em> :: </em>forall k a . Ord k =&gt; k -&gt; a -&gt; Map k a</code></li><li><code><strong>Map.size</strong><em> :: </em>forall k a . Map k a -&gt; Int</code></li><li><code><strong>Map.toList</strong><em> :: </em>forall k a . Map k a -&gt; [(k, a)]</code></li><li><code><strong>Map.unionWith</strong><em> :: </em>forall k a . Ord k =&gt;
 (a -&gt; a -&gt; a) -&gt; Map k a -&gt; Map k a -&gt; Map k a</code></li></ul><h3>Maybe</h3><ul><li><code><strong>Maybe.Just</strong><em> :: </em>forall a . a -&gt; Maybe a</code></li><li><code><strong>Maybe.Nothing</strong><em> :: </em>forall a . Maybe a</code></li><li><code><strong>Maybe.listToMaybe</strong><em> :: </em>forall a . [a] -&gt; Maybe a</code></li><li><code><strong>Maybe.mapMaybe</strong><em> :: </em>forall a b . (a -&gt; Maybe b) -&gt; [a] -&gt; [b]</code></li><li><code><strong>Maybe.maybe</strong><em> :: </em>forall a b . b -&gt; (a -&gt; b) -&gt; Maybe a -&gt; b</code></li></ul><h3>Monad</h3><ul><li><code><strong>Monad.bind</strong><em> :: </em>forall m a b . Monad m =&gt; m a -&gt; (a -&gt; m b) -&gt; m b</code></li><li><code><strong>Monad.forM</strong><em> :: </em>forall a b m . Monad m =&gt; [a] -&gt; (a -&gt; m b) -&gt; m ([b])</code></li><li><code><strong>Monad.forM_</strong><em> :: </em>forall a m . Monad m =&gt; [a] -&gt; (a -&gt; m ()) -&gt; m ()</code></li><li><code><strong>Monad.mapM</strong><em> :: </em>forall a b m . Monad m =&gt; (a -&gt; m b) -&gt; [a] -&gt; m ([b])</code></li><li><code><strong>Monad.mapM_</strong><em> :: </em>forall a m . Monad m =&gt; (a -&gt; m ()) -&gt; [a] -&gt; m ()</code></li><li><code><strong>Monad.return</strong><em> :: </em>forall a m . Monad m =&gt; a -&gt; m a</code></li><li><code><strong>Monad.then</strong><em> :: </em>forall m a b . Monad m =&gt; m a -&gt; m b -&gt; m b</code></li><li><code><strong>Monad.when</strong><em> :: </em>forall m . Monad m =&gt; Bool -&gt; m () -&gt; m ()</code></li></ul><h3>Ord</h3><ul><li><code><strong>Ord.gt</strong><em> :: </em>forall a . Ord a =&gt; a -&gt; a -&gt; Bool</code></li><li><code><strong>Ord.lt</strong><em> :: </em>forall a . Ord a =&gt; a -&gt; a -&gt; Bool</code></li></ul><h3>Process</h3><ul><li><code><strong>Process.proc</strong><em> :: </em>Text -&gt; [Text] -&gt; ProcessConfig () () ()</code></li><li><code><strong>Process.runProcess</strong><em> :: </em>ProcessConfig () () () -&gt; IO ExitCode</code></li><li><code><strong>Process.runProcess_</strong><em> :: </em>ProcessConfig () () () -&gt; IO ()</code></li><li><code><strong>Process.setEnv</strong><em> :: </em>[(Text,Text)] -&gt; ProcessConfig () () () -&gt; ProcessConfig () () ()</code></li></ul><h3>Record</h3><ul><li><code><strong>Record.cons</strong><em> :: </em>forall (k :: Symbol) a (xs :: List) .
 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) .