Generics.MRSOP.HDiff.Renderer

Defines a unified interface for writing pretty printers. We force the definition of pretty printers in this way to be able to use this very pretty printer to render a UTx in the same style as the rest of the ast.

Documentation

class RendererHO f where

Methods

renderHO :: f x -> Doc ann

Instances

RendererHO W

Defined in Languages.RTree

Methods

renderHO :: W x -> Doc ann

renderView :: HasDatatypeInfo ki fam codes => Proxy fam -> (forall k. ki k -> Doc ann) -> SNat ix -> View ki (Const (Doc ann)) (Lkup ix codes) -> Doc ann

Default rendering of constructors

renderNP :: HasDatatypeInfo ki fam codes => Proxy fam -> (Doc ann -> Doc ann) -> SNat ix -> Constr (Lkup ix codes) c -> NP (Const (Doc ann)) (Lkup c (Lkup ix codes)) -> Doc ann

Default rendering of NP's with Docs inside

renderEl :: forall ki fam codes ix ann. (Family ki fam codes, HasDatatypeInfo ki fam codes, IsNat ix) => (forall k. ki k -> Doc ann) -> El fam ix -> Doc ann

Renders elements of the family

renderFix :: forall ki fam codes ix ann. (HasDatatypeInfo ki fam codes, IsNat ix) => (forall k. ki k -> Doc ann) -> Fix ki codes ix -> Doc ann

Renders a fixpoint