Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class Typeable a => ExactPrint a where
- getAnnotationEntry :: a -> Entry
- exact :: a -> Annotated ()
- exactPrint :: ExactPrint ast => Located ast -> String
Documentation
class Typeable a => ExactPrint a where Source #
An AST fragment with an annotation must be able to return the
requirements for nesting another one, captured in an Entry
, and
to be able to use the rest of the exactprint machinery to print the
element. In the analogy to Outputable, exact
plays the role of
ppr
.
Instances
exactPrint :: ExactPrint ast => Located ast -> String Source #