Safe Haskell	None
Language	Haskell2010

Predicate.Data.String

Description

promoted String functions

Synopsis

data TrimBoth
data TrimL
data TrimR
data StripR p q
data StripL p q
data IsPrefixC p q
data IsInfixC p q
data IsSuffixC p q
data IsPrefixCI p q
data IsInfixCI p q
data IsSuffixCI p q
data ToString
data FromString (t :: Type) p
data FromString' t s

Documentation

data TrimBoth #

similar to strip

>>> pz @(Snd >> TrimBoth) (20," abc   ")
Val "abc"

>>> pz @(Snd >> TrimBoth) (20,T.pack " abc   ")
Val "abc"

>>> pz @("         " >> TrimBoth) ()
Val ""

>>> pz @("" >> TrimBoth) ()
Val ""

Instances

Show TrimBoth #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> TrimBoth -> ShowS # show :: TrimBoth -> String # showList :: [TrimBoth] -> ShowS #
P TrimBothT x => P TrimBoth x #
Instance details Defined in Predicate.Data.String Associated Types type PP TrimBoth x :: Type # Methods eval :: MonadEval m => proxy TrimBoth -> POpts -> x -> m (TT (PP TrimBoth x)) #
type PP TrimBoth x #
Instance details Defined in Predicate.Data.String type PP TrimBoth x

data TrimL #

similar to stripStart

>>> pz @(Snd >> TrimL) (20," abc   ")
Val "abc   "

Instances

Show TrimL #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> TrimL -> ShowS # show :: TrimL -> String # showList :: [TrimL] -> ShowS #
P TrimLT x => P TrimL x #
Instance details Defined in Predicate.Data.String Associated Types type PP TrimL x :: Type # Methods eval :: MonadEval m => proxy TrimL -> POpts -> x -> m (TT (PP TrimL x)) #
type PP TrimL x #
Instance details Defined in Predicate.Data.String type PP TrimL x

data TrimR #

similar to stripEnd

>>> pz @(Snd >> TrimR) (20," abc   ")
Val " abc"

>>> pz @("  abc " >> TrimR) ()
Val "  abc"

>>> pz @("" >> TrimR) ()
Val ""

Instances

Show TrimR #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> TrimR -> ShowS # show :: TrimR -> String # showList :: [TrimR] -> ShowS #
P TrimRT x => P TrimR x #
Instance details Defined in Predicate.Data.String Associated Types type PP TrimR x :: Type # Methods eval :: MonadEval m => proxy TrimR -> POpts -> x -> m (TT (PP TrimR x)) #
type PP TrimR x #
Instance details Defined in Predicate.Data.String type PP TrimR x

data StripR p q #

similar to stripRight

>>> pz @(StripR "xyz" Id) "Hello xyz"
Val (Just "Hello ")

>>> pz @(StripR "xyz" Id) "xyzHelloxyw"
Val Nothing

>>> pz @(StripR "xyz" Id) ""
Val Nothing

>>> pz @(StripR "xyz" "xyz") ()
Val (Just "")

Instances

P (StripRT p q) x => P (StripR p q :: Type) x #
Instance details Defined in Predicate.Data.String Associated Types type PP (StripR p q) x :: Type # Methods eval :: MonadEval m => proxy (StripR p q) -> POpts -> x -> m (TT (PP (StripR p q) x)) #
Show (StripR p q) #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> StripR p q -> ShowS # show :: StripR p q -> String # showList :: [StripR p q] -> ShowS #
type PP (StripR p q :: Type) x #
Instance details Defined in Predicate.Data.String type PP (StripR p q :: Type) x

data StripL p q #

similar to stripLeft

>>> pz @(StripL "xyz" Id) "xyzHello"
Val (Just "Hello")

>>> pz @(StripL "xyz" Id) (T.pack "xyzHello")
Val (Just "Hello")

>>> pz @(StripL "xyz" Id) "xywHello"
Val Nothing

Instances

P (StripLT p q) x => P (StripL p q :: Type) x #
Instance details Defined in Predicate.Data.String Associated Types type PP (StripL p q) x :: Type # Methods eval :: MonadEval m => proxy (StripL p q) -> POpts -> x -> m (TT (PP (StripL p q) x)) #
Show (StripL p q) #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> StripL p q -> ShowS # show :: StripL p q -> String # showList :: [StripL p q] -> ShowS #
type PP (StripL p q :: Type) x #
Instance details Defined in Predicate.Data.String type PP (StripL p q :: Type) x

data IsPrefixC p q #

similar to isPrefixOf for strings

>>> pl @(IsPrefixC "xy" Id) "xyzabw"
True (IsPrefixC | xy xyzabw)
Val True

>>> pl @(IsPrefixC "ab" Id) "xyzbaw"
False (IsPrefixC | ab xyzbaw)
Val False

>>> pz @(IsPrefixC "abc" "aBcbCd") ()
Val False

Instances

P (IsPrefixCT p q) x => P (IsPrefixC p q :: Type) x #
Instance details Defined in Predicate.Data.String Associated Types type PP (IsPrefixC p q) x :: Type # Methods eval :: MonadEval m => proxy (IsPrefixC p q) -> POpts -> x -> m (TT (PP (IsPrefixC p q) x)) #
Show (IsPrefixC p q) #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> IsPrefixC p q -> ShowS # show :: IsPrefixC p q -> String # showList :: [IsPrefixC p q] -> ShowS #
type PP (IsPrefixC p q :: Type) x #
Instance details Defined in Predicate.Data.String type PP (IsPrefixC p q :: Type) x

data IsInfixC p q #

similar to isInfixOf for strings

>>> pl @(IsInfixC "ab" Id) "xyzabw"
True (IsInfixC | ab xyzabw)
Val True

>>> pl @(IsInfixC "aB" Id) "xyzAbw"
False (IsInfixC | aB xyzAbw)
Val False

>>> pl @(IsInfixC "ab" Id) "xyzbaw"
False (IsInfixC | ab xyzbaw)
Val False

>>> pl @(IsInfixC Fst Snd) ("ab","xyzabw")
True (IsInfixC | ab xyzabw)
Val True

Instances

P (IsInfixCT p q) x => P (IsInfixC p q :: Type) x #
Instance details Defined in Predicate.Data.String Associated Types type PP (IsInfixC p q) x :: Type # Methods eval :: MonadEval m => proxy (IsInfixC p q) -> POpts -> x -> m (TT (PP (IsInfixC p q) x)) #
Show (IsInfixC p q) #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> IsInfixC p q -> ShowS # show :: IsInfixC p q -> String # showList :: [IsInfixC p q] -> ShowS #
type PP (IsInfixC p q :: Type) x #
Instance details Defined in Predicate.Data.String type PP (IsInfixC p q :: Type) x

data IsSuffixC p q #

similar to isSuffixOf for strings

>>> pl @(IsSuffixC "bw" Id) "xyzabw"
True (IsSuffixC | bw xyzabw)
Val True

>>> pl @(IsSuffixC "bw" Id) "xyzbaw"
False (IsSuffixC | bw xyzbaw)
Val False

>>> pz @(IsSuffixC "bCd" "aBcbCd") ()
Val True

Instances

P (IsSuffixCT p q) x => P (IsSuffixC p q :: Type) x #
Instance details Defined in Predicate.Data.String Associated Types type PP (IsSuffixC p q) x :: Type # Methods eval :: MonadEval m => proxy (IsSuffixC p q) -> POpts -> x -> m (TT (PP (IsSuffixC p q) x)) #
Show (IsSuffixC p q) #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> IsSuffixC p q -> ShowS # show :: IsSuffixC p q -> String # showList :: [IsSuffixC p q] -> ShowS #
type PP (IsSuffixC p q :: Type) x #
Instance details Defined in Predicate.Data.String type PP (IsSuffixC p q :: Type) x

data IsPrefixCI p q #

similar to case insensitive isPrefixOf for strings

>>> pz @(IsPrefixCI "abc" "aBcbCd") ()
Val True

Instances

P (IsPrefixCIT p q) x => P (IsPrefixCI p q :: Type) x #
Instance details Defined in Predicate.Data.String Associated Types type PP (IsPrefixCI p q) x :: Type # Methods eval :: MonadEval m => proxy (IsPrefixCI p q) -> POpts -> x -> m (TT (PP (IsPrefixCI p q) x)) #
Show (IsPrefixCI p q) #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> IsPrefixCI p q -> ShowS # show :: IsPrefixCI p q -> String # showList :: [IsPrefixCI p q] -> ShowS #
type PP (IsPrefixCI p q :: Type) x #
Instance details Defined in Predicate.Data.String type PP (IsPrefixCI p q :: Type) x

data IsInfixCI p q #

similar to case insensitive isInfixOf for strings

>>> pl @(IsInfixCI "aB" Id) "xyzAbw"
True (IsInfixCI | aB xyzAbw)
Val True

>>> pz @(IsInfixCI "abc" "axAbCd") ()
Val True

Instances

P (IsInfixCIT p q) x => P (IsInfixCI p q :: Type) x #
Instance details Defined in Predicate.Data.String Associated Types type PP (IsInfixCI p q) x :: Type # Methods eval :: MonadEval m => proxy (IsInfixCI p q) -> POpts -> x -> m (TT (PP (IsInfixCI p q) x)) #
Show (IsInfixCI p q) #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> IsInfixCI p q -> ShowS # show :: IsInfixCI p q -> String # showList :: [IsInfixCI p q] -> ShowS #
type PP (IsInfixCI p q :: Type) x #
Instance details Defined in Predicate.Data.String type PP (IsInfixCI p q :: Type) x

data IsSuffixCI p q #

similar to case insensitive isSuffixOf for strings

Instances

P (IsSuffixCIT p q) x => P (IsSuffixCI p q :: Type) x #
Instance details Defined in Predicate.Data.String Associated Types type PP (IsSuffixCI p q) x :: Type # Methods eval :: MonadEval m => proxy (IsSuffixCI p q) -> POpts -> x -> m (TT (PP (IsSuffixCI p q) x)) #
Show (IsSuffixCI p q) #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> IsSuffixCI p q -> ShowS # show :: IsSuffixCI p q -> String # showList :: [IsSuffixCI p q] -> ShowS #
type PP (IsSuffixCI p q :: Type) x #
Instance details Defined in Predicate.Data.String type PP (IsSuffixCI p q :: Type) x

data ToString #

very simple conversion to a string

Instances

Show ToString #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> ToString -> ShowS # show :: ToString -> String # showList :: [ToString] -> ShowS #
ToStringC x => P ToString x #
Instance details Defined in Predicate.Data.String Associated Types type PP ToString x :: Type # Methods eval :: MonadEval m => proxy ToString -> POpts -> x -> m (TT (PP ToString x)) #
type PP ToString x #
Instance details Defined in Predicate.Data.String type PP ToString x = String

data FromString (t :: Type) p #

fromString function where you need to provide the type t of the result

>>> pz @(FromString (Identity _) Id) "abc"
Val (Identity "abc")

>>> pz @(FromString (Seq.Seq Char) Id) "abc"
Val (fromList "abc")

Instances

P (FromStringPT t p) x => P (FromString t p :: Type) x #
Instance details Defined in Predicate.Data.String Associated Types type PP (FromString t p) x :: Type # Methods eval :: MonadEval m => proxy (FromString t p) -> POpts -> x -> m (TT (PP (FromString t p) x)) #
Show (FromString t p) #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> FromString t p -> ShowS # show :: FromString t p -> String # showList :: [FromString t p] -> ShowS #
type PP (FromString t p :: Type) x #
Instance details Defined in Predicate.Data.String type PP (FromString t p :: Type) x

data FromString' t s #

fromString function where you need to provide the type t of the result

Instances

(P s a, PP s a ~ String, Show (PP t a), IsString (PP t a)) => P (FromString' t s :: Type) a #
Instance details Defined in Predicate.Data.String Associated Types type PP (FromString' t s) a :: Type # Methods eval :: MonadEval m => proxy (FromString' t s) -> POpts -> a -> m (TT (PP (FromString' t s) a)) #
Show (FromString' t s) #
Instance details Defined in Predicate.Data.String Methods showsPrec :: Int -> FromString' t s -> ShowS # show :: FromString' t s -> String # showList :: [FromString' t s] -> ShowS #
type PP (FromString' t s :: Type) a #
Instance details Defined in Predicate.Data.String type PP (FromString' t s :: Type) a = PP t a