diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-11-09 11:15:06 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-11-09 11:15:06 +0100 |
| commit | 992249ebf159ba3783a9345430013e52294c26aa (patch) | |
| tree | 2d1a8324310aebd60062fdb7d9ba785fe0298d0c /src/Language.hs | |
| parent | cbe6472a14cc0887295034bb29546dd1a1f083fd (diff) | |
Maximum/minimum
Diffstat (limited to 'src/Language.hs')
| -rw-r--r-- | src/Language.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Language.hs b/src/Language.hs index e8dc89f..88cb1de 100644 --- a/src/Language.hs +++ b/src/Language.hs @@ -94,6 +94,12 @@ unit = NEUnit replicate1i :: ScalIsNumeric t ~ True => NExpr env TIx -> NExpr env (TArr n (TScal t)) -> NExpr env (TArr (S n) (TScal t)) replicate1i n a = NEReplicate1Inner n a +maximum1i :: ScalIsNumeric t ~ True => NExpr env (TArr (S n) (TScal t)) -> NExpr env (TArr n (TScal t)) +maximum1i e = NEMaximum1Inner e + +minimum1i :: ScalIsNumeric t ~ True => NExpr env (TArr (S n) (TScal t)) -> NExpr env (TArr n (TScal t)) +minimum1i e = NEMinimum1Inner e + const_ :: KnownScalTy t => ScalRep t -> NExpr env (TScal t) const_ x = let ty = knownScalTy |