Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.StringVariants.NonEmptyText.Internal

Description

Internal module of NonEmptyText, allowing breaking the abstraction.

Prefer to use Data.StringVariants.NonEmptyText instead.

Synopsis

newtype NonEmptyText (n :: Nat) = NonEmptyText Text
mkNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)
mkNonEmptyTextWithTruncate :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n)
unsafeMkNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Text -> NonEmptyText n
widen :: (1 <= n, n <= m) => NonEmptyText n -> NonEmptyText m
compileNonEmptyTextKnownLength :: QuasiQuoter

Documentation

newtype NonEmptyText (n :: Nat) Source #

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

Constructors

NonEmptyText Text

Instances

Instances details

Lift (NonEmptyText n :: Type) Source #
Instance details 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) #
(KnownNat n, 1 <= n) => Arbitrary (NonEmptyText n) Source #
Instance details Defined in Data.StringVariants.NonEmptyText.Internal Methods arbitrary :: Gen (NonEmptyText n) # shrink :: NonEmptyText n -> [NonEmptyText n] #
(KnownNat n, 1 <= n) => FromJSON (NonEmptyText n) Source #
Instance details Defined in Data.StringVariants.NonEmptyText.Internal Methods parseJSON :: Value -> Parser (NonEmptyText n) # parseJSONList :: Value -> Parser [NonEmptyText n] #
ToJSON (NonEmptyText n) Source #
Instance details Defined in Data.StringVariants.NonEmptyText.Internal Methods toJSON :: NonEmptyText n -> Value # toEncoding :: NonEmptyText n -> Encoding # toJSONList :: [NonEmptyText n] -> Value # toEncodingList :: [NonEmptyText n] -> Encoding #
KnownNat n => Data (NonEmptyText n) Source #
Instance details Defined in Data.StringVariants.NonEmptyText.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NonEmptyText n -> c (NonEmptyText n) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (NonEmptyText n) # toConstr :: NonEmptyText n -> Constr # dataTypeOf :: NonEmptyText n -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (NonEmptyText n)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (NonEmptyText n)) # gmapT :: (forall b. Data b => b -> b) -> NonEmptyText n -> NonEmptyText n # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NonEmptyText n -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NonEmptyText n -> r # gmapQ :: (forall d. Data d => d -> u) -> NonEmptyText n -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NonEmptyText n -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NonEmptyText n -> m (NonEmptyText n) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NonEmptyText n -> m (NonEmptyText n) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NonEmptyText n -> m (NonEmptyText n) #
(TypeError (('Text "An instance of 'Semigroup (NonEmptyText n)' would violate the " ':<>: 'Text "length guarantees.") ':$$: 'Text "Please use '(<>\|)' or 'concatWithSpace' to combine the values.") :: Constraint) => Semigroup (NonEmptyText n) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.StringVariants.NonEmptyText.Internal Methods showsPrec :: Int -> NonEmptyText n -> ShowS # show :: NonEmptyText n -> String # showList :: [NonEmptyText n] -> ShowS #
Eq (NonEmptyText n) Source #
Instance details Defined in Data.StringVariants.NonEmptyText.Internal Methods (==) :: NonEmptyText n -> NonEmptyText n -> Bool # (/=) :: NonEmptyText n -> NonEmptyText n -> Bool #
Ord (NonEmptyText n) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Data.StringVariants.NonEmptyText.Internal Methods convertString :: NonEmptyText n -> ByteString #
ConvertibleStrings (NonEmptyText n) Text Source #
Instance details Defined in Data.StringVariants.NonEmptyText.Internal Methods convertString :: NonEmptyText n -> Text #
ConvertibleStrings (NonEmptyText n) String Source #
Instance details Defined in Data.StringVariants.NonEmptyText.Internal Methods convertString :: NonEmptyText n -> String #
type Rep (NonEmptyText n) Source #
Instance details Defined in Data.StringVariants.NonEmptyText.Internal type Rep (NonEmptyText n) = D1 ('MetaData "NonEmptyText" "Data.StringVariants.NonEmptyText.Internal" "string-variants-0.3.1.0-7oZ1CmOM9DaEt259oVGHqF" 'True) (C1 ('MetaCons "NonEmptyText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
type Element (NonEmptyText _n) Source #
Instance details Defined in Data.StringVariants.NonEmptyText.Internal type Element (NonEmptyText _n) = Char

mkNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n) Source #

mkNonEmptyTextWithTruncate :: forall n. (KnownNat n, 1 <= n) => Text -> Maybe (NonEmptyText n) Source #

unsafeMkNonEmptyText :: forall n. (KnownNat n, 1 <= n) => Text -> NonEmptyText n Source #

Make a NonEmptyText when you can manually verify the length

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

Converts a NonEmptyText to a wider NonEmptyText

compileNonEmptyTextKnownLength :: QuasiQuoter Source #