Update src/Swarm/Util/Erasable.hs

Co-authored-by: Karl Ostmo <[email protected]>
swarm-game · Aug 13, 2023 · 2dc91ce · 2dc91ce
1 parent 4957aec
commit 2dc91ce
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/Swarm/Util/Erasable.hs b/src/Swarm/Util/Erasable.hs
@@ -8,12 +8,12 @@ module Swarm.Util.Erasable where
 -- | Extend a semigroup to a monoid by adding an identity ('ENothing') /and/ an
 --   annihilator ('EErase').  That is,
 --
---   * `ENothing <> e = e <> ENothing = e`
---   * `EErase <> e = e <> EErase = EErase`
+--   * @ENothing <> e = e <> ENothing = e@
+--   * @EErase <> e = e <> EErase = EErase@
 --
 --   This allows us to "erase" previous values by combining with
---   'EErase'.  The 'erasableToMaybe' function turns an @Erasable@
---   into a @Maybe@ by collapsing 'ENothing' and 'EErase' both back
+--   'EErase'.  The 'erasableToMaybe' function turns an 'Erasable'
+--   into a 'Maybe' by collapsing 'ENothing' and 'EErase' both back
 --   into 'Nothing'.
 data Erasable e = ENothing | EErase | EJust e
   deriving (Show, Eq, Ord, Functor)