<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Thanks, I'll read through this and try to figure it out when I get a
chance (maybe later today). In the meantime I get a compile error:<br>
<br>
<a class="moz-txt-link-abbreviated" href="mailto:jefdaj@acro:~/.xmonad$">jefdaj@acro:~/.xmonad$</a> ghc --make OnlyFor.hs <br>
[1 of 1] Compiling XMonad.Layout.OnlyFor ( OnlyFor.hs, OnlyFor.o )<br>
OnlyFor.hs:60:64:<br>
`m' is applied to too many type arguments<br>
In the type signature for `onlyFor':<br>
onlyFor :: HowMany<br>
-> m -> l a -> ModifiedLayout (OnlyFor (m
a)) l a<br>
<br>
If I comment out the type signature and load it in GHCI it guesses
this:<br>
<br>
onlyFor<br>
:: HowMany<br>
-> m<br>
-> l a<br>
-> XMonad.Layout.LayoutModifier.ModifiedLayout (OnlyFor m) l
a<br>
<br>
Does that look reasonable? m is One | Multiple, l is the
LayoutModifier and a is the Layout right?<br>
Jeff<br>
<br>
<div class="moz-cite-prefix">On 08/27/2012 08:28 AM, Brandon Allbery
wrote:<br>
</div>
<blockquote
cite="mid:CAKFCL4VQJwzgaD+2w4W61psWS5ssDm2bN-4ZJq_APQVSK554QA@mail.gmail.com"
type="cite">
<div dir="ltr">On Mon, Aug 27, 2012 at 11:12 AM, Brandon Allbery <span
dir="ltr"><<a moz-do-not-send="true"
href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>></span>
wrote:<br>
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">
<div class="im">I've attached the current version; it
compiles but is not tested in practice. It should be
clear enough how to extend it to support other values
than One and Multiple.</div>
</div>
</blockquote>
<div><br>
</div>
<div>Except I forgot to actually attach it...</div>
<div><br>
</div>
</div>
-- <br>
brandon s allbery <a
moz-do-not-send="true" href="mailto:allbery.b@gmail.com"
target="_blank">allbery.b@gmail.com</a><br>
wandering unix systems administrator (available) (412)
475-9364 vm/sms<br>
<br>
</div>
</blockquote>
<br>
</body>
</html>