diff options
| author | Andrea Rossato <andrea.rossato@ing.unitn.it> | 2007-07-13 14:37:07 +0200 |
|---|---|---|
| committer | Andrea Rossato <andrea.rossato@ing.unitn.it> | 2007-07-13 14:37:07 +0200 |
| commit | 22ad130fa851909870ddc0e6caa1aa6f8d6a66a1 (patch) | |
| tree | cef280aeeabf0f4ef1bfa19d86eff6dc0a33d11a /Runnable.hs | |
| parent | 9677ad5f6283368ff000050e23d420c9bb691e1a (diff) | |
| download | xmobar-22ad130fa851909870ddc0e6caa1aa6f8d6a66a1.tar.gz xmobar-22ad130fa851909870ddc0e6caa1aa6f8d6a66a1.tar.bz2 | |
haddock tuning
darcs-hash:20070713123707-d6583-b236b40087a92c45511afb3e4350813917515c02.gz
Diffstat (limited to 'Runnable.hs')
| -rw-r--r-- | Runnable.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Runnable.hs b/Runnable.hs index c122eea..96216d0 100644 --- a/Runnable.hs +++ b/Runnable.hs @@ -48,6 +48,10 @@ instance (Read t, Exec t, ReadAsAnyOf ts Runnable) => ReadAsAnyOf (t,ts) Runnabl readAsAnyOf ~(t,ts) = r t `mplus` readAsAnyOf ts where r ty = do { m <- readPrec; return (Run (m `asTypeOf` ty)) } +-- | The 'Prelude.Read' parser for the 'Runnable' existential type. It +-- needs an 'Prelude.undefined' with a type signature containing the +-- list of all possible types hidden within 'Runnable'. See 'Config.runnableTypes'. +-- Each hidden type must have a 'Prelude.Read' instance. readRunnable :: ReadPrec Runnable readRunnable = prec 10 $ do Ident "Run" <- lexP |