小编ppo*_*off的帖子

我正在学习二郎并尝试使用透析器,以便在可能的情况下获得最大的类型安全性.有一件事我不明白:非终止函数的类型是什么以及如何在规范中表示它.你能否对此有所了解？

我具有以下属性：

import org.scalacheck.Prop.propBoolean

def elementsAreReversed(list: List[Int], reversed: List[Int]): Boolean =
  if (list.isEmpty) true else {
    val lastIdx = list.size - 1
    list.zipWithIndex.forall { case (element, index) =>
      element == reversed(lastIdx - index)
    }
  }

val propReversed = Prop.forAll { list: List[Int] =>
  val reversed = list.reverse

  if (list.isEmpty)
    list == reversed
  else {
    val hasSameSize    = reversed.size == list.size
    val hasAllElements = list.forall(reversed.contains)

    // It works until  I add a label here:
    hasSameSize && hasAllElements && elementsAreReversed(list, reversed)
  }

如果添加标签，则会中断： …

我需要将aspose.pdf for java库生成的pdf文档保存到内存中(不使用临时文件)

我正在查看文档,但没有找到save具有适当签名的方法.(我一直在寻找某种输出流,或者至少是字节数组).

可能吗？如果是,我该如何管理呢？

谢谢