git.iko.soy/Idris-dev
on master help sign in
Add IOExcept implementation for ST.ConsoleIO
ea2041cEdwin Brady
libs/contrib/Control/ST.idr+10−1
compare with master
unifiedsplit
@@ -1,6 +1,7 @@
1module Control.ST
1module Control.ST
2
2
3import Language.Reflection.Utils
3import Language.Reflection.Utils
4+import Control.IOExcept
4
5
5%default total
6%default total
6
7
@@ -571,9 +572,17 @@ ConsoleIO IO where
571 putStr str = lift (Interactive.putStr str)
572 putStr str = lift (Interactive.putStr str)
572 getStr = lift Interactive.getLine
573 getStr = lift Interactive.getLine
573
574
574− putChar c = lift $ Interactive.putChar c
575+ putChar c = lift (Interactive.putChar c)
575 getChar = lift Interactive.getChar
576 getChar = lift Interactive.getChar
576
577
578+export
579+ConsoleIO (IOExcept err) where
580+ putStr str = lift (ioe_lift (Interactive.putStr str))
581+ getStr = lift (ioe_lift Interactive.getLine)
582+
583+ putChar c = lift (ioe_lift (Interactive.putChar c))
584+ getChar = lift (ioe_lift Interactive.getChar)
585+
577export
586export
578run : Applicative m => ST m a [] -> m a
587run : Applicative m => ST m a [] -> m a
579run prog = runST [] prog (\res, env' => pure res)
588run prog = runST [] prog (\res, env' => pure res)