git.iko.soy/effectful
on master help sign in
Small documentation adjustments
7e72f9dAndrzej Rybczak
src/Effectful/State/Dynamic.hs+1−1
compare with master
unifiedsplit
@@ -38,7 +38,7 @@ import qualified Effectful.State.Shared as S
38
38
39-- | Provide access to a mutable state of type @s@.
39-- | Provide access to a mutable state of type @s@.
40--
40--
41−-- Whether the state is local and shareable depends on the interpretation.
41+-- Whether the state is local or shared depends on the interpretation.
42data State s :: Effect where
42data State s :: Effect where
43 Get :: State s m s
43 Get :: State s m s
44 Put :: ~s -> State s m ()
44 Put :: ~s -> State s m ()
src/Effectful/State/Local.hs+2−2
@@ -2,8 +2,8 @@
2--
2--
3-- Represented as a pure value underneath, therefore:
3-- Represented as a pure value underneath, therefore:
4--
4--
5−-- - thread local (if you need the state to be shareble, have a look at
5+-- - thread local (if you need the state to be shared between threads, have a
6−-- "Effectful.State.Shared"),
6+-- look at "Effectful.State.Shared"),
7--
7--
8-- - very fast.
8-- - very fast.
9--
9--