ref: e58eace5b4c5f50e1e1a9b6dd0f8e04122478512
dir: /lib/Control/Alternative.hs/
module Control.Alternative(module Control.Alternative) where
import Primitives
import Control.Applicative
import Data.Bool_Type
import Data.Functor
import Data.List_Type
infixl 3 <|>
class Applicative f => Alternative f where
empty :: forall a . f a
(<|>) :: forall a . f a -> f a -> f a
some :: forall a . f a -> f [a]
some a = (:) <$> a <*> many a
many :: forall a . f a -> f [a]
many a = some a <|> pure []
guard :: forall f a . Alternative f => Bool -> f ()
guard b = if b then pure () else empty
asum :: forall f a . Alternative f => [f a] -> f a
asum [] = empty
asum (a:as) = a <|> asum as