git.iko.soy/elk
on master help sign in
Adjust `main` check to look for new Element type
ddd48baEvan Czaplicki
src/Nitpick/TopLevelTypes.hs+4−31
compare with master
unifiedsplit
@@ -93,29 +93,7 @@ virtualDom =
93
93
94element :: Type.Canonical
94element :: Type.Canonical
95element =
95element =
96− Type.Record
97− [ ("element", core ["Graphics","Element"] "ElementPrim")
96+ core ["Graphics","Element"] "Element"
98− , ("props",
99− Type.Record
100− [ ("click" , builtin "_Tuple0")
101− , ("color" , maybe (core ["Color"] "Color"))
102− , ("height" , builtin "Int")
103− , ("hover" , builtin "_Tuple0")
104− , ("href" , builtin "String")
105− , ("id" , builtin "Int")
106− , ("opacity", builtin "Float")
107− , ("tag" , builtin "String")
108− , ("width" , builtin "Int")
109− ]
110− Nothing
111− )
112− ]
113− Nothing
114−
115−
116−core :: [String] -> String -> Type.Canonical
117−core home name =
118− Type.Type (Var.inCore home name)
119
97
120
98
121signal :: Type.Canonical -> Type.Canonical
99signal :: Type.Canonical -> Type.Canonical
@@ -123,13 +101,8 @@ signal tipe =
123 Type.App (core ["Signal"] "Signal") [ tipe ]
101 Type.App (core ["Signal"] "Signal") [ tipe ]
124
102
125
103
126−maybe :: Type.Canonical -> Type.Canonical
104+core :: [String] -> String -> Type.Canonical
127−maybe tipe =
105+core home name =
128− Type.App (core ["Maybe"] "Maybe") [ tipe ]
129−
130−
131−builtin :: String -> Type.Canonical
132−builtin name =
133− Type.Type (Var.builtin name)
106+ Type.Type (Var.inCore home name)
134
107
135
108