helium-1.8.1: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.Inferencers.KindInferencing

Documentation

newtype T_Body Source

Constructors

T_Body 

newtype T_Body_s14 Source

Constructors

C_Body_s14 

data T_Body_s15 Source

Constructors

C_Body_s15 

data Inh_Export Source

Constructors

Inh_Export 

data Syn_Export Source

Constructors

Syn_Export 

data T_Export_s36 Source

Constructors

C_Export_s36 

data Inh_Exports Source

Constructors

Inh_Exports 

data Inh_Fixity Source

Constructors

Inh_Fixity 

data Syn_Fixity Source

Constructors

Syn_Fixity 

data T_Fixity_s54 Source

Constructors

C_Fixity_s54 

data Inh_Import Source

Constructors

Inh_Import 

data Syn_Import Source

Constructors

Syn_Import 

data T_Import_s69 Source

Constructors

C_Import_s69 

data Inh_Imports Source

Constructors

Inh_Imports 

data Inh_Literal Source

Constructors

Inh_Literal 

data Inh_MaybeInt Source

Constructors

Inh_MaybeInt 

data Inh_Name Source

Constructors

Inh_Name 

data Syn_Name Source

Constructors

Syn_Name 

Fields

self_Syn_Name :: Name
 

newtype T_Name Source

Constructors

T_Name 

newtype T_Name_s113 Source

Constructors

C_Name_s113 

data T_Name_s114 Source

Constructors

C_Name_s114 

data Inh_Names Source

Constructors

Inh_Names 

data Syn_Names Source

Constructors

Syn_Names 

newtype T_Names Source

data T_Names_s117 Source

Constructors

C_Names_s117 

data Inh_Pattern Source

Constructors

Inh_Pattern 

data Inh_Patterns Source

Constructors

Inh_Patterns 

data Inh_Position Source

Constructors

Inh_Position 

data Inh_Range Source

Constructors

Inh_Range 

data Syn_Range Source

Constructors

Syn_Range 

newtype T_Range Source

data T_Range_s135 Source

Constructors

C_Range_s135 

data Inh_Strings Source

Constructors

Inh_Strings 

newtype T_Type Source

Constructors

T_Type 

newtype T_Type_s164 Source

Constructors

C_Type_s164 

data T_Type_s165 Source

Constructors

C_Type_s165 

newtype T_Types Source

data T_Types_s168 Source

Constructors

C_Types_s168