Mikan
Safe HaskellNone
LanguageHaskell2010

Mikan.Syntax.Concrete.Pretty

Description

Pretty printer for the concrete syntax.

Documentation

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

isLabeled :: NamedArg Binder -> Maybe ArgName Source #

pHasEta0 :: HasEta0 -> Doc Source #

pRecord :: Name -> [RecordDirective] -> Parameters -> Maybe Expr -> [Declaration] -> Doc Source #

pRecordDirective :: RecordDirective -> Doc Source #

prettyFiniteness :: BoundName -> Doc -> Doc Source #

prettyOpApp :: Pretty a => Aspects -> QName -> List1 (NamedArg (MaybePlaceholder a)) -> [Doc] Source #

prettyTactic :: BoundName -> Doc -> Doc Source #

prettyTactic' :: TacticAttribute -> Doc -> Doc Source #

qualifier :: Pretty a => Maybe a -> Doc -> Doc Source #

smashTel :: Telescope -> Telescope Source #

data NamedBinding Source #

Constructors

NamedBinding 

Fields

Instances

Instances details
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 #

newtype Tel Source #

Constructors

Tel Telescope 

Instances

Instances details
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 #

module Mikan.Syntax.Concrete.Glyph

Orphan instances

Pretty BoundName Source # 
Instance details

Methods

pretty :: BoundName -> Doc Source #

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

prettyList :: [BoundName] -> Doc Source #

Pretty Declaration Source # 
Instance details

Methods

pretty :: Declaration -> Doc Source #

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

prettyList :: [Declaration] -> Doc Source #

Pretty DoStmt Source # 
Instance details

Methods

pretty :: DoStmt -> Doc Source #

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

prettyList :: [DoStmt] -> Doc Source #

Pretty Expr Source # 
Instance details

Methods

pretty :: Expr -> Doc Source #

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

prettyList :: [Expr] -> Doc Source #

Pretty LHS Source # 
Instance details

Methods

pretty :: LHS -> Doc Source #

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

prettyList :: [LHS] -> Doc Source #

Pretty LHSCore Source # 
Instance details

Methods

pretty :: LHSCore -> Doc Source #

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

prettyList :: [LHSCore] -> Doc Source #

Pretty LamBinding Source # 
Instance details

Methods

pretty :: LamBinding -> Doc Source #

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

prettyList :: [LamBinding] -> Doc Source #

Pretty LamClause Source # 
Instance details

Methods

pretty :: LamClause -> Doc Source #

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

prettyList :: [LamClause] -> Doc Source #

Pretty ModuleApplication Source # 
Instance details

Methods

pretty :: ModuleApplication -> Doc Source #

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

prettyList :: [ModuleApplication] -> Doc Source #

Pretty ModuleAssignment Source # 
Instance details

Methods

pretty :: ModuleAssignment -> Doc Source #

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

prettyList :: [ModuleAssignment] -> Doc Source #

Pretty OpenShortHand Source # 
Instance details

Methods

pretty :: OpenShortHand -> Doc Source #

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

prettyList :: [OpenShortHand] -> Doc Source #

Pretty Pattern Source # 
Instance details

Methods

pretty :: Pattern -> Doc Source #

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

prettyList :: [Pattern] -> Doc Source #

Pretty Pragma Source # 
Instance details

Methods

pretty :: Pragma -> Doc Source #

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

prettyList :: [Pragma] -> Doc Source #

Pretty RHS Source # 
Instance details

Methods

pretty :: RHS -> Doc Source #

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

prettyList :: [RHS] -> Doc Source #

Pretty RecordDirective Source # 
Instance details

Methods

pretty :: RecordDirective -> Doc Source #

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

prettyList :: [RecordDirective] -> Doc Source #

Pretty TypedBinding Source # 
Instance details

Methods

pretty :: TypedBinding -> Doc Source #

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

prettyList :: [TypedBinding] -> Doc Source #

Pretty WhereClause Source # 
Instance details

Methods

pretty :: WhereClause -> Doc Source #

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

prettyList :: [WhereClause] -> Doc Source #

Show BoundName Source # 
Instance details

Methods

showsPrec :: Int -> BoundName -> ShowS #

show :: BoundName -> String #

showList :: [BoundName] -> ShowS #

Show Declaration Source # 
Instance details

Methods

showsPrec :: Int -> Declaration -> ShowS #

show :: Declaration -> String #

showList :: [Declaration] -> ShowS #

Show DoStmt Source # 
Instance details

Methods

showsPrec :: Int -> DoStmt -> ShowS #

show :: DoStmt -> String #

showList :: [DoStmt] -> ShowS #

Show Expr Source # 
Instance details

Methods

showsPrec :: Int -> Expr -> ShowS #

show :: Expr -> String #

showList :: [Expr] -> ShowS #

Show LHS Source # 
Instance details

Methods

showsPrec :: Int -> LHS -> ShowS #

show :: LHS -> String #

showList :: [LHS] -> ShowS #

Show LHSCore Source # 
Instance details

Methods

showsPrec :: Int -> LHSCore -> ShowS #

show :: LHSCore -> String #

showList :: [LHSCore] -> ShowS #

Show LamBinding Source # 
Instance details

Methods

showsPrec :: Int -> LamBinding -> ShowS #

show :: LamBinding -> String #

showList :: [LamBinding] -> ShowS #

Show LamClause Source # 
Instance details

Methods

showsPrec :: Int -> LamClause -> ShowS #

show :: LamClause -> String #

showList :: [LamClause] -> ShowS #

Show Module Source # 
Instance details

Methods

showsPrec :: Int -> Module -> ShowS #

show :: Module -> String #

showList :: [Module] -> ShowS #

Show ModuleApplication Source # 
Instance details

Methods

showsPrec :: Int -> ModuleApplication -> ShowS #

show :: ModuleApplication -> String #

showList :: [ModuleApplication] -> ShowS #

Show ModuleAssignment Source # 
Instance details

Methods

showsPrec :: Int -> ModuleAssignment -> ShowS #

show :: ModuleAssignment -> String #

showList :: [ModuleAssignment] -> ShowS #

Show Pattern Source # 
Instance details

Methods

showsPrec :: Int -> Pattern -> ShowS #

show :: Pattern -> String #

showList :: [Pattern] -> ShowS #

Show Pragma Source # 
Instance details

Methods

showsPrec :: Int -> Pragma -> ShowS #

show :: Pragma -> String #

showList :: [Pragma] -> ShowS #

Show RHS Source # 
Instance details

Methods

showsPrec :: Int -> RHS -> ShowS #

show :: RHS -> String #

showList :: [RHS] -> ShowS #

Show TypedBinding Source # 
Instance details

Methods

showsPrec :: Int -> TypedBinding -> ShowS #

show :: TypedBinding -> String #

showList :: [TypedBinding] -> ShowS #

Show WhereClause Source # 
Instance details

Methods

showsPrec :: Int -> WhereClause -> ShowS #

show :: WhereClause -> String #

showList :: [WhereClause] -> ShowS #

Pretty a => Pretty (MaybePlaceholder a) Source # 
Instance details

Methods

pretty :: MaybePlaceholder a -> Doc Source #

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

prettyList :: [MaybePlaceholder a] -> Doc Source #

Pretty a => Pretty (Binder' a) Source # 
Instance details

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

Methods

pretty :: FieldAssignment' a -> Doc Source #

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

prettyList :: [FieldAssignment' a] -> Doc Source #

Pretty (OpApp Expr) Source # 
Instance details

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

Methods

pretty :: TacticAttribute' a -> Doc Source #

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

prettyList :: [TacticAttribute' a] -> Doc Source #

Pretty (ThingWithFixity Name) Source # 
Instance details

Methods

pretty :: ThingWithFixity Name -> Doc Source #

prettyPrec :: Int -> ThingWithFixity Name -> Doc Source #

prettyList :: [ThingWithFixity Name] -> Doc Source #

Show a => Show (Binder' a) Source # 
Instance details

Methods

showsPrec :: Int -> Binder' a -> ShowS #

show :: Binder' a -> String #

showList :: [Binder' a] -> ShowS #

Show a => Show (OpApp a) Source # 
Instance details

Methods

showsPrec :: Int -> OpApp a -> ShowS #

show :: OpApp a -> String #

showList :: [OpApp a] -> ShowS #

(Pretty a, Pretty b) => Pretty (Either a b) Source # 
Instance details

Methods

pretty :: Either a b -> Doc Source #

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

prettyList :: [Either a b] -> Doc Source #