Let V be a complete discrete valuation ring of mixed characteristic. We classify arithmetic D-modules on Spf(V[[t]]) up to certain kind of 'analytic isomorphism'. This result is used to construct canonical extensions (in the sense of Katz and Gabber) for objects of this category.