hegg-0.5.0.0: Fast equality saturation in Haskell
Safe HaskellNone
LanguageHaskell2010

Data.Equality.Graph.Classes

Description

Module for the definition of EClass.

Synopsis

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

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 #