Core.hs export list

This commit is contained in:
crumbtoo
2023-11-14 12:37:44 -07:00
parent 42c3ffb6ba
commit 3c667d4c23

View File

@@ -1,5 +1,20 @@
{-# LANGUAGE PatternSynonyms, OverloadedStrings #-} {-# 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.Coerce
import Data.Pretty import Data.Pretty