1: \begin{abstract}

2: We establish a framework for the study of the effective theory of weak convergence of measures.  

3: %Uniformly computable sequences of measures that converge weakly are not guaranteed to have a computable limit.

4: %This obstruction suggests that an effective theory of weak convergence of measures needs further study. 

5: We define two effective notions of weak convergence of measures on $\R$: one uniform and one non-uniform. 

6: We show that these notions are equivalent.   By means of this equivalence, we prove an effective version of the Portmanteau Theorem, which consists of multiple equivalent definitions of weak convergence of measures.

7: \end{abstract}

8: