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

Documentation

literalFRefType :: Literal -> RType RTyCon RTyVar Reft Source #

literalFReft :: Literal -> Reft Source #

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

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 Source #

mkS :: ByteString -> Expr Source #