module Numeric.VariablePrecision.Precision
( HasPrecision(precisionOf)
, precision
, atPrecision
, atPrecisionOf
, (.@)
, VariablePrecision(adjustPrecision)
, auto
, withPrecision
, withPrecisionOf
, (.@~)
, module TypeLevel.NaturalNumber
, module Data.Word
) where
import TypeLevel.NaturalNumber
( NaturalNumber(..), Zero, SuccessorTo, n0, successorTo )
import Data.Word (Word)
class HasPrecision t where
precisionOf :: NaturalNumber p => t p -> p
precisionOf _ = undefined
precision :: (NaturalNumber p, HasPrecision t) => t p -> Word
precision = fromIntegral . naturalNumberAsInt . precisionOf
atPrecision :: (NaturalNumber p, HasPrecision t) => t p -> p -> t p
atPrecision = const
atPrecisionOf :: (HasPrecision t, HasPrecision s) => t p -> s p -> t p
atPrecisionOf = const
infixl 5 `atPrecisionOf`
(.@) :: (HasPrecision t , HasPrecision s) => t p -> s p -> t p
(.@) = atPrecisionOf
infixl 5 .@
class HasPrecision t => VariablePrecision t where
adjustPrecision :: (NaturalNumber p, NaturalNumber q) => t p -> t q
auto :: (VariablePrecision t, NaturalNumber p, NaturalNumber q) => t p -> t q
auto = adjustPrecision
withPrecision :: (NaturalNumber p, NaturalNumber q, VariablePrecision t) => t p -> q -> t q
withPrecision s q = adjustPrecision s `atPrecision` q
withPrecisionOf :: (NaturalNumber p, NaturalNumber q, VariablePrecision t, HasPrecision s) => t p -> s q -> t q
withPrecisionOf s w = s `withPrecision` precisionOf w
infixl 5 `withPrecisionOf`
(.@~) :: (NaturalNumber p, NaturalNumber q, VariablePrecision t, HasPrecision s) => t p -> s q -> t q
(.@~) = withPrecisionOf
infixl 5 .@~