liquidhaskell-0.3.1.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

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.