diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2022-12-05 17:32:36 +0100 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2022-12-06 17:56:41 +0100 |
| commit | 59ec6071982c7d7591f27602b34b9c5aa7268b88 (patch) | |
| tree | b176be3ba87d1d227a590e2bb761d5a10c153a16 /pia/n5.lyx | |
| parent | 1bddbc51a92e35ad6389310d62087654438027cf (diff) | |
PIA tema 7 (IO y módulos)
Diffstat (limited to 'pia/n5.lyx')
| -rw-r--r-- | pia/n5.lyx | 106 |
1 files changed, 0 insertions, 106 deletions
@@ -1175,7 +1175,6 @@ s \begin_inset Formula $\bot$ \end_inset -. y, cuando se evalúa, imprime el error \family typewriter \emph on @@ -1793,111 +1792,6 @@ type String = [Char] \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 \begin_inset Note Note status open |