text1-0.0.2: Non-empty values of `Data.Text`.

Safe HaskellNone
LanguageHaskell2010

Data.Text1

Documentation

data Text1 Source

Constructors

Text1 Char Text 

Instances

length :: Text1 -> Int Source

compareLength :: Text1 -> Int -> Ordering Source

_text :: Prism' Text Text1 Source

_string :: Prism' String Text1 Source

_head1 :: Lens' Text1 Char Source

_tail1 :: Lens' Text1 Text Source

_last1 :: Lens' Text1 Char Source

_init1 :: Lens' Text1 Text Source

class IsText1 t where Source

Minimal complete definition

packed1

Methods

packed1 :: Iso' (NonEmpty Char) t Source

text1 :: IndexedTraversal' Int t Char Source

Instances

unpacked1 :: IsText1 t => Iso' t (NonEmpty Char) Source

class AsSingle c a | c -> a where Source

Minimal complete definition

Nothing

Methods

_Single :: Prism' c a Source

Instances

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 where Source

Minimal complete definition

Nothing

Methods

_OneAnd :: Iso s t (a, x) (b, y) Source

Instances