This file is indexed.

/usr/share/doc/libghc-bifunctors-doc/html/src/Data-Bifunctor-Joker.html is in libghc-bifunctors-doc 5.4.2-1build3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  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
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
<?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/Bifunctor/Joker.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE CPP #-}</span>
<a name="line-2"></a><span class='hs-comment'>{-# LANGUAGE DeriveDataTypeable #-}</span>
<a name="line-3"></a><span class='hs-comment'>{-# LANGUAGE EmptyDataDecls #-}</span>
<a name="line-4"></a><span class='hs-comment'>{-# LANGUAGE TypeFamilies #-}</span>
<a name="line-5"></a>
<a name="line-6"></a><span class='hs-cpp'>#if __GLASGOW_HASKELL__ &gt;= 702</span>
<a name="line-7"></a><span class='hs-comment'>{-# LANGUAGE DeriveGeneric #-}</span>
<a name="line-8"></a><span class='hs-cpp'>#endif</span>
<a name="line-9"></a>
<a name="line-10"></a><span class='hs-cpp'>#if __GLASGOW_HASKELL__ &gt;= 706</span>
<a name="line-11"></a><span class='hs-comment'>{-# LANGUAGE PolyKinds #-}</span>
<a name="line-12"></a><span class='hs-cpp'>#endif</span>
<a name="line-13"></a>
<a name="line-14"></a><span class='hs-cpp'>#if __GLASGOW_HASKELL__ &gt;= 708</span>
<a name="line-15"></a><span class='hs-comment'>{-# LANGUAGE Safe #-}</span>
<a name="line-16"></a><span class='hs-cpp'>#elif __GLASGOW_HASKELL__ &gt;= 702</span>
<a name="line-17"></a><span class='hs-comment'>{-# LANGUAGE Trustworthy #-}</span>
<a name="line-18"></a><span class='hs-cpp'>#endif</span>
<a name="line-19"></a>
<a name="line-20"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span>
<a name="line-21"></a><span class='hs-comment'>-- |</span>
<a name="line-22"></a><span class='hs-comment'>-- Copyright   :  (C) 2008-2016 Edward Kmett</span>
<a name="line-23"></a><span class='hs-comment'>-- License     :  BSD-style (see the file LICENSE)</span>
<a name="line-24"></a><span class='hs-comment'>--</span>
<a name="line-25"></a><span class='hs-comment'>-- Maintainer  :  Edward Kmett &lt;ekmett@gmail.com&gt;</span>
<a name="line-26"></a><span class='hs-comment'>-- Stability   :  provisional</span>
<a name="line-27"></a><span class='hs-comment'>-- Portability :  portable</span>
<a name="line-28"></a><span class='hs-comment'>--</span>
<a name="line-29"></a><span class='hs-comment'>-- From the Functional Pearl \"Clowns to the Left of me, Jokers to the Right: Dissecting Data Structures\"</span>
<a name="line-30"></a><span class='hs-comment'>-- by Conor McBride.</span>
<a name="line-31"></a><span class='hs-comment'>----------------------------------------------------------------------------</span>
<a name="line-32"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Bifunctor</span><span class='hs-varop'>.</span><span class='hs-conid'>Joker</span>
<a name="line-33"></a>  <span class='hs-layout'>(</span> <span class='hs-conid'>Joker</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span>
<a name="line-34"></a>  <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-35"></a>
<a name="line-36"></a><span class='hs-cpp'>#if __GLASGOW_HASKELL__ &lt; 710</span>
<a name="line-37"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Applicative</span>
<a name="line-38"></a><span class='hs-cpp'>#endif</span>
<a name="line-39"></a>
<a name="line-40"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Biapplicative</span>
<a name="line-41"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Bifoldable</span>
<a name="line-42"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Bitraversable</span>
<a name="line-43"></a>
<a name="line-44"></a><span class='hs-cpp'>#if __GLASGOW_HASKELL__ &lt; 710</span>
<a name="line-45"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Foldable</span>
<a name="line-46"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Traversable</span>
<a name="line-47"></a><span class='hs-cpp'>#endif</span>
<a name="line-48"></a>
<a name="line-49"></a><span class='hs-cpp'>#if __GLASGOW_HASKELL__ &gt;= 708</span>
<a name="line-50"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Typeable</span>
<a name="line-51"></a><span class='hs-cpp'>#endif</span>
<a name="line-52"></a>
<a name="line-53"></a><span class='hs-cpp'>#if __GLASGOW_HASKELL__ &gt;= 702</span>
<a name="line-54"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>GHC</span><span class='hs-varop'>.</span><span class='hs-conid'>Generics</span>
<a name="line-55"></a><span class='hs-cpp'>#endif</span>
<a name="line-56"></a>
<a name="line-57"></a><a name="Joker"></a><span class='hs-comment'>-- | Make a 'Functor' over the second argument of a 'Bifunctor'.</span>
<a name="line-58"></a><a name="Joker"></a><span class='hs-comment'>--</span>
<a name="line-59"></a><a name="Joker"></a><span class='hs-comment'>-- Mnemonic: C__l__owns to the __l__eft (parameter of the Bifunctor),</span>
<a name="line-60"></a><a name="Joker"></a><span class='hs-comment'>--           joke__r__s to the __r__ight.</span>
<a name="line-61"></a><a name="Joker"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>Joker</span> <span class='hs-varid'>g</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Joker</span> <span class='hs-layout'>{</span> <span class='hs-varid'>runJoker</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>g</span> <span class='hs-varid'>b</span> <span class='hs-layout'>}</span>
<a name="line-62"></a>  <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span> <span class='hs-conid'>Eq</span><span class='hs-layout'>,</span> <span class='hs-conid'>Ord</span><span class='hs-layout'>,</span> <span class='hs-conid'>Show</span><span class='hs-layout'>,</span> <span class='hs-conid'>Read</span>
<a name="line-63"></a><span class='hs-cpp'>#if __GLASGOW_HASKELL__ &gt;= 702</span>
<a name="line-64"></a>           <span class='hs-layout'>,</span> <span class='hs-conid'>Generic</span>
<a name="line-65"></a><span class='hs-cpp'>#endif</span>
<a name="line-66"></a><span class='hs-cpp'>#if __GLASGOW_HASKELL__ &gt;= 708</span>
<a name="line-67"></a>           <span class='hs-layout'>,</span> <span class='hs-conid'>Generic1</span>
<a name="line-68"></a>           <span class='hs-layout'>,</span> <span class='hs-conid'>Typeable</span>
<a name="line-69"></a><span class='hs-cpp'>#endif</span>
<a name="line-70"></a>           <span class='hs-layout'>)</span>
<a name="line-71"></a>
<a name="line-72"></a><span class='hs-cpp'>#if __GLASGOW_HASKELL__ &gt;= 702 &amp;&amp; __GLASGOW_HASKELL__ &lt; 708</span>
<a name="line-73"></a><a name="JokerMetaData"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>JokerMetaData</span>
<a name="line-74"></a><a name="JokerMetaCons"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>JokerMetaCons</span>
<a name="line-75"></a><a name="JokerMetaSel"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>JokerMetaSel</span>
<a name="line-76"></a>
<a name="line-77"></a><a name="instance%20Datatype%20JokerMetaData"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Datatype</span> <span class='hs-conid'>JokerMetaData</span> <span class='hs-keyword'>where</span>
<a name="line-78"></a>    <span class='hs-varid'>datatypeName</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"Joker"</span>
<a name="line-79"></a>    <span class='hs-varid'>moduleName</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"Data.Bifunctor.Joker"</span>
<a name="line-80"></a>
<a name="line-81"></a><a name="instance%20Constructor%20JokerMetaCons"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Constructor</span> <span class='hs-conid'>JokerMetaCons</span> <span class='hs-keyword'>where</span>
<a name="line-82"></a>    <span class='hs-varid'>conName</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"Joker"</span>
<a name="line-83"></a>    <span class='hs-varid'>conIsRecord</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span>
<a name="line-84"></a>
<a name="line-85"></a><a name="instance%20Selector%20JokerMetaSel"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Selector</span> <span class='hs-conid'>JokerMetaSel</span> <span class='hs-keyword'>where</span>
<a name="line-86"></a>    <span class='hs-varid'>selName</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"runJoker"</span>
<a name="line-87"></a>
<a name="line-88"></a><a name="instance%20Generic1%20(Joker%20g%20a)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Generic1</span> <span class='hs-layout'>(</span><span class='hs-conid'>Joker</span> <span class='hs-varid'>g</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-89"></a>    <span class='hs-keyword'>type</span> <span class='hs-conid'>Rep1</span> <span class='hs-layout'>(</span><span class='hs-conid'>Joker</span> <span class='hs-varid'>g</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>D1</span> <span class='hs-conid'>JokerMetaData</span> <span class='hs-layout'>(</span><span class='hs-conid'>C1</span> <span class='hs-conid'>JokerMetaCons</span>
<a name="line-90"></a>        <span class='hs-layout'>(</span><span class='hs-conid'>S1</span> <span class='hs-conid'>JokerMetaSel</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rec1</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-91"></a>    <span class='hs-varid'>from1</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>M1</span> <span class='hs-varop'>.</span> <span class='hs-conid'>M1</span> <span class='hs-varop'>.</span> <span class='hs-conid'>M1</span> <span class='hs-varop'>.</span> <span class='hs-conid'>Rec1</span> <span class='hs-varop'>.</span> <span class='hs-varid'>runJoker</span>
<a name="line-92"></a>    <span class='hs-varid'>to1</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Joker</span> <span class='hs-varop'>.</span> <span class='hs-varid'>unRec1</span> <span class='hs-varop'>.</span> <span class='hs-varid'>unM1</span> <span class='hs-varop'>.</span> <span class='hs-varid'>unM1</span> <span class='hs-varop'>.</span> <span class='hs-varid'>unM1</span>
<a name="line-93"></a><span class='hs-cpp'>#endif</span>
<a name="line-94"></a>
<a name="line-95"></a><a name="instance%20Bifunctor%20(Joker%20g)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Functor</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=&gt;</span> <span class='hs-conid'>Bifunctor</span> <span class='hs-layout'>(</span><span class='hs-conid'>Joker</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-96"></a>  <span class='hs-varid'>first</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Joker</span> <span class='hs-varop'>.</span> <span class='hs-varid'>runJoker</span>
<a name="line-97"></a>  <span class='hs-comment'>{-# INLINE first #-}</span>
<a name="line-98"></a>  <span class='hs-varid'>second</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Joker</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fmap</span> <span class='hs-varid'>g</span> <span class='hs-varop'>.</span> <span class='hs-varid'>runJoker</span>
<a name="line-99"></a>  <span class='hs-comment'>{-# INLINE second #-}</span>
<a name="line-100"></a>  <span class='hs-varid'>bimap</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Joker</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fmap</span> <span class='hs-varid'>g</span> <span class='hs-varop'>.</span> <span class='hs-varid'>runJoker</span>
<a name="line-101"></a>  <span class='hs-comment'>{-# INLINE bimap #-}</span>
<a name="line-102"></a>
<a name="line-103"></a><a name="instance%20Functor%20(Joker%20g%20a)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Functor</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=&gt;</span> <span class='hs-conid'>Functor</span> <span class='hs-layout'>(</span><span class='hs-conid'>Joker</span> <span class='hs-varid'>g</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-104"></a>  <span class='hs-varid'>fmap</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Joker</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fmap</span> <span class='hs-varid'>g</span> <span class='hs-varop'>.</span> <span class='hs-varid'>runJoker</span>
<a name="line-105"></a>  <span class='hs-comment'>{-# INLINE fmap #-}</span>
<a name="line-106"></a>
<a name="line-107"></a><a name="instance%20Biapplicative%20(Joker%20g)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Applicative</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=&gt;</span> <span class='hs-conid'>Biapplicative</span> <span class='hs-layout'>(</span><span class='hs-conid'>Joker</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-108"></a>  <span class='hs-varid'>bipure</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Joker</span> <span class='hs-layout'>(</span><span class='hs-varid'>pure</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span>
<a name="line-109"></a>  <span class='hs-comment'>{-# INLINE bipure #-}</span>
<a name="line-110"></a>
<a name="line-111"></a>  <span class='hs-conid'>Joker</span> <span class='hs-varid'>mf</span> <span class='hs-varop'>&lt;&lt;*&gt;&gt;</span> <span class='hs-conid'>Joker</span> <span class='hs-varid'>mx</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Joker</span> <span class='hs-layout'>(</span><span class='hs-varid'>mf</span> <span class='hs-varop'>&lt;*&gt;</span> <span class='hs-varid'>mx</span><span class='hs-layout'>)</span>
<a name="line-112"></a>  <span class='hs-comment'>{-# INLINE (&lt;&lt;*&gt;&gt;) #-}</span>
<a name="line-113"></a>
<a name="line-114"></a><a name="instance%20Bifoldable%20(Joker%20g)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Foldable</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=&gt;</span> <span class='hs-conid'>Bifoldable</span> <span class='hs-layout'>(</span><span class='hs-conid'>Joker</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-115"></a>  <span class='hs-varid'>bifoldMap</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>foldMap</span> <span class='hs-varid'>g</span> <span class='hs-varop'>.</span> <span class='hs-varid'>runJoker</span>
<a name="line-116"></a>  <span class='hs-comment'>{-# INLINE bifoldMap #-}</span>
<a name="line-117"></a>
<a name="line-118"></a><a name="instance%20Foldable%20(Joker%20g%20a)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Foldable</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=&gt;</span> <span class='hs-conid'>Foldable</span> <span class='hs-layout'>(</span><span class='hs-conid'>Joker</span> <span class='hs-varid'>g</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-119"></a>  <span class='hs-varid'>foldMap</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>foldMap</span> <span class='hs-varid'>g</span> <span class='hs-varop'>.</span> <span class='hs-varid'>runJoker</span>
<a name="line-120"></a>  <span class='hs-comment'>{-# INLINE foldMap #-}</span>
<a name="line-121"></a>
<a name="line-122"></a><a name="instance%20Bitraversable%20(Joker%20g)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Traversable</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=&gt;</span> <span class='hs-conid'>Bitraversable</span> <span class='hs-layout'>(</span><span class='hs-conid'>Joker</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-123"></a>  <span class='hs-varid'>bitraverse</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-conid'>Joker</span> <span class='hs-varop'>.</span> <span class='hs-varid'>traverse</span> <span class='hs-varid'>g</span> <span class='hs-varop'>.</span> <span class='hs-varid'>runJoker</span>
<a name="line-124"></a>  <span class='hs-comment'>{-# INLINE bitraverse #-}</span>
<a name="line-125"></a>
<a name="line-126"></a><a name="instance%20Traversable%20(Joker%20g%20a)"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Traversable</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=&gt;</span> <span class='hs-conid'>Traversable</span> <span class='hs-layout'>(</span><span class='hs-conid'>Joker</span> <span class='hs-varid'>g</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-127"></a>  <span class='hs-varid'>traverse</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-conid'>Joker</span> <span class='hs-varop'>.</span> <span class='hs-varid'>traverse</span> <span class='hs-varid'>g</span> <span class='hs-varop'>.</span> <span class='hs-varid'>runJoker</span>
<a name="line-128"></a>  <span class='hs-comment'>{-# INLINE traverse #-}</span>
</pre></body>
</html>