コード例 #1
0
ファイル: PrimFn.java プロジェクト: aaronc/idris-java-rts 
  public static int LWriteFile(Object w, Object file, String str) {

    return Prelude.fputStrWithBytesWritten(file, str);
  }
コード例 #2
0
ファイル: PrimFn.java プロジェクト: aaronc/idris-java-rts 
 public static String LReadFile(Object w, Object file) {
   return Prelude.idris_readStr(file);
 }