Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Literals

Synopsis

Documentation

literalFRefType :: TCEmb TyCon -> Literal -> RType RTyCon RTyVar Reft Source

literalFReft :: TCEmb TyCon -> 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.