Data.Text1

Documentation

data Text1

Constructors

Text1 Char Text

Instances

Eq Text1

Methods

(==) :: Text1 -> Text1 -> Bool

(/=) :: Text1 -> Text1 -> Bool

Data Text1

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Text1 -> c Text1

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Text1

toConstr :: Text1 -> Constr

dataTypeOf :: Text1 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Text1)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Text1)

gmapT :: (forall b. Data b => b -> b) -> Text1 -> Text1

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Text1 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Text1 -> r

gmapQ :: (forall d. Data d => d -> u) -> Text1 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Text1 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Text1 -> m Text1

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Text1 -> m Text1

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Text1 -> m Text1

Ord Text1

Methods

compare :: Text1 -> Text1 -> Ordering

(<) :: Text1 -> Text1 -> Bool

(<=) :: Text1 -> Text1 -> Bool

(>) :: Text1 -> Text1 -> Bool

(>=) :: Text1 -> Text1 -> Bool

max :: Text1 -> Text1 -> Text1

min :: Text1 -> Text1 -> Text1

Show Text1

Methods

showsPrec :: Int -> Text1 -> ShowS

show :: Text1 -> String

showList :: [Text1] -> ShowS

Semigroup Text1

((x <> y) <> z) == (x <> (y <> z :: Text1))

Methods

(<>) :: Text1 -> Text1 -> Text1

sconcat :: NonEmpty Text1 -> Text1

stimes :: Integral b => b -> Text1 -> Text1

Binary Text1

Methods

put :: Text1 -> Put

get :: Get Text1

putList :: [Text1] -> Put

Reversing Text1

Methods

reversing :: Text1 -> Text1

IsText1 Text1

Methods

packed1 :: Iso' (NonEmpty Char) Text1

tpacked1 :: Iso' Text (Maybe Text1)

unpacked1 :: Iso' Text1 (NonEmpty Char)

tunpacked1 :: Iso' (Maybe Text1) Text

text1 :: IndexedTraversal' Int Text1 Char

AsSingle Text1 Char

Methods

_Single :: Prism' Text1 Char

AsText1 p f Text1

Methods

_Text1 :: Optic' * * p f Text1 Text1

OneAnd Text1 Text1 Char Char Text Text

Methods

_OneAnd :: Iso Text1 Text1 (Char, Text) (Char, Text)

IsText (Maybe Text1)

Methods

packed :: Iso' String (Maybe Text1)

builder :: Iso' (Maybe Text1) Builder

text :: IndexedTraversal' Int (Maybe Text1) Char

Cons (Maybe Text1) (Maybe Text1) Char Char

Methods

_Cons :: Prism (Maybe Text1) (Maybe Text1) (Char, Maybe Text1) (Char, Maybe Text1)

Snoc (Maybe Text1) (Maybe Text1) Char Char

Methods

_Snoc :: Prism (Maybe Text1) (Maybe Text1) (Maybe Text1, Char) (Maybe Text1, Char)

length1 :: Text1 -> Int

>>> fmap length1 ("a" ^? _Text1)
Just 1

>>> fmap length1 ("abc" ^? _Text1)
Just 3

length1 t >= 1

compareLength1 :: Text1 -> Int -> Ordering

>>> fmap (`compareLength1` 1) ("a" ^? _Text1)
Just EQ

>>> fmap (`compareLength1` 3) ("a" ^? _Text1)
Just LT

>>> fmap (`compareLength1` 1) ("abc" ^? _Text1)
Just GT

>>> fmap (`compareLength1` 3) ("abc" ^? _Text1)
Just EQ

>>> fmap (`compareLength1` 5) ("abc" ^? _Text1)
Just LT

compareLength1 t 1 /= LT

_head1 :: Lens' Text1 Char

>>> fmap (^. _head1) ("a" ^? _Text1)
Just 'a'

>>> fmap (^. _head1) ("abc" ^? _Text1)
Just 'a'

>>> fmap (_head1 %~ toUpper) ("abc" ^? _Text1)
Just "Abc"

_tail1 :: Lens' Text1 Text

>>> fmap (^. _tail1) ("a" ^? _Text1)
Just ""

>>> fmap (^. _tail1) ("abc" ^? _Text1)
Just "bc"

>>> fmap (_tail1 %~ Text.toUpper) ("abc" ^? _Text1)
Just "aBC"

_last1 :: Lens' Text1 Char

>>> fmap (^. _last1) ("a" ^? _Text1)
Just 'a'

>>> fmap (^. _last1) ("abc" ^? _Text1)
Just 'c'

>>> fmap (_last1 %~ toUpper) ("abc" ^? _Text1)
Just "abC"

_init1 :: Lens' Text1 Text

>>> fmap (^. _init1) ("a" ^? _Text1)
Just ""

>>> fmap (^. _init1) ("abc" ^? _Text1)
Just "ab"

>>> fmap (_init1 %~ Text.toUpper) ("a" ^? _Text1)
Just "a"

>>> fmap (_init1 %~ Text.toUpper) ("abc" ^? _Text1)
Just "ABc"

class AsText1 p f s where

Methods

_Text1 :: Optic' p f s Text1

Instances

(Choice p, Applicative f) => AsText1 p f Text

Methods

_Text1 :: Optic' * * p f Text Text1

(Choice p, Applicative f) => AsText1 p f String

Methods

_Text1 :: Optic' * * p f String Text1

AsText1 p f Text1

Methods

_Text1 :: Optic' * * p f Text1 Text1

(Profunctor p, Functor f) => AsText1 p f (NonEmpty Char)

Methods

_Text1 :: Optic' * * p f (NonEmpty Char) Text1

class IsText1 t where

Minimal complete definition

packed1

Methods

packed1 :: Iso' (NonEmpty Char) t

tpacked1 :: Iso' Text (Maybe t)

unpacked1 :: Iso' t (NonEmpty Char)

tunpacked1 :: Iso' (Maybe t) Text

text1 :: IndexedTraversal' Int t Char

Instances

IsText1 Text1

Methods

packed1 :: Iso' (NonEmpty Char) Text1

tpacked1 :: Iso' Text (Maybe Text1)

unpacked1 :: Iso' Text1 (NonEmpty Char)

tunpacked1 :: Iso' (Maybe Text1) Text

text1 :: IndexedTraversal' Int Text1 Char

IsText1 (NonEmpty Char)

Methods

packed1 :: Iso' (NonEmpty Char) (NonEmpty Char)

tpacked1 :: Iso' Text (Maybe (NonEmpty Char))

unpacked1 :: Iso' (NonEmpty Char) (NonEmpty Char)

tunpacked1 :: Iso' (Maybe (NonEmpty Char)) Text

text1 :: IndexedTraversal' Int (NonEmpty Char) Char

isText1 :: Iso' Text (Maybe Text1)

class AsSingle c a | c -> a where

Methods

_Single :: Prism' c a

Instances

AsSingle Text Char

Methods

_Single :: Prism' Text Char

AsSingle Text1 Char

Methods

_Single :: Prism' Text1 Char

AsSingle [a] a

Methods

_Single :: Prism' [a] a

AsSingle (Maybe a) a

Methods

_Single :: Prism' (Maybe a) a

AsSingle (NonEmpty a) a

Methods

_Single :: Prism' (NonEmpty a) 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 where

Methods

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

Instances

OneAnd Text1 Text1 Char Char Text Text

Methods

_OneAnd :: Iso Text1 Text1 (Char, Text) (Char, Text)

OneAnd (NonEmpty a) (NonEmpty b) a b [a] [b]

Methods

_OneAnd :: Iso (NonEmpty a) (NonEmpty b) (a, [a]) (b, [b])