| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
LiveCoding.LiveProgram.Except
Description
Live programs in the ExceptT e me.
Handling these exceptions is done by realising that live programs in fact form a monad in the exception type.
The interface is analogous to CellExcept.
Synopsis
- newtype LiveProgramExcept m e = LiveProgramExcept {
- unLiveProgramExcept :: CellExcept m () () e
- runLiveProgramExcept :: Monad m => LiveProgramExcept m e -> LiveProgram (ExceptT e m)
- try :: (Data e, Finite e, Functor m) => LiveProgram (ExceptT e m) -> LiveProgramExcept m e
- safely :: Monad m => LiveProgramExcept m Void -> LiveProgram m
- safe :: Monad m => LiveProgram m -> LiveProgramExcept m Void
- foreverELiveProgram :: (Data e, Monad m) => e -> LiveProgramExcept (ReaderT e m) e -> LiveProgram m
- foreverCLiveProgram :: (Data e, Monad m) => LiveProgramExcept m e -> LiveProgram m
Documentation
newtype LiveProgramExcept m e Source #
A live program that can throw an exception.
m: The monad in which the live program operates.e: The type of exceptions the live program can eventually throw.
LiveProgramExcept is a monad in the exception type.
This means that it is possible to chain several live programs,
where later programs can handle the exceptions thrown by the earlier ones.
return plays the role of directly throwing an exception.
(>>=) lets a handler decide which program to handle the exception with.
The interface is the basically the same as CellExcept,
and it is in fact a newtype around it.
Constructors
| LiveProgramExcept | |
Fields
| |
Instances
runLiveProgramExcept :: Monad m => LiveProgramExcept m e -> LiveProgram (ExceptT e m) Source #
Execute a LiveProgramExcept, throwing its exceptions in the ExceptT monad.
try :: (Data e, Finite e, Functor m) => LiveProgram (ExceptT e m) -> LiveProgramExcept m e Source #
Lift a LiveProgram into the LiveProgramExcept monad.
Similar to try.
This will execute the live program until it throws an exception.
safely :: Monad m => LiveProgramExcept m Void -> LiveProgram m Source #
Safely convert to LivePrograms.
If the type of possible exceptions is empty,
no exceptions can be thrown,
and thus we can safely assume that it is a LiveProgram in m.
safe :: Monad m => LiveProgram m -> LiveProgramExcept m Void Source #
Run a LiveProgram as a LiveProgramExcept.
This is always safe in the sense that it has no exceptions.
Arguments
| :: (Data e, Monad m) | |
| => e | The loop initialisation |
| -> LiveProgramExcept (ReaderT e m) e | The live program to execute indefinitely |
| -> LiveProgram m |
Run a LiveProgramExcept in a loop.
In the additional 'ReaderT e' context,
you can read the last thrown exception.
(For the first iteration, e is set to the first argument to foreverELiveProgram.)
This way, you can create an infinite loop, with the exception as the loop variable.
foreverCLiveProgram :: (Data e, Monad m) => LiveProgramExcept m e -> LiveProgram m Source #
Run a LiveProgramExcept in a loop, discarding the exception.