aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Expr/SharingRecovery.hs
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2025-10-03 23:06:05 +0200
committerTom Smeding <tom@tomsmeding.com>2025-10-03 23:06:05 +0200
commit1931c68ae2b9add3235b729b194ef4b4ce6938af (patch)
tree7c0749c70cf09e3341429c5dd3c528c4e45c0b08 /src/Data/Expr/SharingRecovery.hs
parent8bcf09ed30595c7ffcdc41211a53046fefa35a44 (diff)
Add typeOf functionsHEADmaster
Diffstat (limited to 'src/Data/Expr/SharingRecovery.hs')
-rw-r--r--src/Data/Expr/SharingRecovery.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Data/Expr/SharingRecovery.hs b/src/Data/Expr/SharingRecovery.hs
index 02b3e3e..34fd4ec 100644
--- a/src/Data/Expr/SharingRecovery.hs
+++ b/src/Data/Expr/SharingRecovery.hs
@@ -4,7 +4,9 @@ module Data.Expr.SharingRecovery (
-- * Expressions
PHOASExpr(..),
+ typeOfPHOAS,
BExpr(..),
+ typeOfBExpr,
Idx(..),
-- * Traversing indexed structures