|
27 | 27 | <span class="lineno"> 8 </span>import HelVM.HelIO.Control.Logger
|
28 | 28 | <span class="lineno"> 9 </span>import HelVM.HelIO.Control.Safe
|
29 | 29 | <span class="lineno"> 10 </span>
|
30 |
| -<span class="lineno"> 11 </span>type BIO m = (MonadControl m , BusinessIO m) |
| 30 | +<span class="lineno"> 11 </span>import HelVM.HelIO.Extra |
31 | 31 | <span class="lineno"> 12 </span>
|
32 |
| -<span class="lineno"> 13 </span>class Monad m => BusinessIO m where |
33 |
| -<span class="lineno"> 14 </span> wReadFile :: FilePath -> m Text |
34 |
| -<span class="lineno"> 15 </span> |
35 |
| -<span class="lineno"> 16 </span>instance BusinessIO IO where |
36 |
| -<span class="lineno"> 17 </span> <span class="decl"><span class="nottickedoff">wReadFile = readFileText</span></span> |
37 |
| -<span class="lineno"> 18 </span> |
38 |
| -<span class="lineno"> 19 </span>instance BusinessIO (SafeT IO) where |
39 |
| -<span class="lineno"> 20 </span> <span class="decl"><span class="nottickedoff">wReadFile = safeT . readFileText</span></span> |
40 |
| -<span class="lineno"> 21 </span> |
41 |
| -<span class="lineno"> 22 </span>instance BusinessIO (LoggerT IO) where |
42 |
| -<span class="lineno"> 23 </span> <span class="decl"><span class="nottickedoff">wReadFile = loggerT . readFileText</span></span> |
43 |
| -<span class="lineno"> 24 </span> |
44 |
| -<span class="lineno"> 25 </span>instance BusinessIO (ControlT IO) where |
45 |
| -<span class="lineno"> 26 </span> <span class="decl"><span class="istickedoff">wReadFile = controlT . readFileText</span></span> |
| 32 | +<span class="lineno"> 13 </span>type BIO m = (MonadControl m , BusinessIO m) |
| 33 | +<span class="lineno"> 14 </span> |
| 34 | +<span class="lineno"> 15 </span>class Monad m => BusinessIO m where |
| 35 | +<span class="lineno"> 16 </span> wReadFile :: FilePath -> m Text |
| 36 | +<span class="lineno"> 17 </span> |
| 37 | +<span class="lineno"> 18 </span>instance BusinessIO IO where |
| 38 | +<span class="lineno"> 19 </span> <span class="decl"><span class="nottickedoff">wReadFile = readFileTextUtf8</span></span> |
| 39 | +<span class="lineno"> 20 </span> |
| 40 | +<span class="lineno"> 21 </span>instance BusinessIO (SafeT IO) where |
| 41 | +<span class="lineno"> 22 </span> <span class="decl"><span class="nottickedoff">wReadFile = safeT . readFileTextUtf8</span></span> |
| 42 | +<span class="lineno"> 23 </span> |
| 43 | +<span class="lineno"> 24 </span>instance BusinessIO (LoggerT IO) where |
| 44 | +<span class="lineno"> 25 </span> <span class="decl"><span class="nottickedoff">wReadFile = loggerT . readFileTextUtf8</span></span> |
| 45 | +<span class="lineno"> 26 </span> |
| 46 | +<span class="lineno"> 27 </span>instance BusinessIO (ControlT IO) where |
| 47 | +<span class="lineno"> 28 </span> <span class="decl"><span class="istickedoff">wReadFile = controlT . readFileTextUtf8</span></span> |
46 | 48 |
|
47 | 49 | </pre>
|
48 | 50 | </body>
|
|
0 commit comments