diff --git a/semantic-core/src/Analysis/Analysis.hs b/semantic-core/src/Analysis/Analysis.hs index 97dbe9bf9..b14a936a0 100644 --- a/semantic-core/src/Analysis/Analysis.hs +++ b/semantic-core/src/Analysis/Analysis.hs @@ -6,6 +6,9 @@ module Analysis.Analysis import Core.Name import Data.Text (Text) +-- | A record of functions necessary to perform analysis. +-- +-- This is intended to be replaced with a selection of algebraic effects providing these interfaces and carriers providing reusable implementations. data Analysis term address value m = Analysis { alloc :: Name -> m address , bind :: forall a . Name -> address -> m a -> m a