haskell-tools-ast-0.2.0.0: Haskell AST for efficient tooling

Safe HaskellNone
LanguageHaskell2010

Language.Haskell.Tools.AST.Instances.Show

Contents

Description

Show instance for Haskell AST representation ignoring source and semantic information

Documentation

Orphan instances

Show (QualifiedName dom stage) Source # 

Methods

showsPrec :: Int -> QualifiedName dom stage -> ShowS #

show :: QualifiedName dom stage -> String #

showList :: [QualifiedName dom stage] -> ShowS #

Show (FieldWildcard dom stage) Source # 

Methods

showsPrec :: Int -> FieldWildcard dom stage -> ShowS #

show :: FieldWildcard dom stage -> String #

showList :: [FieldWildcard dom stage] -> ShowS #

Show (Cmd dom stage) Source # 

Methods

showsPrec :: Int -> Cmd dom stage -> ShowS #

show :: Cmd dom stage -> String #

showList :: [Cmd dom stage] -> ShowS #

Show (Expr dom stage) Source # 

Methods

showsPrec :: Int -> Expr dom stage -> ShowS #

show :: Expr dom stage -> String #

showList :: [Expr dom stage] -> ShowS #

Show (RhsGuard dom stage) Source # 

Methods

showsPrec :: Int -> RhsGuard dom stage -> ShowS #

show :: RhsGuard dom stage -> String #

showList :: [RhsGuard dom stage] -> ShowS #

Show (LocalBinds dom stage) Source # 

Methods

showsPrec :: Int -> LocalBinds dom stage -> ShowS #

show :: LocalBinds dom stage -> String #

showList :: [LocalBinds dom stage] -> ShowS #

Show (LocalBind dom stage) Source # 

Methods

showsPrec :: Int -> LocalBind dom stage -> ShowS #

show :: LocalBind dom stage -> String #

showList :: [LocalBind dom stage] -> ShowS #

Show (Bracket dom stage) Source # 

Methods

showsPrec :: Int -> Bracket dom stage -> ShowS #

show :: Bracket dom stage -> String #

showList :: [Bracket dom stage] -> ShowS #

Show (QuasiQuote dom stage) Source # 

Methods

showsPrec :: Int -> QuasiQuote dom stage -> ShowS #

show :: QuasiQuote dom stage -> String #

showList :: [QuasiQuote dom stage] -> ShowS #

Show (Splice dom stage) Source # 

Methods

showsPrec :: Int -> Splice dom stage -> ShowS #

show :: Splice dom stage -> String #

showList :: [Splice dom stage] -> ShowS #

Show (ImportDecl dom stage) Source # 

Methods

showsPrec :: Int -> ImportDecl dom stage -> ShowS #

show :: ImportDecl dom stage -> String #

showList :: [ImportDecl dom stage] -> ShowS #

Show (Module dom stage) Source # 

Methods

showsPrec :: Int -> Module dom stage -> ShowS #

show :: Module dom stage -> String #

showList :: [Module dom stage] -> ShowS #

Show (PhaseInvert dom stage) Source # 

Methods

showsPrec :: Int -> PhaseInvert dom stage -> ShowS #

show :: PhaseInvert dom stage -> String #

showList :: [PhaseInvert dom stage] -> ShowS #

Show (PhaseNumber dom stage) Source # 

Methods

showsPrec :: Int -> PhaseNumber dom stage -> ShowS #

show :: PhaseNumber dom stage -> String #

showList :: [PhaseNumber dom stage] -> ShowS #

Show (PhaseControl dom stage) Source # 

Methods

showsPrec :: Int -> PhaseControl dom stage -> ShowS #

show :: PhaseControl dom stage -> String #

showList :: [PhaseControl dom stage] -> ShowS #

Show (LineNumber dom stage) Source # 

Methods

showsPrec :: Int -> LineNumber dom stage -> ShowS #

show :: LineNumber dom stage -> String #

showList :: [LineNumber dom stage] -> ShowS #

Show (Precedence dom stage) Source # 

Methods

showsPrec :: Int -> Precedence dom stage -> ShowS #

show :: Precedence dom stage -> String #

showList :: [Precedence dom stage] -> ShowS #

Show (ConlikeAnnot dom stage) Source # 

Methods

showsPrec :: Int -> ConlikeAnnot dom stage -> ShowS #

show :: ConlikeAnnot dom stage -> String #

showList :: [ConlikeAnnot dom stage] -> ShowS #

Show (Role dom stage) Source # 

Methods

showsPrec :: Int -> Role dom stage -> ShowS #

show :: Role dom stage -> String #

showList :: [Role dom stage] -> ShowS #

Show (Assoc dom stage) Source # 

Methods

showsPrec :: Int -> Assoc dom stage -> ShowS #

show :: Assoc dom stage -> String #

showList :: [Assoc dom stage] -> ShowS #

Show (Safety dom stage) Source # 

Methods

showsPrec :: Int -> Safety dom stage -> ShowS #

show :: Safety dom stage -> String #

showList :: [Safety dom stage] -> ShowS #

Show (ArrowAppl dom stage) Source # 

Methods

showsPrec :: Int -> ArrowAppl dom stage -> ShowS #

show :: ArrowAppl dom stage -> String #

showList :: [ArrowAppl dom stage] -> ShowS #

Show (CallConv dom stage) Source # 

Methods

showsPrec :: Int -> CallConv dom stage -> ShowS #

show :: CallConv dom stage -> String #

showList :: [CallConv dom stage] -> ShowS #

Show (OverlapPragma dom stage) Source # 

Methods

showsPrec :: Int -> OverlapPragma dom stage -> ShowS #

show :: OverlapPragma dom stage -> String #

showList :: [OverlapPragma dom stage] -> ShowS #

Show (TypeKeyword dom stage) Source # 

Methods

showsPrec :: Int -> TypeKeyword dom stage -> ShowS #

show :: TypeKeyword dom stage -> String #

showList :: [TypeKeyword dom stage] -> ShowS #

Show (DoKind dom stage) Source # 

Methods

showsPrec :: Int -> DoKind dom stage -> ShowS #

show :: DoKind dom stage -> String #

showList :: [DoKind dom stage] -> ShowS #

Show (DataOrNewtypeKeyword dom stage) Source # 

Methods

showsPrec :: Int -> DataOrNewtypeKeyword dom stage -> ShowS #

show :: DataOrNewtypeKeyword dom stage -> String #

showList :: [DataOrNewtypeKeyword dom stage] -> ShowS #

Show (ModuleName dom stage) Source # 

Methods

showsPrec :: Int -> ModuleName dom stage -> ShowS #

show :: ModuleName dom stage -> String #

showList :: [ModuleName dom stage] -> ShowS #

Show (StringNode dom stage) Source # 

Methods

showsPrec :: Int -> StringNode dom stage -> ShowS #

show :: StringNode dom stage -> String #

showList :: [StringNode dom stage] -> ShowS #

Show (UnqualName dom stage) Source # 

Methods

showsPrec :: Int -> UnqualName dom stage -> ShowS #

show :: UnqualName dom stage -> String #

showList :: [UnqualName dom stage] -> ShowS #

Show (Name dom stage) Source # 

Methods

showsPrec :: Int -> Name dom stage -> ShowS #

show :: Name dom stage -> String #

showList :: [Name dom stage] -> ShowS #

Show (Operator dom stage) Source # 

Methods

showsPrec :: Int -> Operator dom stage -> ShowS #

show :: Operator dom stage -> String #

showList :: [Operator dom stage] -> ShowS #

Show (Literal dom stage) Source # 

Methods

showsPrec :: Int -> Literal dom stage -> ShowS #

show :: Literal dom stage -> String #

showList :: [Literal dom stage] -> ShowS #

Show (Kind dom stage) Source # 

Methods

showsPrec :: Int -> Kind dom stage -> ShowS #

show :: Kind dom stage -> String #

showList :: [Kind dom stage] -> ShowS #

Show (KindConstraint dom stage) Source # 

Methods

showsPrec :: Int -> KindConstraint dom stage -> ShowS #

show :: KindConstraint dom stage -> String #

showList :: [KindConstraint dom stage] -> ShowS #

Show (Assertion dom stage) Source # 

Methods

showsPrec :: Int -> Assertion dom stage -> ShowS #

show :: Assertion dom stage -> String #

showList :: [Assertion dom stage] -> ShowS #

Show (Context dom stage) Source # 

Methods

showsPrec :: Int -> Context dom stage -> ShowS #

show :: Context dom stage -> String #

showList :: [Context dom stage] -> ShowS #

Show (Type dom stage) Source # 

Methods

showsPrec :: Int -> Type dom stage -> ShowS #

show :: Type dom stage -> String #

showList :: [Type dom stage] -> ShowS #

Show (TyVar dom stage) Source # 

Methods

showsPrec :: Int -> TyVar dom stage -> ShowS #

show :: TyVar dom stage -> String #

showList :: [TyVar dom stage] -> ShowS #

Show (PatternField dom stage) Source # 

Methods

showsPrec :: Int -> PatternField dom stage -> ShowS #

show :: PatternField dom stage -> String #

showList :: [PatternField dom stage] -> ShowS #

Show (Pattern dom stage) Source # 

Methods

showsPrec :: Int -> Pattern dom stage -> ShowS #

show :: Pattern dom stage -> String #

showList :: [Pattern dom stage] -> ShowS #

Show (CompStmt dom stage) Source # 

Methods

showsPrec :: Int -> CompStmt dom stage -> ShowS #

show :: CompStmt dom stage -> String #

showList :: [CompStmt dom stage] -> ShowS #

Show (ListCompBody dom stage) Source # 

Methods

showsPrec :: Int -> ListCompBody dom stage -> ShowS #

show :: ListCompBody dom stage -> String #

showList :: [ListCompBody dom stage] -> ShowS #

Show (Number dom stage) Source # 

Methods

showsPrec :: Int -> Number dom stage -> ShowS #

show :: Number dom stage -> String #

showList :: [Number dom stage] -> ShowS #

Show (SourceRange dom stage) Source # 

Methods

showsPrec :: Int -> SourceRange dom stage -> ShowS #

show :: SourceRange dom stage -> String #

showList :: [SourceRange dom stage] -> ShowS #

Show (ExprPragma dom stage) Source # 

Methods

showsPrec :: Int -> ExprPragma dom stage -> ShowS #

show :: ExprPragma dom stage -> String #

showList :: [ExprPragma dom stage] -> ShowS #

Show (TupSecElem dom stage) Source # 

Methods

showsPrec :: Int -> TupSecElem dom stage -> ShowS #

show :: TupSecElem dom stage -> String #

showList :: [TupSecElem dom stage] -> ShowS #

Show (FieldUpdate dom stage) Source # 

Methods

showsPrec :: Int -> FieldUpdate dom stage -> ShowS #

show :: FieldUpdate dom stage -> String #

showList :: [FieldUpdate dom stage] -> ShowS #

Show (MinimalFormula dom stage) Source # 

Methods

showsPrec :: Int -> MinimalFormula dom stage -> ShowS #

show :: MinimalFormula dom stage -> String #

showList :: [MinimalFormula dom stage] -> ShowS #

Show (AnnotationSubject dom stage) Source # 

Methods

showsPrec :: Int -> AnnotationSubject dom stage -> ShowS #

show :: AnnotationSubject dom stage -> String #

showList :: [AnnotationSubject dom stage] -> ShowS #

Show (Rule dom stage) Source # 

Methods

showsPrec :: Int -> Rule dom stage -> ShowS #

show :: Rule dom stage -> String #

showList :: [Rule dom stage] -> ShowS #

Show (TopLevelPragma dom stage) Source # 

Methods

showsPrec :: Int -> TopLevelPragma dom stage -> ShowS #

show :: TopLevelPragma dom stage -> String #

showList :: [TopLevelPragma dom stage] -> ShowS #

Show (GuardedRhs dom stage) Source # 

Methods

showsPrec :: Int -> GuardedRhs dom stage -> ShowS #

show :: GuardedRhs dom stage -> String #

showList :: [GuardedRhs dom stage] -> ShowS #

Show (Rhs dom stage) Source # 

Methods

showsPrec :: Int -> Rhs dom stage -> ShowS #

show :: Rhs dom stage -> String #

showList :: [Rhs dom stage] -> ShowS #

Show (FixitySignature dom stage) Source # 

Methods

showsPrec :: Int -> FixitySignature dom stage -> ShowS #

show :: FixitySignature dom stage -> String #

showList :: [FixitySignature dom stage] -> ShowS #

Show (TypeSignature dom stage) Source # 

Methods

showsPrec :: Int -> TypeSignature dom stage -> ShowS #

show :: TypeSignature dom stage -> String #

showList :: [TypeSignature dom stage] -> ShowS #

Show (MatchLhs dom stage) Source # 

Methods

showsPrec :: Int -> MatchLhs dom stage -> ShowS #

show :: MatchLhs dom stage -> String #

showList :: [MatchLhs dom stage] -> ShowS #

Show (Match dom stage) Source # 

Methods

showsPrec :: Int -> Match dom stage -> ShowS #

show :: Match dom stage -> String #

showList :: [Match dom stage] -> ShowS #

Show (ValueBind dom stage) Source # 

Methods

showsPrec :: Int -> ValueBind dom stage -> ShowS #

show :: ValueBind dom stage -> String #

showList :: [ValueBind dom stage] -> ShowS #

Show (PatSynWhere dom stage) Source # 

Methods

showsPrec :: Int -> PatSynWhere dom stage -> ShowS #

show :: PatSynWhere dom stage -> String #

showList :: [PatSynWhere dom stage] -> ShowS #

Show (PatSynRhs dom stage) Source # 

Methods

showsPrec :: Int -> PatSynRhs dom stage -> ShowS #

show :: PatSynRhs dom stage -> String #

showList :: [PatSynRhs dom stage] -> ShowS #

Show (PatSynLhs dom stage) Source # 

Methods

showsPrec :: Int -> PatSynLhs dom stage -> ShowS #

show :: PatSynLhs dom stage -> String #

showList :: [PatSynLhs dom stage] -> ShowS #

Show (PatternSynonym dom stage) Source # 

Methods

showsPrec :: Int -> PatternSynonym dom stage -> ShowS #

show :: PatternSynonym dom stage -> String #

showList :: [PatternSynonym dom stage] -> ShowS #

Show (PatternTypeSignature dom stage) Source # 

Methods

showsPrec :: Int -> PatternTypeSignature dom stage -> ShowS #

show :: PatternTypeSignature dom stage -> String #

showList :: [PatternTypeSignature dom stage] -> ShowS #

Show (TypeEqn dom stage) Source # 

Methods

showsPrec :: Int -> TypeEqn dom stage -> ShowS #

show :: TypeEqn dom stage -> String #

showList :: [TypeEqn dom stage] -> ShowS #

Show (InstanceHead dom stage) Source # 

Methods

showsPrec :: Int -> InstanceHead dom stage -> ShowS #

show :: InstanceHead dom stage -> String #

showList :: [InstanceHead dom stage] -> ShowS #

Show (InstanceRule dom stage) Source # 

Methods

showsPrec :: Int -> InstanceRule dom stage -> ShowS #

show :: InstanceRule dom stage -> String #

showList :: [InstanceRule dom stage] -> ShowS #

Show (Deriving dom stage) Source # 

Methods

showsPrec :: Int -> Deriving dom stage -> ShowS #

show :: Deriving dom stage -> String #

showList :: [Deriving dom stage] -> ShowS #

Show (FieldDecl dom stage) Source # 

Methods

showsPrec :: Int -> FieldDecl dom stage -> ShowS #

show :: FieldDecl dom stage -> String #

showList :: [FieldDecl dom stage] -> ShowS #

Show (ConDecl dom stage) Source # 

Methods

showsPrec :: Int -> ConDecl dom stage -> ShowS #

show :: ConDecl dom stage -> String #

showList :: [ConDecl dom stage] -> ShowS #

Show (FunDep dom stage) Source # 

Methods

showsPrec :: Int -> FunDep dom stage -> ShowS #

show :: FunDep dom stage -> String #

showList :: [FunDep dom stage] -> ShowS #

Show (FunDeps dom stage) Source # 

Methods

showsPrec :: Int -> FunDeps dom stage -> ShowS #

show :: FunDeps dom stage -> String #

showList :: [FunDeps dom stage] -> ShowS #

Show (GadtConType dom stage) Source # 

Methods

showsPrec :: Int -> GadtConType dom stage -> ShowS #

show :: GadtConType dom stage -> String #

showList :: [GadtConType dom stage] -> ShowS #

Show (GadtConDecl dom stage) Source # 

Methods

showsPrec :: Int -> GadtConDecl dom stage -> ShowS #

show :: GadtConDecl dom stage -> String #

showList :: [GadtConDecl dom stage] -> ShowS #

Show (InstBodyDecl dom stage) Source # 

Methods

showsPrec :: Int -> InstBodyDecl dom stage -> ShowS #

show :: InstBodyDecl dom stage -> String #

showList :: [InstBodyDecl dom stage] -> ShowS #

Show (InstBody dom stage) Source # 

Methods

showsPrec :: Int -> InstBody dom stage -> ShowS #

show :: InstBody dom stage -> String #

showList :: [InstBody dom stage] -> ShowS #

Show (DeclHead dom stage) Source # 

Methods

showsPrec :: Int -> DeclHead dom stage -> ShowS #

show :: DeclHead dom stage -> String #

showList :: [DeclHead dom stage] -> ShowS #

Show (ClassElement dom stage) Source # 

Methods

showsPrec :: Int -> ClassElement dom stage -> ShowS #

show :: ClassElement dom stage -> String #

showList :: [ClassElement dom stage] -> ShowS #

Show (ClassBody dom stage) Source # 

Methods

showsPrec :: Int -> ClassBody dom stage -> ShowS #

show :: ClassBody dom stage -> String #

showList :: [ClassBody dom stage] -> ShowS #

Show (InjectivityAnn dom stage) Source # 

Methods

showsPrec :: Int -> InjectivityAnn dom stage -> ShowS #

show :: InjectivityAnn dom stage -> String #

showList :: [InjectivityAnn dom stage] -> ShowS #

Show (TypeFamilySpec dom stage) Source # 

Methods

showsPrec :: Int -> TypeFamilySpec dom stage -> ShowS #

show :: TypeFamilySpec dom stage -> String #

showList :: [TypeFamilySpec dom stage] -> ShowS #

Show (TypeFamily dom stage) Source # 

Methods

showsPrec :: Int -> TypeFamily dom stage -> ShowS #

show :: TypeFamily dom stage -> String #

showList :: [TypeFamily dom stage] -> ShowS #

Show (Decl dom stage) Source # 

Methods

showsPrec :: Int -> Decl dom stage -> ShowS #

show :: Decl dom stage -> String #

showList :: [Decl dom stage] -> ShowS #

Show (ImportRenaming dom stage) Source # 

Methods

showsPrec :: Int -> ImportRenaming dom stage -> ShowS #

show :: ImportRenaming dom stage -> String #

showList :: [ImportRenaming dom stage] -> ShowS #

Show (TypeNamespace dom stage) Source # 

Methods

showsPrec :: Int -> TypeNamespace dom stage -> ShowS #

show :: TypeNamespace dom stage -> String #

showList :: [TypeNamespace dom stage] -> ShowS #

Show (ImportSafe dom stage) Source # 

Methods

showsPrec :: Int -> ImportSafe dom stage -> ShowS #

show :: ImportSafe dom stage -> String #

showList :: [ImportSafe dom stage] -> ShowS #

Show (ImportSource dom stage) Source # 

Methods

showsPrec :: Int -> ImportSource dom stage -> ShowS #

show :: ImportSource dom stage -> String #

showList :: [ImportSource dom stage] -> ShowS #

Show (ImportQualified dom stage) Source # 

Methods

showsPrec :: Int -> ImportQualified dom stage -> ShowS #

show :: ImportQualified dom stage -> String #

showList :: [ImportQualified dom stage] -> ShowS #

Show (ImportSpec dom stage) Source # 

Methods

showsPrec :: Int -> ImportSpec dom stage -> ShowS #

show :: ImportSpec dom stage -> String #

showList :: [ImportSpec dom stage] -> ShowS #

Show (LanguageExtension dom stage) Source # 

Methods

showsPrec :: Int -> LanguageExtension dom stage -> ShowS #

show :: LanguageExtension dom stage -> String #

showList :: [LanguageExtension dom stage] -> ShowS #

Show (ModulePragma dom stage) Source # 

Methods

showsPrec :: Int -> ModulePragma dom stage -> ShowS #

show :: ModulePragma dom stage -> String #

showList :: [ModulePragma dom stage] -> ShowS #

Show (FilePragma dom stage) Source # 

Methods

showsPrec :: Int -> FilePragma dom stage -> ShowS #

show :: FilePragma dom stage -> String #

showList :: [FilePragma dom stage] -> ShowS #

Show (SubSpec dom stage) Source # 

Methods

showsPrec :: Int -> SubSpec dom stage -> ShowS #

show :: SubSpec dom stage -> String #

showList :: [SubSpec dom stage] -> ShowS #

Show (IESpec dom stage) Source # 

Methods

showsPrec :: Int -> IESpec dom stage -> ShowS #

show :: IESpec dom stage -> String #

showList :: [IESpec dom stage] -> ShowS #

Show (ExportSpec dom stage) Source # 

Methods

showsPrec :: Int -> ExportSpec dom stage -> ShowS #

show :: ExportSpec dom stage -> String #

showList :: [ExportSpec dom stage] -> ShowS #

Show (ExportSpecList dom stage) Source # 

Methods

showsPrec :: Int -> ExportSpecList dom stage -> ShowS #

show :: ExportSpecList dom stage -> String #

showList :: [ExportSpecList dom stage] -> ShowS #

Show (ModuleHead dom stage) Source # 

Methods

showsPrec :: Int -> ModuleHead dom stage -> ShowS #

show :: ModuleHead dom stage -> String #

showList :: [ModuleHead dom stage] -> ShowS #

Show (QQString dom stage) Source # 

Methods

showsPrec :: Int -> QQString dom stage -> ShowS #

show :: QQString dom stage -> String #

showList :: [QQString dom stage] -> ShowS #

Show (e dom stage) => Show (Ann e dom stage) Source # 

Methods

showsPrec :: Int -> Ann e dom stage -> ShowS #

show :: Ann e dom stage -> String #

showList :: [Ann e dom stage] -> ShowS #

Show (e dom stage) => Show (AnnList e dom stage) Source # 

Methods

showsPrec :: Int -> AnnList e dom stage -> ShowS #

show :: AnnList e dom stage -> String #

showList :: [AnnList e dom stage] -> ShowS #

Show (e dom stage) => Show (AnnMaybe e dom stage) Source # 

Methods

showsPrec :: Int -> AnnMaybe e dom stage -> ShowS #

show :: AnnMaybe e dom stage -> String #

showList :: [AnnMaybe e dom stage] -> ShowS #

Show (k dom stage) => Show (Promoted k dom stage) Source # 

Methods

showsPrec :: Int -> Promoted k dom stage -> ShowS #

show :: Promoted k dom stage -> String #

showList :: [Promoted k dom stage] -> ShowS #

Show (expr dom stage) => Show (Stmt' expr dom stage) Source # 

Methods

showsPrec :: Int -> Stmt' expr dom stage -> ShowS #

show :: Stmt' expr dom stage -> String #

showList :: [Stmt' expr dom stage] -> ShowS #

Show (expr dom stage) => Show (GuardedCaseRhs' expr dom stage) Source # 

Methods

showsPrec :: Int -> GuardedCaseRhs' expr dom stage -> ShowS #

show :: GuardedCaseRhs' expr dom stage -> String #

showList :: [GuardedCaseRhs' expr dom stage] -> ShowS #

Show (expr dom stage) => Show (CaseRhs' expr dom stage) Source # 

Methods

showsPrec :: Int -> CaseRhs' expr dom stage -> ShowS #

show :: CaseRhs' expr dom stage -> String #

showList :: [CaseRhs' expr dom stage] -> ShowS #

Show (expr dom stage) => Show (Alt' expr dom stage) Source # 

Methods

showsPrec :: Int -> Alt' expr dom stage -> ShowS #

show :: Alt' expr dom stage -> String #

showList :: [Alt' expr dom stage] -> ShowS #