The four main types of law are eternal law, divine law, natural law, and human or positive law.