/
Data-IntSet-Lens.html
74 lines (74 loc) · 7.12 KB
/
Data-IntSet-Lens.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://code.haskell.org/~malcolm/hscolour/ -->
<title>src/Data/IntSet/Lens.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE Rank2Types #-}</span>
<a name="line-2"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span>
<a name="line-3"></a><span class='hs-comment'>-- |</span>
<a name="line-4"></a><span class='hs-comment'>-- Module : Data.IntSet.Lens</span>
<a name="line-5"></a><span class='hs-comment'>-- Copyright : (C) 2012-15 Edward Kmett</span>
<a name="line-6"></a><span class='hs-comment'>-- License : BSD-style (see the file LICENSE)</span>
<a name="line-7"></a><span class='hs-comment'>-- Maintainer : Edward Kmett <ekmett@gmail.com></span>
<a name="line-8"></a><span class='hs-comment'>-- Stability : provisional</span>
<a name="line-9"></a><span class='hs-comment'>-- Portability : portable</span>
<a name="line-10"></a><span class='hs-comment'>--</span>
<a name="line-11"></a><span class='hs-comment'>----------------------------------------------------------------------------</span>
<a name="line-12"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>IntSet</span><span class='hs-varop'>.</span><span class='hs-conid'>Lens</span>
<a name="line-13"></a> <span class='hs-layout'>(</span> <span class='hs-varid'>members</span>
<a name="line-14"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>setmapped</span>
<a name="line-15"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>setOf</span>
<a name="line-16"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-17"></a>
<a name="line-18"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Lens</span>
<a name="line-19"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>IntSet</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>IntSet</span>
<a name="line-20"></a>
<a name="line-21"></a><span class='hs-comment'>-- $setup</span>
<a name="line-22"></a><span class='hs-comment'>-- >>> :set -XNoOverloadedStrings</span>
<a name="line-23"></a><span class='hs-comment'>-- >>> import Control.Lens</span>
<a name="line-24"></a>
<a name="line-25"></a><a name="members"></a><span class='hs-comment'>-- | IntSet isn't Foldable, but this 'Fold' can be used to access the members of an 'IntSet'.</span>
<a name="line-26"></a><span class='hs-comment'>--</span>
<a name="line-27"></a><span class='hs-comment'>-- >>> sumOf members $ setOf folded [1,2,3,4]</span>
<a name="line-28"></a><span class='hs-comment'>-- 10</span>
<a name="line-29"></a><span class='hs-definition'>members</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Fold</span> <span class='hs-conid'>IntSet</span> <span class='hs-conid'>Int</span>
<a name="line-30"></a><span class='hs-definition'>members</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>folding</span> <span class='hs-conid'>IntSet</span><span class='hs-varop'>.</span><span class='hs-varid'>toAscList</span>
<a name="line-31"></a><span class='hs-comment'>{-# INLINE members #-}</span>
<a name="line-32"></a>
<a name="line-33"></a><a name="setmapped"></a><span class='hs-comment'>-- | This 'Setter' can be used to change the contents of an 'IntSet' by mapping</span>
<a name="line-34"></a><span class='hs-comment'>-- the elements to new values.</span>
<a name="line-35"></a><span class='hs-comment'>--</span>
<a name="line-36"></a><span class='hs-comment'>-- Sadly, you can't create a valid 'Traversal' for a 'Set', because the number of</span>
<a name="line-37"></a><span class='hs-comment'>-- elements might change but you can manipulate it by reading using 'folded' and</span>
<a name="line-38"></a><span class='hs-comment'>-- reindexing it via 'setmapped'.</span>
<a name="line-39"></a><span class='hs-comment'>--</span>
<a name="line-40"></a><span class='hs-comment'>-- >>> over setmapped (+1) (fromList [1,2,3,4])</span>
<a name="line-41"></a><span class='hs-comment'>-- fromList [2,3,4,5]</span>
<a name="line-42"></a><span class='hs-definition'>setmapped</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>IndexPreservingSetter'</span> <span class='hs-conid'>IntSet</span> <span class='hs-conid'>Int</span>
<a name="line-43"></a><span class='hs-definition'>setmapped</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>setting</span> <span class='hs-conid'>IntSet</span><span class='hs-varop'>.</span><span class='hs-varid'>map</span>
<a name="line-44"></a><span class='hs-comment'>{-# INLINE setmapped #-}</span>
<a name="line-45"></a>
<a name="line-46"></a><a name="setOf"></a><span class='hs-comment'>-- | Construct an 'IntSet' from a 'Getter', 'Fold', 'Traversal', 'Lens' or 'Iso'.</span>
<a name="line-47"></a><span class='hs-comment'>--</span>
<a name="line-48"></a><span class='hs-comment'>-- >>> setOf folded [1,2,3,4]</span>
<a name="line-49"></a><span class='hs-comment'>-- fromList [1,2,3,4]</span>
<a name="line-50"></a><span class='hs-comment'>--</span>
<a name="line-51"></a><span class='hs-comment'>-- >>> setOf (folded._2) [("hello",1),("world",2),("!!!",3)]</span>
<a name="line-52"></a><span class='hs-comment'>-- fromList [1,2,3]</span>
<a name="line-53"></a><span class='hs-comment'>--</span>
<a name="line-54"></a><span class='hs-comment'>-- @</span>
<a name="line-55"></a><span class='hs-comment'>-- 'setOf' :: 'Getter' s 'Int' -> s -> 'IntSet'</span>
<a name="line-56"></a><span class='hs-comment'>-- 'setOf' :: 'Fold' s 'Int' -> s -> 'IntSet'</span>
<a name="line-57"></a><span class='hs-comment'>-- 'setOf' :: 'Iso'' s 'Int' -> s -> 'IntSet'</span>
<a name="line-58"></a><span class='hs-comment'>-- 'setOf' :: 'Lens'' s 'Int' -> s -> 'IntSet'</span>
<a name="line-59"></a><span class='hs-comment'>-- 'setOf' :: 'Traversal'' s 'Int' -> s -> 'IntSet'</span>
<a name="line-60"></a><span class='hs-comment'>-- @</span>
<a name="line-61"></a><span class='hs-definition'>setOf</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Getting</span> <span class='hs-conid'>IntSet</span> <span class='hs-varid'>s</span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IntSet</span>
<a name="line-62"></a><span class='hs-definition'>setOf</span> <span class='hs-varid'>l</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>views</span> <span class='hs-varid'>l</span> <span class='hs-conid'>IntSet</span><span class='hs-varop'>.</span><span class='hs-varid'>singleton</span>
<a name="line-63"></a><span class='hs-comment'>{-# INLINE setOf #-}</span>
</pre></body>
</html>