prettyHiding info visible doc puts the correct braces around doc according to info info and returns visible doc if the we deal with a visible thing.

prettyRelevance :: LensRelevance a => a -> Doc -> Doc #

newtype Tel #

Constructors

Tel Telescope

Instances

Pretty Tel #
Instance details Defined in Agda.Syntax.Concrete.Pretty Methods pretty :: Tel -> Doc # prettyPrec :: Int -> Tel -> Doc # prettyList :: [Tel] -> Doc #

smashTel :: Telescope -> Telescope #

prettyOpApp :: forall a. Pretty a => QName -> [NamedArg (MaybePlaceholder a)] -> [Doc] #

Orphan instances

Show Pragma #
Instance details Methods showsPrec :: Int -> Pragma -> ShowS # show :: Pragma -> String # showList :: [Pragma] -> ShowS #
Show ModuleApplication #
Instance details Methods showsPrec :: Int -> ModuleApplication -> ShowS # show :: ModuleApplication -> String # showList :: [ModuleApplication] -> ShowS #
Show Declaration #
Instance details Methods showsPrec :: Int -> Declaration -> ShowS # show :: Declaration -> String # showList :: [Declaration] -> ShowS #
Show WhereClause #
Instance details Methods showsPrec :: Int -> WhereClause -> ShowS # show :: WhereClause -> String # showList :: [WhereClause] -> ShowS #
Show RHS #
Instance details Methods showsPrec :: Int -> RHS -> ShowS # show :: RHS -> String # showList :: [RHS] -> ShowS #
Show LHSCore #
Instance details Methods showsPrec :: Int -> LHSCore -> ShowS # show :: LHSCore -> String # showList :: [LHSCore] -> ShowS #
Show LHS #
Instance details Methods showsPrec :: Int -> LHS -> ShowS # show :: LHS -> String # showList :: [LHS] -> ShowS #
Show TypedBinding #
Instance details Methods showsPrec :: Int -> TypedBinding -> ShowS # show :: TypedBinding -> String # showList :: [TypedBinding] -> ShowS #
Show TypedBindings #
Instance details Methods showsPrec :: Int -> TypedBindings -> ShowS # show :: TypedBindings -> String # showList :: [TypedBindings] -> ShowS #
Show LamBinding #
Instance details Methods showsPrec :: Int -> LamBinding -> ShowS # show :: LamBinding -> String # showList :: [LamBinding] -> ShowS #
Show Pattern #
Instance details Methods showsPrec :: Int -> Pattern -> ShowS # show :: Pattern -> String # showList :: [Pattern] -> ShowS #
Show Expr #
Instance details Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Pretty Fixity' #
Instance details Methods pretty :: Fixity' -> Doc # prettyPrec :: Int -> Fixity' -> Doc # prettyList :: [Fixity'] -> Doc #
Pretty Relevance #
Instance details Methods pretty :: Relevance -> Doc # prettyPrec :: Int -> Relevance -> Doc # prettyList :: [Relevance] -> Doc #
Pretty Induction #
Instance details Methods pretty :: Induction -> Doc # prettyPrec :: Int -> Induction -> Doc # prettyList :: [Induction] -> Doc #
Pretty GenPart #
Instance details Methods pretty :: GenPart -> Doc # prettyPrec :: Int -> GenPart -> Doc # prettyList :: [GenPart] -> Doc #
Pretty Fixity #
Instance details Methods pretty :: Fixity -> Doc # prettyPrec :: Int -> Fixity -> Doc # prettyList :: [Fixity] -> Doc #
Pretty Pragma #
Instance details Methods pretty :: Pragma -> Doc # prettyPrec :: Int -> Pragma -> Doc # prettyList :: [Pragma] -> Doc #
Pretty OpenShortHand #
Instance details Methods pretty :: OpenShortHand -> Doc # prettyPrec :: Int -> OpenShortHand -> Doc # prettyList :: [OpenShortHand] -> Doc #
Pretty ModuleApplication #
Instance details Methods pretty :: ModuleApplication -> Doc # prettyPrec :: Int -> ModuleApplication -> Doc # prettyList :: [ModuleApplication] -> Doc #
Pretty Declaration #
Instance details Methods pretty :: Declaration -> Doc # prettyPrec :: Int -> Declaration -> Doc # prettyList :: [Declaration] -> Doc #
Pretty LamClause #
Instance details Methods pretty :: LamClause -> Doc # prettyPrec :: Int -> LamClause -> Doc # prettyList :: [LamClause] -> Doc #
Pretty WhereClause #
Instance details Methods pretty :: WhereClause -> Doc # prettyPrec :: Int -> WhereClause -> Doc # prettyList :: [WhereClause] -> Doc #
Pretty RHS #
Instance details Methods pretty :: RHS -> Doc # prettyPrec :: Int -> RHS -> Doc # prettyList :: [RHS] -> Doc #
Pretty LHSCore #
Instance details Methods pretty :: LHSCore -> Doc # prettyPrec :: Int -> LHSCore -> Doc # prettyList :: [LHSCore] -> Doc #
Pretty LHS #
Instance details Methods pretty :: LHS -> Doc # prettyPrec :: Int -> LHS -> Doc # prettyList :: [LHS] -> Doc #
Pretty TypedBinding #
Instance details Methods pretty :: TypedBinding -> Doc # prettyPrec :: Int -> TypedBinding -> Doc # prettyList :: [TypedBinding] -> Doc #
Pretty BoundName #
Instance details Methods pretty :: BoundName -> Doc # prettyPrec :: Int -> BoundName -> Doc # prettyList :: [BoundName] -> Doc #
Pretty TypedBindings #
Instance details Methods pretty :: TypedBindings -> Doc # prettyPrec :: Int -> TypedBindings -> Doc # prettyList :: [TypedBindings] -> Doc #
Pretty LamBinding #
Instance details Methods pretty :: LamBinding -> Doc # prettyPrec :: Int -> LamBinding -> Doc # prettyList :: [LamBinding] -> Doc #
Pretty DoStmt #
Instance details Methods pretty :: DoStmt -> Doc # prettyPrec :: Int -> DoStmt -> Doc # prettyList :: [DoStmt] -> Doc #
Pretty Pattern #
Instance details Methods pretty :: Pattern -> Doc # prettyPrec :: Int -> Pattern -> Doc # prettyList :: [Pattern] -> Doc #
Pretty Expr #
Instance details Methods pretty :: Expr -> Doc # prettyPrec :: Int -> Expr -> Doc # prettyList :: [Expr] -> Doc #
Pretty ModuleAssignment #
Instance details Methods pretty :: ModuleAssignment -> Doc # prettyPrec :: Int -> ModuleAssignment -> Doc # prettyList :: [ModuleAssignment] -> Doc #
Pretty a => Pretty (MaybePlaceholder a) #
Instance details Methods pretty :: MaybePlaceholder a -> Doc # prettyPrec :: Int -> MaybePlaceholder a -> Doc # prettyList :: [MaybePlaceholder a] -> Doc #
Pretty e => Pretty (Named_ e) #
Instance details Methods pretty :: Named_ e -> Doc # prettyPrec :: Int -> Named_ e -> Doc # prettyList :: [Named_ e] -> Doc #
Pretty a => Pretty (Arg a) #
Instance details Methods pretty :: Arg a -> Doc # prettyPrec :: Int -> Arg a -> Doc # prettyList :: [Arg a] -> Doc #
Pretty a => Pretty (WithHiding a) #
Instance details Methods pretty :: WithHiding a -> Doc # prettyPrec :: Int -> WithHiding a -> Doc # prettyList :: [WithHiding a] -> Doc #
Pretty (ThingWithFixity Name) #
Instance details Methods pretty :: ThingWithFixity Name -> Doc # prettyPrec :: Int -> ThingWithFixity Name -> Doc # prettyList :: [ThingWithFixity Name] -> Doc #
Pretty a => Pretty (FieldAssignment' a) #
Instance details Methods pretty :: FieldAssignment' a -> Doc # prettyPrec :: Int -> FieldAssignment' a -> Doc # prettyList :: [FieldAssignment' a] -> Doc #
Pretty (OpApp Expr) #
Instance details Methods pretty :: OpApp Expr -> Doc # prettyPrec :: Int -> OpApp Expr -> Doc # prettyList :: [OpApp Expr] -> Doc #
(Pretty a, Pretty b) => Show (ImportDirective' a b) #
Instance details Methods showsPrec :: Int -> ImportDirective' a b -> ShowS # show :: ImportDirective' a b -> String # showList :: [ImportDirective' a b] -> ShowS #
(Pretty a, Pretty b) => Pretty (Either a b) #
Instance details Methods pretty :: Either a b -> Doc # prettyPrec :: Int -> Either a b -> Doc # prettyList :: [Either a b] -> Doc #
(Pretty a, Pretty b) => Pretty (a, b) #
Instance details Methods pretty :: (a, b) -> Doc # prettyPrec :: Int -> (a, b) -> Doc # prettyList :: [(a, b)] -> Doc #
(Pretty a, Pretty b) => Pretty (ImportedName' a b) #
Instance details Methods pretty :: ImportedName' a b -> Doc # prettyPrec :: Int -> ImportedName' a b -> Doc # prettyList :: [ImportedName' a b] -> Doc #
(Pretty a, Pretty b) => Pretty (Using' a b) #
Instance details Methods pretty :: Using' a b -> Doc # prettyPrec :: Int -> Using' a b -> Doc # prettyList :: [Using' a b] -> Doc #
(Pretty a, Pretty b) => Pretty (ImportDirective' a b) #
Instance details Methods pretty :: ImportDirective' a b -> Doc # prettyPrec :: Int -> ImportDirective' a b -> Doc # prettyList :: [ImportDirective' a b] -> Doc #