| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons
Description
Extracted constructors generated using 'extract-cons'
Documentation
Instances
Instances
| Generic TypeE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TypeE Source # | |||||
| Eq TypeE Source # | |||||
| ExtractedConstructor TypeE Exp Source # | |||||
| HasTy TypeE Type Source # | |||||
| type Rep TypeE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TypeE = D1 ('MetaData "TypeE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTypeE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
data TypedSpliceE Source #
Constructors
| MkTypedSpliceE Exp |
Instances
| Generic TypedSpliceE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TypedSpliceE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> TypedSpliceE -> ShowS # show :: TypedSpliceE -> String # showList :: [TypedSpliceE] -> ShowS # | |||||
| Eq TypedSpliceE Source # | |||||
| ExtractedConstructor TypedSpliceE Exp Source # | |||||
| HasExp TypedSpliceE Exp Source # | |||||
| type Rep TypedSpliceE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TypedSpliceE = D1 ('MetaData "TypedSpliceE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTypedSpliceE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
data TypedBracketE Source #
Constructors
| MkTypedBracketE Exp |
Instances
| Generic TypedBracketE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TypedBracketE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> TypedBracketE -> ShowS # show :: TypedBracketE -> String # showList :: [TypedBracketE] -> ShowS # | |||||
| Eq TypedBracketE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: TypedBracketE -> TypedBracketE -> Bool # (/=) :: TypedBracketE -> TypedBracketE -> Bool # | |||||
| ExtractedConstructor TypedBracketE Exp Source # | |||||
| HasExp TypedBracketE Exp Source # | |||||
| type Rep TypedBracketE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TypedBracketE = D1 ('MetaData "TypedBracketE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTypedBracketE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
data ProjectionE Source #
Constructors
| MkProjectionE (NonEmpty String) |
Instances
| Generic ProjectionE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ProjectionE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> ProjectionE -> ShowS # show :: ProjectionE -> String # showList :: [ProjectionE] -> ShowS # | |||||
| Eq ProjectionE Source # | |||||
| ExtractedConstructor ProjectionE Exp Source # | |||||
| HasProjection ProjectionE (NonEmpty String) Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.Lenses Methods | |||||
| type Rep ProjectionE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ProjectionE = D1 ('MetaData "ProjectionE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkProjectionE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty String)))) | |||||
Constructors
| MkGetFieldE Exp String |
Instances
| Generic GetFieldE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show GetFieldE Source # | |||||
| Eq GetFieldE Source # | |||||
| ExtractedConstructor GetFieldE Exp Source # | |||||
| HasExpr GetFieldE Exp Source # | |||||
| HasFieldName GetFieldE String Source # | |||||
| type Rep GetFieldE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep GetFieldE = D1 ('MetaData "GetFieldE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkGetFieldE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) | |||||
data ImplicitParamVarE Source #
Constructors
| MkImplicitParamVarE String |
Instances
| Generic ImplicitParamVarE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
Methods from :: ImplicitParamVarE -> Rep ImplicitParamVarE x # to :: Rep ImplicitParamVarE x -> ImplicitParamVarE # | |||||
| Show ImplicitParamVarE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> ImplicitParamVarE -> ShowS # show :: ImplicitParamVarE -> String # showList :: [ImplicitParamVarE] -> ShowS # | |||||
| Eq ImplicitParamVarE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: ImplicitParamVarE -> ImplicitParamVarE -> Bool # (/=) :: ImplicitParamVarE -> ImplicitParamVarE -> Bool # | |||||
| ExtractedConstructor ImplicitParamVarE Exp Source # | |||||
| HasStr ImplicitParamVarE String Source # | |||||
| type Rep ImplicitParamVarE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ImplicitParamVarE = D1 ('MetaData "ImplicitParamVarE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkImplicitParamVarE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) | |||||
Instances
| Generic LabelE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show LabelE Source # | |||||
| Eq LabelE Source # | |||||
| ExtractedConstructor LabelE Exp Source # | |||||
| HasStr LabelE String Source # | |||||
| type Rep LabelE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep LabelE = D1 ('MetaData "LabelE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkLabelE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) | |||||
data UnboundVarE Source #
Constructors
| MkUnboundVarE Name |
Instances
| Generic UnboundVarE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show UnboundVarE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> UnboundVarE -> ShowS # show :: UnboundVarE -> String # showList :: [UnboundVarE] -> ShowS # | |||||
| Eq UnboundVarE Source # | |||||
| ExtractedConstructor UnboundVarE Exp Source # | |||||
| HasName UnboundVarE Name Source # | |||||
| type Rep UnboundVarE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep UnboundVarE = D1 ('MetaData "UnboundVarE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkUnboundVarE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) | |||||
Instances
| Generic StaticE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show StaticE Source # | |||||
| Eq StaticE Source # | |||||
| ExtractedConstructor StaticE Exp Source # | |||||
| HasBody StaticE Exp Source # | |||||
| type Rep StaticE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep StaticE = D1 ('MetaData "StaticE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkStaticE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Instances
| Generic RecUpdE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show RecUpdE Source # | |||||
| Eq RecUpdE Source # | |||||
| ExtractedConstructor RecUpdE Exp Source # | |||||
| HasExpr RecUpdE Exp Source # | |||||
| HasFieldExps RecUpdE [FieldExp] Source # | |||||
| type Rep RecUpdE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep RecUpdE = D1 ('MetaData "RecUpdE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkRecUpdE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldExp]))) | |||||
Instances
| Generic RecConE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show RecConE Source # | |||||
| Eq RecConE Source # | |||||
| ExtractedConstructor RecConE Exp Source # | |||||
| HasName RecConE Name Source # | |||||
| HasFieldExps RecConE [FieldExp] Source # | |||||
| type Rep RecConE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep RecConE = D1 ('MetaData "RecConE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkRecConE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldExp]))) | |||||
Instances
| Generic SigE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show SigE Source # | |||||
| Eq SigE Source # | |||||
| ExtractedConstructor SigE Exp Source # | |||||
| HasBody SigE Exp Source # | |||||
| HasTy SigE Type Source # | |||||
| type Rep SigE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep SigE = D1 ('MetaData "SigE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkSigE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
Instances
| Generic ListE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ListE Source # | |||||
| Eq ListE Source # | |||||
| ExtractedConstructor ListE Exp Source # | |||||
| HasItems ListE [Exp] Source # | |||||
| type Rep ListE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ListE = D1 ('MetaData "ListE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkListE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Exp]))) | |||||
Constructors
| MkArithSeqE Range |
Instances
| Generic ArithSeqE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ArithSeqE Source # | |||||
| Eq ArithSeqE Source # | |||||
| ExtractedConstructor ArithSeqE Exp Source # | |||||
| HasRange ArithSeqE Range Source # | |||||
| type Rep ArithSeqE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ArithSeqE = D1 ('MetaData "ArithSeqE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkArithSeqE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) | |||||
Instances
| Generic CompE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show CompE Source # | |||||
| Eq CompE Source # | |||||
| ExtractedConstructor CompE Exp Source # | |||||
| HasStmts CompE [Stmt] Source # | |||||
| type Rep CompE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep CompE = D1 ('MetaData "CompE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkCompE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]))) | |||||
Instances
| Generic MDoE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show MDoE Source # | |||||
| Eq MDoE Source # | |||||
| ExtractedConstructor MDoE Exp Source # | |||||
| HasMatches MDoE [Stmt] Source # | |||||
| HasModName MDoE (Maybe ModName) Source # | |||||
| type Rep MDoE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep MDoE = D1 ('MetaData "MDoE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkMDoE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]))) | |||||
Instances
| Generic DoE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show DoE Source # | |||||
| Eq DoE Source # | |||||
| ExtractedConstructor DoE Exp Source # | |||||
| HasMatches DoE [Stmt] Source # | |||||
| HasModName DoE (Maybe ModName) Source # | |||||
| type Rep DoE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep DoE = D1 ('MetaData "DoE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkDoE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]))) | |||||
Instances
| Generic CaseE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show CaseE Source # | |||||
| Eq CaseE Source # | |||||
| ExtractedConstructor CaseE Exp Source # | |||||
| HasBody CaseE Exp Source # | |||||
| HasMatches CaseE [Match] Source # | |||||
| type Rep CaseE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep CaseE = D1 ('MetaData "CaseE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkCaseE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Match]))) | |||||
Instances
| Generic LetE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show LetE Source # | |||||
| Eq LetE Source # | |||||
| ExtractedConstructor LetE Exp Source # | |||||
| HasBody LetE Exp Source # | |||||
| HasDecs LetE [Dec] Source # | |||||
| type Rep LetE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep LetE = D1 ('MetaData "LetE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkLetE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dec]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Constructors
| MkMultiIfE [(Guard, Exp)] |
Instances
| Generic MultiIfE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show MultiIfE Source # | |||||
| Eq MultiIfE Source # | |||||
| ExtractedConstructor MultiIfE Exp Source # | |||||
| HasGuards MultiIfE [(Guard, Exp)] Source # | |||||
| type Rep MultiIfE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep MultiIfE = D1 ('MetaData "MultiIfE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkMultiIfE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Guard, Exp)]))) | |||||
Instances
| Generic CondE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show CondE Source # | |||||
| Eq CondE Source # | |||||
| ExtractedConstructor CondE Exp Source # | |||||
| HasCondition CondE Exp Source # | |||||
| HasFalseBranch CondE Exp Source # | |||||
| HasTrueBranch CondE Exp Source # | |||||
| type Rep CondE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep CondE = D1 ('MetaData "CondE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkCondE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)))) | |||||
data UnboxedSumE Source #
Constructors
| MkUnboxedSumE Exp SumAlt SumArity |
Instances
| Generic UnboxedSumE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show UnboxedSumE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> UnboxedSumE -> ShowS # show :: UnboxedSumE -> String # showList :: [UnboxedSumE] -> ShowS # | |||||
| Eq UnboxedSumE Source # | |||||
| ExtractedConstructor UnboxedSumE Exp Source # | |||||
| HasAlt UnboxedSumE SumAlt Source # | |||||
| HasArity UnboxedSumE SumArity Source # | |||||
| HasBody UnboxedSumE Exp Source # | |||||
| type Rep UnboxedSumE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep UnboxedSumE = D1 ('MetaData "UnboxedSumE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkUnboxedSumE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SumAlt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SumArity)))) | |||||
data UnboxedTupE Source #
Constructors
| MkUnboxedTupE [Maybe Exp] |
Instances
| Generic UnboxedTupE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show UnboxedTupE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> UnboxedTupE -> ShowS # show :: UnboxedTupE -> String # showList :: [UnboxedTupE] -> ShowS # | |||||
| Eq UnboxedTupE Source # | |||||
| ExtractedConstructor UnboxedTupE Exp Source # | |||||
| HasFields UnboxedTupE [Maybe Exp] Source # | |||||
| type Rep UnboxedTupE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep UnboxedTupE = D1 ('MetaData "UnboxedTupE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkUnboxedTupE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Maybe Exp]))) | |||||
Instances
| Generic TupE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TupE Source # | |||||
| Eq TupE Source # | |||||
| ExtractedConstructor TupE Exp Source # | |||||
| HasFields TupE [Maybe Exp] Source # | |||||
| type Rep TupE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TupE = D1 ('MetaData "TupE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTupE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Maybe Exp]))) | |||||
Constructors
| MkLamCasesE [Clause] |
Instances
| Generic LamCasesE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show LamCasesE Source # | |||||
| Eq LamCasesE Source # | |||||
| ExtractedConstructor LamCasesE Exp Source # | |||||
| HasClauses LamCasesE [Clause] Source # | |||||
| type Rep LamCasesE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep LamCasesE = D1 ('MetaData "LamCasesE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkLamCasesE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Clause]))) | |||||
Constructors
| MkLamCaseE [Match] |
Instances
| Generic LamCaseE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show LamCaseE Source # | |||||
| Eq LamCaseE Source # | |||||
| ExtractedConstructor LamCaseE Exp Source # | |||||
| HasMatches LamCaseE [Match] Source # | |||||
| type Rep LamCaseE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep LamCaseE = D1 ('MetaData "LamCaseE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkLamCaseE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Match]))) | |||||
Instances
| Generic LamE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show LamE Source # | |||||
| Eq LamE Source # | |||||
| ExtractedConstructor LamE Exp Source # | |||||
| HasBody LamE Exp Source # | |||||
| HasPats LamE [Pat] Source # | |||||
| type Rep LamE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep LamE = D1 ('MetaData "LamE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkLamE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pat]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Instances
| Generic ParensE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ParensE Source # | |||||
| Eq ParensE Source # | |||||
| ExtractedConstructor ParensE Exp Source # | |||||
| HasBody ParensE Exp Source # | |||||
| type Rep ParensE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ParensE = D1 ('MetaData "ParensE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkParensE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Instances
| Generic UInfixE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show UInfixE Source # | |||||
| Eq UInfixE Source # | |||||
| ExtractedConstructor UInfixE Exp Source # | |||||
| HasLeftArg UInfixE Exp Source # | |||||
| HasOp UInfixE Exp Source # | |||||
| HasRightArg UInfixE Exp Source # | |||||
| type Rep UInfixE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep UInfixE = D1 ('MetaData "UInfixE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkUInfixE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)))) | |||||
Instances
| Generic InfixE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show InfixE Source # | |||||
| Eq InfixE Source # | |||||
| ExtractedConstructor InfixE Exp Source # | |||||
| HasOp InfixE Exp Source # | |||||
| HasLeftArg InfixE (Maybe Exp) Source # | |||||
| HasRightArg InfixE (Maybe Exp) Source # | |||||
| type Rep InfixE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep InfixE = D1 ('MetaData "InfixE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkInfixE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Exp)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Exp))))) | |||||
Constructors
| MkAppTypeE Exp Type |
Instances
| Generic AppTypeE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show AppTypeE Source # | |||||
| Eq AppTypeE Source # | |||||
| ExtractedConstructor AppTypeE Exp Source # | |||||
| HasArg AppTypeE Type Source # | |||||
| HasCallee AppTypeE Exp Source # | |||||
| type Rep AppTypeE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep AppTypeE = D1 ('MetaData "AppTypeE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkAppTypeE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
Instances
| Generic AppE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show AppE Source # | |||||
| Eq AppE Source # | |||||
| ExtractedConstructor AppE Exp Source # | |||||
| HasArg AppE Exp Source # | |||||
| HasCallee AppE Exp Source # | |||||
| type Rep AppE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep AppE = D1 ('MetaData "AppE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkAppE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Instances
| Generic LitE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show LitE Source # | |||||
| Eq LitE Source # | |||||
| ExtractedConstructor LitE Exp Source # | |||||
| HasName LitE Lit Source # | |||||
| type Rep LitE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep LitE = D1 ('MetaData "LitE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkLitE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lit))) | |||||
Instances
| Generic ConE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ConE Source # | |||||
| Eq ConE Source # | |||||
| ExtractedConstructor ConE Exp Source # | |||||
| HasName ConE Name Source # | |||||
| type Rep ConE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ConE = D1 ('MetaData "ConE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkConE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) | |||||
Instances
| Generic VarE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show VarE Source # | |||||
| Eq VarE Source # | |||||
| ExtractedConstructor VarE Exp Source # | |||||
| HasName VarE Name Source # | |||||
| type Rep VarE Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep VarE = D1 ('MetaData "VarE" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkVarE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) | |||||
Instances
| Generic NormalB Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show NormalB Source # | |||||
| Eq NormalB Source # | |||||
| ExtractedConstructor NormalB Body Source # | |||||
| HasExpr NormalB Exp Source # | |||||
| type Rep NormalB Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep NormalB = D1 ('MetaData "NormalB" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkNormalB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Constructors
| MkGuardedB [(Guard, Exp)] |
Instances
| Generic GuardedB Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show GuardedB Source # | |||||
| Eq GuardedB Source # | |||||
| ExtractedConstructor GuardedB Body Source # | |||||
| HasGuardedExpr GuardedB [(Guard, Exp)] Source # | |||||
| type Rep GuardedB Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep GuardedB = D1 ('MetaData "GuardedB" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkGuardedB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Guard, Exp)]))) | |||||
Instances
| Generic PatG Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show PatG Source # | |||||
| Eq PatG Source # | |||||
| ExtractedConstructor PatG Guard Source # | |||||
| HasStmts PatG [Stmt] Source # | |||||
| type Rep PatG Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep PatG = D1 ('MetaData "PatG" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkPatG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]))) | |||||
Instances
| Generic NormalG Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show NormalG Source # | |||||
| Eq NormalG Source # | |||||
| ExtractedConstructor NormalG Guard Source # | |||||
| HasExpr NormalG Exp Source # | |||||
| type Rep NormalG Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep NormalG = D1 ('MetaData "NormalG" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkNormalG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Instances
| Generic InvisP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show InvisP Source # | |||||
| Eq InvisP Source # | |||||
| ExtractedConstructor InvisP Pat Source # | |||||
| HasTy InvisP Type Source # | |||||
| type Rep InvisP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep InvisP = D1 ('MetaData "InvisP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkInvisP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
Instances
| Generic TypeP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TypeP Source # | |||||
| Eq TypeP Source # | |||||
| ExtractedConstructor TypeP Pat Source # | |||||
| HasTy TypeP Type Source # | |||||
| type Rep TypeP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TypeP = D1 ('MetaData "TypeP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTypeP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
Instances
| Generic ViewP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ViewP Source # | |||||
| Eq ViewP Source # | |||||
| ExtractedConstructor ViewP Pat Source # | |||||
| HasExp ViewP Exp Source # | |||||
| HasPat ViewP Pat Source # | |||||
| type Rep ViewP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ViewP = D1 ('MetaData "ViewP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkViewP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat))) | |||||
Instances
| Generic SigP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show SigP Source # | |||||
| Eq SigP Source # | |||||
| ExtractedConstructor SigP Pat Source # | |||||
| HasPat SigP Pat Source # | |||||
| HasTy SigP Type Source # | |||||
| type Rep SigP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep SigP = D1 ('MetaData "SigP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkSigP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
Instances
| Generic ListP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ListP Source # | |||||
| Eq ListP Source # | |||||
| ExtractedConstructor ListP Pat Source # | |||||
| HasPats ListP [Pat] Source # | |||||
| type Rep ListP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ListP = D1 ('MetaData "ListP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkListP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pat]))) | |||||
Instances
| Generic RecP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show RecP Source # | |||||
| Eq RecP Source # | |||||
| ExtractedConstructor RecP Pat Source # | |||||
| HasName RecP Name Source # | |||||
| HasPats RecP [FieldPat] Source # | |||||
| type Rep RecP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep RecP = D1 ('MetaData "RecP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkRecP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldPat]))) | |||||
Constructors
| MkWildP |
Instances
| Generic AsP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show AsP Source # | |||||
| Eq AsP Source # | |||||
| ExtractedConstructor AsP Pat Source # | |||||
| HasBody AsP Pat Source # | |||||
| HasName AsP Name Source # | |||||
| type Rep AsP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep AsP = D1 ('MetaData "AsP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkAsP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat))) | |||||
Instances
| Generic BangP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show BangP Source # | |||||
| Eq BangP Source # | |||||
| ExtractedConstructor BangP Pat Source # | |||||
| HasBody BangP Pat Source # | |||||
| type Rep BangP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep BangP = D1 ('MetaData "BangP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkBangP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat))) | |||||
Instances
| Generic TildeP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TildeP Source # | |||||
| Eq TildeP Source # | |||||
| ExtractedConstructor TildeP Pat Source # | |||||
| HasBody TildeP Pat Source # | |||||
| type Rep TildeP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TildeP = D1 ('MetaData "TildeP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTildeP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat))) | |||||
Instances
| Generic ParensP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ParensP Source # | |||||
| Eq ParensP Source # | |||||
| ExtractedConstructor ParensP Pat Source # | |||||
| HasBody ParensP Pat Source # | |||||
| type Rep ParensP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ParensP = D1 ('MetaData "ParensP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkParensP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat))) | |||||
Instances
| Generic UInfixP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show UInfixP Source # | |||||
| Eq UInfixP Source # | |||||
| ExtractedConstructor UInfixP Pat Source # | |||||
| HasLeftArg UInfixP Pat Source # | |||||
| HasOp UInfixP Name Source # | |||||
| HasRightArg UInfixP Pat Source # | |||||
| type Rep UInfixP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep UInfixP = D1 ('MetaData "UInfixP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkUInfixP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat)))) | |||||
Instances
| Generic InfixP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show InfixP Source # | |||||
| Eq InfixP Source # | |||||
| ExtractedConstructor InfixP Pat Source # | |||||
| HasLeftArg InfixP Pat Source # | |||||
| HasOp InfixP Name Source # | |||||
| HasRightArg InfixP Pat Source # | |||||
| type Rep InfixP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep InfixP = D1 ('MetaData "InfixP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkInfixP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat)))) | |||||
Instances
| Generic ConP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ConP Source # | |||||
| Eq ConP Source # | |||||
| ExtractedConstructor ConP Pat Source # | |||||
| HasCon ConP Name Source # | |||||
| HasPats ConP [Pat] Source # | |||||
| HasTypes ConP [Type] Source # | |||||
| type Rep ConP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ConP = D1 ('MetaData "ConP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkConP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pat])))) | |||||
data UnboxedSumP Source #
Constructors
| MkUnboxedSumP Pat SumAlt SumArity |
Instances
| Generic UnboxedSumP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show UnboxedSumP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> UnboxedSumP -> ShowS # show :: UnboxedSumP -> String # showList :: [UnboxedSumP] -> ShowS # | |||||
| Eq UnboxedSumP Source # | |||||
| ExtractedConstructor UnboxedSumP Pat Source # | |||||
| HasAlt UnboxedSumP SumAlt Source # | |||||
| HasArity UnboxedSumP SumArity Source # | |||||
| HasPat UnboxedSumP Pat Source # | |||||
| type Rep UnboxedSumP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep UnboxedSumP = D1 ('MetaData "UnboxedSumP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkUnboxedSumP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SumAlt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SumArity)))) | |||||
data UnboxedTupP Source #
Constructors
| MkUnboxedTupP [Pat] |
Instances
| Generic UnboxedTupP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show UnboxedTupP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> UnboxedTupP -> ShowS # show :: UnboxedTupP -> String # showList :: [UnboxedTupP] -> ShowS # | |||||
| Eq UnboxedTupP Source # | |||||
| ExtractedConstructor UnboxedTupP Pat Source # | |||||
| HasPats UnboxedTupP [Pat] Source # | |||||
| type Rep UnboxedTupP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep UnboxedTupP = D1 ('MetaData "UnboxedTupP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkUnboxedTupP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pat]))) | |||||
Instances
| Generic TupP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TupP Source # | |||||
| Eq TupP Source # | |||||
| ExtractedConstructor TupP Pat Source # | |||||
| HasPats TupP [Pat] Source # | |||||
| type Rep TupP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TupP = D1 ('MetaData "TupP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTupP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pat]))) | |||||
Instances
| Generic VarP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show VarP Source # | |||||
| Eq VarP Source # | |||||
| ExtractedConstructor VarP Pat Source # | |||||
| HasName VarP Name Source # | |||||
| type Rep VarP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep VarP = D1 ('MetaData "VarP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkVarP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) | |||||
Instances
| Generic LitP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show LitP Source # | |||||
| Eq LitP Source # | |||||
| ExtractedConstructor LitP Pat Source # | |||||
| HasLit LitP Lit Source # | |||||
| type Rep LitP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep LitP = D1 ('MetaData "LitP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkLitP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lit))) | |||||
data FromThenToR Source #
Constructors
| MkFromThenToR Exp Exp Exp |
Instances
| Generic FromThenToR Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show FromThenToR Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> FromThenToR -> ShowS # show :: FromThenToR -> String # showList :: [FromThenToR] -> ShowS # | |||||
| Eq FromThenToR Source # | |||||
| ExtractedConstructor FromThenToR Range Source # | |||||
| HasExp0 FromThenToR Exp Source # | |||||
| HasExp1 FromThenToR Exp Source # | |||||
| HasExpn FromThenToR Exp Source # | |||||
| type Rep FromThenToR Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep FromThenToR = D1 ('MetaData "FromThenToR" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkFromThenToR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)))) | |||||
Instances
| Generic FromToR Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show FromToR Source # | |||||
| Eq FromToR Source # | |||||
| ExtractedConstructor FromToR Range Source # | |||||
| HasExp0 FromToR Exp Source # | |||||
| HasExp1 FromToR Exp Source # | |||||
| type Rep FromToR Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep FromToR = D1 ('MetaData "FromToR" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkFromToR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Constructors
| MkFromThenR Exp Exp |
Instances
| Generic FromThenR Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show FromThenR Source # | |||||
| Eq FromThenR Source # | |||||
| ExtractedConstructor FromThenR Range Source # | |||||
| HasExp0 FromThenR Exp Source # | |||||
| HasExp1 FromThenR Exp Source # | |||||
| type Rep FromThenR Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep FromThenR = D1 ('MetaData "FromThenR" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkFromThenR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Instances
| Generic FromR Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show FromR Source # | |||||
| Eq FromR Source # | |||||
| ExtractedConstructor FromR Range Source # | |||||
| HasExp FromR Exp Source # | |||||
| type Rep FromR Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep FromR = D1 ('MetaData "FromR" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkFromR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Constructors
| MkCharPrimL Char |
Instances
| Generic CharPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show CharPrimL Source # | |||||
| Eq CharPrimL Source # | |||||
| ExtractedConstructor CharPrimL Lit Source # | |||||
| HasValue CharPrimL Char Source # | |||||
| type Rep CharPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep CharPrimL = D1 ('MetaData "CharPrimL" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkCharPrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char))) | |||||
data BytesPrimL Source #
Constructors
| MkBytesPrimL Bytes |
Instances
| Generic BytesPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show BytesPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> BytesPrimL -> ShowS # show :: BytesPrimL -> String # showList :: [BytesPrimL] -> ShowS # | |||||
| Eq BytesPrimL Source # | |||||
| ExtractedConstructor BytesPrimL Lit Source # | |||||
| HasValue BytesPrimL Bytes Source # | |||||
| type Rep BytesPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep BytesPrimL = D1 ('MetaData "BytesPrimL" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkBytesPrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bytes))) | |||||
data StringPrimL Source #
Constructors
| MkStringPrimL [Word8] |
Instances
| Generic StringPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show StringPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> StringPrimL -> ShowS # show :: StringPrimL -> String # showList :: [StringPrimL] -> ShowS # | |||||
| Eq StringPrimL Source # | |||||
| ExtractedConstructor StringPrimL Lit Source # | |||||
| HasValue StringPrimL [Word8] Source # | |||||
| type Rep StringPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep StringPrimL = D1 ('MetaData "StringPrimL" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkStringPrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Word8]))) | |||||
data DoublePrimL Source #
Constructors
| MkDoublePrimL Rational |
Instances
| Generic DoublePrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show DoublePrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> DoublePrimL -> ShowS # show :: DoublePrimL -> String # showList :: [DoublePrimL] -> ShowS # | |||||
| Eq DoublePrimL Source # | |||||
| ExtractedConstructor DoublePrimL Lit Source # | |||||
| HasValue DoublePrimL Rational Source # | |||||
| type Rep DoublePrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep DoublePrimL = D1 ('MetaData "DoublePrimL" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkDoublePrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational))) | |||||
data FloatPrimL Source #
Constructors
| MkFloatPrimL Rational |
Instances
| Generic FloatPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show FloatPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> FloatPrimL -> ShowS # show :: FloatPrimL -> String # showList :: [FloatPrimL] -> ShowS # | |||||
| Eq FloatPrimL Source # | |||||
| ExtractedConstructor FloatPrimL Lit Source # | |||||
| HasValue FloatPrimL Rational Source # | |||||
| type Rep FloatPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep FloatPrimL = D1 ('MetaData "FloatPrimL" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkFloatPrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational))) | |||||
Constructors
| MkWordPrimL Integer |
Instances
| Generic WordPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show WordPrimL Source # | |||||
| Eq WordPrimL Source # | |||||
| ExtractedConstructor WordPrimL Lit Source # | |||||
| HasValue WordPrimL Integer Source # | |||||
| type Rep WordPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep WordPrimL = D1 ('MetaData "WordPrimL" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkWordPrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) | |||||
Constructors
| MkIntPrimL Integer |
Instances
| Generic IntPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show IntPrimL Source # | |||||
| Eq IntPrimL Source # | |||||
| ExtractedConstructor IntPrimL Lit Source # | |||||
| HasValue IntPrimL Integer Source # | |||||
| type Rep IntPrimL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep IntPrimL = D1 ('MetaData "IntPrimL" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkIntPrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) | |||||
Constructors
| MkRationalL Rational |
Instances
| Generic RationalL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show RationalL Source # | |||||
| Eq RationalL Source # | |||||
| ExtractedConstructor RationalL Lit Source # | |||||
| HasValue RationalL Rational Source # | |||||
| type Rep RationalL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep RationalL = D1 ('MetaData "RationalL" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkRationalL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational))) | |||||
Constructors
| MkIntegerL Integer |
Instances
| Generic IntegerL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show IntegerL Source # | |||||
| Eq IntegerL Source # | |||||
| ExtractedConstructor IntegerL Lit Source # | |||||
| HasValue IntegerL Integer Source # | |||||
| type Rep IntegerL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep IntegerL = D1 ('MetaData "IntegerL" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkIntegerL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) | |||||
Instances
| Generic StringL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show StringL Source # | |||||
| Eq StringL Source # | |||||
| ExtractedConstructor StringL Lit Source # | |||||
| HasValue StringL String Source # | |||||
| type Rep StringL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep StringL = D1 ('MetaData "StringL" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkStringL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) | |||||
Instances
| Generic CharL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show CharL Source # | |||||
| Eq CharL Source # | |||||
| ExtractedConstructor CharL Lit Source # | |||||
| HasValue CharL Char Source # | |||||
| type Rep CharL Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep CharL = D1 ('MetaData "CharL" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkCharL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char))) | |||||
Constructors
| MkCharTyLit Char |
Instances
| Generic CharTyLit Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show CharTyLit Source # | |||||
| Eq CharTyLit Source # | |||||
| ExtractedConstructor CharTyLit TyLit Source # | |||||
| HasValue CharTyLit Char Source # | |||||
| type Rep CharTyLit Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep CharTyLit = D1 ('MetaData "CharTyLit" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkCharTyLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char))) | |||||
Constructors
| MkStrTyLit String |
Instances
| Generic StrTyLit Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show StrTyLit Source # | |||||
| Eq StrTyLit Source # | |||||
| ExtractedConstructor StrTyLit TyLit Source # | |||||
| HasValue StrTyLit String Source # | |||||
| type Rep StrTyLit Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep StrTyLit = D1 ('MetaData "StrTyLit" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkStrTyLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) | |||||
Constructors
| MkNumTyLit Integer |
Instances
| Generic NumTyLit Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show NumTyLit Source # | |||||
| Eq NumTyLit Source # | |||||
| ExtractedConstructor NumTyLit TyLit Source # | |||||
| HasValue NumTyLit Integer Source # | |||||
| type Rep NumTyLit Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep NumTyLit = D1 ('MetaData "NumTyLit" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkNumTyLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) | |||||
Instances
| Generic RecS Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show RecS Source # | |||||
| Eq RecS Source # | |||||
| ExtractedConstructor RecS Stmt Source # | |||||
| HasStmts RecS [Stmt] Source # | |||||
| type Rep RecS Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep RecS = D1 ('MetaData "RecS" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkRecS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]))) | |||||
Instances
| Generic ParS Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ParS Source # | |||||
| Eq ParS Source # | |||||
| ExtractedConstructor ParS Stmt Source # | |||||
| HasStmts ParS [[Stmt]] Source # | |||||
| type Rep ParS Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ParS = D1 ('MetaData "ParS" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkParS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [[Stmt]]))) | |||||
Instances
| Generic NoBindS Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show NoBindS Source # | |||||
| Eq NoBindS Source # | |||||
| ExtractedConstructor NoBindS Stmt Source # | |||||
| HasExp NoBindS Exp Source # | |||||
| type Rep NoBindS Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep NoBindS = D1 ('MetaData "NoBindS" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkNoBindS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Instances
| Generic LetS Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show LetS Source # | |||||
| Eq LetS Source # | |||||
| ExtractedConstructor LetS Stmt Source # | |||||
| HasDecs LetS [Dec] Source # | |||||
| type Rep LetS Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep LetS = D1 ('MetaData "LetS" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkLetS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dec]))) | |||||
Instances
| Generic BindS Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show BindS Source # | |||||
| Eq BindS Source # | |||||
| ExtractedConstructor BindS Stmt Source # | |||||
| HasExp BindS Exp Source # | |||||
| HasPat BindS Pat Source # | |||||
| type Rep BindS Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep BindS = D1 ('MetaData "BindS" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkBindS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Constructors
| MkRecGadtC [Name] [VarBangType] Type |
Instances
| Generic RecGadtC Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show RecGadtC Source # | |||||
| Eq RecGadtC Source # | |||||
| ExtractedConstructor RecGadtC Con Source # | |||||
| HasTy RecGadtC Type Source # | |||||
| HasConNames RecGadtC [Name] Source # | |||||
| HasVbts RecGadtC [VarBangType] Source # | |||||
| type Rep RecGadtC Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep RecGadtC = D1 ('MetaData "RecGadtC" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkRecGadtC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VarBangType]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) | |||||
Instances
| Generic GadtC Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show GadtC Source # | |||||
| Eq GadtC Source # | |||||
| ExtractedConstructor GadtC Con Source # | |||||
| HasTy GadtC Type Source # | |||||
| HasBts GadtC [BangType] Source # | |||||
| HasConNames GadtC [Name] Source # | |||||
| type Rep GadtC Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep GadtC = D1 ('MetaData "GadtC" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkGadtC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [BangType]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) | |||||
Constructors
| MkForallC [TyVarBndr Specificity] Cxt Con |
Instances
| Generic ForallC Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ForallC Source # | |||||
| Eq ForallC Source # | |||||
| ExtractedConstructor ForallC Con Source # | |||||
| HasCon ForallC Con Source # | |||||
| HasCxt ForallC Cxt Source # | |||||
| HasTyVarBndr ForallC [TyVarBndr Specificity] Source # | |||||
| type Rep ForallC Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ForallC = D1 ('MetaData "ForallC" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkForallC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr Specificity]) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Con)))) | |||||
Instances
| Generic InfixC Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show InfixC Source # | |||||
| Eq InfixC Source # | |||||
| ExtractedConstructor InfixC Con Source # | |||||
| HasLeftBt InfixC BangType Source # | |||||
| HasName InfixC Name Source # | |||||
| HasRightBt InfixC BangType Source # | |||||
| type Rep InfixC Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep InfixC = D1 ('MetaData "InfixC" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkInfixC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BangType) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BangType)))) | |||||
Constructors
| MkRecC Name [VarBangType] |
Instances
| Generic RecC Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show RecC Source # | |||||
| Eq RecC Source # | |||||
| ExtractedConstructor RecC Con Source # | |||||
| HasName RecC Name Source # | |||||
| HasVbts RecC [VarBangType] Source # | |||||
| type Rep RecC Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep RecC = D1 ('MetaData "RecC" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkRecC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VarBangType]))) | |||||
Instances
| Generic NormalC Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show NormalC Source # | |||||
| Eq NormalC Source # | |||||
| ExtractedConstructor NormalC Con Source # | |||||
| HasName NormalC Name Source # | |||||
| HasBts NormalC [BangType] Source # | |||||
| type Rep NormalC Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep NormalC = D1 ('MetaData "NormalC" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkNormalC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [BangType]))) | |||||
data ImplicitParamT Source #
Constructors
| MkImplicitParamT String Type |
Instances
| Generic ImplicitParamT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
Methods from :: ImplicitParamT -> Rep ImplicitParamT x # to :: Rep ImplicitParamT x -> ImplicitParamT # | |||||
| Show ImplicitParamT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> ImplicitParamT -> ShowS # show :: ImplicitParamT -> String # showList :: [ImplicitParamT] -> ShowS # | |||||
| Eq ImplicitParamT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: ImplicitParamT -> ImplicitParamT -> Bool # (/=) :: ImplicitParamT -> ImplicitParamT -> Bool # | |||||
| ExtractedConstructor ImplicitParamT Type Source # | |||||
| HasName ImplicitParamT String Source # | |||||
| HasTy ImplicitParamT Type Source # | |||||
| type Rep ImplicitParamT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ImplicitParamT = D1 ('MetaData "ImplicitParamT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkImplicitParamT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
Constructors
| MkWildCardT |
Instances
| Generic WildCardT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show WildCardT Source # | |||||
| Eq WildCardT Source # | |||||
| ExtractedConstructor WildCardT Type Source # | |||||
| type Rep WildCardT Source # | |||||
Instances
| Generic LitT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show LitT Source # | |||||
| Eq LitT Source # | |||||
| ExtractedConstructor LitT Type Source # | |||||
| HasLit LitT TyLit Source # | |||||
| type Rep LitT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep LitT = D1 ('MetaData "LitT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkLitT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TyLit))) | |||||
data ConstraintT Source #
Constructors
| MkConstraintT |
Instances
| Generic ConstraintT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ConstraintT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> ConstraintT -> ShowS # show :: ConstraintT -> String # showList :: [ConstraintT] -> ShowS # | |||||
| Eq ConstraintT Source # | |||||
| ExtractedConstructor ConstraintT Type Source # | |||||
| type Rep ConstraintT Source # | |||||
Constructors
| MkStarT |
data PromotedConsT Source #
Constructors
| MkPromotedConsT |
Instances
| Generic PromotedConsT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show PromotedConsT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> PromotedConsT -> ShowS # show :: PromotedConsT -> String # showList :: [PromotedConsT] -> ShowS # | |||||
| Eq PromotedConsT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: PromotedConsT -> PromotedConsT -> Bool # (/=) :: PromotedConsT -> PromotedConsT -> Bool # | |||||
| ExtractedConstructor PromotedConsT Type Source # | |||||
| type Rep PromotedConsT Source # | |||||
data PromotedNilT Source #
Constructors
| MkPromotedNilT |
Instances
| Generic PromotedNilT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show PromotedNilT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> PromotedNilT -> ShowS # show :: PromotedNilT -> String # showList :: [PromotedNilT] -> ShowS # | |||||
| Eq PromotedNilT Source # | |||||
| ExtractedConstructor PromotedNilT Type Source # | |||||
| type Rep PromotedNilT Source # | |||||
data PromotedTupleT Source #
Constructors
| MkPromotedTupleT Int |
Instances
| Generic PromotedTupleT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
Methods from :: PromotedTupleT -> Rep PromotedTupleT x # to :: Rep PromotedTupleT x -> PromotedTupleT # | |||||
| Show PromotedTupleT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> PromotedTupleT -> ShowS # show :: PromotedTupleT -> String # showList :: [PromotedTupleT] -> ShowS # | |||||
| Eq PromotedTupleT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: PromotedTupleT -> PromotedTupleT -> Bool # (/=) :: PromotedTupleT -> PromotedTupleT -> Bool # | |||||
| ExtractedConstructor PromotedTupleT Type Source # | |||||
| HasCount PromotedTupleT Int Source # | |||||
| type Rep PromotedTupleT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep PromotedTupleT = D1 ('MetaData "PromotedTupleT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkPromotedTupleT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) | |||||
Constructors
| MkListT |
Constructors
| MkEqualityT |
Instances
| Generic EqualityT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show EqualityT Source # | |||||
| Eq EqualityT Source # | |||||
| ExtractedConstructor EqualityT Type Source # | |||||
| type Rep EqualityT Source # | |||||
Constructors
| MkMulArrowT |
Instances
| Generic MulArrowT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show MulArrowT Source # | |||||
| Eq MulArrowT Source # | |||||
| ExtractedConstructor MulArrowT Type Source # | |||||
| type Rep MulArrowT Source # | |||||
Constructors
| MkArrowT |
data UnboxedSumT Source #
Constructors
| MkUnboxedSumT SumArity |
Instances
| Generic UnboxedSumT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show UnboxedSumT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> UnboxedSumT -> ShowS # show :: UnboxedSumT -> String # showList :: [UnboxedSumT] -> ShowS # | |||||
| Eq UnboxedSumT Source # | |||||
| ExtractedConstructor UnboxedSumT Type Source # | |||||
| HasCount UnboxedSumT SumArity Source # | |||||
| type Rep UnboxedSumT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep UnboxedSumT = D1 ('MetaData "UnboxedSumT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkUnboxedSumT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SumArity))) | |||||
data UnboxedTupleT Source #
Constructors
| MkUnboxedTupleT Int |
Instances
| Generic UnboxedTupleT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show UnboxedTupleT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> UnboxedTupleT -> ShowS # show :: UnboxedTupleT -> String # showList :: [UnboxedTupleT] -> ShowS # | |||||
| Eq UnboxedTupleT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: UnboxedTupleT -> UnboxedTupleT -> Bool # (/=) :: UnboxedTupleT -> UnboxedTupleT -> Bool # | |||||
| ExtractedConstructor UnboxedTupleT Type Source # | |||||
| HasCount UnboxedTupleT Int Source # | |||||
| type Rep UnboxedTupleT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep UnboxedTupleT = D1 ('MetaData "UnboxedTupleT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkUnboxedTupleT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) | |||||
Instances
| Generic TupleT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TupleT Source # | |||||
| Eq TupleT Source # | |||||
| ExtractedConstructor TupleT Type Source # | |||||
| HasCount TupleT Int Source # | |||||
| type Rep TupleT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TupleT = D1 ('MetaData "TupleT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTupleT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) | |||||
Instances
| Generic ParensT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ParensT Source # | |||||
| Eq ParensT Source # | |||||
| ExtractedConstructor ParensT Type Source # | |||||
| HasBody ParensT Type Source # | |||||
| type Rep ParensT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ParensT = D1 ('MetaData "ParensT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkParensT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
data PromotedUInfixT Source #
Constructors
| MkPromotedUInfixT Type Name Type |
Instances
| Generic PromotedUInfixT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
Methods from :: PromotedUInfixT -> Rep PromotedUInfixT x # to :: Rep PromotedUInfixT x -> PromotedUInfixT # | |||||
| Show PromotedUInfixT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> PromotedUInfixT -> ShowS # show :: PromotedUInfixT -> String # showList :: [PromotedUInfixT] -> ShowS # | |||||
| Eq PromotedUInfixT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: PromotedUInfixT -> PromotedUInfixT -> Bool # (/=) :: PromotedUInfixT -> PromotedUInfixT -> Bool # | |||||
| ExtractedConstructor PromotedUInfixT Type Source # | |||||
| HasLeftArg PromotedUInfixT Type Source # | |||||
| HasOp PromotedUInfixT Name Source # | |||||
| HasRightArg PromotedUInfixT Type Source # | |||||
| type Rep PromotedUInfixT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep PromotedUInfixT = D1 ('MetaData "PromotedUInfixT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkPromotedUInfixT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) | |||||
data PromotedInfixT Source #
Constructors
| MkPromotedInfixT Type Name Type |
Instances
| Generic PromotedInfixT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
Methods from :: PromotedInfixT -> Rep PromotedInfixT x # to :: Rep PromotedInfixT x -> PromotedInfixT # | |||||
| Show PromotedInfixT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> PromotedInfixT -> ShowS # show :: PromotedInfixT -> String # showList :: [PromotedInfixT] -> ShowS # | |||||
| Eq PromotedInfixT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: PromotedInfixT -> PromotedInfixT -> Bool # (/=) :: PromotedInfixT -> PromotedInfixT -> Bool # | |||||
| ExtractedConstructor PromotedInfixT Type Source # | |||||
| HasLeftArg PromotedInfixT Type Source # | |||||
| HasOp PromotedInfixT Name Source # | |||||
| HasRightArg PromotedInfixT Type Source # | |||||
| type Rep PromotedInfixT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep PromotedInfixT = D1 ('MetaData "PromotedInfixT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkPromotedInfixT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) | |||||
Instances
| Generic UInfixT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show UInfixT Source # | |||||
| Eq UInfixT Source # | |||||
| ExtractedConstructor UInfixT Type Source # | |||||
| HasLeftArg UInfixT Type Source # | |||||
| HasOp UInfixT Name Source # | |||||
| HasRightArg UInfixT Type Source # | |||||
| type Rep UInfixT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep UInfixT = D1 ('MetaData "UInfixT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkUInfixT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) | |||||
Instances
| Generic InfixT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show InfixT Source # | |||||
| Eq InfixT Source # | |||||
| ExtractedConstructor InfixT Type Source # | |||||
| HasLeftArg InfixT Type Source # | |||||
| HasOp InfixT Name Source # | |||||
| HasRightArg InfixT Type Source # | |||||
| type Rep InfixT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep InfixT = D1 ('MetaData "InfixT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkInfixT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) | |||||
Constructors
| MkPromotedT Name |
Instances
| Generic PromotedT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show PromotedT Source # | |||||
| Eq PromotedT Source # | |||||
| ExtractedConstructor PromotedT Type Source # | |||||
| HasName PromotedT Name Source # | |||||
| type Rep PromotedT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep PromotedT = D1 ('MetaData "PromotedT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkPromotedT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) | |||||
Instances
| Generic ConT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ConT Source # | |||||
| Eq ConT Source # | |||||
| ExtractedConstructor ConT Type Source # | |||||
| HasName ConT Name Source # | |||||
| type Rep ConT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ConT = D1 ('MetaData "ConT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkConT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) | |||||
Instances
| Generic VarT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show VarT Source # | |||||
| Eq VarT Source # | |||||
| ExtractedConstructor VarT Type Source # | |||||
| HasName VarT Name Source # | |||||
| type Rep VarT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep VarT = D1 ('MetaData "VarT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkVarT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) | |||||
Instances
| Generic SigT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show SigT Source # | |||||
| Eq SigT Source # | |||||
| ExtractedConstructor SigT Type Source # | |||||
| HasKind SigT Kind Source # | |||||
| HasTy SigT Type Source # | |||||
| type Rep SigT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep SigT = D1 ('MetaData "SigT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkSigT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind))) | |||||
Constructors
| MkAppKindT Type Kind |
Instances
| Generic AppKindT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show AppKindT Source # | |||||
| Eq AppKindT Source # | |||||
| ExtractedConstructor AppKindT Type Source # | |||||
| HasCallee AppKindT Type Source # | |||||
| HasKind AppKindT Kind Source # | |||||
| type Rep AppKindT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep AppKindT = D1 ('MetaData "AppKindT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkAppKindT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind))) | |||||
Instances
| Generic AppT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show AppT Source # | |||||
| Eq AppT Source # | |||||
| ExtractedConstructor AppT Type Source # | |||||
| HasArg AppT Type Source # | |||||
| HasCallee AppT Type Source # | |||||
| type Rep AppT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep AppT = D1 ('MetaData "AppT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkAppT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
data ForallVisT Source #
Constructors
| MkForallVisT [TyVarBndr ()] Type |
Instances
| Generic ForallVisT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ForallVisT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> ForallVisT -> ShowS # show :: ForallVisT -> String # showList :: [ForallVisT] -> ShowS # | |||||
| Eq ForallVisT Source # | |||||
| ExtractedConstructor ForallVisT Type Source # | |||||
| HasTy ForallVisT Type Source # | |||||
| HasTyVarBndr ForallVisT [TyVarBndr ()] Source # | |||||
| type Rep ForallVisT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ForallVisT = D1 ('MetaData "ForallVisT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkForallVisT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr ()]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
Constructors
| MkForallT [TyVarBndr Specificity] Cxt Type |
Instances
| Generic ForallT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ForallT Source # | |||||
| Eq ForallT Source # | |||||
| ExtractedConstructor ForallT Type Source # | |||||
| HasCxt ForallT Cxt Source # | |||||
| HasTy ForallT Type Source # | |||||
| HasTyVarBndr ForallT [TyVarBndr Specificity] Source # | |||||
| type Rep ForallT Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ForallT = D1 ('MetaData "ForallT" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkForallT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr Specificity]) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) | |||||
data ImplicitParamBindD Source #
Constructors
| MkImplicitParamBindD String Exp |
Instances
| Generic ImplicitParamBindD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
Methods from :: ImplicitParamBindD -> Rep ImplicitParamBindD x # to :: Rep ImplicitParamBindD x -> ImplicitParamBindD # | |||||
| Show ImplicitParamBindD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> ImplicitParamBindD -> ShowS # show :: ImplicitParamBindD -> String # showList :: [ImplicitParamBindD] -> ShowS # | |||||
| Eq ImplicitParamBindD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: ImplicitParamBindD -> ImplicitParamBindD -> Bool # (/=) :: ImplicitParamBindD -> ImplicitParamBindD -> Bool # | |||||
| ExtractedConstructor ImplicitParamBindD Dec Source # | |||||
| HasExp ImplicitParamBindD Exp Source # | |||||
| HasName ImplicitParamBindD String Source # | |||||
| type Rep ImplicitParamBindD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ImplicitParamBindD = D1 ('MetaData "ImplicitParamBindD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkImplicitParamBindD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
data PatSynSigD Source #
Constructors
| MkPatSynSigD Name PatSynType |
Instances
| Generic PatSynSigD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show PatSynSigD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> PatSynSigD -> ShowS # show :: PatSynSigD -> String # showList :: [PatSynSigD] -> ShowS # | |||||
| Eq PatSynSigD Source # | |||||
| ExtractedConstructor PatSynSigD Dec Source # | |||||
| HasName PatSynSigD Name Source # | |||||
| HasTy PatSynSigD PatSynType Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.Lenses Methods | |||||
| type Rep PatSynSigD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep PatSynSigD = D1 ('MetaData "PatSynSigD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkPatSynSigD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PatSynType))) | |||||
Constructors
| MkPatSynD Name PatSynArgs PatSynDir Pat |
Instances
| Generic PatSynD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show PatSynD Source # | |||||
| Eq PatSynD Source # | |||||
| ExtractedConstructor PatSynD Dec Source # | |||||
| HasArgs PatSynD PatSynArgs Source # | |||||
| HasDir PatSynD PatSynDir Source # | |||||
| HasName PatSynD Name Source # | |||||
| HasPat PatSynD Pat Source # | |||||
| type Rep PatSynD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep PatSynD = D1 ('MetaData "PatSynD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkPatSynD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PatSynArgs)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PatSynDir) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat)))) | |||||
data DefaultSigD Source #
Constructors
| MkDefaultSigD Name Type |
Instances
| Generic DefaultSigD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show DefaultSigD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> DefaultSigD -> ShowS # show :: DefaultSigD -> String # showList :: [DefaultSigD] -> ShowS # | |||||
| Eq DefaultSigD Source # | |||||
| ExtractedConstructor DefaultSigD Dec Source # | |||||
| HasName DefaultSigD Name Source # | |||||
| HasTy DefaultSigD Type Source # | |||||
| type Rep DefaultSigD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep DefaultSigD = D1 ('MetaData "DefaultSigD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkDefaultSigD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
data StandaloneDerivD Source #
Constructors
| MkStandaloneDerivD (Maybe DerivStrategy) Cxt Type |
Instances
| Generic StandaloneDerivD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
Methods from :: StandaloneDerivD -> Rep StandaloneDerivD x # to :: Rep StandaloneDerivD x -> StandaloneDerivD # | |||||
| Show StandaloneDerivD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> StandaloneDerivD -> ShowS # show :: StandaloneDerivD -> String # showList :: [StandaloneDerivD] -> ShowS # | |||||
| Eq StandaloneDerivD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: StandaloneDerivD -> StandaloneDerivD -> Bool # (/=) :: StandaloneDerivD -> StandaloneDerivD -> Bool # | |||||
| ExtractedConstructor StandaloneDerivD Dec Source # | |||||
| HasCxt StandaloneDerivD Cxt Source # | |||||
| HasTy StandaloneDerivD Type Source # | |||||
| HasStrat StandaloneDerivD (Maybe DerivStrategy) Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.Lenses Methods strat :: Lens' StandaloneDerivD (Maybe DerivStrategy) Source # | |||||
| type Rep StandaloneDerivD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep StandaloneDerivD = D1 ('MetaData "StandaloneDerivD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkStandaloneDerivD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DerivStrategy)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) | |||||
data RoleAnnotD Source #
Constructors
| MkRoleAnnotD Name [Role] |
Instances
| Generic RoleAnnotD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show RoleAnnotD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> RoleAnnotD -> ShowS # show :: RoleAnnotD -> String # showList :: [RoleAnnotD] -> ShowS # | |||||
| Eq RoleAnnotD Source # | |||||
| ExtractedConstructor RoleAnnotD Dec Source # | |||||
| HasName RoleAnnotD Name Source # | |||||
| HasRole RoleAnnotD [Role] Source # | |||||
| type Rep RoleAnnotD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep RoleAnnotD = D1 ('MetaData "RoleAnnotD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkRoleAnnotD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Role]))) | |||||
data ClosedTypeFamilyD Source #
Constructors
| MkClosedTypeFamilyD TypeFamilyHead [TySynEqn] |
Instances
| Generic ClosedTypeFamilyD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
Methods from :: ClosedTypeFamilyD -> Rep ClosedTypeFamilyD x # to :: Rep ClosedTypeFamilyD x -> ClosedTypeFamilyD # | |||||
| Show ClosedTypeFamilyD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> ClosedTypeFamilyD -> ShowS # show :: ClosedTypeFamilyD -> String # showList :: [ClosedTypeFamilyD] -> ShowS # | |||||
| Eq ClosedTypeFamilyD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: ClosedTypeFamilyD -> ClosedTypeFamilyD -> Bool # (/=) :: ClosedTypeFamilyD -> ClosedTypeFamilyD -> Bool # | |||||
| ExtractedConstructor ClosedTypeFamilyD Dec Source # | |||||
| HasTyFamHead ClosedTypeFamilyD TypeFamilyHead Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.Lenses Methods tyFamHead :: Lens' ClosedTypeFamilyD TypeFamilyHead Source # | |||||
| HasTySynEqn ClosedTypeFamilyD [TySynEqn] Source # | |||||
| type Rep ClosedTypeFamilyD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ClosedTypeFamilyD = D1 ('MetaData "ClosedTypeFamilyD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkClosedTypeFamilyD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeFamilyHead) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TySynEqn]))) | |||||
data OpenTypeFamilyD Source #
Constructors
| MkOpenTypeFamilyD TypeFamilyHead |
Instances
| Generic OpenTypeFamilyD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
Methods from :: OpenTypeFamilyD -> Rep OpenTypeFamilyD x # to :: Rep OpenTypeFamilyD x -> OpenTypeFamilyD # | |||||
| Show OpenTypeFamilyD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> OpenTypeFamilyD -> ShowS # show :: OpenTypeFamilyD -> String # showList :: [OpenTypeFamilyD] -> ShowS # | |||||
| Eq OpenTypeFamilyD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: OpenTypeFamilyD -> OpenTypeFamilyD -> Bool # (/=) :: OpenTypeFamilyD -> OpenTypeFamilyD -> Bool # | |||||
| ExtractedConstructor OpenTypeFamilyD Dec Source # | |||||
| HasTyFamHead OpenTypeFamilyD TypeFamilyHead Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.Lenses Methods | |||||
| type Rep OpenTypeFamilyD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep OpenTypeFamilyD = D1 ('MetaData "OpenTypeFamilyD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkOpenTypeFamilyD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeFamilyHead))) | |||||
data TySynInstD Source #
Constructors
| MkTySynInstD TySynEqn |
Instances
| Generic TySynInstD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TySynInstD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> TySynInstD -> ShowS # show :: TySynInstD -> String # showList :: [TySynInstD] -> ShowS # | |||||
| Eq TySynInstD Source # | |||||
| ExtractedConstructor TySynInstD Dec Source # | |||||
| HasTySynEqn TySynInstD TySynEqn Source # | |||||
| type Rep TySynInstD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TySynInstD = D1 ('MetaData "TySynInstD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTySynInstD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TySynEqn))) | |||||
data NewtypeInstD Source #
Constructors
| MkNewtypeInstD Cxt (Maybe [TyVarBndr ()]) Type (Maybe Kind) Con [DerivClause] |
Instances
| Generic NewtypeInstD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show NewtypeInstD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> NewtypeInstD -> ShowS # show :: NewtypeInstD -> String # showList :: [NewtypeInstD] -> ShowS # | |||||
| Eq NewtypeInstD Source # | |||||
| ExtractedConstructor NewtypeInstD Dec Source # | |||||
| HasCon NewtypeInstD Con Source # | |||||
| HasCxt NewtypeInstD Cxt Source # | |||||
| HasTy NewtypeInstD Type Source # | |||||
| HasDerive NewtypeInstD [DerivClause] Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.Lenses Methods | |||||
| HasKind NewtypeInstD (Maybe Kind) Source # | |||||
| HasTyVarBndr NewtypeInstD (Maybe [TyVarBndr ()]) Source # | |||||
| type Rep NewtypeInstD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep NewtypeInstD = D1 ('MetaData "NewtypeInstD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkNewtypeInstD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [TyVarBndr ()])) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Kind)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Con) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DerivClause]))))) | |||||
Constructors
| MkDataInstD Cxt (Maybe [TyVarBndr ()]) Type (Maybe Kind) [Con] [DerivClause] |
Instances
| Generic DataInstD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show DataInstD Source # | |||||
| Eq DataInstD Source # | |||||
| ExtractedConstructor DataInstD Dec Source # | |||||
| HasCxt DataInstD Cxt Source # | |||||
| HasTy DataInstD Type Source # | |||||
| HasCon DataInstD [Con] Source # | |||||
| HasDerive DataInstD [DerivClause] Source # | |||||
| HasKind DataInstD (Maybe Kind) Source # | |||||
| HasTyVarBndr DataInstD (Maybe [TyVarBndr ()]) Source # | |||||
| type Rep DataInstD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep DataInstD = D1 ('MetaData "DataInstD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkDataInstD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [TyVarBndr ()])) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Kind)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Con]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DerivClause]))))) | |||||
data DataFamilyD Source #
Instances
| Generic DataFamilyD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show DataFamilyD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> DataFamilyD -> ShowS # show :: DataFamilyD -> String # showList :: [DataFamilyD] -> ShowS # | |||||
| Eq DataFamilyD Source # | |||||
| ExtractedConstructor DataFamilyD Dec Source # | |||||
| HasName DataFamilyD Name Source # | |||||
| HasKind DataFamilyD (Maybe Kind) Source # | |||||
| HasTyVarBndr DataFamilyD [TyVarBndr BndrVis] Source # | |||||
| type Rep DataFamilyD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep DataFamilyD = D1 ('MetaData "DataFamilyD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkDataFamilyD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr BndrVis]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Kind))))) | |||||
Instances
| Generic PragmaD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show PragmaD Source # | |||||
| Eq PragmaD Source # | |||||
| ExtractedConstructor PragmaD Dec Source # | |||||
| HasPragma PragmaD Pragma Source # | |||||
| type Rep PragmaD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep PragmaD = D1 ('MetaData "PragmaD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkPragmaD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pragma))) | |||||
Constructors
| MkDefaultD [Type] |
Instances
| Generic DefaultD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show DefaultD Source # | |||||
| Eq DefaultD Source # | |||||
| ExtractedConstructor DefaultD Dec Source # | |||||
| HasTypes DefaultD [Type] Source # | |||||
| type Rep DefaultD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep DefaultD = D1 ('MetaData "DefaultD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkDefaultD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type]))) | |||||
Constructors
| MkInfixD Fixity NamespaceSpecifier Name |
Instances
| Generic InfixD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show InfixD Source # | |||||
| Eq InfixD Source # | |||||
| ExtractedConstructor InfixD Dec Source # | |||||
| HasFixity InfixD Fixity Source # | |||||
| HasName InfixD Name Source # | |||||
| HasNamespace InfixD NamespaceSpecifier Source # | |||||
| type Rep InfixD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep InfixD = D1 ('MetaData "InfixD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkInfixD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fixity) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamespaceSpecifier) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))) | |||||
Constructors
| MkForeignD Foreign |
Instances
| Generic ForeignD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ForeignD Source # | |||||
| Eq ForeignD Source # | |||||
| ExtractedConstructor ForeignD Dec Source # | |||||
| HasForeign_ ForeignD Foreign Source # | |||||
| type Rep ForeignD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ForeignD = D1 ('MetaData "ForeignD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkForeignD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Foreign))) | |||||
Instances
| Generic KiSigD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show KiSigD Source # | |||||
| Eq KiSigD Source # | |||||
| ExtractedConstructor KiSigD Dec Source # | |||||
| HasKind KiSigD Kind Source # | |||||
| HasName KiSigD Name Source # | |||||
| type Rep KiSigD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep KiSigD = D1 ('MetaData "KiSigD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkKiSigD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind))) | |||||
Instances
| Generic SigD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show SigD Source # | |||||
| Eq SigD Source # | |||||
| ExtractedConstructor SigD Dec Source # | |||||
| HasName SigD Name Source # | |||||
| HasTy SigD Type Source # | |||||
| type Rep SigD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep SigD = D1 ('MetaData "SigD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkSigD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
Instances
| Generic InstanceD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show InstanceD Source # | |||||
| Eq InstanceD Source # | |||||
| ExtractedConstructor InstanceD Dec Source # | |||||
| HasCxt InstanceD Cxt Source # | |||||
| HasTy InstanceD Type Source # | |||||
| HasDecs InstanceD [Dec] Source # | |||||
| HasOverlap InstanceD (Maybe Overlap) Source # | |||||
| type Rep InstanceD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep InstanceD = D1 ('MetaData "InstanceD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkInstanceD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Overlap)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dec])))) | |||||
Instances
| Generic ClassD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ClassD Source # | |||||
| Eq ClassD Source # | |||||
| ExtractedConstructor ClassD Dec Source # | |||||
| HasCxt ClassD Cxt Source # | |||||
| HasName ClassD Name Source # | |||||
| HasDecs ClassD [Dec] Source # | |||||
| HasFunDep ClassD [FunDep] Source # | |||||
| HasTyVarBndr ClassD [TyVarBndr BndrVis] Source # | |||||
| type Rep ClassD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ClassD = D1 ('MetaData "ClassD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkClassD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr BndrVis]) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FunDep]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dec]))))) | |||||
Instances
| Generic TySynD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TySynD Source # | |||||
| Eq TySynD Source # | |||||
| ExtractedConstructor TySynD Dec Source # | |||||
| HasName TySynD Name Source # | |||||
| HasTy TySynD Type Source # | |||||
| HasTyVarBndr TySynD [TyVarBndr BndrVis] Source # | |||||
| type Rep TySynD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TySynD = D1 ('MetaData "TySynD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTySynD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr BndrVis]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) | |||||
Instances
| Generic TypeDataD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TypeDataD Source # | |||||
| Eq TypeDataD Source # | |||||
| ExtractedConstructor TypeDataD Dec Source # | |||||
| HasName TypeDataD Name Source # | |||||
| HasCon TypeDataD [Con] Source # | |||||
| HasKind TypeDataD (Maybe Kind) Source # | |||||
| HasTyVarBndr TypeDataD [TyVarBndr BndrVis] Source # | |||||
| type Rep TypeDataD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TypeDataD = D1 ('MetaData "TypeDataD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTypeDataD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr BndrVis])) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Kind)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Con])))) | |||||
Constructors
| MkNewtypeD Cxt Name [TyVarBndr BndrVis] (Maybe Kind) Con [DerivClause] |
Instances
| Generic NewtypeD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show NewtypeD Source # | |||||
| Eq NewtypeD Source # | |||||
| ExtractedConstructor NewtypeD Dec Source # | |||||
| HasCon NewtypeD Con Source # | |||||
| HasCxt NewtypeD Cxt Source # | |||||
| HasName NewtypeD Name Source # | |||||
| HasDerive NewtypeD [DerivClause] Source # | |||||
| HasKind NewtypeD (Maybe Kind) Source # | |||||
| HasTyVarBndr NewtypeD [TyVarBndr BndrVis] Source # | |||||
| type Rep NewtypeD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep NewtypeD = D1 ('MetaData "NewtypeD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkNewtypeD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr BndrVis]))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Kind)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Con) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DerivClause]))))) | |||||
Instances
| Generic DataD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show DataD Source # | |||||
| Eq DataD Source # | |||||
| ExtractedConstructor DataD Dec Source # | |||||
| HasCxt DataD Cxt Source # | |||||
| HasName DataD Name Source # | |||||
| HasCon DataD [Con] Source # | |||||
| HasDerive DataD [DerivClause] Source # | |||||
| HasKind DataD (Maybe Kind) Source # | |||||
| HasTyVarBndr DataD [TyVarBndr BndrVis] Source # | |||||
| type Rep DataD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep DataD = D1 ('MetaData "DataD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkDataD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr BndrVis]))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Kind)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Con]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DerivClause]))))) | |||||
Instances
| Generic ValD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ValD Source # | |||||
| Eq ValD Source # | |||||
| ExtractedConstructor ValD Dec Source # | |||||
| HasBody ValD Body Source # | |||||
| HasPat ValD Pat Source # | |||||
| HasWhere_ ValD [Dec] Source # | |||||
| type Rep ValD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ValD = D1 ('MetaData "ValD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkValD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Body) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dec])))) | |||||
Instances
| Generic FunD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show FunD Source # | |||||
| Eq FunD Source # | |||||
| ExtractedConstructor FunD Dec Source # | |||||
| HasName FunD Name Source # | |||||
| HasClauses FunD [Clause] Source # | |||||
| type Rep FunD Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep FunD = D1 ('MetaData "FunD" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkFunD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Clause]))) | |||||
Instances
| Generic ExportF Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ExportF Source # | |||||
| Eq ExportF Source # | |||||
| ExtractedConstructor ExportF Foreign Source # | |||||
| HasCName ExportF String Source # | |||||
| HasCallconv ExportF Callconv Source # | |||||
| HasHName ExportF Name Source # | |||||
| HasTy ExportF Type Source # | |||||
| type Rep ExportF Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ExportF = D1 ('MetaData "ExportF" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkExportF" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Callconv) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) | |||||
Instances
| Generic ImportF Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ImportF Source # | |||||
| Eq ImportF Source # | |||||
| ExtractedConstructor ImportF Foreign Source # | |||||
| HasCName ImportF String Source # | |||||
| HasCallconv ImportF Callconv Source # | |||||
| HasHName ImportF Name Source # | |||||
| HasSafety ImportF Safety Source # | |||||
| HasTy ImportF Type Source # | |||||
| type Rep ImportF Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ImportF = D1 ('MetaData "ImportF" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkImportF" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Callconv) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Safety)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))))) | |||||
Instances
| Generic SCCP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show SCCP Source # | |||||
| Eq SCCP Source # | |||||
| ExtractedConstructor SCCP Pragma Source # | |||||
| HasFName SCCP Name Source # | |||||
| HasCcName SCCP (Maybe String) Source # | |||||
| type Rep SCCP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep SCCP = D1 ('MetaData "SCCP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkSCCP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)))) | |||||
Constructors
| MkCompleteP [Name] (Maybe Name) |
Instances
| Generic CompleteP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show CompleteP Source # | |||||
| Eq CompleteP Source # | |||||
| ExtractedConstructor CompleteP Pragma Source # | |||||
| HasPatNames CompleteP [Name] Source # | |||||
| HasTyName CompleteP (Maybe Name) Source # | |||||
| type Rep CompleteP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep CompleteP = D1 ('MetaData "CompleteP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkCompleteP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Name)))) | |||||
Instances
| Generic LineP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show LineP Source # | |||||
| Eq LineP Source # | |||||
| ExtractedConstructor LineP Pragma Source # | |||||
| HasFile LineP String Source # | |||||
| HasIdx LineP Int Source # | |||||
| type Rep LineP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep LineP = D1 ('MetaData "LineP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkLineP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) | |||||
Instances
| Generic AnnP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show AnnP Source # | |||||
| Eq AnnP Source # | |||||
| ExtractedConstructor AnnP Pragma Source # | |||||
| HasExp AnnP Exp Source # | |||||
| HasTarget AnnP AnnTarget Source # | |||||
| type Rep AnnP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep AnnP = D1 ('MetaData "AnnP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkAnnP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnnTarget) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |||||
Instances
| Generic RuleP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show RuleP Source # | |||||
| Eq RuleP Source # | |||||
| ExtractedConstructor RuleP Pragma Source # | |||||
| HasExp0 RuleP Exp Source # | |||||
| HasExp1 RuleP Exp Source # | |||||
| HasName RuleP String Source # | |||||
| HasPhases RuleP Phases Source # | |||||
| HasRuleBndr RuleP [RuleBndr] Source # | |||||
| HasTyVarBndr RuleP (Maybe [TyVarBndr ()]) Source # | |||||
| type Rep RuleP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep RuleP = D1 ('MetaData "RuleP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkRuleP" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [TyVarBndr ()])) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RuleBndr]))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Phases))))) | |||||
data SpecialiseInstP Source #
Constructors
| MkSpecialiseInstP Type |
Instances
| Generic SpecialiseInstP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
Methods from :: SpecialiseInstP -> Rep SpecialiseInstP x # to :: Rep SpecialiseInstP x -> SpecialiseInstP # | |||||
| Show SpecialiseInstP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> SpecialiseInstP -> ShowS # show :: SpecialiseInstP -> String # showList :: [SpecialiseInstP] -> ShowS # | |||||
| Eq SpecialiseInstP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods (==) :: SpecialiseInstP -> SpecialiseInstP -> Bool # (/=) :: SpecialiseInstP -> SpecialiseInstP -> Bool # | |||||
| ExtractedConstructor SpecialiseInstP Pragma Source # | |||||
| HasTy SpecialiseInstP Type Source # | |||||
| type Rep SpecialiseInstP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep SpecialiseInstP = D1 ('MetaData "SpecialiseInstP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkSpecialiseInstP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
data SpecialiseP Source #
Instances
| Generic SpecialiseP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show SpecialiseP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> SpecialiseP -> ShowS # show :: SpecialiseP -> String # showList :: [SpecialiseP] -> ShowS # | |||||
| Eq SpecialiseP Source # | |||||
| ExtractedConstructor SpecialiseP Pragma Source # | |||||
| HasName SpecialiseP Name Source # | |||||
| HasPhases SpecialiseP Phases Source # | |||||
| HasTy SpecialiseP Type Source # | |||||
| HasInline SpecialiseP (Maybe Inline) Source # | |||||
| type Rep SpecialiseP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep SpecialiseP = D1 ('MetaData "SpecialiseP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkSpecialiseP" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Inline)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Phases)))) | |||||
Instances
| Generic OpaqueP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show OpaqueP Source # | |||||
| Eq OpaqueP Source # | |||||
| ExtractedConstructor OpaqueP Pragma Source # | |||||
| HasName OpaqueP Name Source # | |||||
| type Rep OpaqueP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep OpaqueP = D1 ('MetaData "OpaqueP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkOpaqueP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) | |||||
Instances
| Generic InlineP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show InlineP Source # | |||||
| Eq InlineP Source # | |||||
| ExtractedConstructor InlineP Pragma Source # | |||||
| HasInline InlineP Inline Source # | |||||
| HasName InlineP Name Source # | |||||
| HasPhases InlineP Phases Source # | |||||
| HasRule InlineP RuleMatch Source # | |||||
| type Rep InlineP Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep InlineP = D1 ('MetaData "InlineP" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkInlineP" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inline)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RuleMatch) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Phases)))) | |||||
data DeriveClause Source #
Constructors
| DeriveClause (Maybe DerivStrategy) Cxt |
Instances
| Generic DeriveClause Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show DeriveClause Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> DeriveClause -> ShowS # show :: DeriveClause -> String # showList :: [DeriveClause] -> ShowS # | |||||
| Eq DeriveClause Source # | |||||
| ExtractedConstructor DeriveClause DerivClause Source # | |||||
| HasCxt DeriveClause Cxt Source # | |||||
| HasStrat DeriveClause (Maybe DerivStrategy) Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.Lenses Methods | |||||
| type Rep DeriveClause Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep DeriveClause = D1 ('MetaData "DeriveClause" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "DeriveClause" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DerivStrategy)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt))) | |||||
Instances
| Generic TyVarI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TyVarI Source # | |||||
| Eq TyVarI Source # | |||||
| ExtractedConstructor TyVarI Info Source # | |||||
| type Rep TyVarI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TyVarI = D1 ('MetaData "TyVarI" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTyVarI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) | |||||
Instances
| Generic VarI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show VarI Source # | |||||
| Eq VarI Source # | |||||
| ExtractedConstructor VarI Info Source # | |||||
| type Rep VarI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep VarI = D1 ('MetaData "VarI" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkVarI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Dec))))) | |||||
Constructors
| MkPatSynI Name PatSynType |
Instances
| Generic PatSynI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show PatSynI Source # | |||||
| Eq PatSynI Source # | |||||
| ExtractedConstructor PatSynI Info Source # | |||||
| type Rep PatSynI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep PatSynI = D1 ('MetaData "PatSynI" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkPatSynI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PatSynType))) | |||||
Constructors
| MkDataConI Name Type ParentName |
Instances
| Generic DataConI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show DataConI Source # | |||||
| Eq DataConI Source # | |||||
| ExtractedConstructor DataConI Info Source # | |||||
| type Rep DataConI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep DataConI = D1 ('MetaData "DataConI" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkDataConI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParentName)))) | |||||
data PrimTyConI Source #
Constructors
| MkPrimTyConI Name Arity Unlifted |
Instances
| Generic PrimTyConI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show PrimTyConI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Methods showsPrec :: Int -> PrimTyConI -> ShowS # show :: PrimTyConI -> String # showList :: [PrimTyConI] -> ShowS # | |||||
| Eq PrimTyConI Source # | |||||
| ExtractedConstructor PrimTyConI Info Source # | |||||
| type Rep PrimTyConI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep PrimTyConI = D1 ('MetaData "PrimTyConI" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkPrimTyConI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Arity) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Unlifted)))) | |||||
Constructors
| MkFamilyI Dec [InstanceDec] |
Instances
| Generic FamilyI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show FamilyI Source # | |||||
| Eq FamilyI Source # | |||||
| ExtractedConstructor FamilyI Info Source # | |||||
| type Rep FamilyI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep FamilyI = D1 ('MetaData "FamilyI" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkFamilyI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Dec) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [InstanceDec]))) | |||||
Instances
| Generic TyConI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show TyConI Source # | |||||
| Eq TyConI Source # | |||||
| ExtractedConstructor TyConI Info Source # | |||||
| type Rep TyConI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep TyConI = D1 ('MetaData "TyConI" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkTyConI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Dec))) | |||||
Constructors
| MkClassOpI Name Type ParentName |
Instances
| Generic ClassOpI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ClassOpI Source # | |||||
| Eq ClassOpI Source # | |||||
| ExtractedConstructor ClassOpI Info Source # | |||||
| type Rep ClassOpI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ClassOpI = D1 ('MetaData "ClassOpI" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkClassOpI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParentName)))) | |||||
Constructors
| MkClassI Dec [InstanceDec] |
Instances
| Generic ClassI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons Associated Types
| |||||
| Show ClassI Source # | |||||
| Eq ClassI Source # | |||||
| ExtractedConstructor ClassI Info Source # | |||||
| type Rep ClassI Source # | |||||
Defined in Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons type Rep ClassI = D1 ('MetaData "ClassI" "Language.Haskell.TH.Syntax.ExtractedCons.ExtractedCons" "template-haskell-lenses-1.0.0.0-n7aPMa2Zd66n6vYauE6s0" 'False) (C1 ('MetaCons "MkClassI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Dec) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [InstanceDec]))) | |||||