Pretty Value Source # | |
Instance details |
Pretty PrimValue Source # | |
Instance details |
(Eq vn, IsName vn) => Pretty (TypeParamBase vn) Source # | |
Instance details |
IsName vn => Pretty (QualName vn) Source # | |
Instance details |
(Eq vn, IsName vn) => Pretty (TypeArgExp vn) Source # | |
Instance details |
(Eq vn, IsName vn) => Pretty (TypeExp vn) Source # | |
Instance details |
Pretty (ShapeDecl dim) => Pretty (TypeArg dim) Source # | |
Instance details |
Pretty (ShapeDecl dim) => Pretty (ArrayElemTypeBase dim) Source # | |
Instance details |
Pretty (ShapeDecl dim) => Pretty (RecordArrayElemTypeBase dim) Source # | |
Instance details |
Pretty (ShapeDecl ()) Source # | |
Instance details |
IsName vn => Pretty (ShapeDecl (DimDecl vn)) Source # | |
Instance details |
IsName vn => Pretty (DimDecl vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (ProgBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (DecBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (ModParamBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (ModBindBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (ModExpBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (SigBindBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (SigExpBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (SpecBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (TypeBindBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (ValBindBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (PatternBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (LoopFormBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (CaseBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (FieldBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (ExpBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (DimIndexBase f vn) Source # | |
Instance details |
IsName vn => Pretty (IdentBase f vn) Source # | |
Instance details |
(Eq vn, IsName vn, Annot f) => Pretty (TypeDeclBase f vn) Source # | |
Instance details |
Pretty (ShapeDecl dim) => Pretty (TypeBase dim as) Source # | |
Instance details |