Hello I have a basic question.
Why is “not” definded as followed:
not :: Bool → Bool
and not
not :: Bool
Thanks for your replay
Hello I have a basic question.
Why is “not” definded as followed:
not :: Bool → Bool
and not
not :: Bool
Thanks for your replay
The not
function implements boolean negation, which is a function from one input boolean to one output boolean. So, it has to have the type Bool -> Bool
. Maybe you are confusing it with the boolean False :: Bool
?
All right I didn`t chatch the point that “not” is a funtion.
Thanks a lot