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 :: StringLiteral a -> StringLiteral b -> Maybe (a :~: b)

OrdF StringLiteral

Defined in What4.Utils.StringLiteral

Methods

compareF :: StringLiteral x -> StringLiteral y -> OrderingF x y

leqF :: StringLiteral x -> StringLiteral y -> Bool

ltF :: StringLiteral x -> StringLiteral y -> Bool

geqF :: StringLiteral x -> StringLiteral y -> Bool

gtF :: StringLiteral x -> StringLiteral y -> Bool

ShowF StringLiteral

Defined in What4.Utils.StringLiteral

Methods

withShow :: p StringLiteral -> q tp -> (Show (StringLiteral tp) -> a) -> a

showF :: StringLiteral tp -> String

showsPrecF :: Int -> StringLiteral tp -> String -> String

HashableF StringLiteral

Defined in What4.Utils.StringLiteral

Methods

hashWithSaltF :: Int -> StringLiteral tp -> Int

hashF :: StringLiteral tp -> Int

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

Show (StringLiteral si)

Defined in What4.Utils.StringLiteral

Methods

showsPrec :: Int -> StringLiteral si -> ShowS

show :: StringLiteral si -> String

showList :: [StringLiteral si] -> ShowS

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

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 -> Natural

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 -> Natural -> Natural -> StringLiteral si

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