Hydra.Sources.Tier2.Printing

Documentation

hydraPrintingModule :: Module

printingDefinition :: String -> TTerm a -> TElement a

describeFloatTypeDef :: TElement (FloatType -> String)

describeIntegerTypeDef :: TElement (IntegerType -> String)

describeLiteralTypeDef :: TElement (LiteralType -> String)

describePrecisionDef :: TElement (Precision -> String)

describeTypeDef :: TElement (Type -> String)