Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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
- derivationTreeDiag :: Monad m => Derivation lab -> Diagram lab m ()
- delayD :: Monoid lab => Derivation lab -> Derivation lab
Basics
module Data.Monoid
module Data.LabeledTree
Derivation' building
haltDrv' :: forall lab. Monoid lab => lab -> Derivation lab -> Derivation lab Source
Used when the rest of the derivation is known.
type Derivation lab = Tree (Link lab) (Rule lab) Source
type Premise lab = Link lab ::> Derivation lab Source
Links
type LineStyle = PathOptions -> PathOptions Source
defaultLink :: Monoid lab => Link lab Source
Engine
derivationTreeDiag :: Monad m => Derivation lab -> Diagram lab m () Source
delayD :: Monoid lab => Derivation lab -> Derivation lab Source