module Lorentz.CustomArith.Common
(
div
, LorentzRounding (..)
, Div
) where
import Prelude hiding (div)
import Lorentz.Arith
import Lorentz.Base
data Div
div
:: forall r n m s. ArithOpHs Div n m r
=> n : m : s :-> r : s
div :: forall r n m (s :: [*]).
ArithOpHs Div n m r =>
(n : m : s) :-> (r : s)
div = forall aop n m r (s :: [*]).
ArithOpHs aop n m r =>
(n : m : s) :-> (r : s)
evalArithOpHs @Div
class LorentzRounding a b where
round_ :: a : s :-> b : s
ceil_ :: a : s :-> b : s
floor_ :: a : s :-> b : s