on master help sign in
More type hints.
5b49500evancz
src/Types/Hints.hs+2−3
@@ -11,7 +11,7 @@ import Guid
11
11
12str2elem = hasType (string ==> element) [ "image","video","plainText" ]
12str2elem = hasType (string ==> element) [ "image","video","plainText" ]
13
13
14−textToText = ["header", "italic", "bold", "underline"
14+textToText = [ "header", "italic", "bold", "underline"
15 , "overline", "strikeThrough", "monospace" ]
15 , "overline", "strikeThrough", "monospace" ]
16
16
17textAttrs = [ "toText" -: string ==> text
17textAttrs = [ "toText" -: string ==> text
@@ -102,5 +102,4 @@ lists = liftM (map (first ("List."++)) . (++ints)) . sequence $
102
102
103hints = do
103hints = do
104 fs <- funcs ; ls <- lists
104 fs <- funcs ; ls <- lists
105− return $ fs ++ ls ++ math ++ bool
106− {--++ str2elem ++ textAttrs ++ elements--}
105+ return $ fs ++ ls ++ math ++ bool ++ str2elem ++ textAttrs ++ elements
src/Types/Types.hs+1−1
@@ -19,7 +19,7 @@ data Scheme = Forall (Set.Set X) Type deriving (Eq, Ord, Show)
19
19
20element = ADT "Element" []
20element = ADT "Element" []
21direction = ADT "Direction" []
21direction = ADT "Direction" []
22−text = ADT "Text" []
22+text = ADT "List" [ADT "text" []]
23listOf t = ADT "List" [t]
23listOf t = ADT "List" [t]
24tupleOf ts = ADT ("Tuple" ++ show (length ts)) ts
24tupleOf ts = ADT ("Tuple" ++ show (length ts)) ts
25string = listOf CharT
25string = listOf CharT