| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
KleenePlugin.Names
Synopsis
- data KleNames = KleNames {
- kleCls :: !Class
- kleRe :: !TyCon
- kleE :: !DataCon
- kleV :: !DataCon
- kleApp :: !DataCon
- kleAlt :: !DataCon
- kleS :: !DataCon
- kleT :: !DataCon
- kleME :: !DataCon
- kleMV :: !DataCon
- kleMA :: !DataCon
- kleML :: !DataCon
- kleMR :: !DataCon
- kleMN :: !DataCon
- kleMC :: !DataCon
- kleMT :: !DataCon
- kleSNil :: !DataCon
- kleSCons :: !DataCon
- kleFApp :: !TyCon
- kleLabel :: !Class
- kleKey :: !TyCon
Documentation
State of the type-checker plugin.
When initialising the plugin, we lookup names from Kleene.Type.
Constructors
| KleNames | |
Fields
| |