Safe Haskell	None
Language	Haskell2010

Language.Haskell.Tools.AST.Instances.Generic

Contents

Orphan instances

Description

Generic instance for Haskell AST representation

Orphan instances

(Domain dom, SourceInfo stage) => Generic (QualifiedName dom stage) Source #
Associated Types type Rep (QualifiedName dom stage) :: * -> * # Methods from :: QualifiedName dom stage -> Rep (QualifiedName dom stage) x # to :: Rep (QualifiedName dom stage) x -> QualifiedName dom stage #
(Domain dom, SourceInfo stage) => Generic (FieldWildcard dom stage) Source #
Associated Types type Rep (FieldWildcard dom stage) :: * -> * # Methods from :: FieldWildcard dom stage -> Rep (FieldWildcard dom stage) x # to :: Rep (FieldWildcard dom stage) x -> FieldWildcard dom stage #
(Domain dom, SourceInfo stage) => Generic (Cmd dom stage) Source #
Associated Types type Rep (Cmd dom stage) :: * -> * # Methods from :: Cmd dom stage -> Rep (Cmd dom stage) x # to :: Rep (Cmd dom stage) x -> Cmd dom stage #
(Domain dom, SourceInfo stage) => Generic (Expr dom stage) Source #
Associated Types type Rep (Expr dom stage) :: * -> * # Methods from :: Expr dom stage -> Rep (Expr dom stage) x # to :: Rep (Expr dom stage) x -> Expr dom stage #
(Domain dom, SourceInfo stage) => Generic (RhsGuard dom stage) Source #
Associated Types type Rep (RhsGuard dom stage) :: * -> * # Methods from :: RhsGuard dom stage -> Rep (RhsGuard dom stage) x # to :: Rep (RhsGuard dom stage) x -> RhsGuard dom stage #
(Domain dom, SourceInfo stage) => Generic (LocalBinds dom stage) Source #
Associated Types type Rep (LocalBinds dom stage) :: * -> * # Methods from :: LocalBinds dom stage -> Rep (LocalBinds dom stage) x # to :: Rep (LocalBinds dom stage) x -> LocalBinds dom stage #
(Domain dom, SourceInfo stage) => Generic (LocalBind dom stage) Source #
Associated Types type Rep (LocalBind dom stage) :: * -> * # Methods from :: LocalBind dom stage -> Rep (LocalBind dom stage) x # to :: Rep (LocalBind dom stage) x -> LocalBind dom stage #
(Domain dom, SourceInfo stage) => Generic (Bracket dom stage) Source #
Associated Types type Rep (Bracket dom stage) :: * -> * # Methods from :: Bracket dom stage -> Rep (Bracket dom stage) x # to :: Rep (Bracket dom stage) x -> Bracket dom stage #
(Domain dom, SourceInfo stage) => Generic (QuasiQuote dom stage) Source #
Associated Types type Rep (QuasiQuote dom stage) :: * -> * # Methods from :: QuasiQuote dom stage -> Rep (QuasiQuote dom stage) x # to :: Rep (QuasiQuote dom stage) x -> QuasiQuote dom stage #
(Domain dom, SourceInfo stage) => Generic (Splice dom stage) Source #
Associated Types type Rep (Splice dom stage) :: * -> * # Methods from :: Splice dom stage -> Rep (Splice dom stage) x # to :: Rep (Splice dom stage) x -> Splice dom stage #
(Domain dom, SourceInfo stage) => Generic (ImportDecl dom stage) Source #
Associated Types type Rep (ImportDecl dom stage) :: * -> * # Methods from :: ImportDecl dom stage -> Rep (ImportDecl dom stage) x # to :: Rep (ImportDecl dom stage) x -> ImportDecl dom stage #
(Domain dom, SourceInfo stage) => Generic (Module dom stage) Source #
Associated Types type Rep (Module dom stage) :: * -> * # Methods from :: Module dom stage -> Rep (Module dom stage) x # to :: Rep (Module dom stage) x -> Module dom stage #
(Domain dom, SourceInfo stage) => Generic (PhaseInvert dom stage) Source #
Associated Types type Rep (PhaseInvert dom stage) :: * -> * # Methods from :: PhaseInvert dom stage -> Rep (PhaseInvert dom stage) x # to :: Rep (PhaseInvert dom stage) x -> PhaseInvert dom stage #
(Domain dom, SourceInfo stage) => Generic (PhaseNumber dom stage) Source #
Associated Types type Rep (PhaseNumber dom stage) :: * -> * # Methods from :: PhaseNumber dom stage -> Rep (PhaseNumber dom stage) x # to :: Rep (PhaseNumber dom stage) x -> PhaseNumber dom stage #
(Domain dom, SourceInfo stage) => Generic (PhaseControl dom stage) Source #
Associated Types type Rep (PhaseControl dom stage) :: * -> * # Methods from :: PhaseControl dom stage -> Rep (PhaseControl dom stage) x # to :: Rep (PhaseControl dom stage) x -> PhaseControl dom stage #
(Domain dom, SourceInfo stage) => Generic (LineNumber dom stage) Source #
Associated Types type Rep (LineNumber dom stage) :: * -> * # Methods from :: LineNumber dom stage -> Rep (LineNumber dom stage) x # to :: Rep (LineNumber dom stage) x -> LineNumber dom stage #
(Domain dom, SourceInfo stage) => Generic (Precedence dom stage) Source #
Associated Types type Rep (Precedence dom stage) :: * -> * # Methods from :: Precedence dom stage -> Rep (Precedence dom stage) x # to :: Rep (Precedence dom stage) x -> Precedence dom stage #
(Domain dom, SourceInfo stage) => Generic (ConlikeAnnot dom stage) Source #
Associated Types type Rep (ConlikeAnnot dom stage) :: * -> * # Methods from :: ConlikeAnnot dom stage -> Rep (ConlikeAnnot dom stage) x # to :: Rep (ConlikeAnnot dom stage) x -> ConlikeAnnot dom stage #
(Domain dom, SourceInfo stage) => Generic (Role dom stage) Source #
Associated Types type Rep (Role dom stage) :: * -> * # Methods from :: Role dom stage -> Rep (Role dom stage) x # to :: Rep (Role dom stage) x -> Role dom stage #
(Domain dom, SourceInfo stage) => Generic (Assoc dom stage) Source #
Associated Types type Rep (Assoc dom stage) :: * -> * # Methods from :: Assoc dom stage -> Rep (Assoc dom stage) x # to :: Rep (Assoc dom stage) x -> Assoc dom stage #
(Domain dom, SourceInfo stage) => Generic (Safety dom stage) Source #
Associated Types type Rep (Safety dom stage) :: * -> * # Methods from :: Safety dom stage -> Rep (Safety dom stage) x # to :: Rep (Safety dom stage) x -> Safety dom stage #
(Domain dom, SourceInfo stage) => Generic (ArrowAppl dom stage) Source #
Associated Types type Rep (ArrowAppl dom stage) :: * -> * # Methods from :: ArrowAppl dom stage -> Rep (ArrowAppl dom stage) x # to :: Rep (ArrowAppl dom stage) x -> ArrowAppl dom stage #
(Domain dom, SourceInfo stage) => Generic (CallConv dom stage) Source #
Associated Types type Rep (CallConv dom stage) :: * -> * # Methods from :: CallConv dom stage -> Rep (CallConv dom stage) x # to :: Rep (CallConv dom stage) x -> CallConv dom stage #
(Domain dom, SourceInfo stage) => Generic (OverlapPragma dom stage) Source #
Associated Types type Rep (OverlapPragma dom stage) :: * -> * # Methods from :: OverlapPragma dom stage -> Rep (OverlapPragma dom stage) x # to :: Rep (OverlapPragma dom stage) x -> OverlapPragma dom stage #
(Domain dom, SourceInfo stage) => Generic (TypeKeyword dom stage) Source #
Associated Types type Rep (TypeKeyword dom stage) :: * -> * # Methods from :: TypeKeyword dom stage -> Rep (TypeKeyword dom stage) x # to :: Rep (TypeKeyword dom stage) x -> TypeKeyword dom stage #
(Domain dom, SourceInfo stage) => Generic (DoKind dom stage) Source #
Associated Types type Rep (DoKind dom stage) :: * -> * # Methods from :: DoKind dom stage -> Rep (DoKind dom stage) x # to :: Rep (DoKind dom stage) x -> DoKind dom stage #
(Domain dom, SourceInfo stage) => Generic (DataOrNewtypeKeyword dom stage) Source #
Associated Types type Rep (DataOrNewtypeKeyword dom stage) :: * -> * # Methods from :: DataOrNewtypeKeyword dom stage -> Rep (DataOrNewtypeKeyword dom stage) x # to :: Rep (DataOrNewtypeKeyword dom stage) x -> DataOrNewtypeKeyword dom stage #
(Domain dom, SourceInfo stage) => Generic (ModuleName dom stage) Source #
Associated Types type Rep (ModuleName dom stage) :: * -> * # Methods from :: ModuleName dom stage -> Rep (ModuleName dom stage) x # to :: Rep (ModuleName dom stage) x -> ModuleName dom stage #
(Domain dom, SourceInfo stage) => Generic (StringNode dom stage) Source #
Associated Types type Rep (StringNode dom stage) :: * -> * # Methods from :: StringNode dom stage -> Rep (StringNode dom stage) x # to :: Rep (StringNode dom stage) x -> StringNode dom stage #
(Domain dom, SourceInfo stage) => Generic (UnqualName dom stage) Source #
Associated Types type Rep (UnqualName dom stage) :: * -> * # Methods from :: UnqualName dom stage -> Rep (UnqualName dom stage) x # to :: Rep (UnqualName dom stage) x -> UnqualName dom stage #
(Domain dom, SourceInfo stage) => Generic (Name dom stage) Source #
Associated Types type Rep (Name dom stage) :: * -> * # Methods from :: Name dom stage -> Rep (Name dom stage) x # to :: Rep (Name dom stage) x -> Name dom stage #
(Domain dom, SourceInfo stage) => Generic (Operator dom stage) Source #
Associated Types type Rep (Operator dom stage) :: * -> * # Methods from :: Operator dom stage -> Rep (Operator dom stage) x # to :: Rep (Operator dom stage) x -> Operator dom stage #
(Domain dom, SourceInfo stage) => Generic (Literal dom stage) Source #
Associated Types type Rep (Literal dom stage) :: * -> * # Methods from :: Literal dom stage -> Rep (Literal dom stage) x # to :: Rep (Literal dom stage) x -> Literal dom stage #
(Domain dom, SourceInfo stage) => Generic (Kind dom stage) Source #
Associated Types type Rep (Kind dom stage) :: * -> * # Methods from :: Kind dom stage -> Rep (Kind dom stage) x # to :: Rep (Kind dom stage) x -> Kind dom stage #
(Domain dom, SourceInfo stage) => Generic (KindConstraint dom stage) Source #
Associated Types type Rep (KindConstraint dom stage) :: * -> * # Methods from :: KindConstraint dom stage -> Rep (KindConstraint dom stage) x # to :: Rep (KindConstraint dom stage) x -> KindConstraint dom stage #
(Domain dom, SourceInfo stage) => Generic (Assertion dom stage) Source #
Associated Types type Rep (Assertion dom stage) :: * -> * # Methods from :: Assertion dom stage -> Rep (Assertion dom stage) x # to :: Rep (Assertion dom stage) x -> Assertion dom stage #
(Domain dom, SourceInfo stage) => Generic (Context dom stage) Source #
Associated Types type Rep (Context dom stage) :: * -> * # Methods from :: Context dom stage -> Rep (Context dom stage) x # to :: Rep (Context dom stage) x -> Context dom stage #
(Domain dom, SourceInfo stage) => Generic (Type dom stage) Source #
Associated Types type Rep (Type dom stage) :: * -> * # Methods from :: Type dom stage -> Rep (Type dom stage) x # to :: Rep (Type dom stage) x -> Type dom stage #
(Domain dom, SourceInfo stage) => Generic (TyVar dom stage) Source #
Associated Types type Rep (TyVar dom stage) :: * -> * # Methods from :: TyVar dom stage -> Rep (TyVar dom stage) x # to :: Rep (TyVar dom stage) x -> TyVar dom stage #
(Domain dom, SourceInfo stage) => Generic (PatternField dom stage) Source #
Associated Types type Rep (PatternField dom stage) :: * -> * # Methods from :: PatternField dom stage -> Rep (PatternField dom stage) x # to :: Rep (PatternField dom stage) x -> PatternField dom stage #
(Domain dom, SourceInfo stage) => Generic (Pattern dom stage) Source #
Associated Types type Rep (Pattern dom stage) :: * -> * # Methods from :: Pattern dom stage -> Rep (Pattern dom stage) x # to :: Rep (Pattern dom stage) x -> Pattern dom stage #
(Domain dom, SourceInfo stage) => Generic (CompStmt dom stage) Source #
Associated Types type Rep (CompStmt dom stage) :: * -> * # Methods from :: CompStmt dom stage -> Rep (CompStmt dom stage) x # to :: Rep (CompStmt dom stage) x -> CompStmt dom stage #
(Domain dom, SourceInfo stage) => Generic (ListCompBody dom stage) Source #
Associated Types type Rep (ListCompBody dom stage) :: * -> * # Methods from :: ListCompBody dom stage -> Rep (ListCompBody dom stage) x # to :: Rep (ListCompBody dom stage) x -> ListCompBody dom stage #
(Domain dom, SourceInfo stage) => Generic (Number dom stage) Source #
Associated Types type Rep (Number dom stage) :: * -> * # Methods from :: Number dom stage -> Rep (Number dom stage) x # to :: Rep (Number dom stage) x -> Number dom stage #
(Domain dom, SourceInfo stage) => Generic (SourceRange dom stage) Source #
Associated Types type Rep (SourceRange dom stage) :: * -> * # Methods from :: SourceRange dom stage -> Rep (SourceRange dom stage) x # to :: Rep (SourceRange dom stage) x -> SourceRange dom stage #
(Domain dom, SourceInfo stage) => Generic (ExprPragma dom stage) Source #
Associated Types type Rep (ExprPragma dom stage) :: * -> * # Methods from :: ExprPragma dom stage -> Rep (ExprPragma dom stage) x # to :: Rep (ExprPragma dom stage) x -> ExprPragma dom stage #
(Domain dom, SourceInfo stage) => Generic (TupSecElem dom stage) Source #
Associated Types type Rep (TupSecElem dom stage) :: * -> * # Methods from :: TupSecElem dom stage -> Rep (TupSecElem dom stage) x # to :: Rep (TupSecElem dom stage) x -> TupSecElem dom stage #
(Domain dom, SourceInfo stage) => Generic (FieldUpdate dom stage) Source #
Associated Types type Rep (FieldUpdate dom stage) :: * -> * # Methods from :: FieldUpdate dom stage -> Rep (FieldUpdate dom stage) x # to :: Rep (FieldUpdate dom stage) x -> FieldUpdate dom stage #
(Domain dom, SourceInfo stage) => Generic (MinimalFormula dom stage) Source #
Associated Types type Rep (MinimalFormula dom stage) :: * -> * # Methods from :: MinimalFormula dom stage -> Rep (MinimalFormula dom stage) x # to :: Rep (MinimalFormula dom stage) x -> MinimalFormula dom stage #
(Domain dom, SourceInfo stage) => Generic (AnnotationSubject dom stage) Source #
Associated Types type Rep (AnnotationSubject dom stage) :: * -> * # Methods from :: AnnotationSubject dom stage -> Rep (AnnotationSubject dom stage) x # to :: Rep (AnnotationSubject dom stage) x -> AnnotationSubject dom stage #
(Domain dom, SourceInfo stage) => Generic (Rule dom stage) Source #
Associated Types type Rep (Rule dom stage) :: * -> * # Methods from :: Rule dom stage -> Rep (Rule dom stage) x # to :: Rep (Rule dom stage) x -> Rule dom stage #
(Domain dom, SourceInfo stage) => Generic (TopLevelPragma dom stage) Source #
Associated Types type Rep (TopLevelPragma dom stage) :: * -> * # Methods from :: TopLevelPragma dom stage -> Rep (TopLevelPragma dom stage) x # to :: Rep (TopLevelPragma dom stage) x -> TopLevelPragma dom stage #
(Domain dom, SourceInfo stage) => Generic (GuardedRhs dom stage) Source #
Associated Types type Rep (GuardedRhs dom stage) :: * -> * # Methods from :: GuardedRhs dom stage -> Rep (GuardedRhs dom stage) x # to :: Rep (GuardedRhs dom stage) x -> GuardedRhs dom stage #
(Domain dom, SourceInfo stage) => Generic (Rhs dom stage) Source #
Associated Types type Rep (Rhs dom stage) :: * -> * # Methods from :: Rhs dom stage -> Rep (Rhs dom stage) x # to :: Rep (Rhs dom stage) x -> Rhs dom stage #
(Domain dom, SourceInfo stage) => Generic (FixitySignature dom stage) Source #
Associated Types type Rep (FixitySignature dom stage) :: * -> * # Methods from :: FixitySignature dom stage -> Rep (FixitySignature dom stage) x # to :: Rep (FixitySignature dom stage) x -> FixitySignature dom stage #
(Domain dom, SourceInfo stage) => Generic (TypeSignature dom stage) Source #
Associated Types type Rep (TypeSignature dom stage) :: * -> * # Methods from :: TypeSignature dom stage -> Rep (TypeSignature dom stage) x # to :: Rep (TypeSignature dom stage) x -> TypeSignature dom stage #
(Domain dom, SourceInfo stage) => Generic (MatchLhs dom stage) Source #
Associated Types type Rep (MatchLhs dom stage) :: * -> * # Methods from :: MatchLhs dom stage -> Rep (MatchLhs dom stage) x # to :: Rep (MatchLhs dom stage) x -> MatchLhs dom stage #
(Domain dom, SourceInfo stage) => Generic (Match dom stage) Source #
Associated Types type Rep (Match dom stage) :: * -> * # Methods from :: Match dom stage -> Rep (Match dom stage) x # to :: Rep (Match dom stage) x -> Match dom stage #
(Domain dom, SourceInfo stage) => Generic (ValueBind dom stage) Source #
Associated Types type Rep (ValueBind dom stage) :: * -> * # Methods from :: ValueBind dom stage -> Rep (ValueBind dom stage) x # to :: Rep (ValueBind dom stage) x -> ValueBind dom stage #
(Domain dom, SourceInfo stage) => Generic (PatSynWhere dom stage) Source #
Associated Types type Rep (PatSynWhere dom stage) :: * -> * # Methods from :: PatSynWhere dom stage -> Rep (PatSynWhere dom stage) x # to :: Rep (PatSynWhere dom stage) x -> PatSynWhere dom stage #
(Domain dom, SourceInfo stage) => Generic (PatSynRhs dom stage) Source #
Associated Types type Rep (PatSynRhs dom stage) :: * -> * # Methods from :: PatSynRhs dom stage -> Rep (PatSynRhs dom stage) x # to :: Rep (PatSynRhs dom stage) x -> PatSynRhs dom stage #
(Domain dom, SourceInfo stage) => Generic (PatSynLhs dom stage) Source #
Associated Types type Rep (PatSynLhs dom stage) :: * -> * # Methods from :: PatSynLhs dom stage -> Rep (PatSynLhs dom stage) x # to :: Rep (PatSynLhs dom stage) x -> PatSynLhs dom stage #
(Domain dom, SourceInfo stage) => Generic (PatternSynonym dom stage) Source #
Associated Types type Rep (PatternSynonym dom stage) :: * -> * # Methods from :: PatternSynonym dom stage -> Rep (PatternSynonym dom stage) x # to :: Rep (PatternSynonym dom stage) x -> PatternSynonym dom stage #
(Domain dom, SourceInfo stage) => Generic (PatternTypeSignature dom stage) Source #
Associated Types type Rep (PatternTypeSignature dom stage) :: * -> * # Methods from :: PatternTypeSignature dom stage -> Rep (PatternTypeSignature dom stage) x # to :: Rep (PatternTypeSignature dom stage) x -> PatternTypeSignature dom stage #
(Domain dom, SourceInfo stage) => Generic (TypeEqn dom stage) Source #
Associated Types type Rep (TypeEqn dom stage) :: * -> * # Methods from :: TypeEqn dom stage -> Rep (TypeEqn dom stage) x # to :: Rep (TypeEqn dom stage) x -> TypeEqn dom stage #
(Domain dom, SourceInfo stage) => Generic (InstanceHead dom stage) Source #
Associated Types type Rep (InstanceHead dom stage) :: * -> * # Methods from :: InstanceHead dom stage -> Rep (InstanceHead dom stage) x # to :: Rep (InstanceHead dom stage) x -> InstanceHead dom stage #
(Domain dom, SourceInfo stage) => Generic (InstanceRule dom stage) Source #
Associated Types type Rep (InstanceRule dom stage) :: * -> * # Methods from :: InstanceRule dom stage -> Rep (InstanceRule dom stage) x # to :: Rep (InstanceRule dom stage) x -> InstanceRule dom stage #
(Domain dom, SourceInfo stage) => Generic (Deriving dom stage) Source #
Associated Types type Rep (Deriving dom stage) :: * -> * # Methods from :: Deriving dom stage -> Rep (Deriving dom stage) x # to :: Rep (Deriving dom stage) x -> Deriving dom stage #
(Domain dom, SourceInfo stage) => Generic (FieldDecl dom stage) Source #
Associated Types type Rep (FieldDecl dom stage) :: * -> * # Methods from :: FieldDecl dom stage -> Rep (FieldDecl dom stage) x # to :: Rep (FieldDecl dom stage) x -> FieldDecl dom stage #
(Domain dom, SourceInfo stage) => Generic (ConDecl dom stage) Source #
Associated Types type Rep (ConDecl dom stage) :: * -> * # Methods from :: ConDecl dom stage -> Rep (ConDecl dom stage) x # to :: Rep (ConDecl dom stage) x -> ConDecl dom stage #
(Domain dom, SourceInfo stage) => Generic (FunDep dom stage) Source #
Associated Types type Rep (FunDep dom stage) :: * -> * # Methods from :: FunDep dom stage -> Rep (FunDep dom stage) x # to :: Rep (FunDep dom stage) x -> FunDep dom stage #
(Domain dom, SourceInfo stage) => Generic (FunDeps dom stage) Source #
Associated Types type Rep (FunDeps dom stage) :: * -> * # Methods from :: FunDeps dom stage -> Rep (FunDeps dom stage) x # to :: Rep (FunDeps dom stage) x -> FunDeps dom stage #
(Domain dom, SourceInfo stage) => Generic (GadtConType dom stage) Source #
Associated Types type Rep (GadtConType dom stage) :: * -> * # Methods from :: GadtConType dom stage -> Rep (GadtConType dom stage) x # to :: Rep (GadtConType dom stage) x -> GadtConType dom stage #
(Domain dom, SourceInfo stage) => Generic (GadtConDecl dom stage) Source #
Associated Types type Rep (GadtConDecl dom stage) :: * -> * # Methods from :: GadtConDecl dom stage -> Rep (GadtConDecl dom stage) x # to :: Rep (GadtConDecl dom stage) x -> GadtConDecl dom stage #
(Domain dom, SourceInfo stage) => Generic (InstBodyDecl dom stage) Source #
Associated Types type Rep (InstBodyDecl dom stage) :: * -> * # Methods from :: InstBodyDecl dom stage -> Rep (InstBodyDecl dom stage) x # to :: Rep (InstBodyDecl dom stage) x -> InstBodyDecl dom stage #
(Domain dom, SourceInfo stage) => Generic (InstBody dom stage) Source #
Associated Types type Rep (InstBody dom stage) :: * -> * # Methods from :: InstBody dom stage -> Rep (InstBody dom stage) x # to :: Rep (InstBody dom stage) x -> InstBody dom stage #
(Domain dom, SourceInfo stage) => Generic (DeclHead dom stage) Source #
Associated Types type Rep (DeclHead dom stage) :: * -> * # Methods from :: DeclHead dom stage -> Rep (DeclHead dom stage) x # to :: Rep (DeclHead dom stage) x -> DeclHead dom stage #
(Domain dom, SourceInfo stage) => Generic (ClassElement dom stage) Source #
Associated Types type Rep (ClassElement dom stage) :: * -> * # Methods from :: ClassElement dom stage -> Rep (ClassElement dom stage) x # to :: Rep (ClassElement dom stage) x -> ClassElement dom stage #
(Domain dom, SourceInfo stage) => Generic (ClassBody dom stage) Source #
Associated Types type Rep (ClassBody dom stage) :: * -> * # Methods from :: ClassBody dom stage -> Rep (ClassBody dom stage) x # to :: Rep (ClassBody dom stage) x -> ClassBody dom stage #
(Domain dom, SourceInfo stage) => Generic (InjectivityAnn dom stage) Source #
Associated Types type Rep (InjectivityAnn dom stage) :: * -> * # Methods from :: InjectivityAnn dom stage -> Rep (InjectivityAnn dom stage) x # to :: Rep (InjectivityAnn dom stage) x -> InjectivityAnn dom stage #
(Domain dom, SourceInfo stage) => Generic (TypeFamilySpec dom stage) Source #
Associated Types type Rep (TypeFamilySpec dom stage) :: * -> * # Methods from :: TypeFamilySpec dom stage -> Rep (TypeFamilySpec dom stage) x # to :: Rep (TypeFamilySpec dom stage) x -> TypeFamilySpec dom stage #
(Domain dom, SourceInfo stage) => Generic (TypeFamily dom stage) Source #
Associated Types type Rep (TypeFamily dom stage) :: * -> * # Methods from :: TypeFamily dom stage -> Rep (TypeFamily dom stage) x # to :: Rep (TypeFamily dom stage) x -> TypeFamily dom stage #
(Domain dom, SourceInfo stage) => Generic (Decl dom stage) Source #
Associated Types type Rep (Decl dom stage) :: * -> * # Methods from :: Decl dom stage -> Rep (Decl dom stage) x # to :: Rep (Decl dom stage) x -> Decl dom stage #
(Domain dom, SourceInfo stage) => Generic (ImportRenaming dom stage) Source #
Associated Types type Rep (ImportRenaming dom stage) :: * -> * # Methods from :: ImportRenaming dom stage -> Rep (ImportRenaming dom stage) x # to :: Rep (ImportRenaming dom stage) x -> ImportRenaming dom stage #
(Domain dom, SourceInfo stage) => Generic (TypeNamespace dom stage) Source #
Associated Types type Rep (TypeNamespace dom stage) :: * -> * # Methods from :: TypeNamespace dom stage -> Rep (TypeNamespace dom stage) x # to :: Rep (TypeNamespace dom stage) x -> TypeNamespace dom stage #
(Domain dom, SourceInfo stage) => Generic (ImportSafe dom stage) Source #
Associated Types type Rep (ImportSafe dom stage) :: * -> * # Methods from :: ImportSafe dom stage -> Rep (ImportSafe dom stage) x # to :: Rep (ImportSafe dom stage) x -> ImportSafe dom stage #
(Domain dom, SourceInfo stage) => Generic (ImportSource dom stage) Source #
Associated Types type Rep (ImportSource dom stage) :: * -> * # Methods from :: ImportSource dom stage -> Rep (ImportSource dom stage) x # to :: Rep (ImportSource dom stage) x -> ImportSource dom stage #
(Domain dom, SourceInfo stage) => Generic (ImportQualified dom stage) Source #
Associated Types type Rep (ImportQualified dom stage) :: * -> * # Methods from :: ImportQualified dom stage -> Rep (ImportQualified dom stage) x # to :: Rep (ImportQualified dom stage) x -> ImportQualified dom stage #
(Domain dom, SourceInfo stage) => Generic (ImportSpec dom stage) Source #
Associated Types type Rep (ImportSpec dom stage) :: * -> * # Methods from :: ImportSpec dom stage -> Rep (ImportSpec dom stage) x # to :: Rep (ImportSpec dom stage) x -> ImportSpec dom stage #
(Domain dom, SourceInfo stage) => Generic (LanguageExtension dom stage) Source #
Associated Types type Rep (LanguageExtension dom stage) :: * -> * # Methods from :: LanguageExtension dom stage -> Rep (LanguageExtension dom stage) x # to :: Rep (LanguageExtension dom stage) x -> LanguageExtension dom stage #
(Domain dom, SourceInfo stage) => Generic (ModulePragma dom stage) Source #
Associated Types type Rep (ModulePragma dom stage) :: * -> * # Methods from :: ModulePragma dom stage -> Rep (ModulePragma dom stage) x # to :: Rep (ModulePragma dom stage) x -> ModulePragma dom stage #
(Domain dom, SourceInfo stage) => Generic (FilePragma dom stage) Source #
Associated Types type Rep (FilePragma dom stage) :: * -> * # Methods from :: FilePragma dom stage -> Rep (FilePragma dom stage) x # to :: Rep (FilePragma dom stage) x -> FilePragma dom stage #
(Domain dom, SourceInfo stage) => Generic (SubSpec dom stage) Source #
Associated Types type Rep (SubSpec dom stage) :: * -> * # Methods from :: SubSpec dom stage -> Rep (SubSpec dom stage) x # to :: Rep (SubSpec dom stage) x -> SubSpec dom stage #
(Domain dom, SourceInfo stage) => Generic (IESpec dom stage) Source #
Associated Types type Rep (IESpec dom stage) :: * -> * # Methods from :: IESpec dom stage -> Rep (IESpec dom stage) x # to :: Rep (IESpec dom stage) x -> IESpec dom stage #
(Domain dom, SourceInfo stage) => Generic (ExportSpec dom stage) Source #
Associated Types type Rep (ExportSpec dom stage) :: * -> * # Methods from :: ExportSpec dom stage -> Rep (ExportSpec dom stage) x # to :: Rep (ExportSpec dom stage) x -> ExportSpec dom stage #
(Domain dom, SourceInfo stage) => Generic (ExportSpecList dom stage) Source #
Associated Types type Rep (ExportSpecList dom stage) :: * -> * # Methods from :: ExportSpecList dom stage -> Rep (ExportSpecList dom stage) x # to :: Rep (ExportSpecList dom stage) x -> ExportSpecList dom stage #
(Domain dom, SourceInfo stage) => Generic (ModuleHead dom stage) Source #
Associated Types type Rep (ModuleHead dom stage) :: * -> * # Methods from :: ModuleHead dom stage -> Rep (ModuleHead dom stage) x # to :: Rep (ModuleHead dom stage) x -> ModuleHead dom stage #
(Domain dom, SourceInfo stage) => Generic (QQString dom stage) Source #
Associated Types type Rep (QQString dom stage) :: * -> * # Methods from :: QQString dom stage -> Rep (QQString dom stage) x # to :: Rep (QQString dom stage) x -> QQString dom stage #
(Domain dom, SourceInfo stage, Generic (e dom stage)) => Generic (Ann e dom stage) Source #
Associated Types type Rep (Ann e dom stage) :: * -> * # Methods from :: Ann e dom stage -> Rep (Ann e dom stage) x # to :: Rep (Ann e dom stage) x -> Ann e dom stage #
(Domain dom, SourceInfo stage, Generic (e dom stage)) => Generic (AnnList e dom stage) Source #
Associated Types type Rep (AnnList e dom stage) :: * -> * # Methods from :: AnnList e dom stage -> Rep (AnnList e dom stage) x # to :: Rep (AnnList e dom stage) x -> AnnList e dom stage #
(Domain dom, SourceInfo stage, Generic (e dom stage)) => Generic (AnnMaybe e dom stage) Source #
Associated Types type Rep (AnnMaybe e dom stage) :: * -> * # Methods from :: AnnMaybe e dom stage -> Rep (AnnMaybe e dom stage) x # to :: Rep (AnnMaybe e dom stage) x -> AnnMaybe e dom stage #
(Domain dom, SourceInfo stage, Generic (k dom stage)) => Generic (Promoted k dom stage) Source #
Associated Types type Rep (Promoted k dom stage) :: * -> * # Methods from :: Promoted k dom stage -> Rep (Promoted k dom stage) x # to :: Rep (Promoted k dom stage) x -> Promoted k dom stage #
(Domain dom, SourceInfo stage, Generic (expr dom stage)) => Generic (Stmt' expr dom stage) Source #
Associated Types type Rep (Stmt' expr dom stage) :: * -> * # Methods from :: Stmt' expr dom stage -> Rep (Stmt' expr dom stage) x # to :: Rep (Stmt' expr dom stage) x -> Stmt' expr dom stage #
(Domain dom, SourceInfo stage, Generic (expr dom stage)) => Generic (GuardedCaseRhs' expr dom stage) Source #
Associated Types type Rep (GuardedCaseRhs' expr dom stage) :: * -> * # Methods from :: GuardedCaseRhs' expr dom stage -> Rep (GuardedCaseRhs' expr dom stage) x # to :: Rep (GuardedCaseRhs' expr dom stage) x -> GuardedCaseRhs' expr dom stage #
(Domain dom, SourceInfo stage, Generic (expr dom stage)) => Generic (CaseRhs' expr dom stage) Source #
Associated Types type Rep (CaseRhs' expr dom stage) :: * -> * # Methods from :: CaseRhs' expr dom stage -> Rep (CaseRhs' expr dom stage) x # to :: Rep (CaseRhs' expr dom stage) x -> CaseRhs' expr dom stage #
(Domain dom, SourceInfo stage, Generic (expr dom stage)) => Generic (Alt' expr dom stage) Source #
Associated Types type Rep (Alt' expr dom stage) :: * -> * # Methods from :: Alt' expr dom stage -> Rep (Alt' expr dom stage) x # to :: Rep (Alt' expr dom stage) x -> Alt' expr dom stage #