diff options
Diffstat (limited to 'src/Language.hs')
| -rw-r--r-- | src/Language.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/Language.hs b/src/Language.hs index 7aceee7..a7737e0 100644 --- a/src/Language.hs +++ b/src/Language.hs @@ -8,12 +8,16 @@ module Language ( fromNamed, NExpr, + Ex, module Language, + module AST.Types, + module Data, Lookup, ) where import Array import AST +import AST.Types import CHAD.Types import Data import Language.AST @@ -191,3 +195,6 @@ round_ = oper ORound64 toFloat_ :: NExpr env (TScal TI64) -> NExpr env (TScal TF64) toFloat_ = oper OToFl64 + +idiv :: (KnownScalTy t, ScalIsIntegral t ~ True) => NExpr env (TScal t) -> NExpr env (TScal t) -> NExpr env (TScal t) +idiv = oper2 (OIDiv knownScalTy) |