Instance Constructors
-
new
SerialisationTestSuite(syntax: String, extension: String)(implicit arg0: Monad[M], arg1: Comonad[M], ops: RDFOps[Rdf], reader: RDFReader[Rdf, M, Sin], writer: RDFWriter[Rdf, M, Sout])
Type Members
-
implicit
class
AnyOps[A] extends AnyRef
-
implicit
class
PropertyOps extends AnyRef
-
class
PropertySpecifier extends AnyRef
-
implicit
class
StringOps extends AnyRef
Abstract Value Members
-
abstract
def
referenceGraphSerialisedForSyntax: String
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
&&(p: ⇒ Prop): Prop
-
def
+(other: String): String
-
def
++(p: ⇒ Prop): Prop
-
-
def
:|(l: Symbol): Prop
-
def
:|(l: String): Prop
-
def
==(p: ⇒ Prop): Prop
-
final
def
==(arg0: Any): Boolean
-
def
==>(p: ⇒ Prop): Prop
-
implicit
def
Function1IntInt[A](implicit A: Arbitrary[Int]): Arbitrary[(Int) ⇒ Int]
-
val
M: Monad[M]
-
def
apply(p: Parameters): Result
-
final
def
asInstanceOf[T0]: T0
-
implicit
def
booleanToProp(b: ⇒ Boolean): Prop
-
def
check(x: ⇒ Boolean): Prop
-
def
check: Unit
-
def
check(prms: Parameters): Unit
-
def
check(paramFun: (Parameters) ⇒ Parameters): Unit
-
implicit
def
check1[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop
-
def
checkAll(props: Properties): Seq[ListBuffer[(String, Prop)]]
-
def
checkAll(name: String, props: Properties): Seq[ListBuffer[(String, Prop)]]
-
def
clone(): AnyRef
-
def
combine(p: Prop)(f: (Result, Result) ⇒ Result): Prop
-
-
-
def
ensuring(cond: Boolean, msg: ⇒ Any): SerialisationTestSuite[Rdf, M, Sin, Sout]
-
def
ensuring(cond: Boolean): SerialisationTestSuite[Rdf, M, Sin, Sout]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
fail(msg: String): Nothing
-
def
finalize(): Unit
-
def
flatMap(f: (Result) ⇒ Prop): Prop
-
val
foo: String
-
val
fooGraph: Rdf.Graph
-
val
fooPrefix: Prefix[Rdf]
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
graphBuilder(prefix: Prefix[Rdf]): Rdf.Graph
-
def
hashCode(): Int
-
def
include(ps: Properties, prefix: String): Unit
-
def
include(ps: Properties): Unit
-
final
def
isInstanceOf[T0]: Boolean
-
def
label(l: String): Prop
-
def
main(args: Array[String]): Unit
-
def
mainCallsExit: Boolean
-
def
mainRunner(args: Array[String]): Int
-
def
map(f: (Result) ⇒ Result): Prop
-
val
name: String
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
prop[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop
-
implicit
def
propToProp(p: ⇒ Prop): Prop
-
def
properties: Seq[(String, Prop)]
-
-
val
rdfCore: String
-
val
rdfCorePrefix: Prefix[Rdf]
-
val
referenceGraph: Rdf.Graph
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
implicit
def
unitToProp(u: ⇒ Unit): Prop
-
implicit
def
unitToProp2(u: Unit): Prop
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
|:(l: Symbol): Prop
-
def
|:(l: String): Prop
-
def
||(p: ⇒ Prop): Prop
-
Inherited from SpecLite
Inherited from Properties
Inherited from Prop
Inherited from Testable
Inherited from AnyRef
Inherited from Any
Test Serialisations. Some serialisations have one parser and multiple serialisers, such as with json-ld, hence the distinction Sin and Sout