Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Types.Literals

Synopsis

literalFRefType :: Literal -> RType RTyCon RTyVar Reft
literalFReft :: Literal -> Reft
literalConst :: TCEmb TyCon -> Literal -> (Sort, Maybe Expr)
mkI :: Integer -> Maybe Expr
mkS :: ByteString -> Maybe Expr

Documentation

literalFRefType :: Literal -> RType RTyCon RTyVar Reft #

literalFReft :: Literal -> Reft #

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 #