module Test.Property.Function (module Export) where

import Test.Property.Function.Equivalent as Export
import Test.Property.Function.Idempotent as Export
import Test.Property.Function.Injective  as Export
import Test.Property.Function.Invertible as Export
import Test.Property.Function.Monotone   as Export