From 59ec6071982c7d7591f27602b34b9c5aa7268b88 Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Mon, 5 Dec 2022 17:32:36 +0100
Subject: PIA tema 7 (IO y módulos)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 pia/n5.lyx | 106 -------------------------------------------------------------
 1 file changed, 106 deletions(-)

(limited to 'pia/n5.lyx')

diff --git a/pia/n5.lyx b/pia/n5.lyx
index aa30ac4..c343e81 100644
--- a/pia/n5.lyx
+++ b/pia/n5.lyx
@@ -1175,7 +1175,6 @@ s
 \begin_inset Formula $\bot$
 \end_inset
 
-.
  y, cuando se evalúa, imprime el error 
 \family typewriter
 \emph on
@@ -1791,111 +1790,6 @@ type String = [Char]
 \end_inset
 
 
-\end_layout
-
-\begin_layout Section
-Mónadas
-\end_layout
-
-\begin_layout Standard
-\begin_inset Note Comment
-status open
-
-\begin_layout Plain Layout
-fail, sequence, sequence_, mapM, mapM_, (=<<)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-\begin_inset listings
-inline false
-status open
-
-\begin_layout Plain Layout
-
-class Functor f where
-\end_layout
-
-\begin_layout Plain Layout
-
-	fmap :: (a -> b) -> f a -> f b
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-class Monad m where  {#- MINIMAL (>>=), return -#}
-\end_layout
-
-\begin_layout Plain Layout
-
-	(>>=) :: m a -> (a -> m b) -> m b
-\end_layout
-
-\begin_layout Plain Layout
-
-	(>>) :: m a -> m b -> m b
-\end_layout
-
-\begin_layout Plain Layout
-
-	return :: a -> m a
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-	m >> k = m >>= 
-\backslash
-_ -> k
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-data Either a b = Left a | Right b deriving (Eq, Ord, Read, Show)
-\end_layout
-
-\begin_layout Plain Layout
-
-data IO a = ...
-\end_layout
-
-\begin_layout Plain Layout
-
-instance Monad IO where ...
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-\begin_inset Note Comment
-status open
-
-\begin_layout Plain Layout
-Maybe, maybe, either, instance Functor IO, instance Monad IO, instance Functor
- [], instance Monad []
-\end_layout
-
-\end_inset
-
-
 \end_layout
 
 \begin_layout Standard
-- 
cgit v1.2.3