Render Name Source # | Abstract |
Instance detailsDefined in Render.Name |
Render QName Source # | |
Instance detailsDefined in Render.Name |
Render Cohesion Source # | |
Instance detailsDefined in Render.Common |
Render Fixity Source # | |
Instance detailsDefined in Render.Concrete |
Render Fixity' Source # | |
Instance detailsDefined in Render.Concrete |
Render GenPart Source # | |
Instance detailsDefined in Render.Concrete |
Render Induction Source # | |
Instance detailsDefined in Render.Common |
Render InteractionId Source # | InteractionId |
Instance detailsDefined in Render.Concrete |
Render MetaId Source # | MetaId |
Instance detailsDefined in Render.Common |
Render Modality Source # | |
Instance detailsDefined in Render.Concrete |
Render NameId Source # | NameId |
Instance detailsDefined in Render.Common |
Render ProblemId Source # | |
Instance detailsDefined in Render.TypeChecking |
Render Quantity Source # | Quantity |
Instance detailsDefined in Render.Common |
Render QωOrigin Source # | |
Instance detailsDefined in Render.Common |
Render Relevance Source # | Relevance |
Instance detailsDefined in Render.Common |
Render BoundName Source # | |
Instance detailsDefined in Render.Concrete |
Render Declaration Source # | |
Instance detailsDefined in Render.Concrete |
Render DoStmt Source # | |
Instance detailsDefined in Render.Concrete |
Render Expr Source # | Expression |
Instance detailsDefined in Render.Concrete |
Render LHS Source # | |
Instance detailsDefined in Render.Concrete |
Render LHSCore Source # | |
Instance detailsDefined in Render.Concrete |
Render LamBinding Source # | LamBinding |
Instance detailsDefined in Render.Concrete |
Render LamClause Source # | |
Instance detailsDefined in Render.Concrete |
Render ModuleApplication Source # | |
Instance detailsDefined in Render.Concrete |
Render ModuleAssignment Source # | |
Instance detailsDefined in Render.Concrete |
Render OpenShortHand Source # | |
Instance detailsDefined in Render.Concrete |
Render Pattern Source # | |
Instance detailsDefined in Render.Concrete |
Render Pragma Source # | |
Instance detailsDefined in Render.Concrete |
Render RHS Source # | |
Instance detailsDefined in Render.Concrete |
Render TypedBinding Source # | TypedBinding |
Instance detailsDefined in Render.Concrete |
Render WhereClause Source # | |
Instance detailsDefined in Render.Concrete |
Render Name Source # | |
Instance detailsDefined in Render.Name |
Render NamePart Source # | Concrete |
Instance detailsDefined in Render.Name |
Render QName Source # | |
Instance detailsDefined in Render.Name |
Render NamedBinding Source # | NamedBinding |
Instance detailsDefined in Render.Concrete |
Render Tel Source # | |
Instance detailsDefined in Render.Concrete |
Render Clause Source # | |
Instance detailsDefined in Render.Internal |
Render DBPatVar Source # | |
Instance detailsDefined in Render.Internal |
Render Level Source # | |
Instance detailsDefined in Render.Internal |
Render PlusLevel Source # | |
Instance detailsDefined in Render.Internal |
Render Sort Source # | |
Instance detailsDefined in Render.Internal |
Render Term Source # | Term |
Instance detailsDefined in Render.Internal |
Render Type Source # | |
Instance detailsDefined in Render.Internal |
Render Blocker Source # | |
Instance detailsDefined in Render.Internal |
Render Literal Source # | Literal |
Instance detailsDefined in Render.Literal |
Render IntervalWithoutFile Source # | |
Instance detailsDefined in Render.Position |
Render PositionWithoutFile Source # | |
Instance detailsDefined in Render.Position |
Render Comparison Source # | |
Instance detailsDefined in Render.TypeChecking |
Render NamedMeta Source # | |
Instance detailsDefined in Render.TypeChecking |
Render Polarity Source # | |
Instance detailsDefined in Render.TypeChecking |
Render Occurrence Source # | |
Instance detailsDefined in Render.TypeChecking |
Render AbsolutePath Source # | |
Instance detailsDefined in Render.Position |
Render CPUTime Source # | |
Instance detailsDefined in Render.Utils |
Render Int32 Source # | |
Instance detailsDefined in Render.Class |
Render Doc Source # | |
Instance detailsDefined in Render.Class |
Render Integer Source # | |
Instance detailsDefined in Render.Class |
Render Bool Source # | |
Instance detailsDefined in Render.Class |
Render Int Source # | Other instances of Render |
Instance detailsDefined in Render.Class |
Render a => Render (Arg a) Source # | Arg |
Instance detailsDefined in Render.Concrete |
Render a => Render (MaybePlaceholder a) Source # | MaybePlaceholder |
Instance detailsDefined in Render.Concrete |
Render a => Render (WithHiding a) Source # | |
Instance detailsDefined in Render.Concrete |
Render a => Render (Binder' a) Source # | |
Instance detailsDefined in Render.Concrete |
Render a => Render (FieldAssignment' a) Source # | |
Instance detailsDefined in Render.Concrete |
Render (OpApp Expr) Source # | OpApp |
Instance detailsDefined in Render.Concrete |
Render a => Render (Pattern' a) Source # | |
Instance detailsDefined in Render.Internal |
Render a => Render (Substitution' a) Source # | |
Instance detailsDefined in Render.Internal |
Render a => Render (Tele (Dom a)) Source # | |
Instance detailsDefined in Render.Internal |
Render tm => Render (Elim' tm) Source # | |
Instance detailsDefined in Render.Internal |
Render a => Render (Interval' (Maybe a)) Source # | |
Instance detailsDefined in Render.Position |
Render a => Render (Position' (Maybe a)) Source # | |
Instance detailsDefined in Render.Position |
Render a => Render (Range' (Maybe a)) Source # | |
Instance detailsDefined in Render.Position |
Render c => Render (IPBoundary' c) Source # | IPBoundary' |
Instance detailsDefined in Render.Interaction |
Render a => Render (List1 a) Source # | |
Instance detailsDefined in Render.Class |
Render a => Render (List2 a) Source # | |
Instance detailsDefined in Render.Class |
Render a => Render [a] Source # | |
Instance detailsDefined in Render.Class |
(Render a, Render b) => Render (OutputConstraint a b) Source # | OutputConstraint |
Instance detailsDefined in Render.Interaction |
(Render a, Render b) => Render (OutputForm a b) Source # | OutputForm |
Instance detailsDefined in Render.Interaction |
(Render a, Render b) => Render (ImportDirective' a b) Source # | |
Instance detailsDefined in Render.Concrete |
(Render a, Render b) => Render (ImportedName' a b) Source # | |
Instance detailsDefined in Render.Concrete |
Render e => Render (Named NamedName e) Source # | Named NamedName (Named_) |
Instance detailsDefined in Render.Concrete |
(Render a, Render b) => Render (Renaming' a b) Source # | |
Instance detailsDefined in Render.Concrete |
(Render a, Render b) => Render (Using' a b) Source # | |
Instance detailsDefined in Render.Concrete |
(Render t, Render e) => Render (Dom' t e) Source # | |
Instance detailsDefined in Render.Internal |
(Render a, Render b) => Render (Either a b) Source # | |
Instance detailsDefined in Render.Concrete |
(Render p, Render e) => Render (RewriteEqn' qn nm p e) Source # | |
Instance detailsDefined in Render.Common |