forked from br0ns/iptest
/
TestDSL.sig
38 lines (29 loc) · 1 KB
/
TestDSL.sig
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
signature TestDSL =
sig
(* infixr 0 slut er
* infix 1 afproev note hvor og med
* infix 2 ? indeholder automagisk
* infix 3 ::: & ==> ~~> !!!
* infix 4 eller
*)
val saet : 'a -> 'a
val er : string * Test.opgave list -> unit
val slut : 'a * 'a list -> 'a list
val heltslut : 'a list
val afproev : Test.opgave * ('a, 'b) Test.afproevning ->
Test.opgave
val note : Test.opgave * string -> Test.opgave
val hvor : Test.opgave * 'a -> Test.opgave
val med : Test.opgave * 'a -> Test.opgave
val og : Test.opgave * 'a -> Test.opgave
val indeholder : string * string -> unit
val datafilerne : string -> unit
val fil : string -> string
val opgave : string -> string -> Test.opgave
val automagisk : int -> ('a ->''b) ->
'a Gen.t -> ('a, ''b) Test.tilfaelde
val ? : ('a, 'b) Test.afproevning * ('a, 'b) Test.tilfaelde ->
('a, 'b) Test.afproevning
val ::: : 'a * ('a, 'b) Test.egenskab -> ('a, 'b) Test.tilfaelde
include Egenskaber
end