github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

Stub in a Heap carrier.

Browse Source
This commit is contained in:
Rob Rix 2019-11-04 12:32:01 -05:00
parent b2a329c684
commit 5b8364cd51
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
semantic-analysis/src/Analysis/Carrier/Heap/Precise.hs
View File

@ -1,6 +1,13 @@
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
module Analysis.Carrier.Heap.Precise
( -- * Heap effect
module Analysis.Effect.Heap
( -- * Heap carrier
HeapC(..)
-- * Heap effect
, module Analysis.Effect.Heap
) where
import Analysis.Effect.Heap
import qualified Control.Monad.Fail as Fail
newtype HeapC addr value m a = HeapC { runHeap :: m a }
deriving (Applicative, Functor, Monad, Fail.MonadFail)