doWithFunctionArg :: ? -> Int -> Int -> Int
doWithFunctionArg f a b = f a b
multiply :: Int -> Int -> Int
multiply a b = a * b
main = do
print $ doWithFunctionArg mutiple 7 8
I'm not sure what is the function's type signature. multiply :: Int -> Int -> Int
is the function's type signature for the multiply function right? If yes, how can I write the type signature for the function doWithFunctionArg
? doWithFunctionArg
function has three arguments, "f" is the function type, "a" and "b" are Int
, the result should be the Int
. If I'm right, what should I write in "?"
multiply
is of typeInt -> Int -> Int
, sodoWithFunctionArg
is of typeActually you can call ghci for help: