Safe Haskell	Safe-Inferred
Language	Haskell2010

Constrained.PrettyUtils

Documentation

Constructors

Instances details

(Show a, Typeable a, Show (TypeSpecD deps a)) ⇒ Pretty (WithPrec (SpecificationD deps a)) Source #
Instance details Defined in Constrained.AbstractSyntax Methods pretty ∷ WithPrec (SpecificationD deps a) → Doc ann Source # prettyList ∷ [WithPrec (SpecificationD deps a)] → Doc ann Source #
Show a ⇒ Pretty (WithPrec (TermD deps a)) Source #
Instance details Defined in Constrained.AbstractSyntax Methods pretty ∷ WithPrec (TermD deps a) → Doc ann Source # prettyList ∷ [WithPrec (TermD deps a)] → Doc ann Source #
(HasSpec (k, v), HasSpec k, HasSpec v, HasSpec [v]) ⇒ Pretty (WithPrec (MapSpec k v)) Source #
Instance details Defined in Constrained.Spec.Map Methods pretty ∷ WithPrec (MapSpec k v) → Doc ann Source # prettyList ∷ [WithPrec (MapSpec k v)] → Doc ann Source #
HasSpec a ⇒ Pretty (WithPrec (FoldSpec a)) Source #
Instance details Defined in Constrained.TheKnot Methods pretty ∷ WithPrec (FoldSpec a) → Doc ann Source # prettyList ∷ [WithPrec (FoldSpec a)] → Doc ann Source #
HasSpec a ⇒ Pretty (WithPrec (ListSpec a)) Source #
Instance details Defined in Constrained.TheKnot Methods pretty ∷ WithPrec (ListSpec a) → Doc ann Source # prettyList ∷ [WithPrec (ListSpec a)] → Doc ann Source #

parensIf ∷ Bool → Doc ann → Doc ann Source #

prettyPrec ∷ Pretty (WithPrec a) ⇒ Int → a → Doc ann Source #

ppList_ ∷ ∀ f as ann. (∀ a. f a → Doc ann) → List f as → [Doc ann] Source #

ppListShow ∷ ∀ f as ann. All Show as ⇒ (∀ a. Show a ⇒ f a → Doc ann) → List f as → [Doc ann] Source #

prettyType ∷ ∀ t x. Typeable t ⇒ Doc x Source #

vsep' ∷ [Doc ann] → Doc ann Source #

(/>) ∷ Doc ann → Doc ann → Doc ann infixl 5 Source #

showType ∷ ∀ t. Typeable t ⇒ String Source #

short ∷ ∀ a x. (Show a, Typeable a) ⇒ [a] → Doc x Source #