on master help sign in
Add type hints for (<~) and (~).
commitc2acf71b1af427ad93f77a45a2d35e22d79ffe09 authorEvan Czaplicki <info@elm-lang.org> dateFri 14 Dec 2012, 19:59 (14 years ago) parent22a6362
1 file changed+4−3
elm/src/Types/Hints.hs+4−3
elm/src/Types/Hints.hs+4−3
@@ -1,4 +1,3 @@
1−
21module Types.Hints (hints) where
32
43import Control.Monad (liftM,mapM)
@@ -151,7 +150,9 @@ signals = prefix "Signal"
151150 [ sig 1 "constant"
152151 , sig 2 "lift"
153152 ] ++ map lyft [2..8] ++ [
154− "foldp" -:: (a ==> b ==> b) ==> b ==> signalOf a ==> signalOf b
153+ "<~" -:: (a ==> b) ==> signalOf a ==> signalOf b
154+ , "~" -:: signalOf (a ==> b) ==> signalOf a ==> signalOf b
155+ , "foldp" -:: (a ==> b ==> b) ==> b ==> signalOf a ==> signalOf b
155156 , "foldp1" -:: (a ==> a ==> a) ==> signalOf a ==> signalOf a
156157 , "foldp'" -:: (a ==> b ==> b) ==> (a ==> b) ==> signalOf a ==> signalOf b
157158 , "count" -:: signalOf a ==> signalOf int
@@ -413,4 +414,4 @@ hints = mapM (\(n,s) -> (,) n `liftM` rescheme s) hs
413414 , graphicsElement, graphicsColor
414415 , concreteSignals, javascript, json, maybeFuncs
415416 , http, dictionary, sets, automaton, times, dates
416− ]
417+ ]