Safe Haskell	Safe-Inferred
Language	Haskell2010

Render.Concrete

Contents

Orphan instances

Documentation

renderTactic :: BoundName -> Inlines -> Inlines Source #

renderTactic' :: TacticAttribute -> Inlines -> Inlines Source #

smashTel :: Telescope -> Telescope Source #

pHasEta0 :: HasEta0 -> Inlines Source #

pRecordDirective :: RecordDirective -> Inlines Source #

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

bracesAndSemicolons :: [Inlines] -> Inlines Source #

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

Orphan instances

Render Fixity Source #
Instance details Methods render :: Fixity -> Inlines Source # renderPrec :: Int -> Fixity -> Inlines Source #
Render Fixity' Source #
Instance details Methods render :: Fixity' -> Inlines Source # renderPrec :: Int -> Fixity' -> Inlines Source #
Render GenPart Source #
Instance details Methods render :: GenPart -> Inlines Source # renderPrec :: Int -> GenPart -> Inlines Source #
Render InteractionId Source #	InteractionId
Instance details Methods render :: InteractionId -> Inlines Source # renderPrec :: Int -> InteractionId -> Inlines Source #
Render Modality Source #
Instance details Methods render :: Modality -> Inlines Source # renderPrec :: Int -> Modality -> Inlines Source #
Render BoundName Source #
Instance details Methods render :: BoundName -> Inlines Source # renderPrec :: Int -> BoundName -> Inlines Source #
Render Declaration Source #
Instance details Methods render :: Declaration -> Inlines Source # renderPrec :: Int -> Declaration -> Inlines Source #
Render DoStmt Source #
Instance details Methods render :: DoStmt -> Inlines Source # renderPrec :: Int -> DoStmt -> Inlines Source #
Render Expr Source #	Expression
Instance details Methods render :: Expr -> Inlines Source # renderPrec :: Int -> Expr -> Inlines Source #
Render LHS Source #
Instance details Methods render :: LHS -> Inlines Source # renderPrec :: Int -> LHS -> Inlines Source #
Render LHSCore Source #
Instance details Methods render :: LHSCore -> Inlines Source # renderPrec :: Int -> LHSCore -> Inlines Source #
Render LamBinding Source #	LamBinding
Instance details Methods render :: LamBinding -> Inlines Source # renderPrec :: Int -> LamBinding -> Inlines Source #
Render LamClause Source #
Instance details Methods render :: LamClause -> Inlines Source # renderPrec :: Int -> LamClause -> Inlines Source #
Render ModuleApplication Source #
Instance details Methods render :: ModuleApplication -> Inlines Source # renderPrec :: Int -> ModuleApplication -> Inlines Source #
Render ModuleAssignment Source #
Instance details Methods render :: ModuleAssignment -> Inlines Source # renderPrec :: Int -> ModuleAssignment -> Inlines Source #
Render OpenShortHand Source #
Instance details Methods render :: OpenShortHand -> Inlines Source # renderPrec :: Int -> OpenShortHand -> Inlines Source #
Render Pattern Source #
Instance details Methods render :: Pattern -> Inlines Source # renderPrec :: Int -> Pattern -> Inlines Source #
Render Pragma Source #
Instance details Methods render :: Pragma -> Inlines Source # renderPrec :: Int -> Pragma -> Inlines Source #
Render RHS Source #
Instance details Methods render :: RHS -> Inlines Source # renderPrec :: Int -> RHS -> Inlines Source #
Render TypedBinding Source #	TypedBinding
Instance details Methods render :: TypedBinding -> Inlines Source # renderPrec :: Int -> TypedBinding -> Inlines Source #
Render WhereClause Source #
Instance details Methods render :: WhereClause -> Inlines Source # renderPrec :: Int -> WhereClause -> Inlines Source #
Render NamedBinding Source #	NamedBinding
Instance details Methods render :: NamedBinding -> Inlines Source # renderPrec :: Int -> NamedBinding -> Inlines Source #
Render Tel Source #
Instance details Methods render :: Tel -> Inlines Source # renderPrec :: Int -> Tel -> Inlines Source #
Render a => Render (Arg a) Source #	Arg
Instance details Methods render :: Arg a -> Inlines Source # renderPrec :: Int -> Arg a -> Inlines Source #
Render a => Render (MaybePlaceholder a) Source #	MaybePlaceholder
Instance details Methods render :: MaybePlaceholder a -> Inlines Source # renderPrec :: Int -> MaybePlaceholder a -> Inlines Source #
Render a => Render (WithHiding a) Source #
Instance details Methods render :: WithHiding a -> Inlines Source # renderPrec :: Int -> WithHiding a -> Inlines Source #
Render a => Render (Binder' a) Source #
Instance details Methods render :: Binder' a -> Inlines Source # renderPrec :: Int -> Binder' a -> Inlines Source #
Render a => Render (FieldAssignment' a) Source #
Instance details Methods render :: FieldAssignment' a -> Inlines Source # renderPrec :: Int -> FieldAssignment' a -> Inlines Source #
Render (OpApp Expr) Source #	OpApp
Instance details Methods render :: OpApp Expr -> Inlines Source # renderPrec :: Int -> OpApp Expr -> Inlines Source #
(Render a, Render b) => Render (ImportDirective' a b) Source #
Instance details Methods render :: ImportDirective' a b -> Inlines Source # renderPrec :: Int -> ImportDirective' a b -> Inlines Source #
(Render a, Render b) => Render (ImportedName' a b) Source #
Instance details Methods render :: ImportedName' a b -> Inlines Source # renderPrec :: Int -> ImportedName' a b -> Inlines Source #
Render e => Render (Named NamedName e) Source #	Named NamedName (Named_)
Instance details Methods render :: Named NamedName e -> Inlines Source # renderPrec :: Int -> Named NamedName e -> Inlines Source #
(Render a, Render b) => Render (Renaming' a b) Source #
Instance details Methods render :: Renaming' a b -> Inlines Source # renderPrec :: Int -> Renaming' a b -> Inlines Source #
(Render a, Render b) => Render (Using' a b) Source #
Instance details Methods render :: Using' a b -> Inlines Source # renderPrec :: Int -> Using' a b -> Inlines Source #
(Render a, Render b) => Render (Either a b) Source #
Instance details Methods render :: Either a b -> Inlines Source # renderPrec :: Int -> Either a b -> Inlines Source #