Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- div :: forall r n m s. ArithOpHs Div n m r => (n ': (m ': s)) :-> (r ': s)
- castNFixedToFixed :: (NFixed p ': s) :-> (Fixed p ': s)
- castFixedToNFixed :: (Fixed p ': s) :-> (Maybe (NFixed p) ': s)
- class LorentzRounding a b where
- class LorentzFixedCast a where
Lorentz instructions
div :: forall r n m s. ArithOpHs Div n m r => (n ': (m ': s)) :-> (r ': s) Source #
Operation that represents division of two values with a given result
Lorentz casts
class LorentzRounding a b where Source #
Class that enables support of rounding operations for Lorentz non-integer values Note: Round is implemented using "banker's rounding" strategy, rounding half-way values towards nearest even value
Instances
(KnownNat a, KnownNat b) => LorentzRounding (Fixed (BinBase a)) (Fixed (BinBase b)) Source # | |
Defined in Lorentz.FixedArith | |
(KnownNat a, KnownNat b) => LorentzRounding (Fixed (DecBase a)) (Fixed (DecBase b)) Source # | |
Defined in Lorentz.FixedArith | |
(KnownNat a, KnownNat b) => LorentzRounding (NFixed (BinBase a)) (NFixed (BinBase b)) Source # | |
Defined in Lorentz.FixedArith | |
LorentzRounding (Fixed (DecBase a)) (Fixed (DecBase b)) => LorentzRounding (NFixed (DecBase a)) (NFixed (DecBase b)) Source # | |
Defined in Lorentz.FixedArith |
class LorentzFixedCast a where Source #
Class that allows casting Fixed
values to Integer in vice versa
Instances
KnownNat a => LorentzFixedCast (Fixed (BinBase a)) Source # | |
KnownNat a => LorentzFixedCast (Fixed (DecBase a)) Source # | |
LorentzFixedCast (Fixed a) => LorentzFixedCast (NFixed a) Source # | |
Orphan instances
(r ~ Maybe (Integer, NFixed (BinBase a)), KnownNat a) => ArithOpHs EDiv (Fixed (BinBase a)) Natural r Source # | |
(r ~ Maybe (Integer, NFixed (BinBase a)), KnownNat a) => ArithOpHs EDiv (Fixed (BinBase a)) Integer r Source # | |
(r ~ Maybe (Integer, NFixed (DecBase a)), KnownNat a) => ArithOpHs EDiv (Fixed (DecBase a)) Natural r Source # | |
(r ~ Maybe (Integer, NFixed (DecBase a)), KnownNat a) => ArithOpHs EDiv (Fixed (DecBase a)) Integer r Source # | |
(r ~ Maybe (Natural, NFixed (BinBase a)), KnownNat a) => ArithOpHs EDiv (NFixed (BinBase a)) Natural r Source # | |
(r ~ Maybe (Integer, NFixed (BinBase a)), KnownNat a) => ArithOpHs EDiv (NFixed (BinBase a)) Integer r Source # | |
(r ~ Maybe (Natural, NFixed (DecBase a)), KnownNat a) => ArithOpHs EDiv (NFixed (DecBase a)) Natural r Source # | |
(r ~ Maybe (Integer, NFixed (DecBase a)), KnownNat a) => ArithOpHs EDiv (NFixed (DecBase a)) Integer r Source # | |