Skip to content

Commit 1c28012

Browse files
committed
Use unit
1 parent a0abf71 commit 1c28012

File tree

2 files changed

+6
-6
lines changed

2 files changed

+6
-6
lines changed

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,6 @@
4242

4343
replicateM :: forall m a. (Monad m) => Number -> m a -> m [a]
4444

45-
unless :: forall m. (Monad m) => Boolean -> m { } -> m { }
45+
unless :: forall m. (Monad m) => Boolean -> m Unit -> m Unit
4646

47-
when :: forall m. (Monad m) => Boolean -> m { } -> m { }
47+
when :: forall m. (Monad m) => Boolean -> m Unit -> m Unit

src/Control/Monad.purs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -11,10 +11,10 @@ foldM :: forall m a b. (Monad m) => (a -> b -> m a) -> a -> [b] -> m a
1111
foldM _ a [] = return a
1212
foldM f a (b:bs) = f a b >>= \a' -> foldM f a' bs
1313

14-
when :: forall m. (Monad m) => Boolean -> m {} -> m {}
14+
when :: forall m. (Monad m) => Boolean -> m Unit -> m Unit
1515
when true m = m
16-
when false _ = return {}
16+
when false _ = return unit
1717

18-
unless :: forall m. (Monad m) => Boolean -> m {} -> m {}
18+
unless :: forall m. (Monad m) => Boolean -> m Unit -> m Unit
1919
unless false m = m
20-
unless true _ = return {}
20+
unless true _ = return unit

0 commit comments

Comments
 (0)