haskell-effectful/effectful
1
1
Fork 0
mirror of https://github.com/haskell-effectful/effectful.git synced 2024-11-24 07:14:04 +03:00
Code Issues Projects Releases Wiki Activity

Fix haddock

Browse Source
This commit is contained in:
Andrzej Rybczak 2022-01-23 03:13:04 +01:00
parent 2dd351c0cb
commit 4df9fd683f
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
effectful-core/src/Effectful/Internal/Effect.hs
View File

@ -21,7 +21,7 @@ import GHC.TypeLits
type Effect = (Type -> Type) -> Type -> Type
-- | A constraint that requires that a particular effect @e@ is a member of the
-- type-level list @es@. This is used to parameterize an 'Effectful.Monad.Eff'
-- type-level list @es@. This is used to parameterize an 'Effectful.Eff'
-- computation over an arbitrary list of effects, so long as @e@ is /somewhere/
-- in the list.
--
@ -29,7 +29,7 @@ type Effect = (Type -> Type) -> Type -> Type
-- 'Integer' would have the following type:
--
-- @
-- 'Effectful.State.Static.Local.State' 'Integer' ':>' es => 'Effectful.Monad.Eff' es ()
-- 'Effectful.State.Static.Local.State' 'Integer' ':>' es => 'Effectful.Eff' es ()
-- @
class (e :: Effect) :> (es :: [Effect]) where
-- | Get the position of @e@ in @es@.

4
effectful-core/src/Effectful/Internal/Unlift.hs
View File

@ -35,8 +35,8 @@ import Effectful.Internal.Utils
----------------------------------------
-- Unlift strategies
-- | The strategy to use when unlifting 'Effectful.Monad.Eff' computations via
-- 'Control.Monad.IO.Unlift.withRunInIO', 'Effectful.Monad.withEffToIO' or the
-- | The strategy to use when unlifting 'Effectful.Eff' computations via
-- 'withRunInIO', 'Effectful.withEffToIO' or the
-- 'Effectful.Dispatch.Dynamic.localUnlift' family.
data UnliftStrategy
= SeqUnlift