| Stability | development |
|---|---|
| Safe Haskell | Safe |
| Language | Haskell2010 |
Analysis.Interlevel.EvolutionarySpans
Description
- allEvolSpans :: MorphismsConfig -> [(String, SndOrderRule a b)] -> [(String, String, [EvoSpan a b])]
- data EvoSpan a b
- leftMatch :: EvoSpan a b -> RuleMorphism a b
- rightMatch :: EvoSpan a b -> RuleMorphism a b
- cpe :: EvoSpan a b -> CPE
Documentation
allEvolSpans :: MorphismsConfig -> [(String, SndOrderRule a b)] -> [(String, String, [EvoSpan a b])] Source #
Given a list of second order rules, calculate all Evolutionary Spans This analysis is supposed to be symmetric, here is considering only this case
Represents the two evolutionary matches, and the kind of span
leftMatch :: EvoSpan a b -> RuleMorphism a b Source #
rightMatch :: EvoSpan a b -> RuleMorphism a b Source #