liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Types.Literals

Synopsis

Documentation

literalConst :: TCEmb TyCon -> Literal -> (Sort, Maybe Expr) #

literalConst returns Nothing for unhandled lits because otherwise string-literals show up as global int-constants which blow up qualifier instantiation.

mkI :: Integer -> Maybe Expr #

mkS :: ByteString -> Maybe Expr #