1
0
forked from GitHub/gf-rgl

Hrv comparison forms

This commit is contained in:
Aarne Ranta
2022-09-30 18:12:48 +02:00
parent 60c733bd35
commit 8fc2460af6
9 changed files with 61 additions and 181 deletions
+22 -4
View File
@@ -117,13 +117,31 @@ oper
mkA = overload {
mkA : Str -> A
= \s -> lin A (velikA s) ;
mkA : AForms -> A
= \s -> lin A s ;
= \s ->
let
velik = velikA s ;
velikiji = regComparAForms velik ;
in lin A {
posit = velik ;
compar = velikiji ;
superl = superlAForms velikiji
} ;
mkA : (pos, comp : Str) -> A
= \pos, comp -> lin A {
posit = velikA pos ;
compar = velikA comp ;
superl = superlAForms (velikA comp)
} ;
mkA : (posit, compar : AForms) -> A
= \posit,compar -> lin A {
posit = posit ;
compar = compar ;
superl = superlAForms compar
} ;
} ;
invarA : Str -> A
= \s -> lin A (invarAForms s) ;
= \s -> lin A {posit,compar,superl = invarAForms s} ; ---- TODO compar, superl?
AForms : Type
= R.AdjForms ;