added documentation of list constructors to abstract/ files to improve the absfun document

lib/src/abstract/Conjunction.gf

@@ -17,15 +17,15 @@ abstract Conjunction = Cat ** {
 --2 Rules
 
   fun
-    ConjS    : Conj -> [S] -> S ;       -- he walks and she runs
-    ConjRS   : Conj -> [RS] -> RS ;     -- who walks and whose mother runs
-    ConjAP   : Conj -> [AP] -> AP ;     -- cold and warm
-    ConjNP   : Conj -> [NP] -> NP ;     -- she or we
-    ConjAdv  : Conj -> [Adv] -> Adv ;   -- here or there
-    ConjAdV  : Conj -> [AdV] -> AdV ;   -- always or sometimes
-    ConjIAdv : Conj -> [IAdv] -> IAdv ; -- where and with whom
-    ConjCN   : Conj -> [CN] -> CN ;     -- man and woman
-    ConjDet  : Conj -> [DAP] -> Det ;   -- his or her
+    ConjS    : Conj -> ListS -> S ;       -- he walks and she runs
+    ConjRS   : Conj -> ListRS -> RS ;     -- who walks and whose mother runs
+    ConjAP   : Conj -> ListAP -> AP ;     -- cold and warm
+    ConjNP   : Conj -> ListNP -> NP ;     -- she or we
+    ConjAdv  : Conj -> ListAdv -> Adv ;   -- here or there
+    ConjAdV  : Conj -> ListAdV -> AdV ;   -- always or sometimes
+    ConjIAdv : Conj -> ListIAdv -> IAdv ; -- where and with whom
+    ConjCN   : Conj -> ListCN -> CN ;     -- man and woman
+    ConjDet  : Conj -> ListDAP -> Det ;   -- his or her
 
 --2 Categories
 
@@ -46,8 +46,37 @@ abstract Conjunction = Cat ** {
 
 -- The list constructors are derived from the list notation and therefore
 -- not given explicitly. But here are their type signatures:
+{-
+-- overview
+    BaseC : C -> C   -> [C] ;  --- for C = AdV, Adv, AP, CN, Det, IAdv, NP, RS, S
+    ConsC : C -> [C] -> [C] ;  --- for C = AdV, Adv, AP, CN, Det, IAdv, NP, RS, S
 
-  --  BaseC : C -> C   -> [C] ;  -- for C = S, AP, NP, Adv
-  --  ConsC : C -> [C] -> [C] ;
+-- complete list
+
+  BaseAP : AP -> AP -> ListAP ;       -- red, white
+  ConsAP : AP -> ListAP -> ListAP ;   -- red, white, blue
+
+  BaseAdV : AdV -> AdV -> ListAdV ;     -- always, sometimes
+  ConsAdV : AdV -> ListAdV -> ListAdV ; -- always, sometimes, never
+
+  BaseAdv : Adv -> Adv -> ListAdv ;     -- here, there
+  ConsAdv : Adv -> ListAdv -> ListAdv ; -- here, there, everywhere
+
+  BaseCN : CN -> CN -> ListCN ;      -- man, woman
+  ConsCN : CN -> ListCN -> ListCN ;  -- man, woman, child
+
+  BaseIAdv : IAdv -> IAdv -> ListIAdv ;     -- where, when
+  ConsIAdv : IAdv -> ListIAdv -> ListIAdv ; -- where, when, why
+
+  BaseNP : NP -> NP -> ListNP ;      -- John, Mary
+  ConsNP : NP -> ListNP -> ListNP ;  -- John, Mary, Bill
+
+  BaseRS : RS -> RS -> ListRS ;       -- who walks, whom I know
+  ConsRS : RS -> ListRS -> ListRS ;   -- who wals, whom I know, who is here
+
+  BaseS : S -> S -> ListS ;      -- John walks, Mary runs
+  ConsS : S -> ListS -> ListS ;  -- John walks, Mary runs, Bill swims
+
+-}
 }