{-# LANGUAGE NoImplicitPrelude #-}
module Data.Attoparsec.Combinators
( alternating
, appending
, concating
, pured
) where
import Stack.Prelude
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
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
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 :: (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