Graphics.Diagrams.DerivationTrees

Contents

• Basics
• Derivation' building
• Links
• Engine

Synopsis

• module Data.Monoid
• module Data.LabeledTree
• emptyDrv :: forall k lab. Monoid lab => Tree k (Rule lab)
• haltDrv' :: forall lab. Monoid lab => lab -> Derivation lab -> Derivation lab
• delayPre :: forall lab a. Int -> (Link lab ::> a) -> Link lab ::> a
• dummy :: Monoid lab => Rule lab
• rule :: Monoid lab => lab -> lab -> Rule lab
• type Derivation lab = Tree (Link lab) (Rule lab)
• type Premise lab = Link lab ::> Derivation lab
• data Rule lab = Rule {
  • ruleStyle :: LineStyle
  • delimiter :: lab
  • ruleLabel :: lab
  • conclusion :: lab
  }
• type LineStyle = PathOptions -> PathOptions
• defaultLink :: Monoid lab => Link lab
• data Link lab
  • = Link {
    • label :: lab
    • linkStyle :: LineStyle
    • steps :: Int
    }
  • | Delayed
• derivationTreeDiag :: Monad m => Derivation lab -> Diagram lab m ()
• delayD :: Monoid lab => Derivation lab -> Derivation lab

Basics

Derivation' building

Links

Engine