What4.Utils.StringLiteral

Documentation

data StringLiteral (si :: StringInfo) :: Type where

Constructors

UnicodeLiteral :: !Text -> StringLiteral Unicode

Char8Literal :: !ByteString -> StringLiteral Char8

Char16Literal :: !Word16String -> StringLiteral Char16

Instances

TestEquality StringLiteral

Defined in What4.Utils.StringLiteral

Methods

testEquality :: forall (a :: k) (b :: k). StringLiteral a -> StringLiteral b -> Maybe (a :~: b)

HashableF StringLiteral

Defined in What4.Utils.StringLiteral

Methods

hashWithSaltF :: forall (tp :: k). Int -> StringLiteral tp -> Int

hashF :: forall (tp :: k). StringLiteral tp -> Int

OrdF StringLiteral

Defined in What4.Utils.StringLiteral

Methods

compareF :: forall (x :: k) (y :: k). StringLiteral x -> StringLiteral y -> OrderingF x y

leqF :: forall (x :: k) (y :: k). StringLiteral x -> StringLiteral y -> Bool

ltF :: forall (x :: k) (y :: k). StringLiteral x -> StringLiteral y -> Bool

geqF :: forall (x :: k) (y :: k). StringLiteral x -> StringLiteral y -> Bool

gtF :: forall (x :: k) (y :: k). StringLiteral x -> StringLiteral y -> Bool

ShowF StringLiteral

Defined in What4.Utils.StringLiteral

Methods

withShow :: forall p q (tp :: k) a. p StringLiteral -> q tp -> (Show (StringLiteral tp) => a) -> a

showF :: forall (tp :: k). StringLiteral tp -> String

showsPrecF :: forall (tp :: k). Int -> StringLiteral tp -> String -> String

IsString (StringLiteral Unicode)

Defined in What4.Utils.StringLiteral

Methods

fromString :: String -> StringLiteral Unicode

Semigroup (StringLiteral si)

Defined in What4.Utils.StringLiteral

Methods

(<>) :: StringLiteral si -> StringLiteral si -> StringLiteral si

sconcat :: NonEmpty (StringLiteral si) -> StringLiteral si

stimes :: Integral b => b -> StringLiteral si -> StringLiteral si

Show (StringLiteral si)

Defined in What4.Utils.StringLiteral

Methods

showsPrec :: Int -> StringLiteral si -> ShowS

show :: StringLiteral si -> String

showList :: [StringLiteral si] -> ShowS

Eq (StringLiteral si)

Defined in What4.Utils.StringLiteral

Methods

(==) :: StringLiteral si -> StringLiteral si -> Bool

(/=) :: StringLiteral si -> StringLiteral si -> Bool

Ord (StringLiteral si)

Defined in What4.Utils.StringLiteral

Methods

compare :: StringLiteral si -> StringLiteral si -> Ordering

(<) :: StringLiteral si -> StringLiteral si -> Bool

(<=) :: StringLiteral si -> StringLiteral si -> Bool

(>) :: StringLiteral si -> StringLiteral si -> Bool

(>=) :: StringLiteral si -> StringLiteral si -> Bool

max :: StringLiteral si -> StringLiteral si -> StringLiteral si

min :: StringLiteral si -> StringLiteral si -> StringLiteral si

Hashable (StringLiteral si)

Defined in What4.Utils.StringLiteral

Methods

hashWithSalt :: Int -> StringLiteral si -> Int

hash :: StringLiteral si -> Int

stringLiteralInfo :: StringLiteral si -> StringInfoRepr si

fromUnicodeLit :: StringLiteral Unicode -> Text

fromChar8Lit :: StringLiteral Char8 -> ByteString

fromChar16Lit :: StringLiteral Char16 -> Word16String

stringLitEmpty :: StringInfoRepr si -> StringLiteral si

stringLitLength :: StringLiteral si -> Integer

stringLitNull :: StringLiteral si -> Bool

stringLitBounds :: StringLiteral si -> Maybe (Int, Int)

stringLitContains :: StringLiteral si -> StringLiteral si -> Bool

stringLitIsPrefixOf :: StringLiteral si -> StringLiteral si -> Bool

stringLitIsSuffixOf :: StringLiteral si -> StringLiteral si -> Bool

stringLitSubstring :: StringLiteral si -> Integer -> Integer -> StringLiteral si

stringLitIndexOf :: StringLiteral si -> StringLiteral si -> Integer -> Integer

Index of first occurrence of second string in first one starting at the position specified by the third argument. stringLitIndexOf s t k, with 0 <= k <= |s| is the position of the first occurrence of t in s at or after position k, if any. Otherwise, it is -1. Note that the result is k whenever k is within the range [0, |s|] and t is empty.