Safe Haskell	None
Language	Haskell2010

Mikan.Syntax.Common.Pretty

Description

Pretty printing functions.

Synopsis

(<?>) :: Doc -> Doc -> Doc
align :: Int -> [(String, Doc)] -> Doc
annotate :: Aspects -> Doc -> Doc
annotateAspect :: Aspect -> Doc -> Doc
braces :: Doc -> Doc
brackets :: Doc -> Doc
colon :: Doc
comma :: Doc
definedAt :: HasRange a => Doc -> a -> Doc
dot :: Doc
doubleQuotes :: Doc -> Doc
equals :: Doc
fsep :: Foldable t => t Doc -> Doc
fwords :: String -> Doc
githubIssue :: Int -> Doc
hcat :: Foldable t => t Doc -> Doc
hlArgument :: Doc -> Doc
hlBound :: Doc -> Doc
hlComment :: Doc -> Doc
hlConstructor :: Induction -> Doc -> Doc
hlDatatype :: Doc -> Doc
hlField :: Doc -> Doc
hlFunction :: Doc -> Doc
hlGeneralizable :: Doc -> Doc
hlHole :: Doc -> Doc
hlKeyword :: Doc -> Doc
hlMacro :: Doc -> Doc
hlModule :: Doc -> Doc
hlNameKind :: NameKind -> Doc -> Doc
hlNumber :: Doc -> Doc
hlPostulate :: Doc -> Doc
hlPragma :: Doc -> Doc
hlPrimitive :: Doc -> Doc
hlPrimitiveType :: Doc -> Doc
hlRecord :: Doc -> Doc
hlString :: Doc -> Doc
hlSymbol :: Doc -> Doc
href :: Text -> Doc -> Doc
hsep :: Foldable t => t Doc -> Doc
hsepWith :: Doc -> Doc -> Doc -> Doc
lbrace :: Doc
lbrack :: Doc
lparen :: Doc
mparens :: Bool -> Doc -> Doc
multiLineText :: String -> Doc
parens :: Doc -> Doc
parensNonEmpty :: Doc -> Doc
pipe :: Doc
pluralS :: Sized a => a -> Doc -> Doc
prefixedThings :: Doc -> [Doc] -> Doc
prettyAssign :: (Pretty k, Pretty v) => (k, v) -> Doc
prettyInterval :: Eq a => Position' a -> Position' a -> Doc
prettyLineColumn :: Position' a -> Doc
prettyList_ :: Pretty a => [a] -> Doc
prettyMap :: (Pretty k, Pretty v) => [(k, v)] -> Doc
prettySet :: Pretty a => [a] -> Doc
prettyShow :: Pretty a => a -> String
pshow :: Show a => a -> Doc
punctuate :: Foldable t => Doc -> t Doc -> [Doc]
pwords :: String -> [Doc]
quotes :: Doc -> Doc
rbrace :: Doc
rbrack :: Doc
rparen :: Doc
semi :: Doc
sep :: Foldable t => t Doc -> Doc
singPlural :: Sized a => a -> c -> c -> c
textNonEmpty :: String -> Doc
twords :: Text -> [Doc]
url :: String -> Doc
vcat :: Foldable t => t Doc -> Doc
vsep :: [Doc] -> Doc
type Doc = Doc Aspects
type DocTree = DocTree Aspects
class Pretty a where
- pretty :: a -> Doc
- prettyPrec :: Int -> a -> Doc
- prettyList :: [a] -> Doc
($$) :: Doc a -> Doc a -> Doc a
($+$) :: Doc a -> Doc a -> Doc a
(<+>) :: Doc a -> Doc a -> Doc a
cat :: [Doc a] -> Doc a
char :: Char -> Doc a
double :: Double -> Doc a
fcat :: [Doc a] -> Doc a
float :: Float -> Doc a
fullRender :: Mode -> Int -> Float -> (TextDetails -> a -> a) -> a -> Doc b -> a
fullRenderAnn :: Mode -> Int -> Float -> (AnnotDetails b -> a -> a) -> a -> Doc b -> a
hang :: Doc a -> Int -> Doc a -> Doc a
int :: Int -> Doc a
integer :: Integer -> Doc a
isEmpty :: Doc a -> Bool
nest :: Int -> Doc a -> Doc a
ptext :: String -> Doc a
rational :: Rational -> Doc a
render :: Doc a -> String
renderSpans :: Doc ann -> (String, [Span ann])
renderStyle :: Style -> Doc a -> String
sizedText :: Int -> String -> Doc a
style :: Style
text :: String -> Doc a
zeroWidthText :: String -> Doc a
data Mode
- = PageMode
- | ZigZagMode
- | LeftMode
- | OneLineMode
data Span a = Span {
- spanStart :: !Int
- spanLength :: !Int
- spanAnnotation :: a
}
data Style = Style {
- mode :: Mode
- lineLength :: Int
- ribbonsPerLine :: Float
}
pattern Chr :: !Char -> TextDetails
pattern PStr :: String -> TextDetails

Documentation

(<?>) :: Doc -> Doc -> Doc infixl 6 Source #

a ? b = hang a 2 b

align :: Int -> [(String, Doc)] -> Doc Source #

align max rows lays out the elements of rows in two columns, with the second components aligned. The alignment column of the second components is at most max characters to the right of the left-most column.

Precondition: max > 0.

annotate :: Aspects -> Doc -> Doc Source #

Only adds an annotation node if the Aspects is non-null.

annotateAspect :: Aspect -> Doc -> Doc Source #

Attach a simple Aspect, rather than a full set of Aspects, to a document.

braces Source #

Arguments

:: Doc
-> Doc	Wrap document in `{...}`

brackets Source #

Arguments

:: Doc
-> Doc	Wrap document in `[...]`

colon :: Doc Source #

comma :: Doc Source #

definedAt :: HasRange a => Doc -> a -> Doc Source #

Attach the position of something as the "binding site" of a Doc.

dot :: Doc Source #

doubleQuotes Source #

Arguments

:: Doc
-> Doc	Wrap document in `"..."`

equals :: Doc Source #

fsep :: Foldable t => t Doc -> Doc Source #

fwords :: String -> Doc Source #

githubIssue :: Int -> Doc Source #

Link to an issue on the Agda bug tracker.

hcat :: Foldable t => t Doc -> Doc Source #

hlArgument :: Doc -> Doc Source #

hlBound :: Doc -> Doc Source #

hlComment :: Doc -> Doc Source #

hlConstructor :: Induction -> Doc -> Doc Source #

hlDatatype :: Doc -> Doc Source #

hlField :: Doc -> Doc Source #

hlFunction :: Doc -> Doc Source #

hlGeneralizable :: Doc -> Doc Source #

hlHole :: Doc -> Doc Source #

hlKeyword :: Doc -> Doc Source #

hlMacro :: Doc -> Doc Source #

hlModule :: Doc -> Doc Source #

hlNameKind :: NameKind -> Doc -> Doc Source #

hlNumber :: Doc -> Doc Source #

hlPostulate :: Doc -> Doc Source #

hlPragma :: Doc -> Doc Source #

hlPrimitive :: Doc -> Doc Source #

hlPrimitiveType :: Doc -> Doc Source #

hlRecord :: Doc -> Doc Source #

hlString :: Doc -> Doc Source #

hlSymbol :: Doc -> Doc Source #

href :: Text -> Doc -> Doc Source #

Attach a link to a document (cf. LaTeX href).

hsep :: Foldable t => t Doc -> Doc Source #

hsepWith :: Doc -> Doc -> Doc -> Doc Source #

Separate, but only if both separees are not null.

lbrace :: Doc Source #

lbrack :: Doc Source #

lparen :: Doc Source #

mparens :: Bool -> Doc -> Doc Source #

Apply parens to Doc if boolean is true.

multiLineText :: String -> Doc Source #

Handles strings with newlines properly (preserving indentation)

parens Source #

Arguments

:: Doc
-> Doc	Wrap document in `(...)`

parensNonEmpty :: Doc -> Doc Source #

Only wrap in parens if not empty

pipe :: Doc Source #

pluralS :: Sized a => a -> Doc -> Doc Source #

prefixedThings :: Doc -> [Doc] -> Doc Source #

Used for with-like telescopes

prettyAssign :: (Pretty k, Pretty v) => (k, v) -> Doc Source #

Pretty print a single association.

prettyInterval :: Eq a => Position' a -> Position' a -> Doc Source #

prettyLineColumn :: Position' a -> Doc Source #

prettyList_ :: Pretty a => [a] -> Doc Source #

Comma separated list, without the brackets.

prettyMap :: (Pretty k, Pretty v) => [(k, v)] -> Doc Source #

Pretty print an association list.

prettySet :: Pretty a => [a] -> Doc Source #

Pretty print a set.

prettyShow :: Pretty a => a -> String Source #

Use instead of show when printing to world.

pshow :: Show a => a -> Doc Source #

pshow = text . show

punctuate :: Foldable t => Doc -> t Doc -> [Doc] Source #

pwords :: String -> [Doc] Source #

quotes Source #

Arguments

:: Doc
-> Doc	Wrap document in `'...'`

rbrace :: Doc Source #

rbrack :: Doc Source #

rparen :: Doc Source #

semi :: Doc Source #

sep :: Foldable t => t Doc -> Doc Source #

singPlural :: Sized a => a -> c -> c -> c Source #

textNonEmpty :: String -> Doc Source #

Return empty for empty strings.

twords :: Text -> [Doc] Source #

url :: String -> Doc Source #

A URL formatted as link (cf. LaTeX url).

vcat :: Foldable t => t Doc -> Doc Source #

vsep :: [Doc] -> Doc Source #

type Doc = Doc Aspects Source #

The type of documents. We use documents annotated by Aspects to record syntactic highlighting information that is generated during pretty-printing.

type DocTree = DocTree Aspects Source #

class Pretty a where Source #

While Show is for rendering data in Haskell syntax, Pretty is for displaying data to the world, i.e., the user and the environment.

Atomic data has no inner document structure, so just implement pretty as pretty a = text $ ... a ....

Minimal complete definition

pretty | prettyPrec

Methods

pretty :: a -> Doc Source #

prettyPrec :: Int -> a -> Doc Source #

prettyList :: [a] -> Doc Source #

Instances

Instances details

Pretty Phase Source #
Instance details Defined in Mikan.Benchmarking Methods pretty :: Phase -> Doc Source # prettyPrec :: Int -> Phase -> Doc Source # prettyList :: [Phase] -> Doc Source #
Pretty CompilerBackend Source #
Instance details Defined in Mikan.Interaction.Base Methods pretty :: CompilerBackend -> Doc Source # prettyPrec :: Int -> CompilerBackend -> Doc Source # prettyList :: [CompilerBackend] -> Doc Source #
Pretty InterfaceFile Source #
Instance details Defined in Mikan.Interaction.FindFile Methods pretty :: InterfaceFile -> Doc Source # prettyPrec :: Int -> InterfaceFile -> Doc Source # prettyList :: [InterfaceFile] -> Doc Source #
Pretty LibError' Source #	Pretty-print library management error without position info.
Instance details Defined in Mikan.Interaction.Library.Base Methods pretty :: LibError' -> Doc Source # prettyPrec :: Int -> LibError' -> Doc Source # prettyList :: [LibError'] -> Doc Source #
Pretty LibName Source #
Instance details Defined in Mikan.Interaction.Library.Base Methods pretty :: LibName -> Doc Source # prettyPrec :: Int -> LibName -> Doc Source # prettyList :: [LibName] -> Doc Source #
Pretty LibParseError Source #	Print library file parse error without position info.
Instance details Defined in Mikan.Interaction.Library.Base Methods pretty :: LibParseError -> Doc Source # prettyPrec :: Int -> LibParseError -> Doc Source # prettyList :: [LibParseError] -> Doc Source #
Pretty LibWarning Source #
Instance details Defined in Mikan.Interaction.Library.Base Methods pretty :: LibWarning -> Doc Source # prettyPrec :: Int -> LibWarning -> Doc Source # prettyList :: [LibWarning] -> Doc Source #
Pretty LibWarning' Source #
Instance details Defined in Mikan.Interaction.Library.Base Methods pretty :: LibWarning' -> Doc Source # prettyPrec :: Int -> LibWarning' -> Doc Source # prettyList :: [LibWarning'] -> Doc Source #
Pretty OptionWarning Source #
Instance details Defined in Mikan.Interaction.Options.Base Methods pretty :: OptionWarning -> Doc Source # prettyPrec :: Int -> OptionWarning -> Doc Source # prettyList :: [OptionWarning] -> Doc Source #
Pretty HintMode Source #
Instance details Defined in Mikan.Mimer.Options Methods pretty :: HintMode -> Doc Source # prettyPrec :: Int -> HintMode -> Doc Source # prettyList :: [HintMode] -> Doc Source #
Pretty BaseComponents Source #
Instance details Defined in Mikan.Mimer.Types Methods pretty :: BaseComponents -> Doc Source # prettyPrec :: Int -> BaseComponents -> Doc Source # prettyList :: [BaseComponents] -> Doc Source #
Pretty Component Source #
Instance details Defined in Mikan.Mimer.Types Methods pretty :: Component -> Doc Source # prettyPrec :: Int -> Component -> Doc Source # prettyList :: [Component] -> Doc Source #
Pretty Costs Source #
Instance details Defined in Mikan.Mimer.Types Methods pretty :: Costs -> Doc Source # prettyPrec :: Int -> Costs -> Doc Source # prettyList :: [Costs] -> Doc Source #
Pretty Goal Source #
Instance details Defined in Mikan.Mimer.Types Methods pretty :: Goal -> Doc Source # prettyPrec :: Int -> Goal -> Doc Source # prettyList :: [Goal] -> Doc Source #
Pretty SearchBranch Source #
Instance details Defined in Mikan.Mimer.Types Methods pretty :: SearchBranch -> Doc Source # prettyPrec :: Int -> SearchBranch -> Doc Source # prettyList :: [SearchBranch] -> Doc Source #
Pretty SearchOptions Source #
Instance details Defined in Mikan.Mimer.Types Methods pretty :: SearchOptions -> Doc Source # prettyPrec :: Int -> SearchOptions -> Doc Source # prettyList :: [SearchOptions] -> Doc Source #
Pretty ScopeCopyInfo Source #
Instance details Defined in Mikan.Syntax.Abstract Methods pretty :: ScopeCopyInfo -> Doc Source # prettyPrec :: Int -> ScopeCopyInfo -> Doc Source # prettyList :: [ScopeCopyInfo] -> Doc Source #
Pretty AbstractModule Source #
Instance details Defined in Mikan.Syntax.Abstract.Name Methods pretty :: AbstractModule -> Doc Source # prettyPrec :: Int -> AbstractModule -> Doc Source # prettyList :: [AbstractModule] -> Doc Source #
Pretty AbstractName Source #
Instance details Defined in Mikan.Syntax.Abstract.Name Methods pretty :: AbstractName -> Doc Source # prettyPrec :: Int -> AbstractName -> Doc Source # prettyList :: [AbstractName] -> Doc Source #
Pretty AmbiguousQName Source #
Instance details Defined in Mikan.Syntax.Abstract.Name Methods pretty :: AmbiguousQName -> Doc Source # prettyPrec :: Int -> AmbiguousQName -> Doc Source # prettyList :: [AmbiguousQName] -> Doc Source #
Pretty ConHead Source #
Instance details Defined in Mikan.Syntax.Abstract.Name Methods pretty :: ConHead -> Doc Source # prettyPrec :: Int -> ConHead -> Doc Source # prettyList :: [ConHead] -> Doc Source #
Pretty ModuleName Source #
Instance details Defined in Mikan.Syntax.Abstract.Name Methods pretty :: ModuleName -> Doc Source # prettyPrec :: Int -> ModuleName -> Doc Source # prettyList :: [ModuleName] -> Doc Source #
Pretty Name Source #
Instance details Defined in Mikan.Syntax.Abstract.Name Methods pretty :: Name -> Doc Source # prettyPrec :: Int -> Name -> Doc Source # prettyList :: [Name] -> Doc Source #
Pretty QName Source #
Instance details Defined in Mikan.Syntax.Abstract.Name Methods pretty :: QName -> Doc Source # prettyPrec :: Int -> QName -> Doc Source # prettyList :: [QName] -> Doc Source #
Pretty Suffix Source #
Instance details Defined in Mikan.Syntax.Abstract.Name Methods pretty :: Suffix -> Doc Source # prettyPrec :: Int -> Suffix -> Doc Source # prettyList :: [Suffix] -> Doc Source #
Pretty BuiltinId Source #
Instance details Defined in Mikan.Syntax.Builtin Methods pretty :: BuiltinId -> Doc Source # prettyPrec :: Int -> BuiltinId -> Doc Source # prettyList :: [BuiltinId] -> Doc Source #
Pretty PrimitiveId Source #
Instance details Defined in Mikan.Syntax.Builtin Methods pretty :: PrimitiveId -> Doc Source # prettyPrec :: Int -> PrimitiveId -> Doc Source # prettyList :: [PrimitiveId] -> Doc Source #
Pretty Access Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: Access -> Doc Source # prettyPrec :: Int -> Access -> Doc Source # prettyList :: [Access] -> Doc Source #
Pretty Associativity Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: Associativity -> Doc Source # prettyPrec :: Int -> Associativity -> Doc Source # prettyList :: [Associativity] -> Doc Source #
Pretty ConstructorOrPatternSynonym Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: ConstructorOrPatternSynonym -> Doc Source # prettyPrec :: Int -> ConstructorOrPatternSynonym -> Doc Source # prettyList :: [ConstructorOrPatternSynonym] -> Doc Source #
Pretty FileType Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: FileType -> Doc Source # prettyPrec :: Int -> FileType -> Doc Source # prettyList :: [FileType] -> Doc Source #
Pretty Fixity Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: Fixity -> Doc Source # prettyPrec :: Int -> Fixity -> Doc Source # prettyList :: [Fixity] -> Doc Source #
Pretty Fixity' Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: Fixity' -> Doc Source # prettyPrec :: Int -> Fixity' -> Doc Source # prettyList :: [Fixity'] -> Doc Source #
Pretty FixityLevel Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: FixityLevel -> Doc Source # prettyPrec :: Int -> FixityLevel -> Doc Source # prettyList :: [FixityLevel] -> Doc Source #
Pretty Hiding Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: Hiding -> Doc Source # prettyPrec :: Int -> Hiding -> Doc Source # prettyList :: [Hiding] -> Doc Source #
Pretty InteractionId Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: InteractionId -> Doc Source # prettyPrec :: Int -> InteractionId -> Doc Source # prettyList :: [InteractionId] -> Doc Source #
Pretty MetaId Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: MetaId -> Doc Source # prettyPrec :: Int -> MetaId -> Doc Source # prettyList :: [MetaId] -> Doc Source #
Pretty NameId Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: NameId -> Doc Source # prettyPrec :: Int -> NameId -> Doc Source # prettyList :: [NameId] -> Doc Source #
Pretty NotationPart Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: NotationPart -> Doc Source # prettyPrec :: Int -> NotationPart -> Doc Source # prettyList :: [NotationPart] -> Doc Source #
Pretty OpaqueId Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: OpaqueId -> Doc Source # prettyPrec :: Int -> OpaqueId -> Doc Source # prettyList :: [OpaqueId] -> Doc Source #
Pretty OverlapMode Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: OverlapMode -> Doc Source # prettyPrec :: Int -> OverlapMode -> Doc Source # prettyList :: [OverlapMode] -> Doc Source #
Pretty ProblemId Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: ProblemId -> Doc Source # prettyPrec :: Int -> ProblemId -> Doc Source # prettyList :: [ProblemId] -> Doc Source #
Pretty Induction Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: Induction -> Doc Source # prettyPrec :: Int -> Induction -> Doc Source # prettyList :: [Induction] -> Doc Source #
Pretty KwRange Source #
Instance details Defined in Mikan.Syntax.Common.KeywordRange Methods pretty :: KwRange -> Doc Source # prettyPrec :: Int -> KwRange -> Doc Source # prettyList :: [KwRange] -> Doc Source #
Pretty BoundName Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: BoundName -> Doc Source # prettyPrec :: Int -> BoundName -> Doc Source # prettyList :: [BoundName] -> Doc Source #
Pretty Declaration Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: Declaration -> Doc Source # prettyPrec :: Int -> Declaration -> Doc Source # prettyList :: [Declaration] -> Doc Source #
Pretty DoStmt Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: DoStmt -> Doc Source # prettyPrec :: Int -> DoStmt -> Doc Source # prettyList :: [DoStmt] -> Doc Source #
Pretty Expr Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: Expr -> Doc Source # prettyPrec :: Int -> Expr -> Doc Source # prettyList :: [Expr] -> Doc Source #
Pretty LHS Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: LHS -> Doc Source # prettyPrec :: Int -> LHS -> Doc Source # prettyList :: [LHS] -> Doc Source #
Pretty LHSCore Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: LHSCore -> Doc Source # prettyPrec :: Int -> LHSCore -> Doc Source # prettyList :: [LHSCore] -> Doc Source #
Pretty LamBinding Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: LamBinding -> Doc Source # prettyPrec :: Int -> LamBinding -> Doc Source # prettyList :: [LamBinding] -> Doc Source #
Pretty LamClause Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: LamClause -> Doc Source # prettyPrec :: Int -> LamClause -> Doc Source # prettyList :: [LamClause] -> Doc Source #
Pretty ModuleApplication Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: ModuleApplication -> Doc Source # prettyPrec :: Int -> ModuleApplication -> Doc Source # prettyList :: [ModuleApplication] -> Doc Source #
Pretty ModuleAssignment Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: ModuleAssignment -> Doc Source # prettyPrec :: Int -> ModuleAssignment -> Doc Source # prettyList :: [ModuleAssignment] -> Doc Source #
Pretty OpenShortHand Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: OpenShortHand -> Doc Source # prettyPrec :: Int -> OpenShortHand -> Doc Source # prettyList :: [OpenShortHand] -> Doc Source #
Pretty Pattern Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: Pattern -> Doc Source # prettyPrec :: Int -> Pattern -> Doc Source # prettyList :: [Pattern] -> Doc Source #
Pretty Pragma Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: Pragma -> Doc Source # prettyPrec :: Int -> Pragma -> Doc Source # prettyList :: [Pragma] -> Doc Source #
Pretty RHS Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: RHS -> Doc Source # prettyPrec :: Int -> RHS -> Doc Source # prettyList :: [RHS] -> Doc Source #
Pretty RecordDirective Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: RecordDirective -> Doc Source # prettyPrec :: Int -> RecordDirective -> Doc Source # prettyList :: [RecordDirective] -> Doc Source #
Pretty TypedBinding Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: TypedBinding -> Doc Source # prettyPrec :: Int -> TypedBinding -> Doc Source # prettyList :: [TypedBinding] -> Doc Source #
Pretty WhereClause Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: WhereClause -> Doc Source # prettyPrec :: Int -> WhereClause -> Doc Source # prettyList :: [WhereClause] -> Doc Source #
Pretty DeclarationException' Source #
Instance details Defined in Mikan.Syntax.Concrete.Definitions.Errors Methods pretty :: DeclarationException' -> Doc Source # prettyPrec :: Int -> DeclarationException' -> Doc Source # prettyList :: [DeclarationException'] -> Doc Source #
Pretty DeclarationWarning Source #
Instance details Defined in Mikan.Syntax.Concrete.Definitions.Errors Methods pretty :: DeclarationWarning -> Doc Source # prettyPrec :: Int -> DeclarationWarning -> Doc Source # prettyList :: [DeclarationWarning] -> Doc Source #
Pretty DeclarationWarning' Source #
Instance details Defined in Mikan.Syntax.Concrete.Definitions.Errors Methods pretty :: DeclarationWarning' -> Doc Source # prettyPrec :: Int -> DeclarationWarning' -> Doc Source # prettyList :: [DeclarationWarning'] -> Doc Source #
Pretty OpenOrImport Source #
Instance details Defined in Mikan.Syntax.Concrete.Definitions.Errors Methods pretty :: OpenOrImport -> Doc Source # prettyPrec :: Int -> OpenOrImport -> Doc Source # prettyList :: [OpenOrImport] -> Doc Source #
Pretty DataRecOrFun Source #
Instance details Defined in Mikan.Syntax.Concrete.Definitions.Types Methods pretty :: DataRecOrFun -> Doc Source # prettyPrec :: Int -> DataRecOrFun -> Doc Source # prettyList :: [DataRecOrFun] -> Doc Source #
Pretty NiceDeclaration Source #
Instance details Defined in Mikan.Syntax.Concrete.Definitions.Types Methods pretty :: NiceDeclaration -> Doc Source # prettyPrec :: Int -> NiceDeclaration -> Doc Source # prettyList :: [NiceDeclaration] -> Doc Source #
Pretty Name Source #
Instance details Defined in Mikan.Syntax.Concrete.Name Methods pretty :: Name -> Doc Source # prettyPrec :: Int -> Name -> Doc Source # prettyList :: [Name] -> Doc Source #
Pretty NamePart Source #
Instance details Defined in Mikan.Syntax.Concrete.Name Methods pretty :: NamePart -> Doc Source # prettyPrec :: Int -> NamePart -> Doc Source # prettyList :: [NamePart] -> Doc Source #
Pretty QName Source #
Instance details Defined in Mikan.Syntax.Concrete.Name Methods pretty :: QName -> Doc Source # prettyPrec :: Int -> QName -> Doc Source # prettyList :: [QName] -> Doc Source #
Pretty MemoKey Source #
Instance details Defined in Mikan.Syntax.Concrete.Operators.Parser.Monad Methods pretty :: MemoKey -> Doc Source # prettyPrec :: Int -> MemoKey -> Doc Source # prettyList :: [MemoKey] -> Doc Source #
Pretty PrecedenceKey Source #
Instance details Defined in Mikan.Syntax.Concrete.Operators.Parser.Monad Methods pretty :: PrecedenceKey -> Doc Source # prettyPrec :: Int -> PrecedenceKey -> Doc Source # prettyList :: [PrecedenceKey] -> Doc Source #
Pretty NamedBinding Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: NamedBinding -> Doc Source # prettyPrec :: Int -> NamedBinding -> Doc Source # prettyList :: [NamedBinding] -> Doc Source #
Pretty Tel Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: Tel -> Doc Source # prettyPrec :: Int -> Tel -> Doc Source # prettyList :: [Tel] -> Doc Source #
Pretty Precedence Source #
Instance details Defined in Mikan.Syntax.Fixity Methods pretty :: Precedence -> Doc Source # prettyPrec :: Int -> Precedence -> Doc Source # prettyList :: [Precedence] -> Doc Source #
Pretty Blocker Source #
Instance details Defined in Mikan.Syntax.Internal.Blockers Methods pretty :: Blocker -> Doc Source # prettyPrec :: Int -> Blocker -> Doc Source # prettyList :: [Blocker] -> Doc Source #
Pretty Clause Source #
Instance details Defined in Mikan.Syntax.Internal.Clause Methods pretty :: Clause -> Doc Source # prettyPrec :: Int -> Clause -> Doc Source # prettyList :: [Clause] -> Doc Source #
Pretty ClauseRecursive Source #
Instance details Defined in Mikan.Syntax.Internal.Clause Methods pretty :: ClauseRecursive -> Doc Source # prettyPrec :: Int -> ClauseRecursive -> Doc Source # prettyList :: [ClauseRecursive] -> Doc Source #
Pretty DBPatVar Source #
Instance details Defined in Mikan.Syntax.Internal.Pattern Methods pretty :: DBPatVar -> Doc Source # prettyPrec :: Int -> DBPatVar -> Doc Source # prettyList :: [DBPatVar] -> Doc Source #
Pretty Teletype Source #
Instance details Defined in Mikan.Syntax.Internal.Telescope Methods pretty :: Teletype -> Doc Source # prettyPrec :: Int -> Teletype -> Doc Source # prettyList :: [Teletype] -> Doc Source #
Pretty Level Source #
Instance details Defined in Mikan.Syntax.Internal.Term Methods pretty :: Level -> Doc Source # prettyPrec :: Int -> Level -> Doc Source # prettyList :: [Level] -> Doc Source #
Pretty PlusLevel Source #
Instance details Defined in Mikan.Syntax.Internal.Term Methods pretty :: PlusLevel -> Doc Source # prettyPrec :: Int -> PlusLevel -> Doc Source # prettyList :: [PlusLevel] -> Doc Source #
Pretty Sort Source #
Instance details Defined in Mikan.Syntax.Internal.Term Methods pretty :: Sort -> Doc Source # prettyPrec :: Int -> Sort -> Doc Source # prettyList :: [Sort] -> Doc Source #
Pretty Term Source #
Instance details Defined in Mikan.Syntax.Internal.Term Methods pretty :: Term -> Doc Source # prettyPrec :: Int -> Term -> Doc Source # prettyList :: [Term] -> Doc Source #
Pretty Type Source #
Instance details Defined in Mikan.Syntax.Internal.Term Methods pretty :: Type -> Doc Source # prettyPrec :: Int -> Type -> Doc Source # prettyList :: [Type] -> Doc Source #
Pretty Literal Source #
Instance details Defined in Mikan.Syntax.Literal Methods pretty :: Literal -> Doc Source # prettyPrec :: Int -> Literal -> Doc Source # prettyList :: [Literal] -> Doc Source #
Pretty NewNotation Source #
Instance details Defined in Mikan.Syntax.Notation Methods pretty :: NewNotation -> Doc Source # prettyPrec :: Int -> NewNotation -> Doc Source # prettyList :: [NewNotation] -> Doc Source #
Pretty NotationKind Source #
Instance details Defined in Mikan.Syntax.Notation Methods pretty :: NotationKind -> Doc Source # prettyPrec :: Int -> NotationKind -> Doc Source # prettyList :: [NotationKind] -> Doc Source #
Pretty NotationSection Source #
Instance details Defined in Mikan.Syntax.Notation Methods pretty :: NotationSection -> Doc Source # prettyPrec :: Int -> NotationSection -> Doc Source # prettyList :: [NotationSection] -> Doc Source #
Pretty ParseError Source #
Instance details Defined in Mikan.Syntax.Parser.Monad Methods pretty :: ParseError -> Doc Source # prettyPrec :: Int -> ParseError -> Doc Source # prettyList :: [ParseError] -> Doc Source #
Pretty ParseWarning Source #	Does not include printing of the range.
Instance details Defined in Mikan.Syntax.Parser.Monad Methods pretty :: ParseWarning -> Doc Source # prettyPrec :: Int -> ParseWarning -> Doc Source # prettyList :: [ParseWarning] -> Doc Source #
Pretty PositionWithoutFile Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: PositionWithoutFile -> Doc Source # prettyPrec :: Int -> PositionWithoutFile -> Doc Source # prettyList :: [PositionWithoutFile] -> Doc Source #
Pretty RangeFile Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: RangeFile -> Doc Source # prettyPrec :: Int -> RangeFile -> Doc Source # prettyList :: [RangeFile] -> Doc Source #
Pretty BindingSource Source #
Instance details Defined in Mikan.Syntax.Scope.Base Methods pretty :: BindingSource -> Doc Source # prettyPrec :: Int -> BindingSource -> Doc Source # prettyList :: [BindingSource] -> Doc Source #
Pretty LiveNames Source #
Instance details Defined in Mikan.Syntax.Scope.Base Methods pretty :: LiveNames -> Doc Source # prettyPrec :: Int -> LiveNames -> Doc Source # prettyList :: [LiveNames] -> Doc Source #
Pretty LocalVar Source #	We show shadowed variables as prefixed by a ".", as not in scope.
Instance details Defined in Mikan.Syntax.Scope.Base Methods pretty :: LocalVar -> Doc Source # prettyPrec :: Int -> LocalVar -> Doc Source # prettyList :: [LocalVar] -> Doc Source #
Pretty NameSpace Source #
Instance details Defined in Mikan.Syntax.Scope.Base Methods pretty :: NameSpace -> Doc Source # prettyPrec :: Int -> NameSpace -> Doc Source # prettyList :: [NameSpace] -> Doc Source #
Pretty NameSpaceId Source #
Instance details Defined in Mikan.Syntax.Scope.Base Methods pretty :: NameSpaceId -> Doc Source # prettyPrec :: Int -> NameSpaceId -> Doc Source # prettyList :: [NameSpaceId] -> Doc Source #
Pretty OperatorScope Source #
Instance details Defined in Mikan.Syntax.Scope.Base Methods pretty :: OperatorScope -> Doc Source # prettyPrec :: Int -> OperatorScope -> Doc Source # prettyList :: [OperatorScope] -> Doc Source #
Pretty ResolvedName Source #
Instance details Defined in Mikan.Syntax.Scope.Base Methods pretty :: ResolvedName -> Doc Source # prettyPrec :: Int -> ResolvedName -> Doc Source # prettyList :: [ResolvedName] -> Doc Source #
Pretty Scope Source #
Instance details Defined in Mikan.Syntax.Scope.Base Methods pretty :: Scope -> Doc Source # prettyPrec :: Int -> Scope -> Doc Source # prettyList :: [Scope] -> Doc Source #
Pretty ScopeInfo Source #
Instance details Defined in Mikan.Syntax.Scope.Base Methods pretty :: ScopeInfo -> Doc Source # prettyPrec :: Int -> ScopeInfo -> Doc Source # prettyList :: [ScopeInfo] -> Doc Source #
Pretty RawTopLevelModuleName Source #
Instance details Defined in Mikan.Syntax.TopLevelModuleName Methods pretty :: RawTopLevelModuleName -> Doc Source # prettyPrec :: Int -> RawTopLevelModuleName -> Doc Source # prettyList :: [RawTopLevelModuleName] -> Doc Source #
Pretty TopLevelModuleName Source #
Instance details Defined in Mikan.Syntax.TopLevelModuleName Methods pretty :: TopLevelModuleName -> Doc Source # prettyPrec :: Int -> TopLevelModuleName -> Doc Source # prettyList :: [TopLevelModuleName] -> Doc Source #
Pretty CallMatrix Source #
Instance details Defined in Mikan.Termination.CallMatrix Methods pretty :: CallMatrix -> Doc Source # prettyPrec :: Int -> CallMatrix -> Doc Source # prettyList :: [CallMatrix] -> Doc Source #
Pretty CallPath Source #	Only show intermediate nodes. (Drop last `CallInfo`).
Instance details Defined in Mikan.Termination.Monad Methods pretty :: CallPath -> Doc Source # prettyPrec :: Int -> CallPath -> Doc Source # prettyList :: [CallPath] -> Doc Source #
Pretty Order Source #
Instance details Defined in Mikan.Termination.Order Methods pretty :: Order -> Doc Source # prettyPrec :: Int -> Order -> Doc Source # prettyList :: [Order] -> Doc Source #
Pretty Cl Source #
Instance details Defined in Mikan.TypeChecking.CompiledClause.Compile Methods pretty :: Cl -> Doc Source # prettyPrec :: Int -> Cl -> Doc Source # prettyList :: [Cl] -> Doc Source #
Pretty BlockingVar Source #
Instance details Defined in Mikan.TypeChecking.Coverage.Match Methods pretty :: BlockingVar -> Doc Source # prettyPrec :: Int -> BlockingVar -> Doc Source # prettyList :: [BlockingVar] -> Doc Source #
Pretty SplitClause Source #
Instance details Defined in Mikan.TypeChecking.Coverage.SplitClause Methods pretty :: SplitClause -> Doc Source # prettyPrec :: Int -> SplitClause -> Doc Source # prettyList :: [SplitClause] -> Doc Source #
Pretty SplitPatVar Source #
Instance details Defined in Mikan.TypeChecking.Coverage.SplitPattern Methods pretty :: SplitPatVar -> Doc Source # prettyPrec :: Int -> SplitPatVar -> Doc Source # prettyList :: [SplitPatVar] -> Doc Source #
Pretty SplitTag Source #
Instance details Defined in Mikan.TypeChecking.Coverage.SplitTree Methods pretty :: SplitTag -> Doc Source # prettyPrec :: Int -> SplitTag -> Doc Source # prettyList :: [SplitTag] -> Doc Source #
Pretty MetaSet Source #
Instance details Defined in Mikan.TypeChecking.Free.Base Methods pretty :: MetaSet -> Doc Source # prettyPrec :: Int -> MetaSet -> Doc Source # prettyList :: [MetaSet] -> Doc Source #
Pretty Call Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: Call -> Doc Source # prettyPrec :: Int -> Call -> Doc Source # prettyList :: [Call] -> Doc Source #
Pretty CallInfo Source #	We only `show` the name of the callee.
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: CallInfo -> Doc Source # prettyPrec :: Int -> CallInfo -> Doc Source # prettyList :: [CallInfo] -> Doc Source #
Pretty CheckpointId Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: CheckpointId -> Doc Source # prettyPrec :: Int -> CheckpointId -> Doc Source # prettyList :: [CheckpointId] -> Doc Source #
Pretty CompareAs Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: CompareAs -> Doc Source # prettyPrec :: Int -> CompareAs -> Doc Source # prettyList :: [CompareAs] -> Doc Source #
Pretty CompareDirection Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: CompareDirection -> Doc Source # prettyPrec :: Int -> CompareDirection -> Doc Source # prettyList :: [CompareDirection] -> Doc Source #
Pretty ConstructorData Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: ConstructorData -> Doc Source # prettyPrec :: Int -> ConstructorData -> Doc Source # prettyList :: [ConstructorData] -> Doc Source #
Pretty DataOrRecSigData Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: DataOrRecSigData -> Doc Source # prettyPrec :: Int -> DataOrRecSigData -> Doc Source # prettyList :: [DataOrRecSigData] -> Doc Source #
Pretty DatatypeData Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: DatatypeData -> Doc Source # prettyPrec :: Int -> DatatypeData -> Doc Source # prettyList :: [DatatypeData] -> Doc Source #
Pretty Definition Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: Definition -> Doc Source # prettyPrec :: Int -> Definition -> Doc Source # prettyList :: [Definition] -> Doc Source #
Pretty Defn Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: Defn -> Doc Source # prettyPrec :: Int -> Defn -> Doc Source # prettyList :: [Defn] -> Doc Source #
Pretty DisplayForm Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: DisplayForm -> Doc Source # prettyPrec :: Int -> DisplayForm -> Doc Source # prettyList :: [DisplayForm] -> Doc Source #
Pretty DisplayTerm Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: DisplayTerm -> Doc Source # prettyPrec :: Int -> DisplayTerm -> Doc Source # prettyList :: [DisplayTerm] -> Doc Source #
Pretty FunctionData Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: FunctionData -> Doc Source # prettyPrec :: Int -> FunctionData -> Doc Source # prettyList :: [FunctionData] -> Doc Source #
Pretty Interface Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: Interface -> Doc Source # prettyPrec :: Int -> Interface -> Doc Source # prettyList :: [Interface] -> Doc Source #
Pretty MetaInstantiation Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: MetaInstantiation -> Doc Source # prettyPrec :: Int -> MetaInstantiation -> Doc Source # prettyList :: [MetaInstantiation] -> Doc Source #
Pretty ModuleCheckpoints Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: ModuleCheckpoints -> Doc Source # prettyPrec :: Int -> ModuleCheckpoints -> Doc Source # prettyList :: [ModuleCheckpoints] -> Doc Source #
Pretty MutualId Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: MutualId -> Doc Source # prettyPrec :: Int -> MutualId -> Doc Source # prettyList :: [MutualId] -> Doc Source #
Pretty OpaqueBlock Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: OpaqueBlock -> Doc Source # prettyPrec :: Int -> OpaqueBlock -> Doc Source # prettyList :: [OpaqueBlock] -> Doc Source #
Pretty PrimitiveData Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: PrimitiveData -> Doc Source # prettyPrec :: Int -> PrimitiveData -> Doc Source # prettyList :: [PrimitiveData] -> Doc Source #
Pretty PrimitiveSortData Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: PrimitiveSortData -> Doc Source # prettyPrec :: Int -> PrimitiveSortData -> Doc Source # prettyList :: [PrimitiveSortData] -> Doc Source #
Pretty ProjLams Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: ProjLams -> Doc Source # prettyPrec :: Int -> ProjLams -> Doc Source # prettyList :: [ProjLams] -> Doc Source #
Pretty Projection Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: Projection -> Doc Source # prettyPrec :: Int -> Projection -> Doc Source # prettyList :: [Projection] -> Doc Source #
Pretty ProjectionLikenessMissing Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: ProjectionLikenessMissing -> Doc Source # prettyPrec :: Int -> ProjectionLikenessMissing -> Doc Source # prettyList :: [ProjectionLikenessMissing] -> Doc Source #
Pretty RecordData Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: RecordData -> Doc Source # prettyPrec :: Int -> RecordData -> Doc Source # prettyList :: [RecordData] -> Doc Source #
Pretty Section Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: Section -> Doc Source # prettyPrec :: Int -> Section -> Doc Source # prettyList :: [Section] -> Doc Source #
Pretty TermHead Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: TermHead -> Doc Source # prettyPrec :: Int -> TermHead -> Doc Source # prettyList :: [TermHead] -> Doc Source #
Pretty WithFunInfo Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: WithFunInfo -> Doc Source # prettyPrec :: Int -> WithFunInfo -> Doc Source # prettyList :: [WithFunInfo] -> Doc Source #
Pretty Comparison Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: Comparison -> Doc Source # prettyPrec :: Int -> Comparison -> Doc Source # prettyList :: [Comparison] -> Doc Source #
Pretty ModuleToSource Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: ModuleToSource -> Doc Source # prettyPrec :: Int -> ModuleToSource -> Doc Source # prettyList :: [ModuleToSource] -> Doc Source #
Pretty NamedMeta Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: NamedMeta -> Doc Source # prettyPrec :: Int -> NamedMeta -> Doc Source # prettyList :: [NamedMeta] -> Doc Source #
Pretty Polarity Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: Polarity -> Doc Source # prettyPrec :: Int -> Polarity -> Doc Source # prettyList :: [Polarity] -> Doc Source #
Pretty Node Source #
Instance details Defined in Mikan.TypeChecking.Positivity.Occurrence Methods pretty :: Node -> Doc Source # prettyPrec :: Int -> Node -> Doc Source # prettyList :: [Node] -> Doc Source #
Pretty Occurrence Source #
Instance details Defined in Mikan.TypeChecking.Positivity.Occurrence Methods pretty :: Occurrence -> Doc Source # prettyPrec :: Int -> Occurrence -> Doc Source # prettyList :: [Occurrence] -> Doc Source #
Pretty OccursPath Source #
Instance details Defined in Mikan.TypeChecking.Positivity.Occurrence Methods pretty :: OccursPath -> Doc Source # prettyPrec :: Int -> OccursPath -> Doc Source # prettyList :: [OccursPath] -> Doc Source #
Pretty OccursWhere Source #
Instance details Defined in Mikan.TypeChecking.Positivity.Occurrence Methods pretty :: OccursWhere -> Doc Source # prettyPrec :: Int -> OccursWhere -> Doc Source # prettyList :: [OccursWhere] -> Doc Source #
Pretty OccursWhere Source #
Instance details Defined in Mikan.TypeChecking.Positivity.Warnings Methods pretty :: OccursWhere -> Doc Source # prettyPrec :: Int -> OccursWhere -> Doc Source # prettyList :: [OccursWhere] -> Doc Source #
Pretty Where Source #
Instance details Defined in Mikan.TypeChecking.Positivity.Warnings Methods pretty :: Where -> Doc Source # prettyPrec :: Int -> Where -> Doc Source # prettyList :: [Where] -> Doc Source #
Pretty Lvl Source #
Instance details Defined in Mikan.TypeChecking.Primitive Methods pretty :: Lvl -> Doc Source # prettyPrec :: Int -> Lvl -> Doc Source # prettyList :: [Lvl] -> Doc Source #
Pretty Nat Source #
Instance details Defined in Mikan.TypeChecking.Primitive Methods pretty :: Nat -> Doc Source # prettyPrec :: Int -> Nat -> Doc Source # prettyList :: [Nat] -> Doc Source #
Pretty CType Source #
Instance details Defined in Mikan.TypeChecking.Primitive.Cubical Methods pretty :: CType -> Doc Source # prettyPrec :: Int -> CType -> Doc Source # prettyList :: [CType] -> Doc Source #
Pretty AsBinding Source #
Instance details Defined in Mikan.TypeChecking.Rules.LHS.Problem Methods pretty :: AsBinding -> Doc Source # prettyPrec :: Int -> AsBinding -> Doc Source # prettyList :: [AsBinding] -> Doc Source #
Pretty CallSite Source #
Instance details Defined in Mikan.Utils.CallStack.Pretty Methods pretty :: CallSite -> Doc Source # prettyPrec :: Int -> CallSite -> Doc Source # prettyList :: [CallSite] -> Doc Source #
Pretty AbsolutePath Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: AbsolutePath -> Doc Source # prettyPrec :: Int -> AbsolutePath -> Doc Source # prettyList :: [AbsolutePath] -> Doc Source #
Pretty Regex Source #
Instance details Defined in Mikan.Utils.Parser.MemoisedCPS Methods pretty :: Regex -> Doc Source # prettyPrec :: Int -> Regex -> Doc Source # prettyList :: [Regex] -> Doc Source #
Pretty CPUTime Source #	Print CPU time in milli (10^-3) seconds.
Instance details Defined in Mikan.Utils.Time Methods pretty :: CPUTime -> Doc Source # prettyPrec :: Int -> CPUTime -> Doc Source # prettyList :: [CPUTime] -> Doc Source #
Pretty IntSet Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: IntSet -> Doc Source # prettyPrec :: Int -> IntSet -> Doc Source # prettyList :: [IntSet] -> Doc Source #
Pretty Int32 Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Int32 -> Doc Source # prettyPrec :: Int -> Int32 -> Doc Source # prettyList :: [Int32] -> Doc Source #
Pretty CallStack Source #
Instance details Defined in Mikan.Utils.CallStack.Pretty Methods pretty :: CallStack -> Doc Source # prettyPrec :: Int -> CallStack -> Doc Source # prettyList :: [CallStack] -> Doc Source #
Pretty SrcLoc Source #
Instance details Defined in Mikan.Utils.CallStack.Pretty Methods pretty :: SrcLoc -> Doc Source # prettyPrec :: Int -> SrcLoc -> Doc Source # prettyList :: [SrcLoc] -> Doc Source #
Pretty Word32 Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Word32 -> Doc Source # prettyPrec :: Int -> Word32 -> Doc Source # prettyList :: [Word32] -> Doc Source #
Pretty Word64 Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Word64 -> Doc Source # prettyPrec :: Int -> Word64 -> Doc Source # prettyList :: [Word64] -> Doc Source #
Pretty Text Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Text -> Doc Source # prettyPrec :: Int -> Text -> Doc Source # prettyList :: [Text] -> Doc Source #
Pretty ShortText Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: ShortText -> Doc Source # prettyPrec :: Int -> ShortText -> Doc Source # prettyList :: [ShortText] -> Doc Source #
Pretty Integer Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Integer -> Doc Source # prettyPrec :: Int -> Integer -> Doc Source # prettyList :: [Integer] -> Doc Source #
Pretty () Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: () -> Doc Source # prettyPrec :: Int -> () -> Doc Source # prettyList :: [()] -> Doc Source #
Pretty Bool Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Bool -> Doc Source # prettyPrec :: Int -> Bool -> Doc Source # prettyList :: [Bool] -> Doc Source #
Pretty Char Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Char -> Doc Source # prettyPrec :: Int -> Char -> Doc Source # prettyList :: [Char] -> Doc Source #
Pretty Double Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Double -> Doc Source # prettyPrec :: Int -> Double -> Doc Source # prettyList :: [Double] -> Doc Source #
Pretty Int Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Int -> Doc Source # prettyPrec :: Int -> Int -> Doc Source # prettyList :: [Int] -> Doc Source #
Pretty a => Pretty (Lisp a) Source #
Instance details Defined in Mikan.Interaction.Emacs.Lisp Methods pretty :: Lisp a -> Doc Source # prettyPrec :: Int -> Lisp a -> Doc Source # prettyList :: [Lisp a] -> Doc Source #
Pretty a => Pretty (QNamed a) Source #
Instance details Defined in Mikan.Syntax.Abstract.Name Methods pretty :: QNamed a -> Doc Source # prettyPrec :: Int -> QNamed a -> Doc Source # prettyList :: [QNamed a] -> Doc Source #
Pretty a => Pretty (Arg a) Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: Arg a -> Doc Source # prettyPrec :: Int -> Arg a -> Doc Source # prettyList :: [Arg a] -> Doc Source #
Pretty a => Pretty (MaybePlaceholder a) Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: MaybePlaceholder a -> Doc Source # prettyPrec :: Int -> MaybePlaceholder a -> Doc Source # prettyList :: [MaybePlaceholder a] -> Doc Source #
Pretty e => Pretty (Named_ e) Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: Named_ e -> Doc Source # prettyPrec :: Int -> Named_ e -> Doc Source # prettyList :: [Named_ e] -> Doc Source #
Pretty a => Pretty (Ranged a) Source #	Ignores range.
Instance details Defined in Mikan.Syntax.Common Methods pretty :: Ranged a -> Doc Source # prettyPrec :: Int -> Ranged a -> Doc Source # prettyList :: [Ranged a] -> Doc Source #
Pretty a => Pretty (WithHiding a) Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: WithHiding a -> Doc Source # prettyPrec :: Int -> WithHiding a -> Doc Source # prettyList :: [WithHiding a] -> Doc Source #
Pretty a => Pretty (WithOrigin a) Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: WithOrigin a -> Doc Source # prettyPrec :: Int -> WithOrigin a -> Doc Source # prettyList :: [WithOrigin a] -> Doc Source #
Pretty a => Pretty (Binder' a) Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: Binder' a -> Doc Source # prettyPrec :: Int -> Binder' a -> Doc Source # prettyList :: [Binder' a] -> Doc Source #
Pretty a => Pretty (FieldAssignment' a) Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: FieldAssignment' a -> Doc Source # prettyPrec :: Int -> FieldAssignment' a -> Doc Source # prettyList :: [FieldAssignment' a] -> Doc Source #
Pretty (OpApp Expr) Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: OpApp Expr -> Doc Source # prettyPrec :: Int -> OpApp Expr -> Doc Source # prettyList :: [OpApp Expr] -> Doc Source #
Pretty a => Pretty (TacticAttribute' a) Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: TacticAttribute' a -> Doc Source # prettyPrec :: Int -> TacticAttribute' a -> Doc Source # prettyList :: [TacticAttribute' a] -> Doc Source #
Pretty (ThingWithFixity Name) Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: ThingWithFixity Name -> Doc Source # prettyPrec :: Int -> ThingWithFixity Name -> Doc Source # prettyList :: [ThingWithFixity Name] -> Doc Source #
Pretty t => Pretty (NotBlocked' t) Source #
Instance details Defined in Mikan.Syntax.Internal.Blockers Methods pretty :: NotBlocked' t -> Doc Source # prettyPrec :: Int -> NotBlocked' t -> Doc Source # prettyList :: [NotBlocked' t] -> Doc Source #
Pretty t => Pretty (Abs t) Source #
Instance details Defined in Mikan.Syntax.Internal.Dom Methods pretty :: Abs t -> Doc Source # prettyPrec :: Int -> Abs t -> Doc Source # prettyList :: [Abs t] -> Doc Source #
Pretty tm => Pretty (Elim' tm) Source #
Instance details Defined in Mikan.Syntax.Internal.Elim Methods pretty :: Elim' tm -> Doc Source # prettyPrec :: Int -> Elim' tm -> Doc Source # prettyList :: [Elim' tm] -> Doc Source #
Pretty a => Pretty (Pattern' a) Source #
Instance details Defined in Mikan.Syntax.Internal.Pattern Methods pretty :: Pattern' a -> Doc Source # prettyPrec :: Int -> Pattern' a -> Doc Source # prettyList :: [Pattern' a] -> Doc Source #
(t ~ Dom a, Pretty a) => Pretty (Tele t) Source #
Instance details Defined in Mikan.Syntax.Internal.Telescope Methods pretty :: Tele t -> Doc Source # prettyPrec :: Int -> Tele t -> Doc Source # prettyList :: [Tele t] -> Doc Source #
Pretty a => Pretty (Blocked a) Source #
Instance details Defined in Mikan.Syntax.Internal.Term Methods pretty :: Blocked a -> Doc Source # prettyPrec :: Int -> Blocked a -> Doc Source # prettyList :: [Blocked a] -> Doc Source #
Pretty a => Pretty (Substitution' a) Source #
Instance details Defined in Mikan.Syntax.Internal.Term Methods pretty :: Substitution' a -> Doc Source # prettyPrec :: Int -> Substitution' a -> Doc Source # prettyList :: [Substitution' a] -> Doc Source #
Pretty a => Pretty (Interval' a) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Interval' a -> Doc Source # prettyPrec :: Int -> Interval' a -> Doc Source # prettyList :: [Interval' a] -> Doc Source #
Pretty a => Pretty (Position' (Maybe a)) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Position' (Maybe a) -> Doc Source # prettyPrec :: Int -> Position' (Maybe a) -> Doc Source # prettyList :: [Position' (Maybe a)] -> Doc Source #
(Pretty a, HasRange a) => Pretty (PrintRange a) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: PrintRange a -> Doc Source # prettyPrec :: Int -> PrintRange a -> Doc Source # prettyList :: [PrintRange a] -> Doc Source #
Pretty a => Pretty (Range' a) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Range' a -> Doc Source # prettyPrec :: Int -> Range' a -> Doc Source # prettyList :: [Range' a] -> Doc Source #
(HasNameBindingSite a, Pretty a) => Pretty (PrettyWithBindingSite a) Source #
Instance details Defined in Mikan.Syntax.Scope.Base Methods pretty :: PrettyWithBindingSite a -> Doc Source # prettyPrec :: Int -> PrettyWithBindingSite a -> Doc Source # prettyList :: [PrettyWithBindingSite a] -> Doc Source #
(IsInstanceDef a, Pretty a) => Pretty (PrettyWithInstance a) Source #
Instance details Defined in Mikan.Syntax.Scope.Base Methods pretty :: PrettyWithInstance a -> Doc Source # prettyPrec :: Int -> PrettyWithInstance a -> Doc Source # prettyList :: [PrettyWithInstance a] -> Doc Source #
Pretty cinfo => Pretty (CallGraph cinfo) Source #	Displays the recursion behaviour corresponding to a call graph.
Instance details Defined in Mikan.Termination.CallGraph Methods pretty :: CallGraph cinfo -> Doc Source # prettyPrec :: Int -> CallGraph cinfo -> Doc Source # prettyList :: [CallGraph cinfo] -> Doc Source #
Pretty cinfo => Pretty (CMSet cinfo) Source #
Instance details Defined in Mikan.Termination.CallMatrix Methods pretty :: CMSet cinfo -> Doc Source # prettyPrec :: Int -> CMSet cinfo -> Doc Source # prettyList :: [CMSet cinfo] -> Doc Source #
Pretty cinfo => Pretty (CallMatrixAug cinfo) Source #
Instance details Defined in Mikan.Termination.CallMatrix Methods pretty :: CallMatrixAug cinfo -> Doc Source # prettyPrec :: Int -> CallMatrixAug cinfo -> Doc Source # prettyList :: [CallMatrixAug cinfo] -> Doc Source #
Pretty a => Pretty (CCDone a) Source #
Instance details Defined in Mikan.TypeChecking.CompiledClause Methods pretty :: CCDone a -> Doc Source # prettyPrec :: Int -> CCDone a -> Doc Source # prettyList :: [CCDone a] -> Doc Source #
Pretty a => Pretty (Case a) Source #
Instance details Defined in Mikan.TypeChecking.CompiledClause Methods pretty :: Case a -> Doc Source # prettyPrec :: Int -> Case a -> Doc Source # prettyList :: [Case a] -> Doc Source #
Pretty a => Pretty (CompiledClauses' a) Source #
Instance details Defined in Mikan.TypeChecking.CompiledClause Methods pretty :: CompiledClauses' a -> Doc Source # prettyPrec :: Int -> CompiledClauses' a -> Doc Source # prettyList :: [CompiledClauses' a] -> Doc Source #
Pretty a => Pretty (WithArity a) Source #
Instance details Defined in Mikan.TypeChecking.CompiledClause Methods pretty :: WithArity a -> Doc Source # prettyPrec :: Int -> WithArity a -> Doc Source # prettyList :: [WithArity a] -> Doc Source #
Pretty a => Pretty (SplitTree' a) Source #
Instance details Defined in Mikan.TypeChecking.Coverage.SplitTree Methods pretty :: SplitTree' a -> Doc Source # prettyPrec :: Int -> SplitTree' a -> Doc Source # prettyList :: [SplitTree' a] -> Doc Source #
Pretty a => Pretty (SplitTreeLabel a) Source #
Instance details Defined in Mikan.TypeChecking.Coverage.SplitTree Methods pretty :: SplitTreeLabel a -> Doc Source # prettyPrec :: Int -> SplitTreeLabel a -> Doc Source # prettyList :: [SplitTreeLabel a] -> Doc Source #
Pretty a => Pretty (FlexRig' a) Source #
Instance details Defined in Mikan.TypeChecking.Free.Base Methods pretty :: FlexRig' a -> Doc Source # prettyPrec :: Int -> FlexRig' a -> Doc Source # prettyList :: [FlexRig' a] -> Doc Source #
Pretty a => Pretty (VarOcc' a) Source #
Instance details Defined in Mikan.TypeChecking.Free.Base Methods pretty :: VarOcc' a -> Doc Source # prettyPrec :: Int -> VarOcc' a -> Doc Source # prettyList :: [VarOcc' a] -> Doc Source #
Pretty c => Pretty (FunctionInverse' c) Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: FunctionInverse' c -> Doc Source # prettyPrec :: Int -> FunctionInverse' c -> Doc Source # prettyList :: [FunctionInverse' c] -> Doc Source #
Pretty a => Pretty (Judgement a) Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: Judgement a -> Doc Source # prettyPrec :: Int -> Judgement a -> Doc Source # prettyList :: [Judgement a] -> Doc Source #
Pretty a => Pretty (Open a) Source #
Instance details Defined in Mikan.TypeChecking.Monad.Base Methods pretty :: Open a -> Doc Source # prettyPrec :: Int -> Open a -> Doc Source # prettyList :: [Open a] -> Doc Source #
Pretty c => Pretty (IPFace' c) Source #
Instance details Defined in Mikan.Interaction.BasicOps Methods pretty :: IPFace' c -> Doc Source # prettyPrec :: Int -> IPFace' c -> Doc Source # prettyList :: [IPFace' c] -> Doc Source #
(Ord a, Pretty a) => Pretty (Benchmark a) Source #	Print benchmark as three-column table with totals.
Instance details Defined in Mikan.Utils.Benchmark Methods pretty :: Benchmark a -> Doc Source # prettyPrec :: Int -> Benchmark a -> Doc Source # prettyList :: [Benchmark a] -> Doc Source #
a ~ Aspects => Pretty (DocTree a) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: DocTree a -> Doc Source # prettyPrec :: Int -> DocTree a -> Doc Source # prettyList :: [DocTree a] -> Doc Source #
Pretty n => Pretty (WithUniqueInt n) Source #
Instance details Defined in Mikan.Utils.Graph.AdjacencyMap.Unidirectional Methods pretty :: WithUniqueInt n -> Doc Source # prettyPrec :: Int -> WithUniqueInt n -> Doc Source # prettyList :: [WithUniqueInt n] -> Doc Source #
Pretty a => Pretty (List1 a) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: List1 a -> Doc Source # prettyPrec :: Int -> List1 a -> Doc Source # prettyList :: [List1 a] -> Doc Source #
Pretty a => Pretty (IntMap a) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: IntMap a -> Doc Source # prettyPrec :: Int -> IntMap a -> Doc Source # prettyList :: [IntMap a] -> Doc Source #
Pretty a => Pretty (Set a) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Set a -> Doc Source # prettyPrec :: Int -> Set a -> Doc Source # prettyList :: [Set a] -> Doc Source #
a ~ Aspects => Pretty (Doc a) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Doc a -> Doc Source # prettyPrec :: Int -> Doc a -> Doc Source # prettyList :: [Doc a] -> Doc Source #
Pretty a => Pretty (Maybe a) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Maybe a -> Doc Source # prettyPrec :: Int -> Maybe a -> Doc Source # prettyList :: [Maybe a] -> Doc Source #
Pretty a => Pretty (Maybe a) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Maybe a -> Doc Source # prettyPrec :: Int -> Maybe a -> Doc Source # prettyList :: [Maybe a] -> Doc Source #
Pretty a => Pretty [a] Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: [a] -> Doc Source # prettyPrec :: Int -> [a] -> Doc Source # prettyList :: [[a]] -> Doc Source #
(Pretty a, Pretty b) => Pretty (OutputConstraint' a b) Source #
Instance details Defined in Mikan.Interaction.BasicOps Methods pretty :: OutputConstraint' a b -> Doc Source # prettyPrec :: Int -> OutputConstraint' a b -> Doc Source # prettyList :: [OutputConstraint' a b] -> Doc Source #
(Pretty a, Pretty b) => Pretty (OutputConstraint a b) Source #
Instance details Defined in Mikan.Interaction.BasicOps Methods pretty :: OutputConstraint a b -> Doc Source # prettyPrec :: Int -> OutputConstraint a b -> Doc Source # prettyList :: [OutputConstraint a b] -> Doc Source #
(Pretty a, Pretty b) => Pretty (OutputForm a b) Source #
Instance details Defined in Mikan.Interaction.BasicOps Methods pretty :: OutputForm a b -> Doc Source # prettyPrec :: Int -> OutputForm a b -> Doc Source # prettyList :: [OutputForm a b] -> Doc Source #
(Pretty a, Pretty b) => Pretty (ImportDirective' a b) Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: ImportDirective' a b -> Doc Source # prettyPrec :: Int -> ImportDirective' a b -> Doc Source # prettyList :: [ImportDirective' a b] -> Doc Source #
(Pretty a, Pretty b) => Pretty (ImportedName' a b) Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: ImportedName' a b -> Doc Source # prettyPrec :: Int -> ImportedName' a b -> Doc Source # prettyList :: [ImportedName' a b] -> Doc Source #
(Pretty a, Pretty b) => Pretty (Renaming' a b) Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: Renaming' a b -> Doc Source # prettyPrec :: Int -> Renaming' a b -> Doc Source # prettyList :: [Renaming' a b] -> Doc Source #
(Pretty a, Pretty b) => Pretty (Using' a b) Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: Using' a b -> Doc Source # prettyPrec :: Int -> Using' a b -> Doc Source # prettyList :: [Using' a b] -> Doc Source #
(Pretty t, Pretty e) => Pretty (Dom' t e) Source #
Instance details Defined in Mikan.Syntax.Internal.Dom Methods pretty :: Dom' t e -> Doc Source # prettyPrec :: Int -> Dom' t e -> Doc Source # prettyList :: [Dom' t e] -> Doc Source #
Pretty a => Pretty (NoSubst t a) Source #
Instance details Defined in Mikan.Syntax.Internal.Term Methods pretty :: NoSubst t a -> Doc Source # prettyPrec :: Int -> NoSubst t a -> Doc Source # prettyList :: [NoSubst t a] -> Doc Source #
(Integral i, HasZero b, Pretty b) => Pretty (Matrix i b) Source #
Instance details Defined in Mikan.Termination.SparseMatrix Methods pretty :: Matrix i b -> Doc Source # prettyPrec :: Int -> Matrix i b -> Doc Source # prettyList :: [Matrix i b] -> Doc Source #
(Pretty x, Pretty a) => Pretty (Boundary' x a) Source #
Instance details Defined in Mikan.TypeChecking.Telescope Methods pretty :: Boundary' x a -> Doc Source # prettyPrec :: Int -> Boundary' x a -> Doc Source # prettyList :: [Boundary' x a] -> Doc Source #
(Pretty n, Pretty e) => Pretty (Edge n e) Source #
Instance details Defined in Mikan.Utils.Graph.AdjacencyMap.Unidirectional Methods pretty :: Edge n e -> Doc Source # prettyPrec :: Int -> Edge n e -> Doc Source # prettyList :: [Edge n e] -> Doc Source #
(Ord n, Pretty n, Pretty e) => Pretty (Graph n e) Source #
Instance details Defined in Mikan.Utils.Graph.AdjacencyMap.Unidirectional Methods pretty :: Graph n e -> Doc Source # prettyPrec :: Int -> Graph n e -> Doc Source # prettyList :: [Graph n e] -> Doc Source #
(Pretty k, Pretty v) => Pretty (Map k v) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: Map k v -> Doc Source # prettyPrec :: Int -> Map k v -> Doc Source # prettyList :: [Map k v] -> Doc Source #
(Pretty a, Pretty b) => Pretty (Either a b) Source #
Instance details Defined in Mikan.Syntax.Concrete.Pretty Methods pretty :: Either a b -> Doc Source # prettyPrec :: Int -> Either a b -> Doc Source # prettyList :: [Either a b] -> Doc Source #
(Pretty a, Pretty b) => Pretty (a, b) Source #
Instance details Defined in Mikan.Syntax.Common.Pretty Methods pretty :: (a, b) -> Doc Source # prettyPrec :: Int -> (a, b) -> Doc Source # prettyList :: [(a, b)] -> Doc Source #
(Pretty nm, Pretty p, Pretty e) => Pretty (RewriteEqn' qn nm p e) Source #
Instance details Defined in Mikan.Syntax.Common Methods pretty :: RewriteEqn' qn nm p e -> Doc Source # prettyPrec :: Int -> RewriteEqn' qn nm p e -> Doc Source # prettyList :: [RewriteEqn' qn nm p e] -> Doc Source #

($$) :: Doc a -> Doc a -> Doc a infixl 5 #

Above, except that if the last line of the first argument stops at least one position before the first line of the second begins, these two lines are overlapped. For example:

   text "hi" $$ nest 5 (text "there")

lays out as

   hi   there

rather than

   hi
        there

$$ is associative, with identity empty, and also satisfies

(x $$ y) <> z = x $$ (y <> z), if y non-empty.

($+$) :: Doc a -> Doc a -> Doc a infixl 5 #

Above, with no overlapping. $+$ is associative, with identity empty.

(<+>) :: Doc a -> Doc a -> Doc a infixl 6 #

Beside, separated by space, unless one of the arguments is empty. <+> is associative, with identity empty.

cat :: [Doc a] -> Doc a #

Either hcat or vcat.

char :: Char -> Doc a #

A document of height and width 1, containing a literal character.

double #

Arguments

:: Double
-> Doc a	double n = text (show n)

fcat :: [Doc a] -> Doc a #

"Paragraph fill" version of cat.

float #

Arguments

:: Float
-> Doc a	float n = text (show n)

fullRender #

Arguments

:: Mode	Rendering mode.
-> Int	Line length.
-> Float	Ribbons per line.
-> (TextDetails -> a -> a)	What to do with text.
-> a	What to do at the end.
-> Doc b	The document.
-> a	Result.

The general rendering interface. Please refer to the Style and Mode types for a description of rendering mode, line length and ribbons.

fullRenderAnn #

Arguments

:: Mode	Rendering mode.
-> Int	Line length.
-> Float	Ribbons per line.
-> (AnnotDetails b -> a -> a)	What to do with text.
-> a	What to do at the end.
-> Doc b	The document.
-> a	Result.

The general rendering interface, supporting annotations. Please refer to the Style and Mode types for a description of rendering mode, line length and ribbons.

hang :: Doc a -> Int -> Doc a -> Doc a #

hang d1 n d2 = sep [d1, nest n d2]

int #

Arguments

:: Int
-> Doc a	int n = text (show n)

integer #

Arguments

:: Integer
-> Doc a	integer n = text (show n)

isEmpty :: Doc a -> Bool #

Returns True if the document is empty

nest :: Int -> Doc a -> Doc a #

Nest (or indent) a document by a given number of positions (which may also be negative). nest satisfies the laws:

```
nest 0 x = x
```
```
nest k (nest k' x) = nest (k+k') x
```
```
nest k (x <> y) = nest k z <> nest k y
```
```
nest k (x $$ y) = nest k x $$ nest k y
```
```
nest k empty = empty
```
x <> nest k y = x <> y, if x non-empty

The side condition on the last law is needed because empty is a left identity for <>.

ptext :: String -> Doc a #

Same as text. Used to be used for Bytestrings.

rational #

Arguments

:: Rational
-> Doc a	rational n = text (show n)

render :: Doc a -> String #

Render the Doc to a String using the default Style (see style).

renderSpans :: Doc ann -> (String, [Span ann]) #

Render an annotated Doc to a String and list of annotations (see Span) using the default Style (see style).

renderStyle :: Style -> Doc a -> String #

Render the Doc to a String using the given Style.

sizedText :: Int -> String -> Doc a #

Some text with any width. (text s = sizedText (length s) s)

style :: Style #

The default style (mode=PageMode, lineLength=100, ribbonsPerLine=1.5).

text :: String -> Doc a #

A document of height 1 containing a literal string. text satisfies the following laws:

```
text s <> text t = text (s++t)
```
text "" <> x = x, if x non-empty

The side condition on the last law is necessary because text "" has height 1, while empty has no height.

zeroWidthText :: String -> Doc a #

Some text, but without any width. Use for non-printing text such as a HTML or Latex tags

data Mode #

Rendering mode.

Constructors

PageMode	Normal rendering (`lineLength` and `ribbonsPerLine` respected').
ZigZagMode	With zig-zag cuts.
LeftMode	No indentation, infinitely long lines (`lineLength` ignored), but explicit new lines, i.e., `text "one" $$ text "two"`, are respected.
OneLineMode	All on one line, `lineLength` ignored and explicit new lines (`$$`) are turned into spaces.

Instances

Instances details

Generic Mode #

Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJ

Associated Types

type Rep Mode

Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJ

type Rep Mode = D1 ('MetaData "Mode" "Text.PrettyPrint.Annotated.HughesPJ" "pretty-1.1.3.6-04bd" 'False) ((C1 ('MetaCons "PageMode" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ZigZagMode" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LeftMode" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OneLineMode" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Mode -> Rep Mode x #

to :: Rep Mode x -> Mode #

Show Mode #

Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJ

Methods

showsPrec :: Int -> Mode -> ShowS #

show :: Mode -> String #

showList :: [Mode] -> ShowS #

Eq Mode #

Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJ

Methods

(==) :: Mode -> Mode -> Bool #

(/=) :: Mode -> Mode -> Bool #

type Rep Mode #

Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJ

type Rep Mode = D1 ('MetaData "Mode" "Text.PrettyPrint.Annotated.HughesPJ" "pretty-1.1.3.6-04bd" 'False) ((C1 ('MetaCons "PageMode" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ZigZagMode" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LeftMode" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OneLineMode" 'PrefixI 'False) (U1 :: Type -> Type)))

data Span a #

A Span represents the result of an annotation after a Doc has been rendered, capturing where the annotation now starts and ends in the rendered output.

Constructors

Span
Fields spanStart :: !Int spanLength :: !Int spanAnnotation :: a

Instances

Instances details

Functor Span #
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Methods fmap :: (a -> b) -> Span a -> Span b # (<$) :: a -> Span b -> Span a #
Show a => Show (Span a) #
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Methods showsPrec :: Int -> Span a -> ShowS # show :: Span a -> String # showList :: [Span a] -> ShowS #
Eq a => Eq (Span a) #
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Methods (==) :: Span a -> Span a -> Bool # (/=) :: Span a -> Span a -> Bool #

data Style #

A rendering style. Allows us to specify constraints to choose among the many different rendering options.

Constructors

Style

Fields

mode :: Mode
The rendering mode.
lineLength :: Int
Maximum length of a line, in characters.
ribbonsPerLine :: Float
Ratio of line length to ribbon length. A ribbon refers to the characters on a line excluding indentation. So a lineLength of 100, with a ribbonsPerLine of 2.0 would only allow up to 50 characters of ribbon to be displayed on a line, while allowing it to be indented up to 50 characters.