← Back to branch summary

~ubuntu-branches/ubuntu/wily/agda/wily-proposed

« back to all changes in this revision

Viewing changes to src/full/Agda/TypeChecking/Pretty.hs-boot

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2014-08-05 06:38:12 UTC
  • mfrom: (1.1.6)
  • Revision ID: package-import@ubuntu.com-20140805063812-io8e77niomivhd49
Tags: 2.4.0.2-1
* [6e140ac] Imported Upstream version 2.4.0.2
* [2049fc8] Update Build-Depends to match control
* [93dc4d4] Install the new primitives
* [e48f40f] Fix typo dev→doc

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/full/Agda/TypeChecking/Pretty.hs-boot
 
1
{-# LANGUAGE FlexibleInstances, TypeSynonymInstances #-}
1
2
module Agda.TypeChecking.Pretty where
2
3
 
3
 
import Agda.Syntax.Common
 
4
-- import Agda.Syntax.Common
4
5
import Agda.Syntax.Internal
5
 
import Agda.Syntax.Literal
 
6
-- import Agda.Syntax.Literal
6
7
 
7
8
import Agda.TypeChecking.Monad
8
9
import Agda.Utils.Pretty (Doc)
9
 
import qualified Agda.Utils.Pretty as P
 
10
-- import qualified Agda.Utils.Pretty as P
10
11
 
11
12
text                  :: String             -> TCM Doc
12
13
sep, fsep, hsep, vcat :: [TCM Doc]          -> TCM Doc
21
22
instance PrettyTCM Name where
22
23
instance PrettyTCM QName where
23
24
instance PrettyTCM Term where
 
25
instance PrettyTCM Elim where
24
26
instance PrettyTCM Type where
25
27
instance PrettyTCM Sort where
26
28
instance PrettyTCM DisplayTerm where