Safe Haskell	None
Language	GHC2024

Data.Units.NonSI.Frequency

Synopsis

newtype Tet (b :: Nat) (offs :: ZZ) a = Tet a
type MidiPitch = Tet 12 ('Neg 6900)
data PitchException = OutOfMidiRange
safeDecomposePitchCents :: forall a (b :: Nat) (offs :: ZZ). Real a => Tet b offs a -> Maybe (Word8, a)
decomposePitchCents :: forall a (b :: Nat) (offs :: ZZ). Real a => Tet b offs a -> (Word8, a)

Documentation

newtype Tet (b :: Nat) (offs :: ZZ) a Source #

Frequency in Tone Equal Temperament.

Constructors

Tet a

Instances

Instances details

IsUnit (Tet b offs) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

Associated Types

type DimOf (Tet b offs)
Instance details Defined in Data.Units.NonSI.Frequency type DimOf (Tet b offs) = Time .^- 1

(KnownNat b, KnownInt offs) => ShowUnit (Tet b offs) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

Associated Types

type ShowUnitType (Tet b offs)
Instance details Defined in Data.Units.NonSI.Frequency type ShowUnitType (Tet b offs) = ((('Text "tet{b=" ':<>: 'ShowType b) ':<>: 'Text ",offs=") ':<>: 'ShowType offs) ':<>: 'Text "}"

Methods

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

(Floating a, KnownNat b, KnownInt offs) => ConvertibleUnit (Tet b offs) a Source #

Instance details

Defined in Data.Units.NonSI.Frequency

Methods

toBaseUnit :: Tet b offs a -> BaseUnitOf (Tet b offs) a Source #

fromBaseUnit :: BaseUnitOf (Tet b offs) a -> Tet b offs a Source #

Floating a => Floating (Tet b offs a) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

Methods

pi :: Tet b offs a #

exp :: Tet b offs a -> Tet b offs a #

log :: Tet b offs a -> Tet b offs a #

sqrt :: Tet b offs a -> Tet b offs a #

(**) :: Tet b offs a -> Tet b offs a -> Tet b offs a #

logBase :: Tet b offs a -> Tet b offs a -> Tet b offs a #

sin :: Tet b offs a -> Tet b offs a #

cos :: Tet b offs a -> Tet b offs a #

tan :: Tet b offs a -> Tet b offs a #

asin :: Tet b offs a -> Tet b offs a #

acos :: Tet b offs a -> Tet b offs a #

atan :: Tet b offs a -> Tet b offs a #

sinh :: Tet b offs a -> Tet b offs a #

cosh :: Tet b offs a -> Tet b offs a #

tanh :: Tet b offs a -> Tet b offs a #

asinh :: Tet b offs a -> Tet b offs a #

acosh :: Tet b offs a -> Tet b offs a #

atanh :: Tet b offs a -> Tet b offs a #

log1p :: Tet b offs a -> Tet b offs a #

expm1 :: Tet b offs a -> Tet b offs a #

log1pexp :: Tet b offs a -> Tet b offs a #

log1mexp :: Tet b offs a -> Tet b offs a #

RealFloat a => RealFloat (Tet b offs a) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

Methods

floatRadix :: Tet b offs a -> Integer #

floatDigits :: Tet b offs a -> Int #

floatRange :: Tet b offs a -> (Int, Int) #

decodeFloat :: Tet b offs a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Tet b offs a #

exponent :: Tet b offs a -> Int #

significand :: Tet b offs a -> Tet b offs a #

scaleFloat :: Int -> Tet b offs a -> Tet b offs a #

isNaN :: Tet b offs a -> Bool #

isInfinite :: Tet b offs a -> Bool #

isDenormalized :: Tet b offs a -> Bool #

isNegativeZero :: Tet b offs a -> Bool #

isIEEE :: Tet b offs a -> Bool #

atan2 :: Tet b offs a -> Tet b offs a -> Tet b offs a #

Num a => Num (Tet b offs a) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

Methods

(+) :: Tet b offs a -> Tet b offs a -> Tet b offs a #

(-) :: Tet b offs a -> Tet b offs a -> Tet b offs a #

(*) :: Tet b offs a -> Tet b offs a -> Tet b offs a #

negate :: Tet b offs a -> Tet b offs a #

abs :: Tet b offs a -> Tet b offs a #

signum :: Tet b offs a -> Tet b offs a #

fromInteger :: Integer -> Tet b offs a #

Fractional a => Fractional (Tet b offs a) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

Methods

(/) :: Tet b offs a -> Tet b offs a -> Tet b offs a #

recip :: Tet b offs a -> Tet b offs a #

fromRational :: Rational -> Tet b offs a #

Real a => Real (Tet b offs a) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

Methods

toRational :: Tet b offs a -> Rational #

RealFrac a => RealFrac (Tet b offs a) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

Methods

properFraction :: Integral b0 => Tet b offs a -> (b0, Tet b offs a) #

truncate :: Integral b0 => Tet b offs a -> b0 #

round :: Integral b0 => Tet b offs a -> b0 #

ceiling :: Integral b0 => Tet b offs a -> b0 #

floor :: Integral b0 => Tet b offs a -> b0 #

Show a => Show (Tet b offs a) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

Methods

showsPrec :: Int -> Tet b offs a -> ShowS #

show :: Tet b offs a -> String #

showList :: [Tet b offs a] -> ShowS #

Eq a => Eq (Tet b offs a) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

Methods

(==) :: Tet b offs a -> Tet b offs a -> Bool #

(/=) :: Tet b offs a -> Tet b offs a -> Bool #

Ord a => Ord (Tet b offs a) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

Methods

compare :: Tet b offs a -> Tet b offs a -> Ordering #

(<) :: Tet b offs a -> Tet b offs a -> Bool #

(<=) :: Tet b offs a -> Tet b offs a -> Bool #

(>) :: Tet b offs a -> Tet b offs a -> Bool #

(>=) :: Tet b offs a -> Tet b offs a -> Bool #

max :: Tet b offs a -> Tet b offs a -> Tet b offs a #

min :: Tet b offs a -> Tet b offs a -> Tet b offs a #

type DimOf (Tet b offs) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

type DimOf (Tet b offs) = Time .^- 1

type ShowUnitType (Tet b offs) Source #

Instance details

Defined in Data.Units.NonSI.Frequency

type ShowUnitType (Tet b offs) = ((('Text "tet{b=" ':<>: 'ShowType b) ':<>: 'Text ",offs=") ':<>: 'ShowType offs) ':<>: 'Text "}"

type MidiPitch = Tet 12 ('Neg 6900) Source #

data PitchException Source #

Constructors

OutOfMidiRange

Instances

Instances details

Exception PitchException Source #
Instance details Defined in Data.Units.NonSI.Frequency Methods toException :: PitchException -> SomeException # fromException :: SomeException -> Maybe PitchException # displayException :: PitchException -> String # backtraceDesired :: PitchException -> Bool #
Show PitchException Source #
Instance details Defined in Data.Units.NonSI.Frequency Methods showsPrec :: Int -> PitchException -> ShowS # show :: PitchException -> String # showList :: [PitchException] -> ShowS #

safeDecomposePitchCents :: forall a (b :: Nat) (offs :: ZZ). Real a => Tet b offs a -> Maybe (Word8, a) Source #

decomposePitchCents :: forall a (b :: Nat) (offs :: ZZ). Real a => Tet b offs a -> (Word8, a) Source #