packages feed

lawz-0.0.1: src/Test/Function.hs

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