@@ -64,12 +64,13 @@ import Data.UInt (UInt)
64import Effect (Effect)
64import Effect (Effect)
65import Effect.Class (class MonadEffect, liftEffect)
65import Effect.Class (class MonadEffect, liftEffect)
67−-- | The `PutM` monad is a Writer transformer monad which
67+-- | The `PutM` monad is a `WriterT Builder` transformer monad which
68−-- | [gives us access to do-notation](https://wiki.haskell.org/Do_notation_considered_harmful#Library_design)
68+-- | gives us do-notation for the `Builder` monoid. The base monad must be
69−-- | for building `ArrayBuffer`s.
69+-- | a `MonadEffect`.
70type PutM = WriterT Builder
70type PutM = WriterT Builder
72−-- | `Put` monad is the non-transformer version of `PutM`.
72+-- | The `Put` monad is a `WriterT Builder Effect` monad which
73+-- | gives us do-notation for the `Builder` monoid.
73type Put = PutM Effect
74type Put = PutM Effect
75-- | Monoidal builder for `ArrayBuffer`s.
76-- | Monoidal builder for `ArrayBuffer`s.