7data Exception : Type -> Type -> Type -> Type -> Type where
8 Raise : a -> Exception a () () b
10instance Handler (Exception a) Maybe where
11 handle _ (Raise e) k = Nothing
13instance Show a => Handler (Exception a) IO where
14 handle _ (Raise e) k = do print e
17instance Handler (Exception a) (IOExcept a) where
18 handle _ (Raise e) k = ioM (return (Left e))
20instance Handler (Exception a) (Either a) where
21 handle _ (Raise e) k = Left e
23EXCEPTION : Type -> EFFECT
24EXCEPTION t = MkEff () (Exception t)
26raise : a -> Eff m [EXCEPTION a] b
35-- TODO: Catching exceptions mid program?
36-- probably need to invoke a new interpreter
38-- possibly add a 'handle' to the Eff language so that an alternative
39-- handler can be introduced mid interpretation?
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list