helium-1.8.1: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.StaticChecks.StaticChecks

Documentation

uniqueKeys :: Ord key => [(key, a)] -> ([(key, a)], [[key]]) Source

type ScopeInfo = ([Names], [Name], [(Name, Name)]) Source

uniqueAppearance :: Ord a => [a] -> ([a], [[a]]) Source

nextUnique :: Num a => a -> (a, a) Source

mode :: Ord a => [a] -> Maybe a Source

frequencies :: Ord a => [a] -> [(a, Int)] Source

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 T_Export_s36 Source

Constructors

C_Export_s36 

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_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_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