PFP Laboratory 8 - Revision history

Beh01 at 08:39, 24 October 2022

2022-10-24T08:39:02Z

Beh01 at 08:38, 24 October 2022

2022-10-24T08:38:45Z

Beh01 at 08:12, 24 October 2022

2022-10-24T08:12:52Z

Beh01: Created page with "== Monads == * Consider you have a type: newtype State s a = State { runState :: s -> (s, a) } Make this type the instance..."

2022-10-24T08:11:36Z

Created page with "== Monads == * Consider you have a type: <syntaxhighlight lang="Haskell"> newtype State s a = State { runState :: s -> (s, a) } </syntaxhighlight> Make this type the instance..."

New page

== Monads ==

* Consider you have a type:
<syntaxhighlight lang="Haskell">
newtype State s a = State { runState :: s -> (s, a) }
</syntaxhighlight>
Make this type the instance of <code>Monad</code>

@@ Line 65: / Line 65: @@
           return (x+y)
 </syntaxhighlight>
 <div class="mw-collapsible mw-collapsed" data-collapsetext="Hide solution" data-expandtext="Show solution">

@@ Line 1: / Line 1: @@
 == Monads ==
 * Consider you have a type:
@@ Line 9: / Line 41: @@
 <div class="mw-collapsible mw-collapsed" data-collapsetext="Hide solution" data-expandtext="Show solution">
 <syntaxhighlight lang="Haskell">
-...
+newtype State s a = State { runState :: s -> (s, a) }
 </syntaxhighlight>
 </div>
 <div style="clear:both"></div>

← Older revision		Revision as of 08:12, 24 October 2022
Line 6:		Line 6:
	</syntaxhighlight>		</syntaxhighlight>
	Make this type the instance of <code>Monad</code>		Make this type the instance of <code>Monad</code>
		+
		+	<div class="mw-collapsible mw-collapsed" data-collapsetext="Hide solution" data-expandtext="Show solution">
		+	<syntaxhighlight lang="Haskell">
		+	...
		+	</syntaxhighlight>
		+	</div>
		+	<div style="clear:both"></div>