lp-diagrams-2.1.4: An EDSL for diagrams based based on linear constraints

Safe Haskell	None
Language	Haskell2010

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

module Data.Monoid

module Data.LabeledTree

Derivation' building

emptyDrv :: forall k lab. Monoid lab => Tree k (Rule lab) Source #

haltDrv' :: forall lab. Monoid lab => lab -> Derivation lab -> Derivation lab Source #

Used when the rest of the derivation is known.

delayPre :: forall lab a. Int -> (Link lab ::> a) -> Link lab ::> a Source #

dummy :: Monoid lab => Rule lab Source #

rule :: Monoid lab => lab -> lab -> Rule lab Source #

type Derivation lab = Tree (Link lab) (Rule lab) Source #

type Premise lab = Link lab ::> Derivation lab Source #

data Rule lab Source #

Constructors

Rule
Fields ruleStyle :: LineStyle delimiter :: lab ruleLabel :: lab conclusion :: lab

Links

type LineStyle = PathOptions -> PathOptions Source #

defaultLink :: Monoid lab => Link lab Source #

data Link lab Source #

Constructors

Link	Regular link
Fields label :: lab linkStyle :: LineStyle steps :: Int
Delayed	automatic delaying

Engine

derivationTreeDiag :: Monad m => Derivation lab -> Diagram lab m () Source #

delayD :: Monoid lab => Derivation lab -> Derivation lab Source #