From dc61318a22e3492774ab6f6345c9a369222ef2f6 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 11 Nov 2025 23:56:47 +0100 Subject: User-facing API suggestion --- src/CHAD/AST.hs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/CHAD/AST.hs') diff --git a/src/CHAD/AST.hs b/src/CHAD/AST.hs index 2f4b5c2..be7f95e 100644 --- a/src/CHAD/AST.hs +++ b/src/CHAD/AST.hs @@ -139,6 +139,9 @@ data Expr x env t where EError :: x a -> STy a -> String -> Expr x env a deriving instance (forall ty. Show (x ty)) => Show (Expr x env t) +-- | A (well-typed, well-scoped) expression using De Bruijn indices. The full +-- 'Expr' type is parametrised on an indexed type of "additional info" (@x@); +-- 'Ex' sets this to nothing. type Ex = Expr (Const ()) ext :: Const () a -- cgit v1.2.3-70-g09d2