-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Non-empty values of `Data.Text`.
--   
--   
--   Non-empty values of <a>Data.Text</a>.
@package text1
@version 0.0.5

module Data.Text1
data Text1
Text1 :: Char -> Text -> Text1

-- | <pre>
--   &gt;&gt;&gt; fmap length1 ("a" ^? _Text1)
--   Just 1
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap length1 ("abc" ^? _Text1)
--   Just 3
--   </pre>
--   
--   <pre>
--   length1 t &gt;= 1
--   </pre>
length1 :: Text1 -> Int

-- | <pre>
--   &gt;&gt;&gt; fmap (`compareLength1` 1) ("a" ^? _Text1)
--   Just EQ
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (`compareLength1` 3) ("a" ^? _Text1)
--   Just LT
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (`compareLength1` 1) ("abc" ^? _Text1)
--   Just GT
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (`compareLength1` 3) ("abc" ^? _Text1)
--   Just EQ
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (`compareLength1` 5) ("abc" ^? _Text1)
--   Just LT
--   </pre>
--   
--   <pre>
--   compareLength1 t 1 /= LT
--   </pre>
compareLength1 :: Text1 -> Int -> Ordering

-- | <pre>
--   &gt;&gt;&gt; fmap (^. _head1) ("a" ^? _Text1)
--   Just 'a'
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (^. _head1) ("abc" ^? _Text1)
--   Just 'a'
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (_head1 %~ toUpper) ("abc" ^? _Text1)
--   Just "Abc"
--   </pre>
_head1 :: Lens' Text1 Char

-- | <pre>
--   &gt;&gt;&gt; fmap (^. _tail1) ("a" ^? _Text1)
--   Just ""
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (^. _tail1) ("abc" ^? _Text1)
--   Just "bc"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (_tail1 %~ Text.toUpper) ("abc" ^? _Text1)
--   Just "aBC"
--   </pre>
_tail1 :: Lens' Text1 Text

-- | <pre>
--   &gt;&gt;&gt; fmap (^. _last1) ("a" ^? _Text1)
--   Just 'a'
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (^. _last1) ("abc" ^? _Text1)
--   Just 'c'
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (_last1 %~ toUpper) ("abc" ^? _Text1)
--   Just "abC"
--   </pre>
_last1 :: Lens' Text1 Char

-- | <pre>
--   &gt;&gt;&gt; fmap (^. _init1) ("a" ^? _Text1)
--   Just ""
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (^. _init1) ("abc" ^? _Text1)
--   Just "ab"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (_init1 %~ Text.toUpper) ("a" ^? _Text1)
--   Just "a"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; fmap (_init1 %~ Text.toUpper) ("abc" ^? _Text1)
--   Just "ABc"
--   </pre>
_init1 :: Lens' Text1 Text
class AsText1 p f s
_Text1 :: AsText1 p f s => Optic' p f s Text1
class IsText1 t where tpacked1 = iso (fmap (\ (h, t') -> (h :| unpack t') ^. packed1) . uncons) (\ t -> case t of { Nothing -> empty Just t' -> pack (toList (packed1 # t')) }) unpacked1 = from packed1 tunpacked1 = from tpacked1 text1 = unpacked1 . traversed
packed1 :: IsText1 t => Iso' (NonEmpty Char) t
tpacked1 :: IsText1 t => Iso' Text (Maybe t)
unpacked1 :: IsText1 t => Iso' t (NonEmpty Char)
tunpacked1 :: IsText1 t => Iso' (Maybe t) Text
text1 :: IsText1 t => IndexedTraversal' Int t Char
isText1 :: Iso' Text (Maybe Text1)
class AsSingle c a | c -> a
_Single :: AsSingle c a => Prism' c a
class OneAnd s t a b x y | s -> a, s -> x, t -> b, t -> y, s b -> t, x b -> t, t a -> s, y a -> s
_OneAnd :: OneAnd s t a b x y => Iso s t (a, x) (b, y)
instance Data.Data.Data Data.Text1.Text1
instance GHC.Classes.Ord Data.Text1.Text1
instance GHC.Classes.Eq Data.Text1.Text1
instance GHC.Show.Show Data.Text1.Text1
instance Data.Semigroup.Semigroup Data.Text1.Text1
instance Data.Binary.Class.Binary Data.Text1.Text1
instance Data.Text1.AsText1 p f Data.Text1.Text1
instance (Data.Profunctor.Unsafe.Profunctor p, GHC.Base.Functor f) => Data.Text1.AsText1 p f (Data.List.NonEmpty.NonEmpty GHC.Types.Char)
instance (Data.Profunctor.Choice.Choice p, GHC.Base.Applicative f) => Data.Text1.AsText1 p f GHC.Base.String
instance (Data.Profunctor.Choice.Choice p, GHC.Base.Applicative f) => Data.Text1.AsText1 p f Data.Text.Internal.Text
instance Data.Text1.IsText1 Data.Text1.Text1
instance Data.Text1.IsText1 (Data.List.NonEmpty.NonEmpty GHC.Types.Char)
instance Data.Text.Lens.IsText (GHC.Base.Maybe Data.Text1.Text1)
instance Control.Lens.Internal.Iso.Reversing Data.Text1.Text1
instance Control.Lens.Cons.Cons (GHC.Base.Maybe Data.Text1.Text1) (GHC.Base.Maybe Data.Text1.Text1) GHC.Types.Char GHC.Types.Char
instance Control.Lens.Cons.Snoc (GHC.Base.Maybe Data.Text1.Text1) (GHC.Base.Maybe Data.Text1.Text1) GHC.Types.Char GHC.Types.Char
instance Data.Text1.AsSingle [a] a
instance Data.Text1.AsSingle Data.Text.Internal.Text GHC.Types.Char
instance Data.Text1.AsSingle (GHC.Base.Maybe a) a
instance Data.Text1.AsSingle (Data.List.NonEmpty.NonEmpty a) a
instance Data.Text1.AsSingle Data.Text1.Text1 GHC.Types.Char
instance Data.Text1.OneAnd Data.Text1.Text1 Data.Text1.Text1 GHC.Types.Char GHC.Types.Char Data.Text.Internal.Text Data.Text.Internal.Text
instance Data.Text1.OneAnd (Data.List.NonEmpty.NonEmpty a) (Data.List.NonEmpty.NonEmpty b) a b [a] [b]