r ~ NRational => ArithOpHs Div NRational NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Div NRational Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Div NRational Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ NRational => ArithOpHs Div NRational Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Div Rational NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Div Rational Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Div Rational Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Div Rational Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Div Integer NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Div Integer Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ NRational => ArithOpHs Div Natural NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Div Natural Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
(ArithOpHs EDiv n d (Maybe (q, r)), mq ~ Maybe q, KnownValue q) => ArithOpHs IDiv n d mq Source # | |
Instance detailsDefined in Lorentz.Macro |
(ArithOpHs EDiv n d (Maybe (q, r)), mr ~ Maybe r, KnownValue r) => ArithOpHs IMod n d mr Source # | |
Instance detailsDefined in Lorentz.Macro |
r ~ NRational => ArithOpHs Add NRational NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Add NRational Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Add NRational Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ NRational => ArithOpHs Add NRational Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Add Rational NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Add Rational Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Add Rational Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Add Rational Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Mutez => ArithOpHs Add Mutez Mutez r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Timestamp => ArithOpHs Add Timestamp Integer r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bls12381Fr => ArithOpHs Add Bls12381Fr Bls12381Fr r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bls12381G1 => ArithOpHs Add Bls12381G1 Bls12381G1 r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bls12381G2 => ArithOpHs Add Bls12381G2 Bls12381G2 r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Rational => ArithOpHs Add Integer NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Add Integer Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Timestamp => ArithOpHs Add Integer Timestamp r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Integer => ArithOpHs Add Integer Integer r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Integer => ArithOpHs Add Integer Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ NRational => ArithOpHs Add Natural NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Add Natural Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Integer => ArithOpHs Add Natural Integer r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Natural => ArithOpHs Add Natural Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Natural => ArithOpHs And Integer Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Natural => ArithOpHs And Natural Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bool => ArithOpHs And Bool Bool r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Maybe (Natural, Mutez) => ArithOpHs EDiv Mutez Mutez r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Maybe (Mutez, Mutez) => ArithOpHs EDiv Mutez Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Maybe (Integer, Natural) => ArithOpHs EDiv Integer Integer r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Maybe (Integer, Natural) => ArithOpHs EDiv Integer Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Maybe (Integer, Natural) => ArithOpHs EDiv Natural Integer r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Maybe (Natural, Natural) => ArithOpHs EDiv Natural Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Natural => ArithOpHs Lsl Natural Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Natural => ArithOpHs Lsr Natural Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ NRational => ArithOpHs Mul NRational NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Mul NRational Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Mul NRational Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ NRational => ArithOpHs Mul NRational Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Mul Rational NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Mul Rational Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Mul Rational Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Mul Rational Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Mutez => ArithOpHs Mul Mutez Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bls12381Fr => ArithOpHs Mul Bls12381Fr Bls12381Fr r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bls12381G1 => ArithOpHs Mul Bls12381Fr Bls12381G1 r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bls12381G2 => ArithOpHs Mul Bls12381Fr Bls12381G2 r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bls12381Fr => ArithOpHs Mul Bls12381Fr Integer r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bls12381Fr => ArithOpHs Mul Bls12381Fr Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bls12381G1 => ArithOpHs Mul Bls12381G1 Bls12381Fr r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bls12381G2 => ArithOpHs Mul Bls12381G2 Bls12381Fr r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Rational => ArithOpHs Mul Integer NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Mul Integer Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Bls12381Fr => ArithOpHs Mul Integer Bls12381Fr r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Integer => ArithOpHs Mul Integer Integer r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Integer => ArithOpHs Mul Integer Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ NRational => ArithOpHs Mul Natural NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Mul Natural Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Mutez => ArithOpHs Mul Natural Mutez r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bls12381Fr => ArithOpHs Mul Natural Bls12381Fr r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Integer => ArithOpHs Mul Natural Integer r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Natural => ArithOpHs Mul Natural Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Natural => ArithOpHs Or Natural Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bool => ArithOpHs Or Bool Bool r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Rational => ArithOpHs Sub NRational NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Sub NRational Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Sub NRational Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Sub NRational Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Sub Rational NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Sub Rational Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Sub Rational Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Sub Rational Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Integer => ArithOpHs Sub Timestamp Timestamp r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Timestamp => ArithOpHs Sub Timestamp Integer r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Rational => ArithOpHs Sub Integer NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Sub Integer Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Integer => ArithOpHs Sub Integer Integer r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Integer => ArithOpHs Sub Integer Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Rational => ArithOpHs Sub Natural NRational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Rational => ArithOpHs Sub Natural Rational r Source # | |
Instance detailsDefined in Lorentz.CustomArith.RationalArith |
r ~ Integer => ArithOpHs Sub Natural Integer r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Integer => ArithOpHs Sub Natural Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Natural => ArithOpHs Xor Natural Natural r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Bool => ArithOpHs Xor Bool Bool r Source # | |
Instance detailsDefined in Lorentz.Arith |
r ~ Fixed p => ArithOpHs Add Integer (Fixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Add Integer (NFixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Add Natural (Fixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ NFixed p => ArithOpHs Add Natural (NFixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Mul Integer (Fixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Mul Integer (NFixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Mul Natural (Fixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ NFixed p => ArithOpHs Mul Natural (NFixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Sub Integer (Fixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Sub Integer (NFixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Sub Natural (Fixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Sub Natural (NFixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Add (Fixed p) Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Add (Fixed p) Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Add (NFixed p) Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ NFixed p => ArithOpHs Add (NFixed p) Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
(r ~ Maybe (Integer, NFixed (BinBase a)), KnownNat a) => ArithOpHs EDiv (Fixed (BinBase a)) Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
(r ~ Maybe (Integer, NFixed (BinBase a)), KnownNat a) => ArithOpHs EDiv (Fixed (BinBase a)) Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
(r ~ Maybe (Integer, NFixed (DecBase a)), KnownNat a) => ArithOpHs EDiv (Fixed (DecBase a)) Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
(r ~ Maybe (Integer, NFixed (DecBase a)), KnownNat a) => ArithOpHs EDiv (Fixed (DecBase a)) Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
(r ~ Maybe (Integer, NFixed (BinBase a)), KnownNat a) => ArithOpHs EDiv (NFixed (BinBase a)) Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
(r ~ Maybe (Natural, NFixed (BinBase a)), KnownNat a) => ArithOpHs EDiv (NFixed (BinBase a)) Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
(r ~ Maybe (Integer, NFixed (DecBase a)), KnownNat a) => ArithOpHs EDiv (NFixed (DecBase a)) Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
(r ~ Maybe (Natural, NFixed (DecBase a)), KnownNat a) => ArithOpHs EDiv (NFixed (DecBase a)) Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ NFixed (BinBase b) => ArithOpHs Lsl (NFixed (BinBase a)) Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ NFixed (BinBase b) => ArithOpHs Lsr (NFixed (BinBase a)) Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Mul (Fixed p) Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Mul (Fixed p) Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Mul (NFixed p) Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ NFixed p => ArithOpHs Mul (NFixed p) Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Sub (Fixed p) Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Sub (Fixed p) Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Sub (NFixed p) Integer r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Sub (NFixed p) Natural r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Add (Fixed p) (Fixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Add (Fixed p) (NFixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Add (NFixed p) (Fixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ NFixed p => ArithOpHs Add (NFixed p) (NFixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Sub (Fixed p) (Fixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Sub (Fixed p) (NFixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Sub (NFixed p) (Fixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ Fixed p => ArithOpHs Sub (NFixed p) (NFixed p) r Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
(KnownNat a, KnownNat b, KnownNat r) => ArithOpHs Div (Fixed (BinBase a)) (Fixed (BinBase b)) (Maybe (Fixed (BinBase r))) Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
(KnownNat a, KnownNat b, KnownNat r) => ArithOpHs Div (Fixed (DecBase a)) (Fixed (DecBase b)) (Maybe (Fixed (DecBase r))) Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
(KnownNat a, KnownNat b, KnownNat r) => ArithOpHs Div (NFixed (BinBase a)) (NFixed (BinBase b)) (Maybe (NFixed (BinBase r))) Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
(KnownNat a, KnownNat b, KnownNat r) => ArithOpHs Div (NFixed (DecBase a)) (NFixed (DecBase b)) (Maybe (NFixed (DecBase r))) Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ (a + b) => ArithOpHs Mul (Fixed (BinBase a)) (Fixed (BinBase b)) (Fixed (BinBase r)) Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ (a + b) => ArithOpHs Mul (Fixed (BinBase a)) (NFixed (BinBase b)) (Fixed (BinBase r)) Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ (a + b) => ArithOpHs Mul (Fixed (DecBase a)) (Fixed (DecBase b)) (Fixed (DecBase r)) Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ (a + b) => ArithOpHs Mul (Fixed (DecBase a)) (NFixed (DecBase b)) (Fixed (DecBase r)) Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ (a + b) => ArithOpHs Mul (NFixed (BinBase a)) (Fixed (BinBase b)) (Fixed (BinBase r)) Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ (a + b) => ArithOpHs Mul (NFixed (BinBase a)) (NFixed (BinBase b)) (NFixed (BinBase r)) Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ (a + b) => ArithOpHs Mul (NFixed (DecBase a)) (Fixed (DecBase b)) (Fixed (DecBase r)) Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |
r ~ (a + b) => ArithOpHs Mul (NFixed (DecBase a)) (NFixed (DecBase b)) (NFixed (DecBase r)) Source # | |
Instance detailsDefined in Lorentz.CustomArith.FixedArith |