| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
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.
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
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.
You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.
| Key | Shortcut |
|---|---|
| s | Open this search box |
| esc | Close this search box |
| ↓,ctrl + j | Move down in search results |
| ↑,ctrl + k | Move up in search results |
| ↵ | Go to active search result |