f788fd0 · elk · git.iko.soy

Add `xor` and `findNumber` to the type hints.

commitf788fd0ec2b4d2f51c76bb575300797e02e4d0de authorevancz <info@elm-lang.org> dateSun 3 Feb 2013, 02:39 (14 years ago) parent984e3b5

1 file changed+3−2

unifiedsplit

elm/src/Types/Hints.hs+3−2

@@ -130,6 +130,7 @@ json = prefix "JSON"

130130 , "findObject" -: string ==> jsonObject ==> jsonObject

131131 , "findArray" -: string ==> jsonObject ==> listOf jsonValue

132132 , "findString" -: string ==> jsonObject ==> string

133+ , "findNumber" -: float ==> jsonObject ==> float

133134 , "findWithDefault" -:: jsonValue ==> string ==> jsonObject ==> jsonValue

134135 , "toPrettyString" -: string ==> jsonObject ==> string

135136 , "toPrettyJSString" -: string ==> jsonObject ==> jsString

@@ -285,7 +286,7 @@ math =

285286

286287bools =

287288 [ "not" -: bool ==> bool ] ++

288− hasType (binop bool) ["&&","||"] ++

289+ hasType (binop bool) ["&&","||","xor"] ++

289290 map (scheme1 comparable (\t -> t ==> t ==> bool)) ["<",">","<=",">="] ++

290291 [ ( "compare"

291292 , Forall [0,1] [ ctx "compare" $ VarT 0 :<: comparable ] (VarT 0 ==> VarT 0 ==> VarT 1) )

@@ -313,7 +314,7 @@ funcs =

313314 , "flip" -:: (a ==> b ==> c) ==> (b ==> a ==> c)

314315 , "." -:: (b ==> c) ==> (a ==> b) ==> (a ==> c)

315316 , "$" -:: (a ==> b) ==> a ==> b

316− , ":" -:: a ==> listOf a ==> listOf a

317+ , ":" -:: a ==> listOf a ==> listOf a

317318 , (,) "++" . Forall [0,1] [ ctx "++" $ VarT 0 :<: appendable (VarT 1) ] $ VarT 0 ==> VarT 0 ==> VarT 0

318319 , "Cons" -:: a ==> listOf a ==> listOf a

319320 , "Nil" -:: listOf a