e82bf08 · effectful · git.iko.soy

git.iko.soy/effectful

Remove INLINE pragmas and they are not needed

commite82bf087c2d2e90699ea7ebdb5a92fdc936463b9 authorAndrzej Rybczak <andrzej@rybczak.net> dateThu 8 Jul 2021, 19:17 (5 years ago) parent85fe6ca

2 files changed−7

unifiedsplit

src/Effectful/Internal/Env.hs−1

@@ -468,7 +468,6 @@ getLocation (Env fork ref _) = do

468468

469469 ix :: Int -> Int

470470 ix n = n - reifyIndex @e @es - 1

471−{-# INLINE getLocation #-}

472471

473472toAny :: a -> Any

474473toAny = unsafeCoerce

src/Effectful/Internal/Monad.hs−6

@@ -369,30 +369,24 @@ execEffect e0 m = unsafeEff $ \es0 -> do

369369

370370getEffect :: e :> es => Eff es (i e)

371371getEffect = unsafeEff $ \es -> getEnv es

372−{-# INLINE getEffect #-}

373372

374373putEffect :: e :> es => i e -> Eff es ()

375374putEffect e = unsafeEff $ \es -> unsafePutEnv e es

376−{-# INLINE putEffect #-}

377375

378376stateEffect :: e :> es => (i e -> (a, i e)) -> Eff es a

379377stateEffect f = unsafeEff $ \es -> unsafeStateEnv f es

380−{-# INLINE stateEffect #-}

381378

382379localEffect :: e :> es => (i e -> i e) -> Eff es a -> Eff es a

383380localEffect f m = unsafeEff $ \es -> do

384381 bracket (unsafeStateEnv (\e -> (e, f e)) es)

385382 (\e -> unsafePutEnv e es)

386383 (\_ -> unEff m es)

387−{-# INLINE localEffect #-}

388384

389385readerEffectM :: e :> es => (i e -> Eff es a) -> Eff es a

390386readerEffectM f = unsafeEff $ \es -> getEnv es >>= \e -> unEff (f e) es

391−{-# INLINE readerEffectM #-}

392387

393388stateEffectM :: e :> es => (i e -> Eff es (a, i e)) -> Eff es a

394389stateEffectM f = unsafeEff $ \es -> mask $ \release -> do

395390 (a, e) <- (\e -> release $ unEff (f e) es) =<< getEnv es

396391 unsafePutEnv e es

397392 pure a

398−{-# INLINE stateEffectM #-}