OSDN Git Service
(root)
/
transunit
/
transunit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
6d6bf3c
)
Add transunit.compare.to_string(bitmap.bitmap) using bitmap.to_string
master
author
AlaskanEmily
<emily@alaskanemily.net>
Sun, 31 May 2020 22:14:28 +0000
(15:14 -0700)
committer
AlaskanEmily
<emily@alaskanemily.net>
Sun, 31 May 2020 22:14:28 +0000
(15:14 -0700)
transunit.compare.m
patch
|
blob
|
history
diff --git
a/transunit.compare.m
b/transunit.compare.m
index
ac52e41
..
254b8c1
100644
(file)
--- a/
transunit.compare.m
+++ b/
transunit.compare.m
@@
-41,6
+41,7
@@
:- instance to_string(int).
:- instance to_string(string).
:- instance to_string(float).
:- instance to_string(int).
:- instance to_string(string).
:- instance to_string(float).
+:- instance to_string(bitmap.bitmap).
:- instance to_string(bool.bool).
:- instance to_string(maybe.maybe(T)) <= to_string(T).
:- instance to_string(pair.pair(A, B)) <= (to_string(A), to_string(B)).
:- instance to_string(bool.bool).
:- instance to_string(maybe.maybe(T)) <= to_string(T).
:- instance to_string(pair.pair(A, B)) <= (to_string(A), to_string(B)).
@@
-166,6
+167,10
@@
compare_bits(N, I1, I2, BMP1, BMP2) = Result :-
func(to_string/1) is string.from_float
].
func(to_string/1) is string.from_float
].
+:- instance to_string(bitmap.bitmap) where [
+ func(to_string/1) is bitmap.to_string
+].
+
:- instance to_string(bool.bool) where [
(to_string(bool.yes) = "bool.yes"),
(to_string(bool.no) = "bool.no")
:- instance to_string(bool.bool) where [
(to_string(bool.yes) = "bool.yes"),
(to_string(bool.no) = "bool.no")