mirror of
https://github.com/github/semantic.git
synced 2024-11-28 10:15:55 +03:00
Add a heading for the effects.
This commit is contained in:
parent
f2d51d3802
commit
a994c66f0b
@ -9,6 +9,7 @@ module Control.Abstract.Environment
|
|||||||
, bindAll
|
, bindAll
|
||||||
, locally
|
, locally
|
||||||
, close
|
, close
|
||||||
|
-- * Effects
|
||||||
, Env(..)
|
, Env(..)
|
||||||
, runEnv
|
, runEnv
|
||||||
, EnvironmentError(..)
|
, EnvironmentError(..)
|
||||||
@ -56,6 +57,9 @@ locally a = do
|
|||||||
close :: Member (Env address) effects => Set Name -> Evaluator address value effects (Environment address)
|
close :: Member (Env address) effects => Set Name -> Evaluator address value effects (Environment address)
|
||||||
close = send . Close
|
close = send . Close
|
||||||
|
|
||||||
|
|
||||||
|
-- Effects
|
||||||
|
|
||||||
data Env address return where
|
data Env address return where
|
||||||
Lookup :: Name -> Env address (Maybe address)
|
Lookup :: Name -> Env address (Maybe address)
|
||||||
Bind :: Name -> address -> Env address ()
|
Bind :: Name -> address -> Env address ()
|
||||||
|
Loading…
Reference in New Issue
Block a user