yogsototh/elm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add Comparable super-type, along with compare function.

Browse source
This commit is contained in:
evancz 2012-07-28 20:36:29 +02:00
parent b89d822de8
commit b5c941349f
2 changed files with 8 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
elm/src/Types/Hints.hs
View file

@ -128,8 +128,9 @@ concreteSignals =
-------- Math and Binops --------
binop t = t ==> t ==> t
numScheme t name = (name, Forall [0] [VarT 0 :<: number] (t (VarT 0)))
timeScheme name t = (name, Forall [0] [VarT 0 :<: time] (t (VarT 0)))
scheme1 super t name = (name, Forall [0] [VarT 0 :<: super] (t (VarT 0)))
numScheme t name = scheme1 number t name
timeScheme name t = scheme1 time t name
twoNums f name =
(,) name . Forall [0,1] [ VarT 0 :<: number, VarT 1 :<: number ] $
f (VarT 0) (VarT 1)
@ -148,8 +149,10 @@ math =
bools =
[ "not" -: bool ==> bool ] ++
hasType (binop bool) ["&&","||"] ++
map (numScheme (\n -> n ==> n ==> bool)) ["<",">","<=",">="]
map (scheme1 comparable (\t -> t ==> t ==> bool)) ["<",">","<=",">="] ++
[ ( "compare"
, Forall [0,1] [ VarT 0 :<: comparable ] (VarT 0 ==> VarT 0 ==> VarT 1) )
]
-------- Polymorphic Functions --------

1
elm/src/Types/Types.hs
View file

@ -50,6 +50,7 @@ maybeOf t = ADT "Maybe" [t]
pairOf t = tupleOf [t,t]
point = pairOf int
appendable t = SuperType "Appendable" (Set.fromList [ string, text, listOf t ])
comparable = SuperType "Comparable" (Set.fromList [ int, float, char, string, tipe "Number", tipe "Time" ])
jsBool = tipe "JSBool"
jsNumber = tipe "JSNumber"