-- Copyright 2014 Evan Laforge
-- This program is distributed under the terms of the GNU General Public
-- License 3.0, see COPYING or http://www.gnu.org/licenses/gpl-3.0.txt

{-# LANGUAGE CPP #-}
-- | A local Prelude, meant to be imported unqualified.
module Global (
    Proxy(..)
    , Map, Set
    , IntMap, IntSet
    , HashMap, HashSet
    , (<|>)
    , first, second, bimap
    , Monoid(..), Semigroup(..)
    , while, while_
    , allM, anyM, ifM, andM, orM
    , findM, partitionM
    , unlessM, whenM, whenJust, whenJustM
    -- * list
    , foldl'
    , mconcatMap, concatMapM, mapMaybeM
    , mapMaybe, fromMaybe

    -- * error
    , justm, rightm
    , firstJust, firstJusts
    , errorStack, errorIO
    , justErr, tryJust, tryRight
    -- * pretty
    , Pretty, pretty, prettys

    -- * lens
    , Lens, (#)
    -- * pure
    , (#$), (#=), (%=)
    -- * state
    , (<#>)
    , module Control.Monad
    , module Data.Traversable
    , module Data.Foldable
    , MonadIO, lift, liftIO
    -- * nonempty
    , NonEmpty((:|))
    -- * text
    , Text.Text
    , txt, untxt, showt
) where
import           Control.Applicative ((<|>))
import           Control.Monad
    (ap, filterM, foldM, forM, forM_, forever, guard, liftM, mplus, msum, mzero,
     replicateM, replicateM_, unless, void, when, zipWithM, zipWithM_, (<=<),
     (>=>))
import           Control.Monad.Trans (MonadIO, lift, liftIO)

import           Data.Foldable (Foldable, foldMap)
import           Data.HashMap.Strict (HashMap)
import           Data.HashSet (HashSet)
import           Data.IntMap (IntMap)
import           Data.IntSet (IntSet)
import           Data.List (foldl')
import           Data.List.NonEmpty (NonEmpty((:|)))
import           Data.Map (Map)
import           Data.Maybe (fromMaybe, mapMaybe)
import           Data.Proxy (Proxy(..))
import           Data.Semigroup (Semigroup(..))
import           Data.Set (Set)
import qualified Data.Text as Text
import           Data.Traversable (Traversable, traverse)

import           Util.Pretty (Pretty, pretty, prettys)

import           Util.Control
import           Util.Lens


-- | Utilities to make it easier to convert things to Text.  These are
-- intentionally missing the e to make it easier to search for them.
txt :: String -> Text.Text
txt :: String -> Text
txt = String -> Text
Text.pack

untxt :: Text.Text -> String
untxt :: Text -> String
untxt = Text -> String
Text.unpack

showt :: Show a => a -> Text.Text
showt :: forall a. Show a => a -> Text
showt = String -> Text
txt forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. Show a => a -> String
show