github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 00:33:59 +03:00
Code Issues Projects Releases Wiki Activity

📝 Analysis.

Browse Source
This commit is contained in:
Rob Rix 2019-10-11 10:21:30 -04:00
parent 43d5516528
commit f06af1755b
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
semantic-core/src/Analysis/Analysis.hs
View File

@ -6,6 +6,9 @@ module Analysis.Analysis
import Core.Name import Core.Name
import Data.Text (Text) 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 data Analysis term address value m = Analysis
{ alloc :: Name -> m address { alloc :: Name -> m address
, bind :: forall a . Name -> address -> m a -> m a , bind :: forall a . Name -> address -> m a -> m a