liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.GHC.Plugin

Description

This module provides a GHC Plugin that allows LiquidHaskell to be hooked directly into GHC's compilation pipeline, facilitating its usage and adoption.

Synopsis

Documentation

plugin :: Plugin Source #

The Plugin entrypoint ------------------------------------------------------