Idrisで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モジュール以外の時もこれを念頭に置いておくと便利。
