正确答案是：A: 创建一个全为1的数组。

专业分析：

`numpy.ones`函数是NumPy库中的一个函数，用于创建一个指定形状的数组，并用1填充所有元素。这个函数对于需要初始化一个数组并且所有值都为1的场景非常有用。

- 选项A正确，因为`numpy.ones`确实用于创建一个全为1的数组。
- 选项B错误，因为创建一个对角线为1的数组应该使用`numpy.eye`或`numpy.identity`函数。
- 选项C错误，因为创建一个随机数的数组应使用`numpy.random`模块中的函数，如`numpy.random.rand`或`numpy.random.randn`。
- 选项D错误，因为创建一个边缘为1的数组不是`numpy.ones`的功能。要实现这一功能，可以使用`numpy.pad`结合`numpy.zeros`等函数来手动设置边缘。

因此，`numpy.ones`的作用是创建一个全为1的数组，这与选项A描述一致。