{-# OPTIONS_HADDOCK hide, prune, ignore-exports #-} module Data.Number.Flint.Arb.Instances where import Test.QuickCheck import System.IO.Unsafe import Foreign.C.String import Foreign.Marshal.Alloc ( free ) import Data.Number.Flint.Arb instance Show Arb where show :: Arb -> String show Arb x = forall a. IO a -> a unsafePerformIO forall a b. (a -> b) -> a -> b $ do (Arb _, CString cs) <- forall {a}. Arb -> (Ptr CArb -> IO a) -> IO (Arb, a) withArb Arb x forall a b. (a -> b) -> a -> b $ \Ptr CArb x -> Ptr CArb -> CLong -> ArbStrOption -> IO CString arb_get_str Ptr CArb x CLong 16 ArbStrOption arb_str_no_radius String s <- CString -> IO String peekCString CString cs forall a. Ptr a -> IO () free CString cs forall (m :: * -> *) a. Monad m => a -> m a return String s