printDVD

morphismtech · Jan 15, 2024 · 6527a9d · 6527a9d
1 parent 5572838
commit 6527a9d
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/Control/Monad/Trans/Indexed/Free.hs b/src/Control/Monad/Trans/Indexed/Free.hs
@@ -68,6 +68,15 @@ swap dvd = Indexed.do
   return dvd'
 :}
 
+>>> import Control.Monad.Trans
+>>> :{
+printDVD :: IxFree free => free (IxMap DVDCommand) 'True 'True IO ()
+printDVD = Indexed.do
+  dvd <- eject
+  insert dvd
+  lift $ putStrLn dvd
+:}
+
 -}
 class
   ( forall f. IxFunctor f => IndexedMonadTrans (free f)