| Safe Haskell | None |
|---|
Helium.StaticAnalysis.Inferencers.BindingGroupAnalysis
Description
- type Assumptions = Map Name [(Name, Tp)]
- type PatternAssumptions = Map Name Tp
- type Monos = Tps
- noAssumptions :: Map Name a
- listToAssumptions :: [(Name, Tp)] -> Assumptions
- combine :: Assumptions -> Assumptions -> Assumptions
- single :: Name -> Tp -> Assumptions
- type BindingGroups = [BindingGroup]
- type BindingGroup = (PatternAssumptions, Assumptions, ConstraintSets)
- type InheritedBDG = [(Names, (Monos, Int))]
- emptyBindingGroup :: BindingGroup
- combineBindingGroup :: BindingGroup -> BindingGroup -> BindingGroup
- concatBindingGroups :: BindingGroups -> BindingGroup
- type InputBDG = (Bool, Int, Int, Monos, Map Name TpScheme, Maybe (Assumptions, ConstraintSets), Int)
- type OutputBDG = (Assumptions, ConstraintSet, InheritedBDG, Int, Int, Map Name (Sigma Predicates))
- performBindingGroup :: InputBDG -> BindingGroups -> OutputBDG
- findMono :: Name -> InheritedBDG -> Monos
- getMonos :: TypeConstraints info -> Monos
- findCurrentChunk :: Name -> InheritedBDG -> Int
- topSort :: Vertex -> [Edge] -> [[Vertex]]
Documentation
type PatternAssumptions = Map Name TpSource
noAssumptions :: Map Name aSource
listToAssumptions :: [(Name, Tp)] -> AssumptionsSource
combine :: Assumptions -> Assumptions -> AssumptionsSource
single :: Name -> Tp -> AssumptionsSource
type BindingGroups = [BindingGroup]Source
type InheritedBDG = [(Names, (Monos, Int))]Source
type InputBDG = (Bool, Int, Int, Monos, Map Name TpScheme, Maybe (Assumptions, ConstraintSets), Int)Source
Input for binding group analysis
type OutputBDG = (Assumptions, ConstraintSet, InheritedBDG, Int, Int, Map Name (Sigma Predicates))Source
findMono :: Name -> InheritedBDG -> MonosSource
getMonos :: TypeConstraints info -> MonosSource
findCurrentChunk :: Name -> InheritedBDG -> IntSource