diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-11-26 17:44:25 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-11-26 17:45:10 +0100 |
| commit | ae634c056b500a568b2d89b7f8e225404a2c0c62 (patch) | |
| tree | ec781b151761974362fe9ca5d7862d6b8892db60 /src/CHAD/AST.hs | |
| parent | b4f07c673b7c710f5861bb84e67233c63336c53d (diff) | |
Diffstat (limited to 'src/CHAD/AST.hs')
| -rw-r--r-- | src/CHAD/AST.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/CHAD/AST.hs b/src/CHAD/AST.hs index be7f95e..ce9eb20 100644 --- a/src/CHAD/AST.hs +++ b/src/CHAD/AST.hs @@ -142,6 +142,11 @@ 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. +-- +-- Construct expressions using the functions in "CHAD.Language". +-- +-- Use 'CHAD.AST.Pretty.pprintExpr' or 'CHAD.AST.Pretty.ppExpr' to inspect +-- expressions. type Ex = Expr (Const ()) ext :: Const () a |