We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f4bf6bd commit aad58a3Copy full SHA for aad58a3
src/Control/Monad/Free.purs
@@ -1,4 +1,22 @@
1
-module Control.Monad.Free where
+module Control.Monad.Free
2
+ ( Free
3
+ , FreeBinds
4
+ , FreeCons
5
+ , FreeView
6
+ , lift
7
+ , roll
8
+ , suspend
9
+ , hoist
10
+ , resume
11
+ , uncons
12
+ , view
13
+ , run
14
+ , runRec
15
+ , runPure
16
+ , interpret
17
+ , interpretRec
18
+ )
19
+ where
20
21
import Prelude
22
@@ -56,12 +74,12 @@ instance bindFree :: Bind (Free f) where
56
74
57
75
instance monadFree :: Monad (Free f)
58
76
59
-resume ::
60
- forall f a r.
61
- (a -> r) ->
62
- (forall b. f b -> (b -> Free f a) -> r) ->
63
- Free f a ->
64
- r
77
+resume
78
+ :: forall f a r
79
+ . (a -> r)
80
+ -> (forall b. f b -> (b -> Free f a) -> r)
81
+ -> Free f a
82
+ -> r
65
83
resume pure' bind' = case _ of
66
84
Pure a -> pure' a
67
85
Bind a bs -> bind' a (go1 bs)
0 commit comments