Portability | unportable |
---|---|
Stability | unstable |
Maintainer | Jose A. Ortega Ruiz <jao@gnu.org> |
Safe Haskell | None |
Runnable
Description
The existential type to store the list of commands to be executed. I must thank Claus Reinke for the help in understanding the mysteries of reading existential types. The Read instance of Runnable must be credited to him.
See here: http://www.haskell.org/pipermail/haskell-cafe/2007-July/028227.html
- data Runnable = forall r . (Exec r, Read r, Show r) => Run r
- class ReadAsAnyOf ts ex where
- readAsAnyOf :: ts -> ReadPrec ex
- readRunnable :: ReadPrec Runnable
Documentation
data Runnable
Instances
Read Runnable | |
Show Runnable | |
Exec Runnable | |
(Show t, Read t, Exec t, ReadAsAnyOf ts Runnable) => ReadAsAnyOf (t, ts) Runnable |
class ReadAsAnyOf ts ex where
Instances
ReadAsAnyOf () ex | |
(Show t, Read t, Exec t, ReadAsAnyOf ts Runnable) => ReadAsAnyOf (t, ts) Runnable |
readRunnable :: ReadPrec Runnable
The Read
parser for the Runnable
existential type. It
needs an undefined
with a type signature containing the
list of all possible types hidden within Runnable
. See runnableTypes
.
Each hidden type must have a Read
instance.