{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE StandaloneDeriving #-}
module AERN2.MP.WithCurrentPrec
(
WithCurrentPrec(..), runWithPrec, HasCurrentPrecision(..)
, WithAnyPrec(..)
, mpBallCP
, piCP
)
where
import AERN2.MP.WithCurrentPrec.Type
import AERN2.MP.WithCurrentPrec.Comparisons ()
import AERN2.MP.WithCurrentPrec.Field ()
import AERN2.MP.WithCurrentPrec.Elementary (piCP)
import AERN2.MP.WithCurrentPrec.PreludeInstances ()