| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Types.Literals
- 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
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.
mkS :: ByteString -> Maybe Expr Source #