2018-02-18Run a program of Eff in pure contexts
In a situation, I have a program (Eff) with a STATE effect…
2018-02-17IdrisでEffectモジュールなどを使おうとしたときに出るCan't find import Effect/Barの対処
問題
Main.idr
import Effect.Default
main : IO ()
main = do
printLn $ the Int default
printLn $ the Char default
printLn $ the Bool default
printLn $ the String default
printLn $ the (List String) default$ idris -o Main Main.idr
Can't find import Effect/Default解決
-pでeffectsを指定してあげる。
$ idris -o Main Main.idr -p effects
$ ./Main
0
'\NUL'
False
""
[] もちろんEffect.Bar…
