{-# LANGUAGE TypeOperators #-}
module Test.Fun
(
(:->)()
, applyFun
, applyFun2
, applyFun3
, shrinkFun
, showsPrecFun
, indent
, ShowsPrec
, Co
, cogenEmbed
, cogenIntegral
, cogenIntegral'
, cogenFun
, Concrete(..)
, FunName
, TypeName
, cogenGeneric
, (:+)(..)
, cogenList
, cogenConst
, cogenApply
, CoArbitrary(..)
, coarbitraryGeneric
, GCoGen()
, GCoArbitrary()
, GSumCo
) where
import Test.Fun.Internal.Types
((:->), applyFun, applyFun2, applyFun3, Concrete(..), ShowsPrec, FunName, TypeName)
import Test.Fun.Internal.CoGen
import Test.Fun.Internal.Generic
import Test.Fun.Internal.Pretty (showsPrecFun, indent)
import Test.Fun.Internal.Shrink (shrinkFun)
import Test.Fun.Internal.Orphan ()