{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# OPTIONS_GHC -Wno-orphans #-}
module AERN2.MP.WithCurrentPrec
(
WithCurrentPrec(..), runWithPrec
, WithAnyPrec(..)
, cnmpBallCP
, piCP
)
where
import MixedTypesNumPrelude
import GHC.TypeNats
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.Limit ()
import AERN2.MP.WithCurrentPrec.PreludeInstances ()
import AERN2.MP.Ball
instance (KnownNat p) => Ring (WithCurrentPrec p (CN MPBall))
instance (KnownNat p) => Field (WithCurrentPrec p (CN MPBall))
instance (KnownNat p) => OrderedRing (WithCurrentPrec p (CN MPBall))
instance (KnownNat p) => OrderedField (WithCurrentPrec p (CN MPBall))