Render.Concrete

Documentation

renderTactic :: BoundName -> Inlines -> Inlines

renderTactic' :: TacticAttribute -> Inlines -> Inlines

smashTel :: Telescope -> Telescope

pHasEta0 :: HasEta0 -> Inlines

pRecordDirective :: RecordDirective -> Inlines

pRecord :: Name -> RecordDirectives -> [LamBinding] -> Maybe Expr -> [Declaration] -> Inlines

bracesAndSemicolons :: [Inlines] -> Inlines

renderOpApp :: forall a. Render a => QName -> [NamedArg (MaybePlaceholder a)] -> [Inlines]

Orphan instances

Render Fixity

Methods

render :: Fixity -> Inlines

renderPrec :: Int -> Fixity -> Inlines

Render Fixity'

Methods

render :: Fixity' -> Inlines

renderPrec :: Int -> Fixity' -> Inlines

Render InteractionId

InteractionId

Methods

render :: InteractionId -> Inlines

renderPrec :: Int -> InteractionId -> Inlines

Render Modality

Methods

render :: Modality -> Inlines

renderPrec :: Int -> Modality -> Inlines

Render NotationPart

Methods

render :: NotationPart -> Inlines

renderPrec :: Int -> NotationPart -> Inlines

Render BoundName

Methods

render :: BoundName -> Inlines

renderPrec :: Int -> BoundName -> Inlines

Render Declaration

Methods

render :: Declaration -> Inlines

renderPrec :: Int -> Declaration -> Inlines

Render DoStmt

Methods

render :: DoStmt -> Inlines

renderPrec :: Int -> DoStmt -> Inlines

Render Expr

Expression

Methods

render :: Expr -> Inlines

renderPrec :: Int -> Expr -> Inlines

Render LHS

Methods

render :: LHS -> Inlines

renderPrec :: Int -> LHS -> Inlines

Render LHSCore

Methods

render :: LHSCore -> Inlines

renderPrec :: Int -> LHSCore -> Inlines

Render LamBinding

LamBinding

Methods

render :: LamBinding -> Inlines

renderPrec :: Int -> LamBinding -> Inlines

Render LamClause

Methods

render :: LamClause -> Inlines

renderPrec :: Int -> LamClause -> Inlines

Render ModuleApplication

Methods

render :: ModuleApplication -> Inlines

renderPrec :: Int -> ModuleApplication -> Inlines

Render ModuleAssignment

Methods

render :: ModuleAssignment -> Inlines

renderPrec :: Int -> ModuleAssignment -> Inlines

Render OpenShortHand

Methods

render :: OpenShortHand -> Inlines

renderPrec :: Int -> OpenShortHand -> Inlines

Render Pattern

Methods

render :: Pattern -> Inlines

renderPrec :: Int -> Pattern -> Inlines

Render Pragma

Methods

render :: Pragma -> Inlines

renderPrec :: Int -> Pragma -> Inlines

Render RHS

Methods

render :: RHS -> Inlines

renderPrec :: Int -> RHS -> Inlines

Render TypedBinding

TypedBinding

Methods

render :: TypedBinding -> Inlines

renderPrec :: Int -> TypedBinding -> Inlines

Render WhereClause

Methods

render :: WhereClause -> Inlines

renderPrec :: Int -> WhereClause -> Inlines

Render NamedBinding

NamedBinding

Methods

render :: NamedBinding -> Inlines

renderPrec :: Int -> NamedBinding -> Inlines

Render Tel

Methods

render :: Tel -> Inlines

renderPrec :: Int -> Tel -> Inlines

Render a => Render (Arg a)

Arg

Methods

render :: Arg a -> Inlines

renderPrec :: Int -> Arg a -> Inlines

Render a => Render (MaybePlaceholder a)

MaybePlaceholder

Methods

render :: MaybePlaceholder a -> Inlines

renderPrec :: Int -> MaybePlaceholder a -> Inlines

Render a => Render (Ranged a)

Methods

render :: Ranged a -> Inlines

renderPrec :: Int -> Ranged a -> Inlines

Render a => Render (WithHiding a)

Methods

render :: WithHiding a -> Inlines

renderPrec :: Int -> WithHiding a -> Inlines

Render a => Render (Binder' a)

Methods

render :: Binder' a -> Inlines

renderPrec :: Int -> Binder' a -> Inlines

Render a => Render (FieldAssignment' a)

Methods

render :: FieldAssignment' a -> Inlines

renderPrec :: Int -> FieldAssignment' a -> Inlines

Render (OpApp Expr)

OpApp

Methods

render :: OpApp Expr -> Inlines

renderPrec :: Int -> OpApp Expr -> Inlines

(Render a, Render b) => Render (ImportDirective' a b)

Methods

render :: ImportDirective' a b -> Inlines

renderPrec :: Int -> ImportDirective' a b -> Inlines

(Render a, Render b) => Render (ImportedName' a b)

Methods

render :: ImportedName' a b -> Inlines

renderPrec :: Int -> ImportedName' a b -> Inlines

Render e => Render (Named NamedName e)

Named NamedName (Named_)

Methods

render :: Named NamedName e -> Inlines

renderPrec :: Int -> Named NamedName e -> Inlines

(Render a, Render b) => Render (Renaming' a b)

Methods

render :: Renaming' a b -> Inlines

renderPrec :: Int -> Renaming' a b -> Inlines

(Render a, Render b) => Render (Using' a b)

Methods

render :: Using' a b -> Inlines

renderPrec :: Int -> Using' a b -> Inlines

(Render a, Render b) => Render (Either a b)

Methods

render :: Either a b -> Inlines

renderPrec :: Int -> Either a b -> Inlines