helium-1.8.1: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.Inferencers.BindingGroupAnalysis

Description

 

Synopsis

Documentation

type InputBDG = (Bool, Int, Int, Monos, Map Name TpScheme, Maybe (Assumptions, ConstraintSets), Int) Source

Input for binding group analysis