Type signature
Jump to navigation
Jump to search
A type signature is a line like
inc :: Num a => a -> a
that tells, what is the type of a variable.
In the example inc
is the variable and Num a => a -> a
is its type,
namely a function type.
It is considered good style to add a type signature to every top-level variable.