liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
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 ------------------------------------------------------