@@ -1,4 +1,3 @@
2module Types.Hints (hints) where
1module Types.Hints (hints) where
4import Control.Monad (liftM,mapM)
3import Control.Monad (liftM,mapM)
@@ -151,7 +150,9 @@ signals = prefix "Signal"
151 [ sig 1 "constant"
150 [ sig 1 "constant"
152 , sig 2 "lift"
151 , sig 2 "lift"
153 ] ++ map lyft [2..8] ++ [
152 ] ++ map lyft [2..8] ++ [
153+ "<~" -:: (a ==> b) ==> signalOf a ==> signalOf b
154+ , "~" -:: signalOf (a ==> b) ==> signalOf a ==> signalOf b
154− "foldp" -:: (a ==> b ==> b) ==> b ==> signalOf a ==> signalOf b
155+ , "foldp" -:: (a ==> b ==> b) ==> b ==> signalOf a ==> signalOf b
155 , "foldp1" -:: (a ==> a ==> a) ==> signalOf a ==> signalOf a
156 , "foldp1" -:: (a ==> a ==> a) ==> signalOf a ==> signalOf a
156 , "foldp'" -:: (a ==> b ==> b) ==> (a ==> b) ==> signalOf a ==> signalOf b
157 , "foldp'" -:: (a ==> b ==> b) ==> (a ==> b) ==> signalOf a ==> signalOf b
157 , "count" -:: signalOf a ==> signalOf int
158 , "count" -:: signalOf a ==> signalOf int
@@ -413,4 +414,4 @@ hints = mapM (\(n,s) -> (,) n `liftM` rescheme s) hs
413 , graphicsElement, graphicsColor
414 , graphicsElement, graphicsColor
414 , concreteSignals, javascript, json, maybeFuncs
415 , concreteSignals, javascript, json, maybeFuncs
415 , http, dictionary, sets, automaton, times, dates
416 , http, dictionary, sets, automaton, times, dates