liquidhaskell-boot-0.9.10.1.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Liquid.GHC.API.Compat

Description

This module contains definitions that change between different versions of the GHC API. It helps encapsulating differences between branches of LH that could support different versions of GHC.

Documentation

type UniqueId = Word64 Source #

toUniqueId :: Word64 -> UniqueId Source #

foldableModule :: Module Source #

realModule :: Module Source #

mkHsTyConApp :: IdP GhcPs -> [LHsType GhcPs] -> LHsType GhcPs Source #

mkHsOverLit :: HsOverLit GhcPs -> HsExpr GhcPs Source #