@@ -93,29 +93,7 @@ virtualDom =
9393
9494element :: Type.Canonical
9595element =
96− Type.Record
97− [ ("element", core ["Graphics","Element"] "ElementPrim")
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)
96+ core ["Graphics","Element"] "Element"
11997
12098
12199signal :: Type.Canonical -> Type.Canonical
@@ -123,13 +101,8 @@ signal tipe =
123101 Type.App (core ["Signal"] "Signal") [ tipe ]
124102
125103
126−maybe :: Type.Canonical -> Type.Canonical
127−maybe tipe =
128− Type.App (core ["Maybe"] "Maybe") [ tipe ]
129−
130−
131−builtin :: String -> Type.Canonical
132−builtin name =
133− Type.Type (Var.builtin name)
104+core :: [String] -> String -> Type.Canonical
105+core home name =
106+ Type.Type (Var.inCore home name)
134107
135108