Flint2-0.1.0.0: src/Data/Number/Flint/Arb/Instances.hs

{-# 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 x = unsafePerformIO $ do
    (_, cs) <- withArb x $ \x -> arb_get_str x 16 arb_str_no_radius
    s <- peekCString cs
    free cs
    return s