more words and paradigms in Thai

This commit is contained in:
aarne
2011-11-20 13:43:18 +00:00
parent 6fe2d572fa
commit 949cbfe535
3 changed files with 65 additions and 47 deletions

View File

@@ -21,8 +21,17 @@ oper
animalN : Str -> N
= \s -> mkN s "ตัว" ;
mkN2 : N -> Str -> N2
= \n,p -> lin N2 (n ** {c2 = p}) ;
mkN3 : N -> Str -> Str -> N3
= \n,p,q -> lin N3 (n ** {c2 = p ; c3 = q}) ;
mkA : Str -> A = \s -> lin A (mkAdj s) ;
mkA2 : A -> Str -> A2
= \n,p -> lin A2 (n ** {c2 = p}) ;
mkV = overload {
mkV : Str -> Verb
= \s -> {s1 = [] ; s2 = s ; isCompl = False} ;
@@ -35,6 +44,38 @@ oper
= \s -> lin V2 (dirV2 (regV s)) ;
mkV2 : V -> V2
= \s -> lin V2 (dirV2 s) ;
mkV2 : V -> Str -> V2
= \v,p -> lin V2 (v ** {c2 = p}) ;
} ;
mkV3 = overload {
mkV3 : Str -> V3
= \s -> lin V3 (regV s ** {c2,c3 = []}) ;
mkV3 : V -> V3
= \s -> lin V3 (s ** {c2,c3 = []}) ;
mkV3 : V -> Str -> Str -> V3
= \v,p,q -> lin V3 (v ** {c2 = p ; c3 = q}) ;
} ;
mkVQ : V -> VQ =
\v -> lin VQ v ;
mkVS : V -> VS =
\v -> lin VS v ;
mkVA : V -> VA =
\v -> lin VA v ;
mkV2Q : V -> Str -> V2Q =
\v,p -> lin V2Q (v ** {c2 = p}) ;
mkV2V : V -> Str -> V2V =
\v,p -> lin V2V (v ** {c2 = p}) ;
mkV2S : V -> Str -> V2S =
\v,p -> lin V2S (v ** {c2 = p}) ;
mkV2A : V -> Str -> V2A =
\v,p -> lin V2A (v ** {c2 = p}) ;
}