module Distribution.ZinzaPrelude (
Writer,
execWriter,
tell,
forM_,
Generic,
PackageName,
Version,
prettyShow
) where
import Distribution.Compat.Prelude
import Prelude ()
import Control.Monad (forM_)
import Distribution.Pretty (prettyShow)
import Distribution.Types.PackageName (PackageName)
import Distribution.Types.Version (Version)
newtype Writer a = W { forall a. Writer a -> ShowS -> (ShowS, a)
unW :: ShowS -> (ShowS, a) }
instance Functor Writer where
fmap :: forall a b. (a -> b) -> Writer a -> Writer b
fmap = forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM
instance Applicative Writer where
pure :: forall a. a -> Writer a
pure a
x = forall a. (ShowS -> (ShowS, a)) -> Writer a
W forall a b. (a -> b) -> a -> b
$ \ShowS
ss -> (ShowS
ss, a
x)
<*> :: forall a b. Writer (a -> b) -> Writer a -> Writer b
(<*>) = forall (m :: * -> *) a b. Monad m => m (a -> b) -> m a -> m b
ap
instance Monad Writer where
return :: forall a. a -> Writer a
return = forall (f :: * -> *) a. Applicative f => a -> f a
pure
Writer a
m >>= :: forall a b. Writer a -> (a -> Writer b) -> Writer b
>>= a -> Writer b
k = forall a. (ShowS -> (ShowS, a)) -> Writer a
W forall a b. (a -> b) -> a -> b
$ \ShowS
s1 ->
let (ShowS
s2, a
x) = forall a. Writer a -> ShowS -> (ShowS, a)
unW Writer a
m ShowS
s1
in forall a. Writer a -> ShowS -> (ShowS, a)
unW (a -> Writer b
k a
x) ShowS
s2
{-# INLINE (>>=) #-}
execWriter :: Writer a -> String
execWriter :: forall a. Writer a -> String
execWriter Writer a
w = forall a b. (a, b) -> a
fst (forall a. Writer a -> ShowS -> (ShowS, a)
unW Writer a
w forall a. a -> a
id) String
""
tell :: String -> Writer ()
tell :: String -> Writer ()
tell String
s = forall a. (ShowS -> (ShowS, a)) -> Writer a
W forall a b. (a -> b) -> a -> b
$ \ShowS
s' -> (ShowS
s' forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> ShowS
showString String
s, ())