{-# LANGUAGE NoImplicitPrelude #-}

-- | More readable combinators for writing parsers.

module Data.Attoparsec.Combinators
  ( alternating
  , appending
  , concating
  , pured
  ) where

import           Stack.Prelude

-- | Concatenate two parsers.

appending ::
     (Applicative f, Semigroup a)
  => f a
  -> f a
  -> f a
appending :: forall (f :: * -> *) a.
(Applicative f, Semigroup a) =>
f a -> f a -> f a
appending f a
a f a
b = forall a. Semigroup a => a -> a -> a
(<>) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> f a
a forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> f a
b

-- | Alternative parsers.

alternating :: Alternative f => f a -> f a -> f a
alternating :: forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
alternating f a
a f a
b = f a
a forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> f a
b

-- | Pure something.

pured :: (Applicative g, Applicative f) => g a -> g (f a)
pured :: forall (g :: * -> *) (f :: * -> *) a.
(Applicative g, Applicative f) =>
g a -> g (f a)
pured = forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap forall (f :: * -> *) a. Applicative f => a -> f a
pure

-- | Concating the result of an action.

concating :: (Monoid m, Applicative f) => f [m] -> f m
concating :: forall m (f :: * -> *). (Monoid m, Applicative f) => f [m] -> f m
concating = forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap forall a. Monoid a => [a] -> a
mconcat