GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-21 09:02:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

added MonadFix

Browse Source
This commit is contained in:
Krasimir Angelov
2024-10-22 08:28:51 +02:00
parent 00addd4a0c
commit ebececef6d
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/compiler/api/GF/Data/Operations.hs
View File

@@ -50,6 +50,7 @@ import qualified Data.Map as Map
import Data.Map (Map) import Data.Map (Map)
--import Control.Applicative(Applicative(..)) --import Control.Applicative(Applicative(..))
import Control.Monad (liftM,liftM2) --,ap import Control.Monad (liftM,liftM2) --,ap
import Control.Monad.Fix
import GF.Data.ErrM import GF.Data.ErrM
import GF.Data.Relation import GF.Data.Relation
@@ -237,6 +238,10 @@ instance ErrorMonad Err where
handle a@(Ok _) _ = a handle a@(Ok _) _ = a
handle (Bad i) f = f i handle (Bad i) f = f i
instance MonadFix Err where
mfix f = let res@(~(Ok x)) = f x in res
liftErr e = err raise return e liftErr e = err raise return e
{- {-
instance ErrorMonad (STM s) where instance ErrorMonad (STM s) where