Safe Haskell	Safe-Inferred
Language	Haskell2010

Lorentz.CustomArith.Common

Contents

Arithmetic operations
Lorentz casts
Additional Arithmetic operations

Synopsis

div :: forall r n m s. ArithOpHs Div n m r => (n : (m : s)) :-> (r : s)
class LorentzRounding a b where
- round_ :: (a : s) :-> (b : s)
- ceil_ :: (a : s) :-> (b : s)
- floor_ :: (a : s) :-> (b : s)
data Div

Arithmetic operations

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

Methods

round_ :: (a : s) :-> (b : s) Source #

ceil_ :: (a : s) :-> (b : s) Source #

floor_ :: (a : s) :-> (b : s) Source #

Instances

Instances details

(LorentzRational r, Unwrappabled r ~ (a, Natural), ArithOpHs EDiv a Natural (Maybe (a, Natural)), ArithOpHs Add a Natural a, ArithOpHs Add Natural a a) => LorentzRounding r a Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods round_ :: forall (s :: [Type]). (r ': s) :-> (a ': s) Source # ceil_ :: forall (s :: [Type]). (r ': s) :-> (a ': s) Source # floor_ :: forall (s :: [Type]). (r ': s) :-> (a ': s) Source #
(KnownNat a, KnownNat b, b1 ~ b2, LorentzFixedBase b1) => LorentzRounding (Fixed (b1 a)) (Fixed (b2 b)) Source #	Round is implemented using "banker's rounding" strategy, rounding half-way values towards nearest even value
Instance details Defined in Lorentz.CustomArith.FixedArith Methods round_ :: forall (s :: [Type]). (Fixed (b1 a) ': s) :-> (Fixed (b2 b) ': s) Source # ceil_ :: forall (s :: [Type]). (Fixed (b1 a) ': s) :-> (Fixed (b2 b) ': s) Source # floor_ :: forall (s :: [Type]). (Fixed (b1 a) ': s) :-> (Fixed (b2 b) ': s) Source #
(KnownNat a, KnownNat b, b1 ~ b2, LorentzFixedBase b1) => LorentzRounding (NFixed (b1 a)) (NFixed (b2 b)) Source #
Instance details Defined in Lorentz.CustomArith.FixedArith Methods round_ :: forall (s :: [Type]). (NFixed (b1 a) ': s) :-> (NFixed (b2 b) ': s) Source # ceil_ :: forall (s :: [Type]). (NFixed (b1 a) ': s) :-> (NFixed (b2 b) ': s) Source # floor_ :: forall (s :: [Type]). (NFixed (b1 a) ': s) :-> (NFixed (b2 b) ': s) Source #

Additional Arithmetic operations

data Div Source #

Since Michelson doesn't support divide operation, we will use our own to represent divison of Fixed and Rational values

Instances

Instances details

r ~ NRational => ArithOpHs Div NRational NRational r Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (NRational ': (NRational ': s)) :-> (r ': s) Source #
r ~ Rational => ArithOpHs Div NRational Rational r Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (NRational ': (Rational ': s)) :-> (r ': s) Source #
r ~ Rational => ArithOpHs Div NRational Integer r Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (NRational ': (Integer ': s)) :-> (r ': s) Source #
r ~ NRational => ArithOpHs Div NRational Natural r Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (NRational ': (Natural ': s)) :-> (r ': s) Source #
r ~ Rational => ArithOpHs Div Rational NRational r Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (Rational ': (NRational ': s)) :-> (r ': s) Source #
r ~ Rational => ArithOpHs Div Rational Rational r Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (Rational ': (Rational ': s)) :-> (r ': s) Source #
r ~ Rational => ArithOpHs Div Rational Integer r Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (Rational ': (Integer ': s)) :-> (r ': s) Source #
r ~ Rational => ArithOpHs Div Rational Natural r Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (Rational ': (Natural ': s)) :-> (r ': s) Source #
r ~ Rational => ArithOpHs Div Integer NRational r Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (Integer ': (NRational ': s)) :-> (r ': s) Source #
r ~ Rational => ArithOpHs Div Integer Rational r Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (Integer ': (Rational ': s)) :-> (r ': s) Source #
r ~ NRational => ArithOpHs Div Natural NRational r Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (Natural ': (NRational ': s)) :-> (r ': s) Source #
r ~ Rational => ArithOpHs Div Natural Rational r Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (Natural ': (Rational ': s)) :-> (r ': s) Source #
DivIntegralConstraint r b => ArithOpHs Div Integer Integer (Maybe (Fixed (b r))) Source #
Instance details Defined in Lorentz.CustomArith.FixedArith Methods evalArithOpHs :: forall (s :: [Type]). (Integer ': (Integer ': s)) :-> (Maybe (Fixed (b r)) ': s) Source #
ArithOpHs Div Integer Integer (Maybe Rational) Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (Integer ': (Integer ': s)) :-> (Maybe Rational ': s) Source #
DivIntegralConstraint r b => ArithOpHs Div Integer Natural (Maybe (Fixed (b r))) Source #
Instance details Defined in Lorentz.CustomArith.FixedArith Methods evalArithOpHs :: forall (s :: [Type]). (Integer ': (Natural ': s)) :-> (Maybe (Fixed (b r)) ': s) Source #
ArithOpHs Div Integer Natural (Maybe Rational) Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (Integer ': (Natural ': s)) :-> (Maybe Rational ': s) Source #
DivIntegralConstraint r b => ArithOpHs Div Natural Integer (Maybe (Fixed (b r))) Source #
Instance details Defined in Lorentz.CustomArith.FixedArith Methods evalArithOpHs :: forall (s :: [Type]). (Natural ': (Integer ': s)) :-> (Maybe (Fixed (b r)) ': s) Source #
ArithOpHs Div Natural Integer (Maybe Rational) Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (Natural ': (Integer ': s)) :-> (Maybe Rational ': s) Source #
DivIntegralConstraint r b => ArithOpHs Div Natural Natural (Maybe (Fixed (b r))) Source #
Instance details Defined in Lorentz.CustomArith.FixedArith Methods evalArithOpHs :: forall (s :: [Type]). (Natural ': (Natural ': s)) :-> (Maybe (Fixed (b r)) ': s) Source #
DivIntegralConstraint r b => ArithOpHs Div Natural Natural (Maybe (NFixed (b r))) Source #
Instance details Defined in Lorentz.CustomArith.FixedArith Methods evalArithOpHs :: forall (s :: [Type]). (Natural ': (Natural ': s)) :-> (Maybe (NFixed (b r)) ': s) Source #
ArithOpHs Div Natural Natural (Maybe NRational) Source #
Instance details Defined in Lorentz.CustomArith.RationalArith Methods evalArithOpHs :: forall (s :: [Type]). (Natural ': (Natural ': s)) :-> (Maybe NRational ': s) Source #
DivConstraint1 a t r (Fixed :: LorentzFixedBaseKind -> Type) b1 => ArithOpHs Div Integer (Fixed (b1 a)) r Source #
Instance details Defined in Lorentz.CustomArith.FixedArith Methods evalArithOpHs :: forall (s :: [Type]). (Integer ': (Fixed (b1 a) ': s)) :-> (r ': s) Source #
DivConstraint1 a t r (Fixed :: LorentzFixedBaseKind -> Type) b1 => ArithOpHs Div Integer (NFixed (b1 a)) r Source #
Instance details Defined in Lorentz.CustomArith.FixedArith Methods evalArithOpHs :: forall (s :: [Type]). (Integer ': (NFixed (b1 a) ': s)) :-> (r ': s) Source #
DivConstraint1 a t r (Fixed :: LorentzFixedBaseKind -> Type) b1 => ArithOpHs Div Natural (Fixed (b1 a)) r Source #
Instance details Defined in Lorentz.CustomArith.FixedArith Methods evalArithOpHs :: forall (s :: [Type]). (Natural ': (Fixed (b1 a) ': s)) :-> (r ': s) Source #
DivConstraint1 a t r (NFixed :: LorentzFixedBaseKind -> Type) b1 => ArithOpHs Div Natural (NFixed (b1 a)) r Source #
Instance details Defined in Lorentz.CustomArith.FixedArith Methods evalArithOpHs :: forall (s :: [Type]). (Natural ': (NFixed (b1 a) ': s)) :-> (r ': s) Source #
DivConstraint a b t r (Fixed :: LorentzFixedBaseKind -> Type) b1 b2 => ArithOpHs Div (Fixed (b1 a)) (Fixed (b2 b)) r Source #
Instance details Defined in Lorentz.CustomArith.FixedArith Methods evalArithOpHs :: forall (s :: [Type]). (Fixed (b1 a) ': (Fixed (b2 b) ': s)) :-> (r ': s) Source #
DivConstraint a b t r (NFixed :: LorentzFixedBaseKind -> Type) b1 b2 => ArithOpHs Div (NFixed (b1 a)) (NFixed (b2 b)) r Source #
Instance details Defined in Lorentz.CustomArith.FixedArith Methods evalArithOpHs :: forall (s :: [Type]). (NFixed (b1 a) ': (NFixed (b2 b) ': s)) :-> (r ': s) Source #