module Test.Function (module Export) where

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