From 992249ebf159ba3783a9345430013e52294c26aa Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sat, 9 Nov 2024 11:15:06 +0100 Subject: Maximum/minimum --- src/Language/AST.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/Language/AST.hs') diff --git a/src/Language/AST.hs b/src/Language/AST.hs index f5203e9..4194913 100644 --- a/src/Language/AST.hs +++ b/src/Language/AST.hs @@ -49,6 +49,8 @@ data NExpr env t where NESum1Inner :: ScalIsNumeric t ~ True => NExpr env (TArr (S n) (TScal t)) -> NExpr env (TArr n (TScal t)) NEUnit :: NExpr env t -> NExpr env (TArr Z t) NEReplicate1Inner :: NExpr env TIx -> NExpr env (TArr n t) -> NExpr env (TArr (S n) t) + NEMaximum1Inner :: ScalIsNumeric t ~ True => NExpr env (TArr (S n) (TScal t)) -> NExpr env (TArr n (TScal t)) + NEMinimum1Inner :: ScalIsNumeric t ~ True => NExpr env (TArr (S n) (TScal t)) -> NExpr env (TArr n (TScal t)) -- expression operations NEConst :: Show (ScalRep t) => SScalTy t -> ScalRep t -> NExpr env (TScal t) @@ -157,6 +159,8 @@ fromNamedExpr val = \case NESum1Inner e -> ESum1Inner ext (go e) NEUnit e -> EUnit ext (go e) NEReplicate1Inner a b -> EReplicate1Inner ext (go a) (go b) + NEMaximum1Inner e -> EMaximum1Inner ext (go e) + NEMinimum1Inner e -> EMinimum1Inner ext (go e) NEConst t x -> EConst ext t x NEIdx0 e -> EIdx0 ext (go e) -- cgit v1.2.3-70-g09d2