Safe Haskell	None
Language	Haskell2010

Data.Equality.Graph.Classes

Description

Module for the definition of EClass.

Synopsis

data EClass analysis_domain (language :: Type -> Type) = EClass {
- eClassId :: !ClassId
- eClassNodes :: !(Set (ENode language))
- eClassData :: analysis_domain
- eClassParents :: !(SList (ClassId, ENode language))
}
module Data.Equality.Graph.Classes.Id

Documentation

data EClass analysis_domain (language :: Type -> Type) Source #

An e-class (an equivalence class of terms) of a language l.

Intuitively, an e-graph is a set of equivalence classes (e-classes). Each e-class is a set of e-nodes representing equivalent terms from a given language, and an e-node is a function symbol paired with a list of children e-classes.

Constructors

EClass
Fields eClassId :: !ClassId E-class identifier eClassNodes :: !(Set (ENode language)) E-nodes in this class eClassData :: analysis_domain The analysis data associated with this eclass. eClassParents :: !(SList (ClassId, ENode language)) E-nodes which are parents of this e-class and their corresponding e-class ids.

Instances

Instances details

(Show a, Show (l ClassId)) => Show (EClass a l) Source #
Instance details Defined in Data.Equality.Graph.Classes Methods showsPrec :: Int -> EClass a l -> ShowS # show :: EClass a l -> String # showList :: [EClass a l] -> ShowS #

module Data.Equality.Graph.Classes.Id