derivation-trees 0.7.2 → 0.7.3
raw patch · 2 files changed
+3/−3 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- DerivationTrees: instance (Monoid t) => Applicative (Writer t)
- DerivationTrees: instance (Show tag) => Show (Rule tag)
+ DerivationTrees: instance Monoid t => Applicative (Writer t)
+ DerivationTrees: instance Show tag => Show (Rule tag)
- DerivationTrees: (<>) :: (Monoid a) => a -> a -> a
+ DerivationTrees: (<>) :: Monoid a => a -> a -> a
- DerivationTrees: abortDrv :: Tree t1 (Rule t) -> Tree k (Rule t)
+ DerivationTrees: abortDrv :: Tree t (Rule tag) -> Tree k (Rule tag)
- DerivationTrees: delayPre :: Alignment -> Int -> ::> Link t -> ::> Link t
+ DerivationTrees: delayPre :: Alignment -> Int -> ::> Link a -> ::> Link a
- DerivationTrees.CPTS: (===) :: (Unifyable a) => a -> a -> Bool
+ DerivationTrees.CPTS: (===) :: Unifyable a => a -> a -> Bool
- DerivationTrees.CPTS: texify :: (TeXable a) => a -> TeX
+ DerivationTrees.CPTS: texify :: TeXable a => a -> TeX
Files
- DerivationTrees/CPTS.hs +2/−2
- derivation-trees.cabal +1/−1
DerivationTrees/CPTS.hs view
@@ -115,7 +115,7 @@ interpV :: V -> TeX-interpV (V v) = texify v+interpV (V v) = tex "Varid" [texify v] interpV (Unbound) = TeX "?" interpB :: Binding -> TeX@@ -156,7 +156,7 @@ interpT d e@(Pi c a b) = parn d e $ col c "FORALL" [interpB a, interpT BinderRhs b] interpT d e@(App c f a) = parn d e $ col c "APP" [interpT ApplLhs f, interpT ApplRhs a] interpT d e@(Sub t b) = parn d e $ (interpT SubsLhs t <> brack (interpB' (tex "mapsto" [mempty]) b))-interpT d e@(Var x) = texify x+interpT d e@(Var x) = tex "Varid" [texify x] interpT d e@(Con x) = texify x interpT d e@(Many t) = M.many (interpT d t) interpT d e@(Sor s) = texify s
derivation-trees.cabal view
@@ -1,5 +1,5 @@ name: derivation-trees-version: 0.7.2+version: 0.7.3 category: Graphics, Math synopsis: Typeset Derivation Trees via MetaPost description: