/usr/share/doc/libghc-explicit-exception-doc/html/src/Control-Monad-Label.html is in libghc-explicit-exception-doc 0.1.6-1.
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 140 141 142 143 144 145 146 147 | <?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/Control/Monad/Label.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE GeneralizedNewtypeDeriving #-}</span>
<a name="line-2"></a><span class='hs-comment'>{- |
<a name="line-3"></a>Here we implement a special Reader monad
<a name="line-4"></a>that can be used to manage a call stack.
<a name="line-5"></a>This way you can generate exception messages like
<a name="line-6"></a>\"Corrupt file content encountered
<a name="line-7"></a>while reading file \'foo.txt\'
<a name="line-8"></a>while loading document \'bar.doc\'\"
<a name="line-9"></a>using the functions in "Control.Monad.Exception.Label".
<a name="line-10"></a>
<a name="line-11"></a>However, currently I believe that this datatype is unnecessary,
<a name="line-12"></a>since you can extend exceptions by context information
<a name="line-13"></a>using 'Control.Monad.Exception.Synchronous.mapException'.
<a name="line-14"></a>-}</span>
<a name="line-15"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span><span class='hs-varop'>.</span><span class='hs-conid'>Label</span> <span class='hs-keyword'>where</span>
<a name="line-16"></a>
<a name="line-17"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Applicative</span> <span class='hs-layout'>(</span><span class='hs-conid'>Applicative</span><span class='hs-layout'>(</span><span class='hs-varid'>pure</span><span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-varop'><*></span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-18"></a>
<a name="line-19"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span> <span class='hs-layout'>(</span><span class='hs-conid'>MonadPlus</span><span class='hs-layout'>,</span> <span class='hs-varid'>ap</span><span class='hs-layout'>,</span> <span class='hs-layout'>)</span>
<a name="line-20"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span><span class='hs-varop'>.</span><span class='hs-conid'>Fix</span> <span class='hs-layout'>(</span><span class='hs-conid'>MonadFix</span><span class='hs-layout'>)</span>
<a name="line-21"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span><span class='hs-varop'>.</span><span class='hs-conid'>IO</span><span class='hs-varop'>.</span><span class='hs-conid'>Class</span> <span class='hs-layout'>(</span><span class='hs-conid'>MonadIO</span><span class='hs-layout'>,</span> <span class='hs-layout'>)</span>
<a name="line-22"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span><span class='hs-varop'>.</span><span class='hs-conid'>Trans</span><span class='hs-varop'>.</span><span class='hs-conid'>Class</span> <span class='hs-layout'>(</span><span class='hs-conid'>MonadTrans</span><span class='hs-layout'>,</span> <span class='hs-layout'>)</span>
<a name="line-23"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span><span class='hs-varop'>.</span><span class='hs-conid'>Trans</span><span class='hs-varop'>.</span><span class='hs-conid'>Reader</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>Reader</span>
<a name="line-24"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span><span class='hs-varop'>.</span><span class='hs-conid'>Trans</span><span class='hs-varop'>.</span><span class='hs-conid'>Reader</span> <span class='hs-layout'>(</span><span class='hs-conid'>Reader</span><span class='hs-layout'>,</span> <span class='hs-conid'>ReaderT</span><span class='hs-layout'>(</span><span class='hs-conid'>ReaderT</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>runReader</span><span class='hs-layout'>,</span> <span class='hs-varid'>runReaderT</span><span class='hs-layout'>,</span> <span class='hs-layout'>)</span>
<a name="line-25"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span><span class='hs-varop'>.</span><span class='hs-conid'>Instances</span> <span class='hs-conid'>()</span>
<a name="line-26"></a>
<a name="line-27"></a>
<a name="line-28"></a><span class='hs-comment'>-- * Plain monad</span>
<a name="line-29"></a>
<a name="line-30"></a><a name="Label"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>Label</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Label</span> <span class='hs-layout'>{</span> <span class='hs-varid'>runLabelPriv</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Reader</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>l</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>a</span> <span class='hs-layout'>}</span>
<a name="line-31"></a><span class='hs-comment'>-- newtype Label l a = Label { runLabelPriv :: [l] -> a }</span>
<a name="line-32"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Functor</span><span class='hs-layout'>,</span> <span class='hs-conid'>Monad</span><span class='hs-layout'>,</span> <span class='hs-conid'>MonadFix</span><span class='hs-layout'>)</span>
<a name="line-33"></a>
<a name="line-34"></a><span class='hs-comment'>{-
<a name="line-35"></a>instance Functor (Label l) where
<a name="line-36"></a> fmap f m = Label $ \l -> f (runLabelPriv m l)
<a name="line-37"></a>
<a name="line-38"></a>instance Monad (Label l) where
<a name="line-39"></a> return a = Label $ \_ -> a
<a name="line-40"></a> m >>= k = Label $ \l -> runLabelPriv (k (runLabelPriv m l)) l
<a name="line-41"></a>
<a name="line-42"></a>instance MonadFix (Label l) where
<a name="line-43"></a> mfix f = Label $ \l -> let a = runLabelPriv (f a) l in a
<a name="line-44"></a>-}</span>
<a name="line-45"></a>
<a name="line-46"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Applicative</span> <span class='hs-layout'>(</span><span class='hs-conid'>Label</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-47"></a> <span class='hs-varid'>pure</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span>
<a name="line-48"></a> <span class='hs-layout'>(</span><span class='hs-varop'><*></span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ap</span>
<a name="line-49"></a>
<a name="line-50"></a>
<a name="line-51"></a><a name="runLabel"></a><span class='hs-definition'>runLabel</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Label</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>l</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span>
<a name="line-52"></a><span class='hs-definition'>runLabel</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>runReader</span> <span class='hs-varop'>.</span> <span class='hs-varid'>runLabelPriv</span>
<a name="line-53"></a>
<a name="line-54"></a><a name="ask"></a><span class='hs-definition'>ask</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Label</span> <span class='hs-varid'>l</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>l</span><span class='hs-keyglyph'>]</span>
<a name="line-55"></a><span class='hs-definition'>ask</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Label</span> <span class='hs-conid'>Reader</span><span class='hs-varop'>.</span><span class='hs-varid'>ask</span>
<a name="line-56"></a><span class='hs-comment'>-- ask = Label id</span>
<a name="line-57"></a>
<a name="line-58"></a><a name="local"></a><span class='hs-definition'>local</span> <span class='hs-keyglyph'>::</span> <span class='hs-varid'>l</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Label</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Label</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span>
<a name="line-59"></a><span class='hs-definition'>local</span> <span class='hs-varid'>l</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Label</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Reader</span><span class='hs-varop'>.</span><span class='hs-varid'>local</span> <span class='hs-layout'>(</span><span class='hs-varid'>l</span><span class='hs-conop'>:</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>runLabelPriv</span> <span class='hs-varid'>m</span>
<a name="line-60"></a><span class='hs-comment'>-- local l m = Label $ runLabelPriv m . (l:)</span>
<a name="line-61"></a>
<a name="line-62"></a>
<a name="line-63"></a>
<a name="line-64"></a>
<a name="line-65"></a><span class='hs-comment'>-- * Monad transformer</span>
<a name="line-66"></a>
<a name="line-67"></a>
<a name="line-68"></a><a name="LabelT"></a><span class='hs-keyword'>newtype</span> <span class='hs-conid'>LabelT</span> <span class='hs-varid'>l</span> <span class='hs-varid'>m</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LabelT</span> <span class='hs-layout'>{</span> <span class='hs-varid'>runLabelPrivT</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ReaderT</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>l</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>m</span> <span class='hs-varid'>a</span> <span class='hs-layout'>}</span>
<a name="line-69"></a><span class='hs-comment'>-- newtype LabelT l m a = LabelT { runLabelPrivT :: l -> m a }</span>
<a name="line-70"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Monad</span><span class='hs-layout'>,</span> <span class='hs-conid'>MonadPlus</span><span class='hs-layout'>,</span> <span class='hs-conid'>MonadFix</span><span class='hs-layout'>,</span> <span class='hs-conid'>MonadTrans</span><span class='hs-layout'>,</span> <span class='hs-conid'>MonadIO</span><span class='hs-layout'>)</span>
<a name="line-71"></a>
<a name="line-72"></a><span class='hs-comment'>{-
<a name="line-73"></a>instance (Monad m) => Functor (LabelT l m) where
<a name="line-74"></a> fmap f m = LabelT $ \l -> do
<a name="line-75"></a> a <- runLabelPrivT m l
<a name="line-76"></a> return (f a)
<a name="line-77"></a>
<a name="line-78"></a>instance (Monad m) => Monad (LabelT l m) where
<a name="line-79"></a> return a = LabelT $ \_ -> return a
<a name="line-80"></a> m >>= k = LabelT $ \l -> do
<a name="line-81"></a> a <- runLabelPrivT m l
<a name="line-82"></a> runLabelPrivT (k a) l
<a name="line-83"></a> fail msg = LabelT $ \_ -> fail msg
<a name="line-84"></a>
<a name="line-85"></a>instance (MonadPlus m) => MonadPlus (LabelT l m) where
<a name="line-86"></a> mzero = LabelT $ \_ -> mzero
<a name="line-87"></a> m `mplus` n = LabelT $ \l -> runLabelPrivT m l `mplus` runLabelPrivT n l
<a name="line-88"></a>
<a name="line-89"></a>instance (MonadFix m) => MonadFix (LabelT l m) where
<a name="line-90"></a> mfix f = LabelT $ \l -> mfix $ \a -> runLabelPrivT (f a) l
<a name="line-91"></a>
<a name="line-92"></a>instance MonadTrans (LabelT l) where
<a name="line-93"></a> lift m = LabelT $ \_ -> m
<a name="line-94"></a>
<a name="line-95"></a>instance (MonadIO m) => MonadIO (LabelT l m) where
<a name="line-96"></a> liftIO = lift . liftIO
<a name="line-97"></a>-}</span>
<a name="line-98"></a>
<a name="line-99"></a><span class='hs-comment'>{-
<a name="line-100"></a>instance Monad m => Applicative (LabelT l m) where
<a name="line-101"></a> pure = return
<a name="line-102"></a> (<*>) = ap
<a name="line-103"></a>-}</span>
<a name="line-104"></a>
<a name="line-105"></a>
<a name="line-106"></a><a name="fmapReaderT"></a><span class='hs-definition'>fmapReaderT</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Functor</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span>
<a name="line-107"></a> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ReaderT</span> <span class='hs-varid'>r</span> <span class='hs-varid'>f</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ReaderT</span> <span class='hs-varid'>r</span> <span class='hs-varid'>f</span> <span class='hs-varid'>b</span>
<a name="line-108"></a><span class='hs-definition'>fmapReaderT</span> <span class='hs-varid'>f</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ReaderT</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>l</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>fmap</span> <span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-varid'>runReaderT</span> <span class='hs-varid'>m</span> <span class='hs-varid'>l</span>
<a name="line-109"></a>
<a name="line-110"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>Functor</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Functor</span> <span class='hs-layout'>(</span><span class='hs-conid'>LabelT</span> <span class='hs-varid'>l</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-111"></a> <span class='hs-varid'>fmap</span> <span class='hs-varid'>f</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LabelT</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fmapReaderT</span> <span class='hs-varid'>f</span> <span class='hs-varop'>$</span> <span class='hs-varid'>runLabelPrivT</span> <span class='hs-varid'>m</span>
<a name="line-112"></a>
<a name="line-113"></a>
<a name="line-114"></a><a name="pureReaderT"></a><span class='hs-definition'>pureReaderT</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Applicative</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span>
<a name="line-115"></a> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ReaderT</span> <span class='hs-varid'>r</span> <span class='hs-varid'>f</span> <span class='hs-varid'>a</span>
<a name="line-116"></a><span class='hs-definition'>pureReaderT</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ReaderT</span> <span class='hs-varop'>$</span> <span class='hs-varid'>const</span> <span class='hs-varop'>$</span> <span class='hs-varid'>pure</span> <span class='hs-varid'>a</span>
<a name="line-117"></a>
<a name="line-118"></a><a name="apReaderT"></a><span class='hs-definition'>apReaderT</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Applicative</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span>
<a name="line-119"></a> <span class='hs-conid'>ReaderT</span> <span class='hs-varid'>r</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span>
<a name="line-120"></a> <span class='hs-conid'>ReaderT</span> <span class='hs-varid'>r</span> <span class='hs-varid'>f</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span>
<a name="line-121"></a> <span class='hs-conid'>ReaderT</span> <span class='hs-varid'>r</span> <span class='hs-varid'>f</span> <span class='hs-varid'>b</span>
<a name="line-122"></a><span class='hs-definition'>apReaderT</span> <span class='hs-varid'>f</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ReaderT</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>runReaderT</span> <span class='hs-varid'>f</span> <span class='hs-varid'>r</span> <span class='hs-varop'><*></span> <span class='hs-varid'>runReaderT</span> <span class='hs-varid'>x</span> <span class='hs-varid'>r</span>
<a name="line-123"></a>
<a name="line-124"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Applicative</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Applicative</span> <span class='hs-layout'>(</span><span class='hs-conid'>LabelT</span> <span class='hs-varid'>l</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-125"></a> <span class='hs-varid'>pure</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LabelT</span> <span class='hs-varop'>$</span> <span class='hs-varid'>pureReaderT</span> <span class='hs-varid'>a</span>
<a name="line-126"></a> <span class='hs-varid'>f</span> <span class='hs-varop'><*></span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LabelT</span> <span class='hs-varop'>$</span> <span class='hs-varid'>runLabelPrivT</span> <span class='hs-varid'>f</span> <span class='hs-varop'>`apReaderT`</span> <span class='hs-varid'>runLabelPrivT</span> <span class='hs-varid'>x</span>
<a name="line-127"></a>
<a name="line-128"></a>
<a name="line-129"></a><a name="runLabelT"></a><span class='hs-definition'>runLabelT</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Monad</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>LabelT</span> <span class='hs-varid'>l</span> <span class='hs-varid'>m</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>l</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>m</span> <span class='hs-varid'>a</span>
<a name="line-130"></a><span class='hs-definition'>runLabelT</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>runReaderT</span> <span class='hs-varop'>.</span> <span class='hs-varid'>runLabelPrivT</span>
<a name="line-131"></a>
<a name="line-132"></a><a name="askT"></a><span class='hs-definition'>askT</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Monad</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>LabelT</span> <span class='hs-varid'>l</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>l</span><span class='hs-keyglyph'>]</span>
<a name="line-133"></a><span class='hs-definition'>askT</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LabelT</span> <span class='hs-conid'>Reader</span><span class='hs-varop'>.</span><span class='hs-varid'>ask</span>
<a name="line-134"></a>
<a name="line-135"></a><a name="localT"></a><span class='hs-definition'>localT</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Monad</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=></span> <span class='hs-varid'>l</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>LabelT</span> <span class='hs-varid'>l</span> <span class='hs-varid'>m</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>LabelT</span> <span class='hs-varid'>l</span> <span class='hs-varid'>m</span> <span class='hs-varid'>a</span>
<a name="line-136"></a><span class='hs-definition'>localT</span> <span class='hs-varid'>l</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LabelT</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Reader</span><span class='hs-varop'>.</span><span class='hs-varid'>local</span> <span class='hs-layout'>(</span><span class='hs-varid'>l</span><span class='hs-conop'>:</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>runLabelPrivT</span> <span class='hs-varid'>m</span>
</pre></body>
</html>
|