Language.Haskell.Liquid.String

Documentation

data SMTString

Constructors

S ByteString

Instances

Eq SMTString

Defined in Language.Haskell.Liquid.String

Methods

(==) :: SMTString -> SMTString -> Bool

(/=) :: SMTString -> SMTString -> Bool

Show SMTString

Defined in Language.Haskell.Liquid.String

Methods

showsPrec :: Int -> SMTString -> ShowS

show :: SMTString -> String

showList :: [SMTString] -> ShowS

concatString :: SMTString -> SMTString -> SMTString

stringEmp :: SMTString

stringLen :: SMTString -> Int

subString :: SMTString -> Int -> Int -> SMTString

takeString :: Int -> SMTString -> SMTString

dropString :: Int -> SMTString -> SMTString

fromString :: String -> SMTString

isNullString :: SMTString -> Bool