punctuation in documentation

fmidue · Aug 17, 2023 · 35cc42f · 35cc42f
1 parent c9c3553
commit 35cc42f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/Test/IOTasks/MonadTeletype.hs b/src/Test/IOTasks/MonadTeletype.hs
@@ -33,7 +33,7 @@ class Monad m => MonadTeletype m where
   --   Defaults to
   --   @
   --   hSetBuffering _ _ = pure ()
-  --   @
+  --   @.
   hSetBuffering :: Handle -> BufferMode -> m ()
   hSetBuffering _ _ = pure ()
 

diff --git a/src/Test/IOTasks/Term/Prelude.hs b/src/Test/IOTasks/Term/Prelude.hs
@@ -44,15 +44,15 @@ allValues = valuesBefore 0
 
 valueBefore :: forall a e k. (Typeable a, VarExp e) => Int -> e -> Term k a
 -- ^ If the variable-expression x is associated with the values [x_1,..,x_n],
--- @'valueBefore' i x@ provides access to x_(n-i)
+-- @'valueBefore' i x@ provides access to x_(n-i).
 valueBefore n x = checkNames x $ matchType @a
   [ inCaseOfE' @Integer $ \HRefl -> Current x n
   , inCaseOfE' @String $ \HRefl -> Current x n
   , fallbackCase' $ error $ "variable type not supported for Terms: " ++ show (typeRep @a)
   ]
 valuesBefore :: forall a e k. (Typeable a, VarExp e) => Int -> e -> Term k [a]
 -- ^ If the variable-expression x is associated with the values [x_1,..,x_n],
--- @'valuesBefore' i x@ provides access to [x_1,..,x_(n-i)]
+-- @'valuesBefore' i x@ provides access to [x_1,..,x_(n-i)].
 valuesBefore n x = checkNames x $ matchType @a
   [ inCaseOfE' @Integer $ \HRefl -> All x n
   , inCaseOfE' @String $ \HRefl -> All x n