Effective module lattices and their shortest vectors