程序法是一个涵盖广泛的法律领域，它包括了多种法律类型，旨在确保实体法所规定的权利和义务得以实现或行使，以及相应的职权和责任得以履行。程序法的主要类型包括：
民事诉讼法：
规定了民事纠纷的解决程序，保护当事人的诉讼权利，确认民事权利义务关系。
刑事诉讼法：
规定了刑事案件的侦查、起诉、审判和执行程序，确保准确、及时地查明犯罪事实，惩罚犯罪分子，保障无罪的人不受刑事追究。
行政诉讼法：
规定了公民、法人或其他组织认为行政机关的具体行政行为侵犯其合法权益时，可以依法向人民法院提起诉讼的程序。
仲裁法：
规定了平等主体的公民、法人和其他组织之间发生的合同纠纷和其他财产权益纠纷的仲裁程序。
行政复议法：
规定了公民、法人或其他组织认为行政机关的具体行政行为侵犯其合法权益时，可以向上一级行政机关或法律规定的其他机关申请复议的程序。
劳动争议调解仲裁法：
规定了劳动争议的调解和仲裁程序，以解决劳动争议。
农村土地承包经营纠纷调解仲裁法：
规定了农村土地承包经营纠纷的调解和仲裁程序。
立法程序法：
规定了国家立法过程中的程序，如提案、审议、表决等。
选举规则、议事规则 等 非诉讼程序法：
这些规则规定了国家权力机关在行使职权过程中的程序，如选举、决策等。
海事诉讼特别程序法：
规定了海事案件的诉讼程序。
缔结条约程序法：
规定了国家之间缔结条约的程序。
这些法律共同构成了程序法的体系，它们为各种法律程序的顺利进行提供了法律依据和保障。程序法是正确实施实体法的保障，审判活动则是实体法和程序法的综合运用。