I think edoc can generate all this from dialyzer -type and -callback specs now.