Language.Haskell.Liquid.String
data SMTString Source #
Constructors
Defined in Language.Haskell.Liquid.String
Methods
(==) :: SMTString -> SMTString -> Bool #
(/=) :: SMTString -> SMTString -> Bool #
showsPrec :: Int -> SMTString -> ShowS #
show :: SMTString -> String #
showList :: [SMTString] -> ShowS #
concatString :: SMTString -> SMTString -> SMTString Source #
stringEmp :: SMTString Source #
stringLen :: SMTString -> Int Source #
subString :: SMTString -> Int -> Int -> SMTString Source #
takeString :: Int -> SMTString -> SMTString Source #
dropString :: Int -> SMTString -> SMTString Source #
fromString :: String -> SMTString Source #
isNullString :: SMTString -> Bool Source #