From 3c667d4c233fab987301e8bd85a50de3b5bb71ef Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Tue, 14 Nov 2023 12:37:44 -0700 Subject: [PATCH] Core.hs export list --- src/Core.hs | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/src/Core.hs b/src/Core.hs index e25b9b8..cd80d8d 100644 --- a/src/Core.hs +++ b/src/Core.hs @@ -1,5 +1,20 @@ {-# LANGUAGE PatternSynonyms, OverloadedStrings #-} -module Core where +module Core + ( Expr(..) + , pattern (:$) + , Binding(..) + , pattern (:=) + , Rec(..) + , Alter(..) + , Name + , ScDef(..) + , Program(..) + , corePrelude + , bindersOf + , rhssOf + , isAtomic + ) + where ---------------------------------------------------------------------------------- import Data.Coerce import Data.Pretty