Iglesia de San Pedro, Monesterio