-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Non-empty values of `Data.Text`. -- @package text1 @version 0.0.2 module Data.Text1 data Text1 Text1 :: Char -> Text -> Text1 length :: Text1 -> Int compareLength :: Text1 -> Int -> Ordering _text :: Prism' Text Text1 _string :: Prism' String Text1 _head1 :: Lens' Text1 Char _tail1 :: Lens' Text1 Text _last1 :: Lens' Text1 Char _init1 :: Lens' Text1 Text class IsText1 t where text1 = unpacked1 . traversed packed1 :: IsText1 t => Iso' (NonEmpty Char) t text1 :: IsText1 t => IndexedTraversal' Int t Char unpacked1 :: IsText1 t => Iso' t (NonEmpty Char) 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 Typeable Text1 instance Eq Text1 instance Ord Text1 instance Data Text1 instance OneAnd (NonEmpty a) (NonEmpty b) a b [a] [b] instance OneAnd Text1 Text1 Char Char Text Text instance AsSingle Text1 Char instance AsSingle (NonEmpty a) a instance AsSingle (Maybe a) a instance AsSingle Text Char instance AsSingle [a] a instance Reversing Text1 instance Snoc Text1 Text1 Char Char instance Cons Text1 Text1 Char Char instance IsText1 (NonEmpty Char) instance IsText1 Text1 instance Binary Text1 instance Semigroup Text1 instance Show Text1