From 20f7d7be13cd7869b338f98d1ab3fd33e8bbfb3e Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Thu, 27 Nov 2025 21:30:17 +0100
Subject: WIP user-specified custom types

The big roadblock encountered is that accumulation wants addition of
monoids to be elementwise float addition; this fundamentally clashes
with the concept of a user type with a custom zero and plus.
---
 src/CHAD/AST/Types/Ty.hs | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 src/CHAD/AST/Types/Ty.hs

(limited to 'src/CHAD/AST/Types')

diff --git a/src/CHAD/AST/Types/Ty.hs b/src/CHAD/AST/Types/Ty.hs
new file mode 100644
index 0000000..cee03be
--- /dev/null
+++ b/src/CHAD/AST/Types/Ty.hs
@@ -0,0 +1,20 @@
+{-# LANGUAGE TypeData #-}
+module CHAD.AST.Types.Ty where
+
+import Data.Kind (Type)
+
+import CHAD.Data (Nat)
+
+
+type data Ty
+  = TNil
+  | TPair Ty Ty
+  | TEither Ty Ty
+  | TLEither Ty Ty
+  | TMaybe Ty
+  | TArr Nat Ty  -- ^ rank, element type
+  | TScal ScalTy
+  | TAccum Ty  -- ^ contained type must be a monoid type
+  | TUser Type
+
+type data ScalTy = TI32 | TI64 | TF32 | TF64 | TBool
-- 
cgit v1.2.3-70-g09d2