Skip to content

Commit

Permalink
Give clearer rendering
Browse files Browse the repository at this point in the history
  • Loading branch information
JordanMartinez committed Sep 11, 2018
1 parent d36b307 commit eec0bae
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ class LiftSIntoT s t where

Looking at those implementations above, we can see a general pattern (there are some exceptions to this due to how the types need to be handled, but this is generally true):
- Require one of the types in the instance to be an instance of `MonadState`
- Implement it by lifting that instance into the monad and delegate its implementation to that instance
- Implement it by lifting that instance into the monad and delegate that monad's implementation to that instance

Since only `StateT` actually implements `MonadState`, all other monads merely "transform" the `StateT` monad into some other target monad that is closer to the top of the stack. Likwise, since only `[Word]T` actually implements `Monad[Word]`, everything else is just lifting `[Word]T` into another monad that's closer to the top of the stack.

Expand Down

0 comments on commit eec0bae

Please sign in to comment.