mirror of
https://github.com/github/semantic.git
synced 2024-12-18 20:31:55 +03:00
Use the ModuleEffects synonym in UtilEff.
This commit is contained in:
parent
6e71a76402
commit
bb021d404a
@ -55,13 +55,8 @@ justEvaluating
|
|||||||
|
|
||||||
newtype UtilEff address rest a = UtilEff
|
newtype UtilEff address rest a = UtilEff
|
||||||
{ runUtilEff :: Eff ( ValueEffects address (Value address (UtilEff address rest))
|
{ runUtilEff :: Eff ( ValueEffects address (Value address (UtilEff address rest))
|
||||||
( Exc (LoopControl address)
|
( ModuleEffects address (Value address (UtilEff address rest))
|
||||||
': Exc (Return address)
|
( Modules address
|
||||||
': Env address
|
|
||||||
': Deref (Value address (UtilEff address rest))
|
|
||||||
': Allocator address
|
|
||||||
': Reader ModuleInfo
|
|
||||||
': Modules address
|
|
||||||
': Reader (ModuleTable (NonEmpty (Module (ModuleResult address))))
|
': Reader (ModuleTable (NonEmpty (Module (ModuleResult address))))
|
||||||
': Reader Span
|
': Reader Span
|
||||||
': Reader PackageInfo
|
': Reader PackageInfo
|
||||||
@ -75,7 +70,7 @@ newtype UtilEff address rest a = UtilEff
|
|||||||
': Fresh
|
': Fresh
|
||||||
': State (Heap address (Value address (UtilEff address rest)))
|
': State (Heap address (Value address (UtilEff address rest)))
|
||||||
': rest
|
': rest
|
||||||
)) a
|
))) a
|
||||||
}
|
}
|
||||||
|
|
||||||
checking
|
checking
|
||||||
|
Loading…
Reference in New Issue
Block a user