mirror of
https://github.com/github/semantic.git
synced 2024-12-23 14:54:16 +03:00
Add a lower method to LiftEffect.
This commit is contained in:
parent
1f7d9672ea
commit
45fccdc7dc
@ -68,6 +68,8 @@ instance Ord a => RunEffect NonDetEff a where
|
||||
|
||||
class LiftEffect f where
|
||||
lift :: Eff effects a -> f effects a
|
||||
lower :: f effects a -> Eff effects a
|
||||
|
||||
instance LiftEffect Eff where
|
||||
lift = id
|
||||
lower = id
|
||||
|
Loading…
Reference in New Issue
Block a user