Data.StringVariants.NonEmptyText.Internal

Internal module of NonEmptyText, allowing breaking the abstraction.

Prefer to use Data.StringVariants.NonEmptyText instead.

Documentation

newtype NonEmptyText (n :: Nat)

Non Empty Text, requires the input is between 1 and n chars and not just whitespace.

Constructors

NonEmptyText Text

Instances

KnownNat n => Arbitrary (NonEmptyText n)

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

arbitrary :: Gen (NonEmptyText n)

shrink :: NonEmptyText n -> [NonEmptyText n]

KnownNat n => FromJSON (NonEmptyText n)

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

parseJSON :: Value -> Parser (NonEmptyText n)

parseJSONList :: Value -> Parser [NonEmptyText n]

ToJSON (NonEmptyText n)

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

toJSON :: NonEmptyText n -> Value

toEncoding :: NonEmptyText n -> Encoding

toJSONList :: [NonEmptyText n] -> Value

toEncodingList :: [NonEmptyText n] -> Encoding

Semigroup (NonEmptyText n)

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

(<>) :: NonEmptyText n -> NonEmptyText n -> NonEmptyText n

sconcat :: NonEmpty (NonEmptyText n) -> NonEmptyText n

stimes :: Integral b => b -> NonEmptyText n -> NonEmptyText n

Generic (NonEmptyText n)

Defined in Data.StringVariants.NonEmptyText.Internal

Associated Types

type Rep (NonEmptyText n) :: Type -> Type

Methods

from :: NonEmptyText n -> Rep (NonEmptyText n) x

to :: Rep (NonEmptyText n) x -> NonEmptyText n

Read (NonEmptyText n)

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

readsPrec :: Int -> ReadS (NonEmptyText n)

readList :: ReadS [NonEmptyText n]

readPrec :: ReadPrec (NonEmptyText n)

readListPrec :: ReadPrec [NonEmptyText n]

Show (NonEmptyText n)

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

showsPrec :: Int -> NonEmptyText n -> ShowS

show :: NonEmptyText n -> String

showList :: [NonEmptyText n] -> ShowS

Eq (NonEmptyText n)

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

(==) :: NonEmptyText n -> NonEmptyText n -> Bool

(/=) :: NonEmptyText n -> NonEmptyText n -> Bool

Ord (NonEmptyText n)

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

compare :: NonEmptyText n -> NonEmptyText n -> Ordering

(<) :: NonEmptyText n -> NonEmptyText n -> Bool

(<=) :: NonEmptyText n -> NonEmptyText n -> Bool

(>) :: NonEmptyText n -> NonEmptyText n -> Bool

(>=) :: NonEmptyText n -> NonEmptyText n -> Bool

max :: NonEmptyText n -> NonEmptyText n -> NonEmptyText n

min :: NonEmptyText n -> NonEmptyText n -> NonEmptyText n

MonoFoldable (NonEmptyText n)

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

ofoldMap :: Monoid m => (Element (NonEmptyText n) -> m) -> NonEmptyText n -> m

ofoldr :: (Element (NonEmptyText n) -> b -> b) -> b -> NonEmptyText n -> b

ofoldl' :: (a -> Element (NonEmptyText n) -> a) -> a -> NonEmptyText n -> a

otoList :: NonEmptyText n -> [Element (NonEmptyText n)]

oall :: (Element (NonEmptyText n) -> Bool) -> NonEmptyText n -> Bool

oany :: (Element (NonEmptyText n) -> Bool) -> NonEmptyText n -> Bool

onull :: NonEmptyText n -> Bool

olength :: NonEmptyText n -> Int

olength64 :: NonEmptyText n -> Int64

ocompareLength :: Integral i => NonEmptyText n -> i -> Ordering

otraverse_ :: Applicative f => (Element (NonEmptyText n) -> f b) -> NonEmptyText n -> f ()

ofor_ :: Applicative f => NonEmptyText n -> (Element (NonEmptyText n) -> f b) -> f ()

omapM_ :: Applicative m => (Element (NonEmptyText n) -> m ()) -> NonEmptyText n -> m ()

oforM_ :: Applicative m => NonEmptyText n -> (Element (NonEmptyText n) -> m ()) -> m ()

ofoldlM :: Monad m => (a -> Element (NonEmptyText n) -> m a) -> a -> NonEmptyText n -> m a

ofoldMap1Ex :: Semigroup m => (Element (NonEmptyText n) -> m) -> NonEmptyText n -> m

ofoldr1Ex :: (Element (NonEmptyText n) -> Element (NonEmptyText n) -> Element (NonEmptyText n)) -> NonEmptyText n -> Element (NonEmptyText n)

ofoldl1Ex' :: (Element (NonEmptyText n) -> Element (NonEmptyText n) -> Element (NonEmptyText n)) -> NonEmptyText n -> Element (NonEmptyText n)

headEx :: NonEmptyText n -> Element (NonEmptyText n)

lastEx :: NonEmptyText n -> Element (NonEmptyText n)

unsafeHead :: NonEmptyText n -> Element (NonEmptyText n)

unsafeLast :: NonEmptyText n -> Element (NonEmptyText n)

maximumByEx :: (Element (NonEmptyText n) -> Element (NonEmptyText n) -> Ordering) -> NonEmptyText n -> Element (NonEmptyText n)

minimumByEx :: (Element (NonEmptyText n) -> Element (NonEmptyText n) -> Ordering) -> NonEmptyText n -> Element (NonEmptyText n)

oelem :: Element (NonEmptyText n) -> NonEmptyText n -> Bool

onotElem :: Element (NonEmptyText n) -> NonEmptyText n -> Bool

ConvertibleStrings (NonEmptyText n) ByteString

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

convertString :: NonEmptyText n -> ByteString

ConvertibleStrings (NonEmptyText n) Text

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

convertString :: NonEmptyText n -> Text

ConvertibleStrings (NonEmptyText n) String

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

convertString :: NonEmptyText n -> String

Lift (NonEmptyText n :: TYPE LiftedRep)

Defined in Data.StringVariants.NonEmptyText.Internal

Methods

lift :: Quote m => NonEmptyText n -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => NonEmptyText n -> Code m (NonEmptyText n)

type Rep (NonEmptyText n)

Defined in Data.StringVariants.NonEmptyText.Internal

type Rep (NonEmptyText n) = D1 ('MetaData "NonEmptyText" "Data.StringVariants.NonEmptyText.Internal" "string-variants-0.1.0.0-I08tZI0qUVK2xW67zk9IG8" 'True) (C1 ('MetaCons "NonEmptyText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

type Element (NonEmptyText _n)

Defined in Data.StringVariants.NonEmptyText.Internal

type Element (NonEmptyText _n) = Char

mkNonEmptyText :: forall n. KnownNat n => Text -> Maybe (NonEmptyText n)

unsafeMkNonEmptyText :: forall n. KnownNat n => Text -> NonEmptyText n

Make a NonEmptyText when you can manually verify the length

widen :: (1 <= n, n <= m) => NonEmptyText n -> NonEmptyText m

Converts a NonEmptyText to a wider NonEmptyText

compileNonEmptyTextKnownLength :: QuasiQuoter