Index of /~nad/listings/pretty

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[TXT]Data.Nat.html 12-Jul-2018 14:21 929  
[TXT]Data.List.html 12-Jul-2018 14:21 1.0K 
[TXT]Relation.Binary.List..>12-Jul-2018 14:21 1.1K 
[TXT]Relation.Binary.Sigm..>12-Jul-2018 14:21 1.2K 
[TXT]Relation.Binary.Prod..>12-Jul-2018 14:21 1.2K 
[TXT]Data.Char.Core.html 12-Jul-2018 14:21 1.2K 
[TXT]Agda.css 12-Jul-2018 14:21 1.2K 
[TXT]Agda.Builtin.Unit.html 12-Jul-2018 14:21 1.2K 
[TXT]Agda.Builtin.TrustMe..>12-Jul-2018 14:21 1.8K 
[TXT]Data.Empty.Irrelevan..>12-Jul-2018 14:21 1.9K 
[TXT]Data.Unit.Base.html 12-Jul-2018 14:21 1.9K 
[TXT]Data.Empty.html 12-Jul-2018 14:21 2.2K 
[TXT]Agda.Builtin.Equalit..>12-Jul-2018 14:21 2.3K 
[TXT]Agda.Builtin.Bool.html 12-Jul-2018 14:21 2.4K 
[TXT]Data.Bool.html 12-Jul-2018 14:21 2.5K 
[TXT]Relation.Binary.Part..>12-Jul-2018 14:21 2.6K 
[TXT]Agda.Builtin.Sigma.html12-Jul-2018 14:21 2.7K 
[TXT]Category.Functor.Ide..>12-Jul-2018 14:21 2.9K 
[TXT]Level.html 12-Jul-2018 14:21 3.0K 
[TXT]Agda.Builtin.Int.html 12-Jul-2018 14:21 3.1K 
[TXT]Relation.Binary.EqRe..>12-Jul-2018 14:21 3.2K 
[TXT]Category.Monad.Ident..>12-Jul-2018 14:21 3.3K 
[TXT]README.html 12-Jul-2018 14:21 3.3K 
[TXT]Algebra.RingSolver.S..>12-Jul-2018 14:21 3.3K 
[TXT]Algebra.FunctionProp..>12-Jul-2018 14:21 3.5K 
[TXT]Agda.Builtin.List.html 12-Jul-2018 14:21 3.6K 
[TXT]Agda.Primitive.html 12-Jul-2018 14:21 3.6K 
[TXT]Data.Vec.Relation.Eq..>12-Jul-2018 14:21 3.6K 
[TXT]Agda.Builtin.Char.html 12-Jul-2018 14:21 3.7K 
[TXT]Data.List.Relation.E..>12-Jul-2018 14:21 3.7K 
[TXT]Agda.Builtin.Coinduc..>12-Jul-2018 14:21 3.7K 
[TXT]Category.Applicative..>12-Jul-2018 14:21 3.9K 
[TXT]Coinduction.html 12-Jul-2018 14:21 4.5K 
[TXT]Agda.Builtin.Strict...>12-Jul-2018 14:21 4.5K 
[TXT]Relation.Binary.Prop..>12-Jul-2018 14:21 4.6K 
[TXT]Data.List.Relation.E..>12-Jul-2018 14:21 5.1K 
[TXT]Agda.Builtin.String...>12-Jul-2018 14:21 5.1K 
[TXT]Relation.Binary.Prop..>12-Jul-2018 14:21 5.3K 
[TXT]Data.List.Relation.E..>12-Jul-2018 14:21 5.3K 
[TXT]Relation.Nullary.Pro..>12-Jul-2018 14:21 5.3K 
[TXT]Relation.Binary.Prop..>12-Jul-2018 14:21 5.3K 
[TXT]Data.List.Membership..>12-Jul-2018 14:21 5.4K 
[TXT]README.Correct-by-Co..>12-Jul-2018 14:21 5.5K 
[TXT]Relation.Binary.Hete..>12-Jul-2018 14:21 5.8K 
[TXT]Examples.Bool.html 12-Jul-2018 14:21 5.9K 
[TXT]Data.Nat.Show.html 12-Jul-2018 14:21 6.3K 
[TXT]Data.Sign.html 12-Jul-2018 14:21 6.4K 
[TXT]Relation.Nullary.html 12-Jul-2018 14:21 6.5K 
[TXT]Data.Product.Propert..>12-Jul-2018 14:21 6.6K 
[TXT]Strict.html 12-Jul-2018 14:21 6.7K 
[TXT]Data.Unit.NonEta.html 12-Jul-2018 14:21 6.7K 
[TXT]Data.Sum.Properties...>12-Jul-2018 14:21 6.9K 
[TXT]Data.Vec.Relation.Eq..>12-Jul-2018 14:21 7.2K 
[TXT]Data.Char.Base.html 12-Jul-2018 14:21 8.1K 
[TXT]Relation.Binary.Inde..>12-Jul-2018 14:21 8.5K 
[TXT]Category.Monad.html 12-Jul-2018 14:21 9.2K 
[TXT]Category.Functor.html 12-Jul-2018 14:21 9.2K 
[TXT]Relation.Nullary.Sum..>12-Jul-2018 14:21 9.4K 
[TXT]Data.Vec.Categorical..>12-Jul-2018 14:21 9.6K 
[TXT]Relation.Binary.Prop..>12-Jul-2018 14:21 10K 
[TXT]Data.List.Relation.E..>12-Jul-2018 14:21 10K 
[TXT]Data.Vec.Relation.Eq..>12-Jul-2018 14:21 10K 
[TXT]Relation.Binary.Prop..>12-Jul-2018 14:21 10K 
[TXT]Data.Unit.html 12-Jul-2018 14:21 11K 
[TXT]Relation.Binary.Indu..>12-Jul-2018 14:21 11K 
[TXT]Data.BoundedVec.Inef..>12-Jul-2018 14:21 12K 
[TXT]Data.Bool.Base.html 12-Jul-2018 14:21 12K 
[TXT]Data.Char.html 12-Jul-2018 14:21 12K 
[TXT]Data.String.Base.html 12-Jul-2018 14:21 12K 
[TXT]Examples.Identifier-..>12-Jul-2018 14:21 13K 
[TXT]Data.Sum.html 12-Jul-2018 14:21 15K 
[TXT]Data.String.html 12-Jul-2018 14:21 15K 
[TXT]Examples.Identifier...>12-Jul-2018 14:21 16K 
[TXT]Relation.Binary.Preo..>12-Jul-2018 14:21 17K 
[TXT]Function.Injection.html12-Jul-2018 14:21 17K 
[TXT]Induction.html 12-Jul-2018 14:21 17K 
[TXT]Data.List.Membership..>12-Jul-2018 14:21 17K 
[TXT]Agda.Builtin.Nat.html 12-Jul-2018 14:21 18K 
[TXT]Utilities.html 12-Jul-2018 14:21 20K 
[TXT]Data.Sum.Base.html 12-Jul-2018 14:21 20K 
[TXT]Algebra.RingSolver.N..>12-Jul-2018 14:21 21K 
[TXT]Algebra.Properties.A..>12-Jul-2018 14:21 22K 
[TXT]Data.Integer.html 12-Jul-2018 14:21 22K 
[TXT]Data.List.Any.html 12-Jul-2018 14:21 22K 
[TXT]Function.Bijection.html12-Jul-2018 14:21 23K 
[TXT]Data.Conat.html 12-Jul-2018 14:21 23K 
[TXT]Relation.Binary.Inde..>12-Jul-2018 14:21 23K 
[TXT]Data.Table.Base.html 12-Jul-2018 14:21 25K 
[TXT]Algebra.Properties.R..>12-Jul-2018 14:21 25K 
[TXT]Function.Surjection...>12-Jul-2018 14:21 26K 
[TXT]Category.Monad.Index..>12-Jul-2018 14:21 27K 
[TXT]Data.Fin.Subset.html 12-Jul-2018 14:21 28K 
[TXT]Data.Vec.Relation.Eq..>12-Jul-2018 14:21 28K 
[TXT]Examples.Tree.html 12-Jul-2018 14:21 28K 
[TXT]Algebra.Operations.S..>12-Jul-2018 14:21 28K 
[TXT]Algebra.Properties.D..>12-Jul-2018 14:21 34K 
[TXT]Algebra.Properties.G..>12-Jul-2018 14:21 34K 
[TXT]Data.Maybe.Base.html 12-Jul-2018 14:21 35K 
[TXT]Data.List.All.html 12-Jul-2018 14:21 35K 
[TXT]Relation.Unary.Prope..>12-Jul-2018 14:21 35K 
[TXT]Data.Digit.html 12-Jul-2018 14:21 35K 
[TXT]Relation.Binary.Refl..>12-Jul-2018 14:21 36K 
[TXT]Category.Applicative..>12-Jul-2018 14:21 36K 
[TXT]Function.LeftInverse..>12-Jul-2018 14:21 36K 
[TXT]Function.Equality.html 12-Jul-2018 14:21 37K 
[TXT]Data.Vec.All.html 12-Jul-2018 14:21 37K 
[TXT]Function.Equivalence..>12-Jul-2018 14:21 37K 
[TXT]Relation.Nullary.Dec..>12-Jul-2018 14:21 38K 
[TXT]Data.List.Membership..>12-Jul-2018 14:21 38K 
[TXT]Grammar.Abstract.html 12-Jul-2018 14:21 39K 
[TXT]Algebra.RingSolver.A..>12-Jul-2018 14:21 39K 
[TXT]Algebra.FunctionProp..>12-Jul-2018 14:21 44K 
[TXT]Algebra.Operations.C..>12-Jul-2018 14:21 44K 
[TXT]Algebra.Morphism.html 12-Jul-2018 14:21 45K 
[TXT]Data.Maybe.html 12-Jul-2018 14:21 45K 
[TXT]Examples.XML.html 12-Jul-2018 14:21 45K 
[TXT]Relation.Binary.Clos..>12-Jul-2018 14:21 47K 
[TXT]Function.html 12-Jul-2018 14:21 47K 
[TXT]Relation.Binary.NonS..>12-Jul-2018 14:21 47K 
[TXT]Relation.Binary.Stri..>12-Jul-2018 14:21 48K 
[TXT]Algebra.Monoid-solve..>12-Jul-2018 14:21 49K 
[TXT]Function.Inverse.html 12-Jul-2018 14:21 51K 
[TXT]Data.Integer.Base.html 12-Jul-2018 14:21 53K 
[TXT]Data.Nat.Base.html 12-Jul-2018 14:21 54K 
[TXT]Data.Nat.DivMod.html 12-Jul-2018 14:21 57K 
[TXT]Relation.Binary.Cons..>12-Jul-2018 14:21 60K 
[TXT]Induction.WellFounde..>12-Jul-2018 14:21 61K 
[TXT]Data.List.Relation.L..>12-Jul-2018 14:21 62K 
[TXT]Data.Product.html 12-Jul-2018 14:21 62K 
[TXT]Algebra.Properties.L..>12-Jul-2018 14:21 66K 
[TXT]Induction.Nat.html 12-Jul-2018 14:21 66K 
[TXT]Data.Sum.Relation.Co..>12-Jul-2018 14:21 67K 
[TXT]Relation.Nullary.Neg..>12-Jul-2018 14:21 70K 
[TXT]Relation.Binary.Latt..>12-Jul-2018 14:21 74K 
[TXT]Examples.Expression...>12-Jul-2018 14:21 79K 
[TXT]Relation.Binary.Core..>12-Jul-2018 14:21 81K 
[TXT]Data.Fin.Dec.html 12-Jul-2018 14:21 82K 
[TXT]Data.List.Relation.L..>12-Jul-2018 14:21 85K 
[TXT]Relation.Binary.On.html12-Jul-2018 14:21 85K 
[TXT]Relation.Binary.Prop..>12-Jul-2018 14:21 86K 
[TXT]Data.Fin.html 12-Jul-2018 14:21 87K 
[TXT]Relation.Unary.html 12-Jul-2018 14:21 88K 
[TXT]Data.Vec.N-ary.html 12-Jul-2018 14:21 92K 
[TXT]Algebra.RingSolver.L..>12-Jul-2018 14:21 94K 
[TXT]Algebra.Structures.html12-Jul-2018 14:21 95K 
[TXT]Algebra.Properties.B..>12-Jul-2018 14:21 95K 
[TXT]Relation.Binary.html 12-Jul-2018 14:21 97K 
[TXT]Data.List.Membership..>12-Jul-2018 14:21 99K 
[TXT]Algebra.html 12-Jul-2018 14:21 100K 
[TXT]Algebra.FunctionProp..>12-Jul-2018 14:21 103K 
[TXT]Data.Bool.Properties..>12-Jul-2018 14:21 112K 
[TXT]Data.Vec.Relation.Po..>12-Jul-2018 14:21 114K 
[TXT]Data.List.Categorica..>12-Jul-2018 14:21 116K 
[TXT]Data.List.Relation.P..>12-Jul-2018 14:21 120K 
[TXT]Function.Related.html 12-Jul-2018 14:21 123K 
[TXT]Examples.Precedence...>12-Jul-2018 14:21 127K 
[TXT]Data.Vec.html 12-Jul-2018 14:21 129K 
[TXT]Data.List.NonEmpty.html12-Jul-2018 14:21 136K 
[TXT]Data.Vec.Relation.Po..>12-Jul-2018 14:21 138K 
[TXT]Data.List.Base.html 12-Jul-2018 14:21 141K 
[TXT]Relation.Binary.Hete..>12-Jul-2018 14:21 145K 
[TXT]Pretty.html 12-Jul-2018 14:21 146K 
[TXT]Data.Sum.Relation.Po..>12-Jul-2018 14:21 153K 
[TXT]Data.Fin.Subset.Prop..>12-Jul-2018 14:21 155K 
[TXT]Data.List.Membership..>12-Jul-2018 14:21 158K 
[TXT]Data.Product.Relatio..>12-Jul-2018 14:21 182K 
[TXT]Data.Fin.Properties...>12-Jul-2018 14:21 190K 
[TXT]Data.Product.Relatio..>12-Jul-2018 14:21 204K 
[TXT]Renderer.html 12-Jul-2018 14:21 213K 
[TXT]Function.Related.Typ..>12-Jul-2018 14:21 218K 
[TXT]Data.Colist.html 12-Jul-2018 14:21 229K 
[TXT]Grammar.Infinite.Bas..>12-Jul-2018 14:21 240K 
[TXT]Algebra.RingSolver.html12-Jul-2018 14:21 291K 
[TXT]Algebra.Properties.B..>12-Jul-2018 14:21 296K 
[TXT]Data.List.Any.Proper..>12-Jul-2018 14:21 334K 
[TXT]Grammar.Non-terminal..>12-Jul-2018 14:21 344K 
[TXT]Data.List.Properties..>12-Jul-2018 14:21 346K 
[TXT]Data.Vec.Properties...>12-Jul-2018 14:21 404K 
[TXT]Grammar.Infinite.html 12-Jul-2018 14:21 494K 
[TXT]Data.Nat.Properties...>12-Jul-2018 14:21 510K 

README
------------------------------------------------------------------------
-- Correct-by-construction pretty-printing
--
-- Nils Anders Danielsson
------------------------------------------------------------------------

-- A pretty-printing library that guarantees that pretty-printers are
-- correct (on the assumption that grammars are unambiguous).

module README where

-- Various utility functions.

import Utilities

-- Infinite grammars.

import Grammar.Infinite.Basic
import Grammar.Infinite

-- Pretty-printing (documents and document combinators).

import Pretty

-- Document renderers.

import Renderer

-- Examples.

import Examples.Bool
import Examples.Expression
import Examples.Identifier
import Examples.Identifier-list
import Examples.Precedence
import Examples.Tree
import Examples.XML

-- Abstract grammars. (Not used by the pretty-printer.)

import Grammar.Abstract

-- Grammars defined as functions from non-terminals to productions.
-- (Not used by the pretty-printer.)

import Grammar.Non-terminal

-- A README directed towards readers of the paper
-- "Correct-by-Construction Pretty-Printing".

import README.Correct-by-Construction-Pretty-Printing