Category.hs

module Spec.Category (testCategory, testCommutativeCategory) where

import Hedgehog.Classes

testCategory :: [(String, [Laws])]
testCategory = []

testCommutativeCategory :: [(String, [Laws])]
testCommutativeCategory = []