-
Notifications
You must be signed in to change notification settings - Fork 29
/
Alternative.purs
50 lines (45 loc) · 1.43 KB
/
Alternative.purs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
module Control.Alternative
( class Alternative
, guard
, module Control.Alt
, module Control.Applicative
, module Control.Apply
, module Control.Plus
, module Data.Functor
) where
import Control.Alt (class Alt, alt, (<|>))
import Control.Applicative (class Applicative, pure, liftA1, unless, when)
import Control.Apply (class Apply, apply, (*>), (<*), (<*>))
import Control.Plus (class Plus, empty)
import Data.Unit (Unit, unit)
import Data.Functor (class Functor, map, void, ($>), (<#>), (<$), (<$>))
-- | The `Alternative` type class has no members of its own; it just specifies
-- | that the type constructor has both `Applicative` and `Plus` instances.
-- |
-- | Types which have `Alternative` instances should also satisfy the following
-- | laws:
-- |
-- | - Distributivity: `(f <|> g) <*> x == (f <*> x) <|> (g <*> x)`
-- | - Annihilation: `empty <*> f = empty`
class (Applicative f, Plus f) <= Alternative f
instance alternativeArray :: Alternative Array
-- | Fail using `Plus` if a condition does not hold, or
-- | succeed using `Applicative` if it does.
-- |
-- | For example:
-- |
-- | ```purescript
-- | import Prelude
-- | import Control.Alternative (guard)
-- | import Data.Array ((..))
-- |
-- | factors :: Int -> Array Int
-- | factors n = do
-- | a <- 1..n
-- | b <- 1..n
-- | guard $ a * b == n
-- | pure a
-- | ```
guard :: forall m. Alternative m => Boolean -> m Unit
guard true = pure unit
guard false = empty