Language.Haskell.Exts.Prisms

Documentation

_ParenFormula :: forall l. Prism' (BooleanFormula l) (l, BooleanFormula l)

_OrFormula :: forall l. Prism' (BooleanFormula l) (l, [BooleanFormula l])

_AndFormula :: forall l. Prism' (BooleanFormula l) (l, [BooleanFormula l])

_VarFormula :: forall l. Prism' (BooleanFormula l) (l, Name l)

_ModuleAnn :: forall l. Prism' (Annotation l) (l, Exp l)

_TypeAnn :: forall l. Prism' (Annotation l) (l, Name l, Exp l)

_Ann :: forall l. Prism' (Annotation l) (l, Name l, Exp l)

_ActiveUntil :: forall l. Prism' (Activation l) (l, Int)

_ActiveFrom :: forall l. Prism' (Activation l) (l, Int)

_TypedRuleVar :: forall l. Prism' (RuleVar l) (l, Name l, Type l)

_RuleVar :: forall l. Prism' (RuleVar l) (l, Name l)

_Rule :: forall l l. Iso (Rule l) (Rule l) (l, String, Maybe (Activation l), Maybe [RuleVar l], Exp l, Exp l) (l, String, Maybe (Activation l), Maybe [RuleVar l], Exp l, Exp l)

_Incoherent :: forall l. Prism' (Overlap l) l

_Overlap :: forall l. Prism' (Overlap l) l

_NoOverlap :: forall l. Prism' (Overlap l) l

_UnknownTool :: Prism' Tool String

_HADDOCK :: Prism' Tool ()

_YHC :: Prism' Tool ()

_NHC98 :: Prism' Tool ()

_HUGS :: Prism' Tool ()

_GHC :: Prism' Tool ()

_AnnModulePragma :: forall l. Prism' (ModulePragma l) (l, Annotation l)

_OptionsPragma :: forall l. Prism' (ModulePragma l) (l, Maybe Tool, String)

_LanguagePragma :: forall l. Prism' (ModulePragma l) (l, [Name l])

_CApi :: forall l. Prism' (CallConv l) l

_JavaScript :: forall l. Prism' (CallConv l) l

_Js :: forall l. Prism' (CallConv l) l

_Jvm :: forall l. Prism' (CallConv l) l

_DotNet :: forall l. Prism' (CallConv l) l

_CPlusPlus :: forall l. Prism' (CallConv l) l

_CCall :: forall l. Prism' (CallConv l) l

_StdCall :: forall l. Prism' (CallConv l) l

_PlayInterruptible :: forall l. Prism' (Safety l) l

_PlaySafe :: forall l. Prism' (Safety l) (l, Bool)

_PlayRisky :: forall l. Prism' (Safety l) l

_ParenSplice :: forall l. Prism' (Splice l) (l, Exp l)

_IdSplice :: forall l. Prism' (Splice l) (l, String)

_DeclBracket :: forall l. Prism' (Bracket l) (l, [Decl l])

_TypeBracket :: forall l. Prism' (Bracket l) (l, Type l)

_PatBracket :: forall l. Prism' (Bracket l) (l, Pat l)

_ExpBracket :: forall l. Prism' (Bracket l) (l, Exp l)

_RoleWildcard :: forall l. Prism' (Role l) l

_Phantom :: forall l. Prism' (Role l) l

_Representational :: forall l. Prism' (Role l) l

_Nominal :: forall l. Prism' (Role l) l

_XDomName :: forall l. Prism' (XName l) (l, String, String)

_XName :: forall l. Prism' (XName l) (l, String)

_IPLin :: forall l. Prism' (IPName l) (l, String)

_IPDup :: forall l. Prism' (IPName l) (l, String)

_ConName :: forall l. Prism' (CName l) (l, Name l)

_VarName :: forall l. Prism' (CName l) (l, Name l)

_UnboxedSingleCon :: forall l. Prism' (SpecialCon l) l

_Cons :: forall l. Prism' (SpecialCon l) l

_TupleCon :: forall l. Prism' (SpecialCon l) (l, Boxed, Int)

_FunCon :: forall l. Prism' (SpecialCon l) l

_ListCon :: forall l. Prism' (SpecialCon l) l

_UnitCon :: forall l. Prism' (SpecialCon l) l

_ConOp :: forall l. Prism' (Op l) (l, Name l)

_VarOp :: forall l. Prism' (Op l) (l, Name l)

_QConOp :: forall l. Prism' (QOp l) (l, QName l)

_QVarOp :: forall l. Prism' (QOp l) (l, QName l)

_Symbol :: forall l. Prism' (Name l) (l, String)

_Ident :: forall l. Prism' (Name l) (l, String)

_Special :: forall l. Prism' (QName l) (l, SpecialCon l)

_UnQual :: forall l. Prism' (QName l) (l, Name l)

_Qual :: forall l. Prism' (QName l) (l, ModuleName l, Name l)

_ModuleName :: forall l l. Iso (ModuleName l) (ModuleName l) (l, String) (l, String)

_Negative :: forall l. Prism' (Sign l) l

_Signless :: forall l. Prism' (Sign l) l

_PrimString :: forall l. Prism' (Literal l) (l, String, String)

_PrimChar :: forall l. Prism' (Literal l) (l, Char, String)

_PrimDouble :: forall l. Prism' (Literal l) (l, Rational, String)

_PrimFloat :: forall l. Prism' (Literal l) (l, Rational, String)

_PrimWord :: forall l. Prism' (Literal l) (l, Integer, String)

_PrimInt :: forall l. Prism' (Literal l) (l, Integer, String)

_Frac :: forall l. Prism' (Literal l) (l, Rational, String)

_Int :: forall l. Prism' (Literal l) (l, Integer, String)

_String :: forall l. Prism' (Literal l) (l, String, String)

_Char :: forall l. Prism' (Literal l) (l, Char, String)

_RPOptG :: forall l. Prism' (RPatOp l) l

_RPOpt :: forall l. Prism' (RPatOp l) l

_RPPlusG :: forall l. Prism' (RPatOp l) l

_RPPlus :: forall l. Prism' (RPatOp l) l

_RPStarG :: forall l. Prism' (RPatOp l) l

_RPStar :: forall l. Prism' (RPatOp l) l

_RPPat :: forall l. Prism' (RPat l) (l, Pat l)

_RPParen :: forall l. Prism' (RPat l) (l, RPat l)

_RPAs :: forall l. Prism' (RPat l) (l, Name l, RPat l)

_RPCAs :: forall l. Prism' (RPat l) (l, Name l, RPat l)

_RPGuard :: forall l. Prism' (RPat l) (l, Pat l, [Stmt l])

_RPSeq :: forall l. Prism' (RPat l) (l, [RPat l])

_RPEither :: forall l. Prism' (RPat l) (l, RPat l, RPat l)

_RPOp :: forall l. Prism' (RPat l) (l, RPat l, RPatOp l)

_PXAttr :: forall l l. Iso (PXAttr l) (PXAttr l) (l, XName l, Pat l) (l, XName l, Pat l)

_PFieldWildcard :: forall l. Prism' (PatField l) l

_PFieldPun :: forall l. Prism' (PatField l) (l, QName l)

_PFieldPat :: forall l. Prism' (PatField l) (l, QName l, Pat l)

_PBangPat :: forall l. Prism' (Pat l) (l, Pat l)

_PQuasiQuote :: forall l. Prism' (Pat l) (l, String, String)

_PXRPats :: forall l. Prism' (Pat l) (l, [RPat l])

_PXPatTag :: forall l. Prism' (Pat l) (l, Pat l)

_PXPcdata :: forall l. Prism' (Pat l) (l, String)

_PXETag :: forall l. Prism' (Pat l) (l, XName l, [PXAttr l], Maybe (Pat l))

_PXTag :: forall l. Prism' (Pat l) (l, XName l, [PXAttr l], Maybe (Pat l), [Pat l])

_PRPat :: forall l. Prism' (Pat l) (l, [RPat l])

_PViewPat :: forall l. Prism' (Pat l) (l, Exp l, Pat l)

_PatTypeSig :: forall l. Prism' (Pat l) (l, Pat l, Type l)

_PIrrPat :: forall l. Prism' (Pat l) (l, Pat l)

_PWildCard :: forall l. Prism' (Pat l) l

_PAsPat :: forall l. Prism' (Pat l) (l, Name l, Pat l)

_PRec :: forall l. Prism' (Pat l) (l, QName l, [PatField l])

_PParen :: forall l. Prism' (Pat l) (l, Pat l)

_PList :: forall l. Prism' (Pat l) (l, [Pat l])

_PTuple :: forall l. Prism' (Pat l) (l, Boxed, [Pat l])

_PApp :: forall l. Prism' (Pat l) (l, QName l, [Pat l])

_PInfixApp :: forall l. Prism' (Pat l) (l, Pat l, QName l, Pat l)

_PNPlusK :: forall l. Prism' (Pat l) (l, Name l, Integer)

_PLit :: forall l. Prism' (Pat l) (l, Sign l, Literal l)

_PVar :: forall l. Prism' (Pat l) (l, Name l)

_XAttr :: forall l l. Iso (XAttr l) (XAttr l) (l, XName l, Exp l) (l, XName l, Exp l)

_Alt :: forall l l. Iso (Alt l) (Alt l) (l, Pat l, Rhs l, Maybe (Binds l)) (l, Pat l, Rhs l, Maybe (Binds l))

_FieldWildcard :: forall l. Prism' (FieldUpdate l) l

_FieldPun :: forall l. Prism' (FieldUpdate l) (l, QName l)

_FieldUpdate :: forall l. Prism' (FieldUpdate l) (l, QName l, Exp l)

_GroupByUsing :: forall l. Prism' (QualStmt l) (l, Exp l, Exp l)

_GroupUsing :: forall l. Prism' (QualStmt l) (l, Exp l)

_GroupBy :: forall l. Prism' (QualStmt l) (l, Exp l)

_ThenBy :: forall l. Prism' (QualStmt l) (l, Exp l, Exp l)

_ThenTrans :: forall l. Prism' (QualStmt l) (l, Exp l)

_QualStmt :: forall l. Prism' (QualStmt l) (l, Stmt l)

_RecStmt :: forall l. Prism' (Stmt l) (l, [Stmt l])

_LetStmt :: forall l. Prism' (Stmt l) (l, Binds l)

_Qualifier :: forall l. Prism' (Stmt l) (l, Exp l)

_Generator :: forall l. Prism' (Stmt l) (l, Pat l, Exp l)

_ExprHole :: forall l. Prism' (Exp l) l

_LCase :: forall l. Prism' (Exp l) (l, [Alt l])

_RightArrHighApp :: forall l. Prism' (Exp l) (l, Exp l, Exp l)

_LeftArrHighApp :: forall l. Prism' (Exp l) (l, Exp l, Exp l)

_RightArrApp :: forall l. Prism' (Exp l) (l, Exp l, Exp l)

_LeftArrApp :: forall l. Prism' (Exp l) (l, Exp l, Exp l)

_Proc :: forall l. Prism' (Exp l) (l, Pat l, Exp l)

_GenPragma :: forall l. Prism' (Exp l) (l, String, (Int, Int), (Int, Int), Exp l)

_SCCPragma :: forall l. Prism' (Exp l) (l, String, Exp l)

_CorePragma :: forall l. Prism' (Exp l) (l, String, Exp l)

_XChildTag :: forall l. Prism' (Exp l) (l, [Exp l])

_XExpTag :: forall l. Prism' (Exp l) (l, Exp l)

_XPcdata :: forall l. Prism' (Exp l) (l, String)

_XETag :: forall l. Prism' (Exp l) (l, XName l, [XAttr l], Maybe (Exp l))

_XTag :: forall l. Prism' (Exp l) (l, XName l, [XAttr l], Maybe (Exp l), [Exp l])

_TypeApp :: forall l. Prism' (Exp l) (l, Type l)

_QuasiQuote :: forall l. Prism' (Exp l) (l, String, String)

_SpliceExp :: forall l. Prism' (Exp l) (l, Splice l)

_BracketExp :: forall l. Prism' (Exp l) (l, Bracket l)

_TypQuote :: forall l. Prism' (Exp l) (l, QName l)

_VarQuote :: forall l. Prism' (Exp l) (l, QName l)

_ExpTypeSig :: forall l. Prism' (Exp l) (l, Exp l, Type l)

_ParArrayComp :: forall l. Prism' (Exp l) (l, Exp l, [[QualStmt l]])

_ParComp :: forall l. Prism' (Exp l) (l, Exp l, [[QualStmt l]])

_ListComp :: forall l. Prism' (Exp l) (l, Exp l, [QualStmt l])

_ParArrayFromThenTo :: forall l. Prism' (Exp l) (l, Exp l, Exp l, Exp l)

_ParArrayFromTo :: forall l. Prism' (Exp l) (l, Exp l, Exp l)

_EnumFromThenTo :: forall l. Prism' (Exp l) (l, Exp l, Exp l, Exp l)

_EnumFromThen :: forall l. Prism' (Exp l) (l, Exp l, Exp l)

_EnumFromTo :: forall l. Prism' (Exp l) (l, Exp l, Exp l)

_EnumFrom :: forall l. Prism' (Exp l) (l, Exp l)

_RecUpdate :: forall l. Prism' (Exp l) (l, Exp l, [FieldUpdate l])

_RecConstr :: forall l. Prism' (Exp l) (l, QName l, [FieldUpdate l])

_RightSection :: forall l. Prism' (Exp l) (l, QOp l, Exp l)

_LeftSection :: forall l. Prism' (Exp l) (l, Exp l, QOp l)

_Paren :: forall l. Prism' (Exp l) (l, Exp l)

_ParArray :: forall l. Prism' (Exp l) (l, [Exp l])

_List :: forall l. Prism' (Exp l) (l, [Exp l])

_TupleSection :: forall l. Prism' (Exp l) (l, Boxed, [Maybe (Exp l)])

_Tuple :: forall l. Prism' (Exp l) (l, Boxed, [Exp l])

_MDo :: forall l. Prism' (Exp l) (l, [Stmt l])

_Do :: forall l. Prism' (Exp l) (l, [Stmt l])

_Case :: forall l. Prism' (Exp l) (l, Exp l, [Alt l])

_MultiIf :: forall l. Prism' (Exp l) (l, [GuardedRhs l])

_If :: forall l. Prism' (Exp l) (l, Exp l, Exp l, Exp l)

_Let :: forall l. Prism' (Exp l) (l, Binds l, Exp l)

_Lambda :: forall l. Prism' (Exp l) (l, [Pat l], Exp l)

_NegApp :: forall l. Prism' (Exp l) (l, Exp l)

_App :: forall l. Prism' (Exp l) (l, Exp l, Exp l)

_InfixApp :: forall l. Prism' (Exp l) (l, Exp l, QOp l, Exp l)

_Lit :: forall l. Prism' (Exp l) (l, Literal l)

_Con :: forall l. Prism' (Exp l) (l, QName l)

_IPVar :: forall l. Prism' (Exp l) (l, IPName l)

_OverloadedLabel :: forall l. Prism' (Exp l) (l, String)

_Var :: forall l. Prism' (Exp l) (l, QName l)

_TypeEqn :: forall l l. Iso (TypeEqn l) (TypeEqn l) (l, Type l, Type l) (l, Type l, Type l)

_PromotedUnit :: forall l. Prism' (Promoted l) l

_PromotedTuple :: forall l. Prism' (Promoted l) (l, [Type l])

_PromotedList :: forall l. Prism' (Promoted l) (l, Bool, [Type l])

_PromotedCon :: forall l. Prism' (Promoted l) (l, Bool, QName l)

_PromotedString :: forall l. Prism' (Promoted l) (l, String, String)

_PromotedInteger :: forall l. Prism' (Promoted l) (l, Integer, String)

_UnkindedVar :: forall l. Prism' (TyVarBind l) (l, Name l)

_KindedVar :: forall l. Prism' (TyVarBind l) (l, Name l, Kind l)

_KindList :: forall l. Prism' (Kind l) (l, Kind l)

_KindTuple :: forall l. Prism' (Kind l) (l, [Kind l])

_KindApp :: forall l. Prism' (Kind l) (l, Kind l, Kind l)

_KindVar :: forall l. Prism' (Kind l) (l, QName l)

_KindParen :: forall l. Prism' (Kind l) (l, Kind l)

_KindFn :: forall l. Prism' (Kind l) (l, Kind l, Kind l)

_KindStar :: forall l. Prism' (Kind l) l

_Unboxed :: Prism' Boxed ()

_Boxed :: Prism' Boxed ()

_TyQuasiQuote :: forall l. Prism' (Type l) (l, String, String)

_TyWildCard :: forall l. Prism' (Type l) (l, Maybe (Name l))

_TyBang :: forall l. Prism' (Type l) (l, BangType l, Unpackedness l, Type l)

_TySplice :: forall l. Prism' (Type l) (l, Splice l)

_TyEquals :: forall l. Prism' (Type l) (l, Type l, Type l)

_TyPromoted :: forall l. Prism' (Type l) (l, Promoted l)

_TyKind :: forall l. Prism' (Type l) (l, Type l, Kind l)

_TyInfix :: forall l. Prism' (Type l) (l, Type l, QName l, Type l)

_TyParen :: forall l. Prism' (Type l) (l, Type l)

_TyCon :: forall l. Prism' (Type l) (l, QName l)

_TyVar :: forall l. Prism' (Type l) (l, Name l)

_TyApp :: forall l. Prism' (Type l) (l, Type l, Type l)

_TyParArray :: forall l. Prism' (Type l) (l, Type l)

_TyList :: forall l. Prism' (Type l) (l, Type l)

_TyTuple :: forall l. Prism' (Type l) (l, Boxed, [Type l])

_TyFun :: forall l. Prism' (Type l) (l, Type l, Type l)

_TyForall :: forall l. Prism' (Type l) (l, Maybe [TyVarBind l], Maybe (Context l), Type l)

_WildCardA :: forall l. Prism' (Asst l) (l, Maybe (Name l))

_ParenA :: forall l. Prism' (Asst l) (l, Asst l)

_EqualP :: forall l. Prism' (Asst l) (l, Type l, Type l)

_IParam :: forall l. Prism' (Asst l) (l, IPName l, Type l)

_InfixA :: forall l. Prism' (Asst l) (l, Type l, QName l, Type l)

_AppA :: forall l. Prism' (Asst l) (l, Name l, [Type l])

_ClassA :: forall l. Prism' (Asst l) (l, QName l, [Type l])

_FunDep :: forall l l. Iso (FunDep l) (FunDep l) (l, [Name l], [Name l]) (l, [Name l], [Name l])

_CxEmpty :: forall l. Prism' (Context l) l

_CxTuple :: forall l. Prism' (Context l) (l, [Asst l])

_CxSingle :: forall l. Prism' (Context l) (l, Asst l)

_GuardedRhs :: forall l l. Iso (GuardedRhs l) (GuardedRhs l) (l, [Stmt l], Exp l) (l, [Stmt l], Exp l)

_GuardedRhss :: forall l. Prism' (Rhs l) (l, [GuardedRhs l])

_UnGuardedRhs :: forall l. Prism' (Rhs l) (l, Exp l)

_InfixMatch :: forall l. Prism' (Match l) (l, Pat l, Name l, [Pat l], Rhs l, Maybe (Binds l))

_Match :: forall l. Prism' (Match l) (l, Name l, [Pat l], Rhs l, Maybe (Binds l))

_NoUnpackPragma :: forall l. Prism' (Unpackedness l) l

_NoUnpack :: forall l. Prism' (Unpackedness l) l

_Unpack :: forall l. Prism' (Unpackedness l) l

_NoStrictAnnot :: forall l. Prism' (BangType l) l

_LazyTy :: forall l. Prism' (BangType l) l

_BangedTy :: forall l. Prism' (BangType l) l

_GadtDecl :: forall l l. Iso (GadtDecl l) (GadtDecl l) (l, Name l, Maybe [FieldDecl l], Type l) (l, Name l, Maybe [FieldDecl l], Type l)

_QualConDecl :: forall l l. Iso (QualConDecl l) (QualConDecl l) (l, Maybe [TyVarBind l], Maybe (Context l), ConDecl l) (l, Maybe [TyVarBind l], Maybe (Context l), ConDecl l)

_FieldDecl :: forall l l. Iso (FieldDecl l) (FieldDecl l) (l, [Name l], Type l) (l, [Name l], Type l)

_RecDecl :: forall l. Prism' (ConDecl l) (l, Name l, [FieldDecl l])

_InfixConDecl :: forall l. Prism' (ConDecl l) (l, Type l, Name l, Type l)

_ConDecl :: forall l. Prism' (ConDecl l) (l, Name l, [Type l])

_NewType :: forall l. Prism' (DataOrNew l) l

_DataType :: forall l. Prism' (DataOrNew l) l

_Deriving :: forall l l. Iso (Deriving l) (Deriving l) (l, [InstRule l]) (l, [InstRule l])

_InsGData :: forall l. Prism' (InstDecl l) (l, DataOrNew l, Type l, Maybe (Kind l), [GadtDecl l], Maybe (Deriving l))

_InsData :: forall l. Prism' (InstDecl l) (l, DataOrNew l, Type l, [QualConDecl l], Maybe (Deriving l))

_InsType :: forall l. Prism' (InstDecl l) (l, Type l, Type l)

_InsDecl :: forall l. Prism' (InstDecl l) (l, Decl l)

_ClsDefSig :: forall l. Prism' (ClassDecl l) (l, Name l, Type l)

_ClsTyDef :: forall l. Prism' (ClassDecl l) (l, TypeEqn l)

_ClsTyFam :: forall l. Prism' (ClassDecl l) (l, DeclHead l, Maybe (ResultSig l), Maybe (InjectivityInfo l))

_ClsDataFam :: forall l. Prism' (ClassDecl l) (l, Maybe (Context l), DeclHead l, Maybe (ResultSig l))

_ClsDecl :: forall l. Prism' (ClassDecl l) (l, Decl l)

_TyVarSig :: forall l. Prism' (ResultSig l) (l, TyVarBind l)

_KindSig :: forall l. Prism' (ResultSig l) (l, Kind l)

_InjectivityInfo :: forall l l. Iso (InjectivityInfo l) (InjectivityInfo l) (l, Name l, [Name l]) (l, Name l, [Name l])

_ExplicitBidirectional :: forall l l. Prism (PatternSynDirection l) (PatternSynDirection l) (l, [Decl l]) (l, [Decl l])

_ImplicitBidirectional :: forall l. Prism' (PatternSynDirection l) ()

_Unidirectional :: forall l. Prism' (PatternSynDirection l) ()

_IPBind :: forall l l. Iso (IPBind l) (IPBind l) (l, IPName l, Exp l) (l, IPName l, Exp l)

_IPBinds :: forall l. Prism' (Binds l) (l, [IPBind l])

_BDecls :: forall l. Prism' (Binds l) (l, [Decl l])

_IHApp :: forall l. Prism' (InstHead l) (l, InstHead l, Type l)

_IHParen :: forall l. Prism' (InstHead l) (l, InstHead l)

_IHInfix :: forall l. Prism' (InstHead l) (l, Type l, QName l)

_IHCon :: forall l. Prism' (InstHead l) (l, QName l)

_IParen :: forall l. Prism' (InstRule l) (l, InstRule l)

_IRule :: forall l. Prism' (InstRule l) (l, Maybe [TyVarBind l], Maybe (Context l), InstHead l)

_DHApp :: forall l. Prism' (DeclHead l) (l, DeclHead l, TyVarBind l)

_DHParen :: forall l. Prism' (DeclHead l) (l, DeclHead l)

_DHInfix :: forall l. Prism' (DeclHead l) (l, TyVarBind l, Name l)

_DHead :: forall l. Prism' (DeclHead l) (l, Name l)

_RoleAnnotDecl :: forall l. Prism' (Decl l) (l, QName l, [Role l])

_MinimalPragma :: forall l. Prism' (Decl l) (l, Maybe (BooleanFormula l))

_AnnPragma :: forall l. Prism' (Decl l) (l, Annotation l)

_InstSig :: forall l. Prism' (Decl l) (l, InstRule l)

_SpecInlineSig :: forall l. Prism' (Decl l) (l, Bool, Maybe (Activation l), QName l, [Type l])

_SpecSig :: forall l. Prism' (Decl l) (l, Maybe (Activation l), QName l, [Type l])

_InlineConlikeSig :: forall l. Prism' (Decl l) (l, Maybe (Activation l), QName l)

_InlineSig :: forall l. Prism' (Decl l) (l, Bool, Maybe (Activation l), QName l)

_WarnPragmaDecl :: forall l. Prism' (Decl l) (l, [([Name l], String)])

_DeprPragmaDecl :: forall l. Prism' (Decl l) (l, [([Name l], String)])

_RulePragmaDecl :: forall l. Prism' (Decl l) (l, [Rule l])

_ForExp :: forall l. Prism' (Decl l) (l, CallConv l, Maybe String, Name l, Type l)

_ForImp :: forall l. Prism' (Decl l) (l, CallConv l, Maybe (Safety l), Maybe String, Name l, Type l)

_PatSyn :: forall l. Prism' (Decl l) (l, Pat l, Pat l, PatternSynDirection l)

_PatBind :: forall l. Prism' (Decl l) (l, Pat l, Rhs l, Maybe (Binds l))

_FunBind :: forall l. Prism' (Decl l) (l, [Match l])

_PatSynSig :: forall l. Prism' (Decl l) (l, Name l, Maybe [TyVarBind l], Maybe (Context l), Maybe (Context l), Type l)

_TypeSig :: forall l. Prism' (Decl l) (l, [Name l], Type l)

_SpliceDecl :: forall l. Prism' (Decl l) (l, Exp l)

_DefaultDecl :: forall l. Prism' (Decl l) (l, [Type l])

_InfixDecl :: forall l. Prism' (Decl l) (l, Assoc l, Maybe Int, [Op l])

_DerivDecl :: forall l. Prism' (Decl l) (l, Maybe (Overlap l), InstRule l)

_InstDecl :: forall l. Prism' (Decl l) (l, Maybe (Overlap l), InstRule l, Maybe [InstDecl l])

_ClassDecl :: forall l. Prism' (Decl l) (l, Maybe (Context l), DeclHead l, [FunDep l], Maybe [ClassDecl l])

_GDataInsDecl :: forall l. Prism' (Decl l) (l, DataOrNew l, Type l, Maybe (Kind l), [GadtDecl l], Maybe (Deriving l))

_DataInsDecl :: forall l. Prism' (Decl l) (l, DataOrNew l, Type l, [QualConDecl l], Maybe (Deriving l))

_TypeInsDecl :: forall l. Prism' (Decl l) (l, Type l, Type l)

_DataFamDecl :: forall l. Prism' (Decl l) (l, Maybe (Context l), DeclHead l, Maybe (ResultSig l))

_GDataDecl :: forall l. Prism' (Decl l) (l, DataOrNew l, Maybe (Context l), DeclHead l, Maybe (Kind l), [GadtDecl l], Maybe (Deriving l))

_DataDecl :: forall l. Prism' (Decl l) (l, DataOrNew l, Maybe (Context l), DeclHead l, [QualConDecl l], Maybe (Deriving l))

_ClosedTypeFamDecl :: forall l. Prism' (Decl l) (l, DeclHead l, Maybe (ResultSig l), Maybe (InjectivityInfo l), [TypeEqn l])

_TypeFamDecl :: forall l. Prism' (Decl l) (l, DeclHead l, Maybe (ResultSig l), Maybe (InjectivityInfo l))

_TypeDecl :: forall l. Prism' (Decl l) (l, DeclHead l, Type l)

_PatternNamespace :: forall l. Prism' (Namespace l) l

_TypeNamespace :: forall l. Prism' (Namespace l) l

_NoNamespace :: forall l. Prism' (Namespace l) l

_AssocRight :: forall l. Prism' (Assoc l) l

_AssocLeft :: forall l. Prism' (Assoc l) l

_AssocNone :: forall l. Prism' (Assoc l) l

_IThingWith :: forall l. Prism' (ImportSpec l) (l, Name l, [CName l])

_IThingAll :: forall l. Prism' (ImportSpec l) (l, Name l)

_IAbs :: forall l. Prism' (ImportSpec l) (l, Namespace l, Name l)

_IVar :: forall l. Prism' (ImportSpec l) (l, Name l)

_ImportSpecList :: forall l l. Iso (ImportSpecList l) (ImportSpecList l) (l, Bool, [ImportSpec l]) (l, Bool, [ImportSpec l])

_ImportDecl :: forall l l. Iso (ImportDecl l) (ImportDecl l) (l, ModuleName l, Bool, Bool, Bool, Maybe String, Maybe (ModuleName l), Maybe (ImportSpecList l)) (l, ModuleName l, Bool, Bool, Bool, Maybe String, Maybe (ModuleName l), Maybe (ImportSpecList l))

_EWildcard :: forall l. Prism' (EWildcard l) (l, Int)

_NoWildcard :: forall l. Prism' (EWildcard l) l

_EModuleContents :: forall l. Prism' (ExportSpec l) (l, ModuleName l)

_EThingWith :: forall l. Prism' (ExportSpec l) (l, EWildcard l, QName l, [CName l])

_EAbs :: forall l. Prism' (ExportSpec l) (l, Namespace l, QName l)

_EVar :: forall l. Prism' (ExportSpec l) (l, QName l)

_ExportSpecList :: forall l l. Iso (ExportSpecList l) (ExportSpecList l) (l, [ExportSpec l]) (l, [ExportSpec l])

_WarnText :: forall l. Prism' (WarningText l) (l, String)

_DeprText :: forall l. Prism' (WarningText l) (l, String)

_ModuleHead :: forall l l. Iso (ModuleHead l) (ModuleHead l) (l, ModuleName l, Maybe (WarningText l), Maybe (ExportSpecList l)) (l, ModuleName l, Maybe (WarningText l), Maybe (ExportSpecList l))

_XmlHybrid :: forall l. Prism' (Module l) (l, Maybe (ModuleHead l), [ModulePragma l], [ImportDecl l], [Decl l], XName l, [XAttr l], Maybe (Exp l), [Exp l])

_XmlPage :: forall l. Prism' (Module l) (l, ModuleName l, [ModulePragma l], XName l, [XAttr l], Maybe (Exp l), [Exp l])

_Module :: forall l. Prism' (Module l) (l, Maybe (ModuleHead l), [ModulePragma l], [ImportDecl l], [Decl l])

newtype C_Module l

Constructors

C_Module (l, Maybe (ModuleHead l), [ModulePragma l], [ImportDecl l], [Decl l])

Instances

Wrapped (C_Module l0)

Associated Types

type Unwrapped (C_Module l0) :: *

Methods

_Wrapped' :: Iso' (C_Module l0) (Unwrapped (C_Module l0))

(~) * (C_Module l0) t0 => Rewrapped (C_Module l1) t0

type Unwrapped (C_Module l0)

type Unwrapped (C_Module l0) = (l0, Maybe (ModuleHead l0), [ModulePragma l0], [ImportDecl l0], [Decl l0])

newtype C_XmlPage l

Constructors

C_XmlPage (l, ModuleName l, [ModulePragma l], XName l, [XAttr l], Maybe (Exp l), [Exp l])

Instances

Wrapped (C_XmlPage l0)

Associated Types

type Unwrapped (C_XmlPage l0) :: *

Methods

_Wrapped' :: Iso' (C_XmlPage l0) (Unwrapped (C_XmlPage l0))

(~) * (C_XmlPage l0) t0 => Rewrapped (C_XmlPage l1) t0

type Unwrapped (C_XmlPage l0)

type Unwrapped (C_XmlPage l0) = (l0, ModuleName l0, [ModulePragma l0], XName l0, [XAttr l0], Maybe (Exp l0), [Exp l0])

newtype C_XmlHybrid l

Constructors

C_XmlHybrid (l, Maybe (ModuleHead l), [ModulePragma l], [ImportDecl l], [Decl l], XName l, [XAttr l], Maybe (Exp l), [Exp l])

Instances

Wrapped (C_XmlHybrid l0)

Associated Types

type Unwrapped (C_XmlHybrid l0) :: *

Methods

_Wrapped' :: Iso' (C_XmlHybrid l0) (Unwrapped (C_XmlHybrid l0))

(~) * (C_XmlHybrid l0) t0 => Rewrapped (C_XmlHybrid l1) t0

type Unwrapped (C_XmlHybrid l0)

type Unwrapped (C_XmlHybrid l0) = (l0, Maybe (ModuleHead l0), [ModulePragma l0], [ImportDecl l0], [Decl l0], XName l0, [XAttr l0], Maybe (Exp l0), [Exp l0])

newtype C_DeprText l

Constructors

C_DeprText (l, String)

Instances

Wrapped (C_DeprText l0)

Associated Types

type Unwrapped (C_DeprText l0) :: *

Methods

_Wrapped' :: Iso' (C_DeprText l0) (Unwrapped (C_DeprText l0))

(~) * (C_DeprText l0) t0 => Rewrapped (C_DeprText l1) t0

type Unwrapped (C_DeprText l0)

type Unwrapped (C_DeprText l0) = (l0, String)

newtype C_WarnText l

Constructors

C_WarnText (l, String)

Instances

Wrapped (C_WarnText l0)

Associated Types

type Unwrapped (C_WarnText l0) :: *

Methods

_Wrapped' :: Iso' (C_WarnText l0) (Unwrapped (C_WarnText l0))

(~) * (C_WarnText l0) t0 => Rewrapped (C_WarnText l1) t0

type Unwrapped (C_WarnText l0)

type Unwrapped (C_WarnText l0) = (l0, String)

newtype C_EVar l

Constructors

C_EVar (l, QName l)

Instances

Wrapped (C_EVar l0)

Associated Types

type Unwrapped (C_EVar l0) :: *

Methods

_Wrapped' :: Iso' (C_EVar l0) (Unwrapped (C_EVar l0))

(~) * (C_EVar l0) t0 => Rewrapped (C_EVar l1) t0

type Unwrapped (C_EVar l0)

type Unwrapped (C_EVar l0) = (l0, QName l0)

newtype C_EAbs l

Constructors

C_EAbs (l, Namespace l, QName l)

Instances

Wrapped (C_EAbs l0)

Associated Types

type Unwrapped (C_EAbs l0) :: *

Methods

_Wrapped' :: Iso' (C_EAbs l0) (Unwrapped (C_EAbs l0))

(~) * (C_EAbs l0) t0 => Rewrapped (C_EAbs l1) t0

type Unwrapped (C_EAbs l0)

type Unwrapped (C_EAbs l0) = (l0, Namespace l0, QName l0)

newtype C_EThingWith l

Constructors

C_EThingWith (l, EWildcard l, QName l, [CName l])

Instances

Wrapped (C_EThingWith l0)

Associated Types

type Unwrapped (C_EThingWith l0) :: *

Methods

_Wrapped' :: Iso' (C_EThingWith l0) (Unwrapped (C_EThingWith l0))

(~) * (C_EThingWith l0) t0 => Rewrapped (C_EThingWith l1) t0

type Unwrapped (C_EThingWith l0)

type Unwrapped (C_EThingWith l0) = (l0, EWildcard l0, QName l0, [CName l0])

newtype C_EModuleContents l

Constructors

C_EModuleContents (l, ModuleName l)

Instances

Wrapped (C_EModuleContents l0)

Associated Types

type Unwrapped (C_EModuleContents l0) :: *

Methods

_Wrapped' :: Iso' (C_EModuleContents l0) (Unwrapped (C_EModuleContents l0))

(~) * (C_EModuleContents l0) t0 => Rewrapped (C_EModuleContents l1) t0

type Unwrapped (C_EModuleContents l0)

type Unwrapped (C_EModuleContents l0) = (l0, ModuleName l0)

newtype C_NoWildcard l

Constructors

C_NoWildcard l

Instances

Wrapped (C_NoWildcard l0)

Associated Types

type Unwrapped (C_NoWildcard l0) :: *

Methods

_Wrapped' :: Iso' (C_NoWildcard l0) (Unwrapped (C_NoWildcard l0))

(~) * (C_NoWildcard l0) t0 => Rewrapped (C_NoWildcard l1) t0

type Unwrapped (C_NoWildcard l0)

type Unwrapped (C_NoWildcard l0) = l0

newtype C_EWildcard l

Constructors

C_EWildcard (l, Int)

Instances

Wrapped (C_EWildcard l0)

Associated Types

type Unwrapped (C_EWildcard l0) :: *

Methods

_Wrapped' :: Iso' (C_EWildcard l0) (Unwrapped (C_EWildcard l0))

(~) * (C_EWildcard l0) t0 => Rewrapped (C_EWildcard l1) t0

type Unwrapped (C_EWildcard l0)

type Unwrapped (C_EWildcard l0) = (l0, Int)

newtype C_IVar l

Constructors

C_IVar (l, Name l)

Instances

Wrapped (C_IVar l0)

Associated Types

type Unwrapped (C_IVar l0) :: *

Methods

_Wrapped' :: Iso' (C_IVar l0) (Unwrapped (C_IVar l0))

(~) * (C_IVar l0) t0 => Rewrapped (C_IVar l1) t0

type Unwrapped (C_IVar l0)

type Unwrapped (C_IVar l0) = (l0, Name l0)

newtype C_IAbs l

Constructors

C_IAbs (l, Namespace l, Name l)

Instances

Wrapped (C_IAbs l0)

Associated Types

type Unwrapped (C_IAbs l0) :: *

Methods

_Wrapped' :: Iso' (C_IAbs l0) (Unwrapped (C_IAbs l0))

(~) * (C_IAbs l0) t0 => Rewrapped (C_IAbs l1) t0

type Unwrapped (C_IAbs l0)

type Unwrapped (C_IAbs l0) = (l0, Namespace l0, Name l0)

newtype C_IThingAll l

Constructors

C_IThingAll (l, Name l)

Instances

Wrapped (C_IThingAll l0)

Associated Types

type Unwrapped (C_IThingAll l0) :: *

Methods

_Wrapped' :: Iso' (C_IThingAll l0) (Unwrapped (C_IThingAll l0))

(~) * (C_IThingAll l0) t0 => Rewrapped (C_IThingAll l1) t0

type Unwrapped (C_IThingAll l0)

type Unwrapped (C_IThingAll l0) = (l0, Name l0)

newtype C_IThingWith l

Constructors

C_IThingWith (l, Name l, [CName l])

Instances

Wrapped (C_IThingWith l0)

Associated Types

type Unwrapped (C_IThingWith l0) :: *

Methods

_Wrapped' :: Iso' (C_IThingWith l0) (Unwrapped (C_IThingWith l0))

(~) * (C_IThingWith l0) t0 => Rewrapped (C_IThingWith l1) t0

type Unwrapped (C_IThingWith l0)

type Unwrapped (C_IThingWith l0) = (l0, Name l0, [CName l0])

newtype C_AssocNone l

Constructors

C_AssocNone l

Instances

Wrapped (C_AssocNone l0)

Associated Types

type Unwrapped (C_AssocNone l0) :: *

Methods

_Wrapped' :: Iso' (C_AssocNone l0) (Unwrapped (C_AssocNone l0))

(~) * (C_AssocNone l0) t0 => Rewrapped (C_AssocNone l1) t0

type Unwrapped (C_AssocNone l0)

type Unwrapped (C_AssocNone l0) = l0

newtype C_AssocLeft l

Constructors

C_AssocLeft l

Instances

Wrapped (C_AssocLeft l0)

Associated Types

type Unwrapped (C_AssocLeft l0) :: *

Methods

_Wrapped' :: Iso' (C_AssocLeft l0) (Unwrapped (C_AssocLeft l0))

(~) * (C_AssocLeft l0) t0 => Rewrapped (C_AssocLeft l1) t0

type Unwrapped (C_AssocLeft l0)

type Unwrapped (C_AssocLeft l0) = l0

newtype C_AssocRight l

Constructors

C_AssocRight l

Instances

Wrapped (C_AssocRight l0)

Associated Types

type Unwrapped (C_AssocRight l0) :: *

Methods

_Wrapped' :: Iso' (C_AssocRight l0) (Unwrapped (C_AssocRight l0))

(~) * (C_AssocRight l0) t0 => Rewrapped (C_AssocRight l1) t0

type Unwrapped (C_AssocRight l0)

type Unwrapped (C_AssocRight l0) = l0

newtype C_NoNamespace l

Constructors

C_NoNamespace l

Instances

Wrapped (C_NoNamespace l0)

Associated Types

type Unwrapped (C_NoNamespace l0) :: *

Methods

_Wrapped' :: Iso' (C_NoNamespace l0) (Unwrapped (C_NoNamespace l0))

(~) * (C_NoNamespace l0) t0 => Rewrapped (C_NoNamespace l1) t0

type Unwrapped (C_NoNamespace l0)

type Unwrapped (C_NoNamespace l0) = l0

newtype C_TypeNamespace l

Constructors

C_TypeNamespace l

Instances

Wrapped (C_TypeNamespace l0)

Associated Types

type Unwrapped (C_TypeNamespace l0) :: *

Methods

_Wrapped' :: Iso' (C_TypeNamespace l0) (Unwrapped (C_TypeNamespace l0))

(~) * (C_TypeNamespace l0) t0 => Rewrapped (C_TypeNamespace l1) t0

type Unwrapped (C_TypeNamespace l0)

type Unwrapped (C_TypeNamespace l0) = l0

newtype C_PatternNamespace l

Constructors

C_PatternNamespace l

Instances

Wrapped (C_PatternNamespace l0)

Associated Types

type Unwrapped (C_PatternNamespace l0) :: *

Methods

_Wrapped' :: Iso' (C_PatternNamespace l0) (Unwrapped (C_PatternNamespace l0))

(~) * (C_PatternNamespace l0) t0 => Rewrapped (C_PatternNamespace l1) t0

type Unwrapped (C_PatternNamespace l0)

type Unwrapped (C_PatternNamespace l0) = l0

newtype C_TypeDecl l

Constructors

C_TypeDecl (l, DeclHead l, Type l)

Instances

Wrapped (C_TypeDecl l0)

Associated Types

type Unwrapped (C_TypeDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_TypeDecl l0) (Unwrapped (C_TypeDecl l0))

(~) * (C_TypeDecl l0) t0 => Rewrapped (C_TypeDecl l1) t0

type Unwrapped (C_TypeDecl l0)

type Unwrapped (C_TypeDecl l0) = (l0, DeclHead l0, Type l0)

newtype C_TypeFamDecl l

Constructors

C_TypeFamDecl (l, DeclHead l, Maybe (ResultSig l), Maybe (InjectivityInfo l))

Instances

Wrapped (C_TypeFamDecl l0)

Associated Types

type Unwrapped (C_TypeFamDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_TypeFamDecl l0) (Unwrapped (C_TypeFamDecl l0))

(~) * (C_TypeFamDecl l0) t0 => Rewrapped (C_TypeFamDecl l1) t0

type Unwrapped (C_TypeFamDecl l0)

type Unwrapped (C_TypeFamDecl l0) = (l0, DeclHead l0, Maybe (ResultSig l0), Maybe (InjectivityInfo l0))

newtype C_ClosedTypeFamDecl l

Constructors

C_ClosedTypeFamDecl (l, DeclHead l, Maybe (ResultSig l), Maybe (InjectivityInfo l), [TypeEqn l])

Instances

Wrapped (C_ClosedTypeFamDecl l0)

Associated Types

type Unwrapped (C_ClosedTypeFamDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_ClosedTypeFamDecl l0) (Unwrapped (C_ClosedTypeFamDecl l0))

(~) * (C_ClosedTypeFamDecl l0) t0 => Rewrapped (C_ClosedTypeFamDecl l1) t0

type Unwrapped (C_ClosedTypeFamDecl l0)

type Unwrapped (C_ClosedTypeFamDecl l0) = (l0, DeclHead l0, Maybe (ResultSig l0), Maybe (InjectivityInfo l0), [TypeEqn l0])

newtype C_DataDecl l

Constructors

C_DataDecl (l, DataOrNew l, Maybe (Context l), DeclHead l, [QualConDecl l], Maybe (Deriving l))

Instances

Wrapped (C_DataDecl l0)

Associated Types

type Unwrapped (C_DataDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_DataDecl l0) (Unwrapped (C_DataDecl l0))

(~) * (C_DataDecl l0) t0 => Rewrapped (C_DataDecl l1) t0

type Unwrapped (C_DataDecl l0)

type Unwrapped (C_DataDecl l0) = (l0, DataOrNew l0, Maybe (Context l0), DeclHead l0, [QualConDecl l0], Maybe (Deriving l0))

newtype C_GDataDecl l

Constructors

C_GDataDecl (l, DataOrNew l, Maybe (Context l), DeclHead l, Maybe (Kind l), [GadtDecl l], Maybe (Deriving l))

Instances

Wrapped (C_GDataDecl l0)

Associated Types

type Unwrapped (C_GDataDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_GDataDecl l0) (Unwrapped (C_GDataDecl l0))

(~) * (C_GDataDecl l0) t0 => Rewrapped (C_GDataDecl l1) t0

type Unwrapped (C_GDataDecl l0)

type Unwrapped (C_GDataDecl l0) = (l0, DataOrNew l0, Maybe (Context l0), DeclHead l0, Maybe (Kind l0), [GadtDecl l0], Maybe (Deriving l0))

newtype C_DataFamDecl l

Constructors

C_DataFamDecl (l, Maybe (Context l), DeclHead l, Maybe (ResultSig l))

Instances

Wrapped (C_DataFamDecl l0)

Associated Types

type Unwrapped (C_DataFamDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_DataFamDecl l0) (Unwrapped (C_DataFamDecl l0))

(~) * (C_DataFamDecl l0) t0 => Rewrapped (C_DataFamDecl l1) t0

type Unwrapped (C_DataFamDecl l0)

type Unwrapped (C_DataFamDecl l0) = (l0, Maybe (Context l0), DeclHead l0, Maybe (ResultSig l0))

newtype C_TypeInsDecl l

Constructors

C_TypeInsDecl (l, Type l, Type l)

Instances

Wrapped (C_TypeInsDecl l0)

Associated Types

type Unwrapped (C_TypeInsDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_TypeInsDecl l0) (Unwrapped (C_TypeInsDecl l0))

(~) * (C_TypeInsDecl l0) t0 => Rewrapped (C_TypeInsDecl l1) t0

type Unwrapped (C_TypeInsDecl l0)

type Unwrapped (C_TypeInsDecl l0) = (l0, Type l0, Type l0)

newtype C_DataInsDecl l

Constructors

C_DataInsDecl (l, DataOrNew l, Type l, [QualConDecl l], Maybe (Deriving l))

Instances

Wrapped (C_DataInsDecl l0)

Associated Types

type Unwrapped (C_DataInsDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_DataInsDecl l0) (Unwrapped (C_DataInsDecl l0))

(~) * (C_DataInsDecl l0) t0 => Rewrapped (C_DataInsDecl l1) t0

type Unwrapped (C_DataInsDecl l0)

type Unwrapped (C_DataInsDecl l0) = (l0, DataOrNew l0, Type l0, [QualConDecl l0], Maybe (Deriving l0))

newtype C_GDataInsDecl l

Constructors

C_GDataInsDecl (l, DataOrNew l, Type l, Maybe (Kind l), [GadtDecl l], Maybe (Deriving l))

Instances

Wrapped (C_GDataInsDecl l0)

Associated Types

type Unwrapped (C_GDataInsDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_GDataInsDecl l0) (Unwrapped (C_GDataInsDecl l0))

(~) * (C_GDataInsDecl l0) t0 => Rewrapped (C_GDataInsDecl l1) t0

type Unwrapped (C_GDataInsDecl l0)

type Unwrapped (C_GDataInsDecl l0) = (l0, DataOrNew l0, Type l0, Maybe (Kind l0), [GadtDecl l0], Maybe (Deriving l0))

newtype C_ClassDecl l

Constructors

C_ClassDecl (l, Maybe (Context l), DeclHead l, [FunDep l], Maybe [ClassDecl l])

Instances

Wrapped (C_ClassDecl l0)

Associated Types

type Unwrapped (C_ClassDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_ClassDecl l0) (Unwrapped (C_ClassDecl l0))

(~) * (C_ClassDecl l0) t0 => Rewrapped (C_ClassDecl l1) t0

type Unwrapped (C_ClassDecl l0)

type Unwrapped (C_ClassDecl l0) = (l0, Maybe (Context l0), DeclHead l0, [FunDep l0], Maybe [ClassDecl l0])

newtype C_InstDecl l

Constructors

C_InstDecl (l, Maybe (Overlap l), InstRule l, Maybe [InstDecl l])

Instances

Wrapped (C_InstDecl l0)

Associated Types

type Unwrapped (C_InstDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_InstDecl l0) (Unwrapped (C_InstDecl l0))

(~) * (C_InstDecl l0) t0 => Rewrapped (C_InstDecl l1) t0

type Unwrapped (C_InstDecl l0)

type Unwrapped (C_InstDecl l0) = (l0, Maybe (Overlap l0), InstRule l0, Maybe [InstDecl l0])

newtype C_DerivDecl l

Constructors

C_DerivDecl (l, Maybe (Overlap l), InstRule l)

Instances

Wrapped (C_DerivDecl l0)

Associated Types

type Unwrapped (C_DerivDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_DerivDecl l0) (Unwrapped (C_DerivDecl l0))

(~) * (C_DerivDecl l0) t0 => Rewrapped (C_DerivDecl l1) t0

type Unwrapped (C_DerivDecl l0)

type Unwrapped (C_DerivDecl l0) = (l0, Maybe (Overlap l0), InstRule l0)

newtype C_InfixDecl l

Constructors

C_InfixDecl (l, Assoc l, Maybe Int, [Op l])

Instances

Wrapped (C_InfixDecl l0)

Associated Types

type Unwrapped (C_InfixDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_InfixDecl l0) (Unwrapped (C_InfixDecl l0))

(~) * (C_InfixDecl l0) t0 => Rewrapped (C_InfixDecl l1) t0

type Unwrapped (C_InfixDecl l0)

type Unwrapped (C_InfixDecl l0) = (l0, Assoc l0, Maybe Int, [Op l0])

newtype C_DefaultDecl l

Constructors

C_DefaultDecl (l, [Type l])

Instances

Wrapped (C_DefaultDecl l0)

Associated Types

type Unwrapped (C_DefaultDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_DefaultDecl l0) (Unwrapped (C_DefaultDecl l0))

(~) * (C_DefaultDecl l0) t0 => Rewrapped (C_DefaultDecl l1) t0

type Unwrapped (C_DefaultDecl l0)

type Unwrapped (C_DefaultDecl l0) = (l0, [Type l0])

newtype C_SpliceDecl l

Constructors

C_SpliceDecl (l, Exp l)

Instances

Wrapped (C_SpliceDecl l0)

Associated Types

type Unwrapped (C_SpliceDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_SpliceDecl l0) (Unwrapped (C_SpliceDecl l0))

(~) * (C_SpliceDecl l0) t0 => Rewrapped (C_SpliceDecl l1) t0

type Unwrapped (C_SpliceDecl l0)

type Unwrapped (C_SpliceDecl l0) = (l0, Exp l0)

newtype C_TypeSig l

Constructors

C_TypeSig (l, [Name l], Type l)

Instances

Wrapped (C_TypeSig l0)

Associated Types

type Unwrapped (C_TypeSig l0) :: *

Methods

_Wrapped' :: Iso' (C_TypeSig l0) (Unwrapped (C_TypeSig l0))

(~) * (C_TypeSig l0) t0 => Rewrapped (C_TypeSig l1) t0

type Unwrapped (C_TypeSig l0)

type Unwrapped (C_TypeSig l0) = (l0, [Name l0], Type l0)

newtype C_PatSynSig l

Constructors

C_PatSynSig (l, Name l, Maybe [TyVarBind l], Maybe (Context l), Maybe (Context l), Type l)

Instances

Wrapped (C_PatSynSig l0)

Associated Types

type Unwrapped (C_PatSynSig l0) :: *

Methods

_Wrapped' :: Iso' (C_PatSynSig l0) (Unwrapped (C_PatSynSig l0))

(~) * (C_PatSynSig l0) t0 => Rewrapped (C_PatSynSig l1) t0

type Unwrapped (C_PatSynSig l0)

type Unwrapped (C_PatSynSig l0) = (l0, Name l0, Maybe [TyVarBind l0], Maybe (Context l0), Maybe (Context l0), Type l0)

newtype C_FunBind l

Constructors

C_FunBind (l, [Match l])

Instances

Wrapped (C_FunBind l0)

Associated Types

type Unwrapped (C_FunBind l0) :: *

Methods

_Wrapped' :: Iso' (C_FunBind l0) (Unwrapped (C_FunBind l0))

(~) * (C_FunBind l0) t0 => Rewrapped (C_FunBind l1) t0

type Unwrapped (C_FunBind l0)

type Unwrapped (C_FunBind l0) = (l0, [Match l0])

newtype C_PatBind l

Constructors

C_PatBind (l, Pat l, Rhs l, Maybe (Binds l))

Instances

Wrapped (C_PatBind l0)

Associated Types

type Unwrapped (C_PatBind l0) :: *

Methods

_Wrapped' :: Iso' (C_PatBind l0) (Unwrapped (C_PatBind l0))

(~) * (C_PatBind l0) t0 => Rewrapped (C_PatBind l1) t0

type Unwrapped (C_PatBind l0)

type Unwrapped (C_PatBind l0) = (l0, Pat l0, Rhs l0, Maybe (Binds l0))

newtype C_PatSyn l

Constructors

C_PatSyn (l, Pat l, Pat l, PatternSynDirection l)

Instances

Wrapped (C_PatSyn l0)

Associated Types

type Unwrapped (C_PatSyn l0) :: *

Methods

_Wrapped' :: Iso' (C_PatSyn l0) (Unwrapped (C_PatSyn l0))

(~) * (C_PatSyn l0) t0 => Rewrapped (C_PatSyn l1) t0

type Unwrapped (C_PatSyn l0)

type Unwrapped (C_PatSyn l0) = (l0, Pat l0, Pat l0, PatternSynDirection l0)

newtype C_ForImp l

Constructors

C_ForImp (l, CallConv l, Maybe (Safety l), Maybe String, Name l, Type l)

Instances

Wrapped (C_ForImp l0)

Associated Types

type Unwrapped (C_ForImp l0) :: *

Methods

_Wrapped' :: Iso' (C_ForImp l0) (Unwrapped (C_ForImp l0))

(~) * (C_ForImp l0) t0 => Rewrapped (C_ForImp l1) t0

type Unwrapped (C_ForImp l0)

type Unwrapped (C_ForImp l0) = (l0, CallConv l0, Maybe (Safety l0), Maybe String, Name l0, Type l0)

newtype C_ForExp l

Constructors

C_ForExp (l, CallConv l, Maybe String, Name l, Type l)

Instances

Wrapped (C_ForExp l0)

Associated Types

type Unwrapped (C_ForExp l0) :: *

Methods

_Wrapped' :: Iso' (C_ForExp l0) (Unwrapped (C_ForExp l0))

(~) * (C_ForExp l0) t0 => Rewrapped (C_ForExp l1) t0

type Unwrapped (C_ForExp l0)

type Unwrapped (C_ForExp l0) = (l0, CallConv l0, Maybe String, Name l0, Type l0)

newtype C_RulePragmaDecl l

Constructors

C_RulePragmaDecl (l, [Rule l])

Instances

Wrapped (C_RulePragmaDecl l0)

Associated Types

type Unwrapped (C_RulePragmaDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_RulePragmaDecl l0) (Unwrapped (C_RulePragmaDecl l0))

(~) * (C_RulePragmaDecl l0) t0 => Rewrapped (C_RulePragmaDecl l1) t0

type Unwrapped (C_RulePragmaDecl l0)

type Unwrapped (C_RulePragmaDecl l0) = (l0, [Rule l0])

newtype C_DeprPragmaDecl l

Constructors

C_DeprPragmaDecl (l, [([Name l], String)])

Instances

Wrapped (C_DeprPragmaDecl l0)

Associated Types

type Unwrapped (C_DeprPragmaDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_DeprPragmaDecl l0) (Unwrapped (C_DeprPragmaDecl l0))

(~) * (C_DeprPragmaDecl l0) t0 => Rewrapped (C_DeprPragmaDecl l1) t0

type Unwrapped (C_DeprPragmaDecl l0)

type Unwrapped (C_DeprPragmaDecl l0) = (l0, [([Name l0], String)])

newtype C_WarnPragmaDecl l

Constructors

C_WarnPragmaDecl (l, [([Name l], String)])

Instances

Wrapped (C_WarnPragmaDecl l0)

Associated Types

type Unwrapped (C_WarnPragmaDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_WarnPragmaDecl l0) (Unwrapped (C_WarnPragmaDecl l0))

(~) * (C_WarnPragmaDecl l0) t0 => Rewrapped (C_WarnPragmaDecl l1) t0

type Unwrapped (C_WarnPragmaDecl l0)

type Unwrapped (C_WarnPragmaDecl l0) = (l0, [([Name l0], String)])

newtype C_InlineSig l

Constructors

C_InlineSig (l, Bool, Maybe (Activation l), QName l)

Instances

Wrapped (C_InlineSig l0)

Associated Types

type Unwrapped (C_InlineSig l0) :: *

Methods

_Wrapped' :: Iso' (C_InlineSig l0) (Unwrapped (C_InlineSig l0))

(~) * (C_InlineSig l0) t0 => Rewrapped (C_InlineSig l1) t0

type Unwrapped (C_InlineSig l0)

type Unwrapped (C_InlineSig l0) = (l0, Bool, Maybe (Activation l0), QName l0)

newtype C_InlineConlikeSig l

Constructors

C_InlineConlikeSig (l, Maybe (Activation l), QName l)

Instances

Wrapped (C_InlineConlikeSig l0)

Associated Types

type Unwrapped (C_InlineConlikeSig l0) :: *

Methods

_Wrapped' :: Iso' (C_InlineConlikeSig l0) (Unwrapped (C_InlineConlikeSig l0))

(~) * (C_InlineConlikeSig l0) t0 => Rewrapped (C_InlineConlikeSig l1) t0

type Unwrapped (C_InlineConlikeSig l0)

type Unwrapped (C_InlineConlikeSig l0) = (l0, Maybe (Activation l0), QName l0)

newtype C_SpecSig l

Constructors

C_SpecSig (l, Maybe (Activation l), QName l, [Type l])

Instances

Wrapped (C_SpecSig l0)

Associated Types

type Unwrapped (C_SpecSig l0) :: *

Methods

_Wrapped' :: Iso' (C_SpecSig l0) (Unwrapped (C_SpecSig l0))

(~) * (C_SpecSig l0) t0 => Rewrapped (C_SpecSig l1) t0

type Unwrapped (C_SpecSig l0)

type Unwrapped (C_SpecSig l0) = (l0, Maybe (Activation l0), QName l0, [Type l0])

newtype C_SpecInlineSig l

Constructors

C_SpecInlineSig (l, Bool, Maybe (Activation l), QName l, [Type l])

Instances

Wrapped (C_SpecInlineSig l0)

Associated Types

type Unwrapped (C_SpecInlineSig l0) :: *

Methods

_Wrapped' :: Iso' (C_SpecInlineSig l0) (Unwrapped (C_SpecInlineSig l0))

(~) * (C_SpecInlineSig l0) t0 => Rewrapped (C_SpecInlineSig l1) t0

type Unwrapped (C_SpecInlineSig l0)

type Unwrapped (C_SpecInlineSig l0) = (l0, Bool, Maybe (Activation l0), QName l0, [Type l0])

newtype C_InstSig l

Constructors

C_InstSig (l, InstRule l)

Instances

Wrapped (C_InstSig l0)

Associated Types

type Unwrapped (C_InstSig l0) :: *

Methods

_Wrapped' :: Iso' (C_InstSig l0) (Unwrapped (C_InstSig l0))

(~) * (C_InstSig l0) t0 => Rewrapped (C_InstSig l1) t0

type Unwrapped (C_InstSig l0)

type Unwrapped (C_InstSig l0) = (l0, InstRule l0)

newtype C_AnnPragma l

Constructors

C_AnnPragma (l, Annotation l)

Instances

Wrapped (C_AnnPragma l0)

Associated Types

type Unwrapped (C_AnnPragma l0) :: *

Methods

_Wrapped' :: Iso' (C_AnnPragma l0) (Unwrapped (C_AnnPragma l0))

(~) * (C_AnnPragma l0) t0 => Rewrapped (C_AnnPragma l1) t0

type Unwrapped (C_AnnPragma l0)

type Unwrapped (C_AnnPragma l0) = (l0, Annotation l0)

newtype C_MinimalPragma l

Constructors

C_MinimalPragma (l, Maybe (BooleanFormula l))

Instances

Wrapped (C_MinimalPragma l0)

Associated Types

type Unwrapped (C_MinimalPragma l0) :: *

Methods

_Wrapped' :: Iso' (C_MinimalPragma l0) (Unwrapped (C_MinimalPragma l0))

(~) * (C_MinimalPragma l0) t0 => Rewrapped (C_MinimalPragma l1) t0

type Unwrapped (C_MinimalPragma l0)

type Unwrapped (C_MinimalPragma l0) = (l0, Maybe (BooleanFormula l0))

newtype C_RoleAnnotDecl l

Constructors

C_RoleAnnotDecl (l, QName l, [Role l])

Instances

Wrapped (C_RoleAnnotDecl l0)

Associated Types

type Unwrapped (C_RoleAnnotDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_RoleAnnotDecl l0) (Unwrapped (C_RoleAnnotDecl l0))

(~) * (C_RoleAnnotDecl l0) t0 => Rewrapped (C_RoleAnnotDecl l1) t0

type Unwrapped (C_RoleAnnotDecl l0)

type Unwrapped (C_RoleAnnotDecl l0) = (l0, QName l0, [Role l0])

newtype C_DHead l

Constructors

C_DHead (l, Name l)

Instances

Wrapped (C_DHead l0)

Associated Types

type Unwrapped (C_DHead l0) :: *

Methods

_Wrapped' :: Iso' (C_DHead l0) (Unwrapped (C_DHead l0))

(~) * (C_DHead l0) t0 => Rewrapped (C_DHead l1) t0

type Unwrapped (C_DHead l0)

type Unwrapped (C_DHead l0) = (l0, Name l0)

newtype C_DHInfix l

Constructors

C_DHInfix (l, TyVarBind l, Name l)

Instances

Wrapped (C_DHInfix l0)

Associated Types

type Unwrapped (C_DHInfix l0) :: *

Methods

_Wrapped' :: Iso' (C_DHInfix l0) (Unwrapped (C_DHInfix l0))

(~) * (C_DHInfix l0) t0 => Rewrapped (C_DHInfix l1) t0

type Unwrapped (C_DHInfix l0)

type Unwrapped (C_DHInfix l0) = (l0, TyVarBind l0, Name l0)

newtype C_DHParen l

Constructors

C_DHParen (l, DeclHead l)

Instances

Wrapped (C_DHParen l0)

Associated Types

type Unwrapped (C_DHParen l0) :: *

Methods

_Wrapped' :: Iso' (C_DHParen l0) (Unwrapped (C_DHParen l0))

(~) * (C_DHParen l0) t0 => Rewrapped (C_DHParen l1) t0

type Unwrapped (C_DHParen l0)

type Unwrapped (C_DHParen l0) = (l0, DeclHead l0)

newtype C_DHApp l

Constructors

C_DHApp (l, DeclHead l, TyVarBind l)

Instances

Wrapped (C_DHApp l0)

Associated Types

type Unwrapped (C_DHApp l0) :: *

Methods

_Wrapped' :: Iso' (C_DHApp l0) (Unwrapped (C_DHApp l0))

(~) * (C_DHApp l0) t0 => Rewrapped (C_DHApp l1) t0

type Unwrapped (C_DHApp l0)

type Unwrapped (C_DHApp l0) = (l0, DeclHead l0, TyVarBind l0)

newtype C_IRule l

Constructors

C_IRule (l, Maybe [TyVarBind l], Maybe (Context l), InstHead l)

Instances

Wrapped (C_IRule l0)

Associated Types

type Unwrapped (C_IRule l0) :: *

Methods

_Wrapped' :: Iso' (C_IRule l0) (Unwrapped (C_IRule l0))

(~) * (C_IRule l0) t0 => Rewrapped (C_IRule l1) t0

type Unwrapped (C_IRule l0)

type Unwrapped (C_IRule l0) = (l0, Maybe [TyVarBind l0], Maybe (Context l0), InstHead l0)

newtype C_IParen l

Constructors

C_IParen (l, InstRule l)

Instances

Wrapped (C_IParen l0)

Associated Types

type Unwrapped (C_IParen l0) :: *

Methods

_Wrapped' :: Iso' (C_IParen l0) (Unwrapped (C_IParen l0))

(~) * (C_IParen l0) t0 => Rewrapped (C_IParen l1) t0

type Unwrapped (C_IParen l0)

type Unwrapped (C_IParen l0) = (l0, InstRule l0)

newtype C_IHCon l

Constructors

C_IHCon (l, QName l)

Instances

Wrapped (C_IHCon l0)

Associated Types

type Unwrapped (C_IHCon l0) :: *

Methods

_Wrapped' :: Iso' (C_IHCon l0) (Unwrapped (C_IHCon l0))

(~) * (C_IHCon l0) t0 => Rewrapped (C_IHCon l1) t0

type Unwrapped (C_IHCon l0)

type Unwrapped (C_IHCon l0) = (l0, QName l0)

newtype C_IHInfix l

Constructors

C_IHInfix (l, Type l, QName l)

Instances

Wrapped (C_IHInfix l0)

Associated Types

type Unwrapped (C_IHInfix l0) :: *

Methods

_Wrapped' :: Iso' (C_IHInfix l0) (Unwrapped (C_IHInfix l0))

(~) * (C_IHInfix l0) t0 => Rewrapped (C_IHInfix l1) t0

type Unwrapped (C_IHInfix l0)

type Unwrapped (C_IHInfix l0) = (l0, Type l0, QName l0)

newtype C_IHParen l

Constructors

C_IHParen (l, InstHead l)

Instances

Wrapped (C_IHParen l0)

Associated Types

type Unwrapped (C_IHParen l0) :: *

Methods

_Wrapped' :: Iso' (C_IHParen l0) (Unwrapped (C_IHParen l0))

(~) * (C_IHParen l0) t0 => Rewrapped (C_IHParen l1) t0

type Unwrapped (C_IHParen l0)

type Unwrapped (C_IHParen l0) = (l0, InstHead l0)

newtype C_IHApp l

Constructors

C_IHApp (l, InstHead l, Type l)

Instances

Wrapped (C_IHApp l0)

Associated Types

type Unwrapped (C_IHApp l0) :: *

Methods

_Wrapped' :: Iso' (C_IHApp l0) (Unwrapped (C_IHApp l0))

(~) * (C_IHApp l0) t0 => Rewrapped (C_IHApp l1) t0

type Unwrapped (C_IHApp l0)

type Unwrapped (C_IHApp l0) = (l0, InstHead l0, Type l0)

newtype C_BDecls l

Constructors

C_BDecls (l, [Decl l])

Instances

Wrapped (C_BDecls l0)

Associated Types

type Unwrapped (C_BDecls l0) :: *

Methods

_Wrapped' :: Iso' (C_BDecls l0) (Unwrapped (C_BDecls l0))

(~) * (C_BDecls l0) t0 => Rewrapped (C_BDecls l1) t0

type Unwrapped (C_BDecls l0)

type Unwrapped (C_BDecls l0) = (l0, [Decl l0])

newtype C_IPBinds l

Constructors

C_IPBinds (l, [IPBind l])

Instances

Wrapped (C_IPBinds l0)

Associated Types

type Unwrapped (C_IPBinds l0) :: *

Methods

_Wrapped' :: Iso' (C_IPBinds l0) (Unwrapped (C_IPBinds l0))

(~) * (C_IPBinds l0) t0 => Rewrapped (C_IPBinds l1) t0

type Unwrapped (C_IPBinds l0)

type Unwrapped (C_IPBinds l0) = (l0, [IPBind l0])

newtype C_Unidirectional l

Constructors

C_Unidirectional ()

Instances

Wrapped (C_Unidirectional l0)

Associated Types

type Unwrapped (C_Unidirectional l0) :: *

Methods

_Wrapped' :: Iso' (C_Unidirectional l0) (Unwrapped (C_Unidirectional l0))

(~) * (C_Unidirectional l0) t0 => Rewrapped (C_Unidirectional l1) t0

type Unwrapped (C_Unidirectional l0)

type Unwrapped (C_Unidirectional l0) = ()

newtype C_ImplicitBidirectional l

Constructors

C_ImplicitBidirectional ()

Instances

Wrapped (C_ImplicitBidirectional l0)

Associated Types

type Unwrapped (C_ImplicitBidirectional l0) :: *

Methods

_Wrapped' :: Iso' (C_ImplicitBidirectional l0) (Unwrapped (C_ImplicitBidirectional l0))

(~) * (C_ImplicitBidirectional l0) t0 => Rewrapped (C_ImplicitBidirectional l1) t0

type Unwrapped (C_ImplicitBidirectional l0)

type Unwrapped (C_ImplicitBidirectional l0) = ()

newtype C_ExplicitBidirectional l

Constructors

C_ExplicitBidirectional (l, [Decl l])

Instances

Wrapped (C_ExplicitBidirectional l0)

Associated Types

type Unwrapped (C_ExplicitBidirectional l0) :: *

Methods

_Wrapped' :: Iso' (C_ExplicitBidirectional l0) (Unwrapped (C_ExplicitBidirectional l0))

(~) * (C_ExplicitBidirectional l0) t0 => Rewrapped (C_ExplicitBidirectional l1) t0

type Unwrapped (C_ExplicitBidirectional l0)

type Unwrapped (C_ExplicitBidirectional l0) = (l0, [Decl l0])

newtype C_KindSig l

Constructors

C_KindSig (l, Kind l)

Instances

Wrapped (C_KindSig l0)

Associated Types

type Unwrapped (C_KindSig l0) :: *

Methods

_Wrapped' :: Iso' (C_KindSig l0) (Unwrapped (C_KindSig l0))

(~) * (C_KindSig l0) t0 => Rewrapped (C_KindSig l1) t0

type Unwrapped (C_KindSig l0)

type Unwrapped (C_KindSig l0) = (l0, Kind l0)

newtype C_TyVarSig l

Constructors

C_TyVarSig (l, TyVarBind l)

Instances

Wrapped (C_TyVarSig l0)

Associated Types

type Unwrapped (C_TyVarSig l0) :: *

Methods

_Wrapped' :: Iso' (C_TyVarSig l0) (Unwrapped (C_TyVarSig l0))

(~) * (C_TyVarSig l0) t0 => Rewrapped (C_TyVarSig l1) t0

type Unwrapped (C_TyVarSig l0)

type Unwrapped (C_TyVarSig l0) = (l0, TyVarBind l0)

newtype C_ClsDecl l

Constructors

C_ClsDecl (l, Decl l)

Instances

Wrapped (C_ClsDecl l0)

Associated Types

type Unwrapped (C_ClsDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_ClsDecl l0) (Unwrapped (C_ClsDecl l0))

(~) * (C_ClsDecl l0) t0 => Rewrapped (C_ClsDecl l1) t0

type Unwrapped (C_ClsDecl l0)

type Unwrapped (C_ClsDecl l0) = (l0, Decl l0)

newtype C_ClsDataFam l

Constructors

C_ClsDataFam (l, Maybe (Context l), DeclHead l, Maybe (ResultSig l))

Instances

Wrapped (C_ClsDataFam l0)

Associated Types

type Unwrapped (C_ClsDataFam l0) :: *

Methods

_Wrapped' :: Iso' (C_ClsDataFam l0) (Unwrapped (C_ClsDataFam l0))

(~) * (C_ClsDataFam l0) t0 => Rewrapped (C_ClsDataFam l1) t0

type Unwrapped (C_ClsDataFam l0)

type Unwrapped (C_ClsDataFam l0) = (l0, Maybe (Context l0), DeclHead l0, Maybe (ResultSig l0))

newtype C_ClsTyFam l

Constructors

C_ClsTyFam (l, DeclHead l, Maybe (ResultSig l), Maybe (InjectivityInfo l))

Instances

Wrapped (C_ClsTyFam l0)

Associated Types

type Unwrapped (C_ClsTyFam l0) :: *

Methods

_Wrapped' :: Iso' (C_ClsTyFam l0) (Unwrapped (C_ClsTyFam l0))

(~) * (C_ClsTyFam l0) t0 => Rewrapped (C_ClsTyFam l1) t0

type Unwrapped (C_ClsTyFam l0)

type Unwrapped (C_ClsTyFam l0) = (l0, DeclHead l0, Maybe (ResultSig l0), Maybe (InjectivityInfo l0))

newtype C_ClsTyDef l

Constructors

C_ClsTyDef (l, TypeEqn l)

Instances

Wrapped (C_ClsTyDef l0)

Associated Types

type Unwrapped (C_ClsTyDef l0) :: *

Methods

_Wrapped' :: Iso' (C_ClsTyDef l0) (Unwrapped (C_ClsTyDef l0))

(~) * (C_ClsTyDef l0) t0 => Rewrapped (C_ClsTyDef l1) t0

type Unwrapped (C_ClsTyDef l0)

type Unwrapped (C_ClsTyDef l0) = (l0, TypeEqn l0)

newtype C_ClsDefSig l

Constructors

C_ClsDefSig (l, Name l, Type l)

Instances

Wrapped (C_ClsDefSig l0)

Associated Types

type Unwrapped (C_ClsDefSig l0) :: *

Methods

_Wrapped' :: Iso' (C_ClsDefSig l0) (Unwrapped (C_ClsDefSig l0))

(~) * (C_ClsDefSig l0) t0 => Rewrapped (C_ClsDefSig l1) t0

type Unwrapped (C_ClsDefSig l0)

type Unwrapped (C_ClsDefSig l0) = (l0, Name l0, Type l0)

newtype C_InsDecl l

Constructors

C_InsDecl (l, Decl l)

Instances

Wrapped (C_InsDecl l0)

Associated Types

type Unwrapped (C_InsDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_InsDecl l0) (Unwrapped (C_InsDecl l0))

(~) * (C_InsDecl l0) t0 => Rewrapped (C_InsDecl l1) t0

type Unwrapped (C_InsDecl l0)

type Unwrapped (C_InsDecl l0) = (l0, Decl l0)

newtype C_InsType l

Constructors

C_InsType (l, Type l, Type l)

Instances

Wrapped (C_InsType l0)

Associated Types

type Unwrapped (C_InsType l0) :: *

Methods

_Wrapped' :: Iso' (C_InsType l0) (Unwrapped (C_InsType l0))

(~) * (C_InsType l0) t0 => Rewrapped (C_InsType l1) t0

type Unwrapped (C_InsType l0)

type Unwrapped (C_InsType l0) = (l0, Type l0, Type l0)

newtype C_InsData l

Constructors

C_InsData (l, DataOrNew l, Type l, [QualConDecl l], Maybe (Deriving l))

Instances

Wrapped (C_InsData l0)

Associated Types

type Unwrapped (C_InsData l0) :: *

Methods

_Wrapped' :: Iso' (C_InsData l0) (Unwrapped (C_InsData l0))

(~) * (C_InsData l0) t0 => Rewrapped (C_InsData l1) t0

type Unwrapped (C_InsData l0)

type Unwrapped (C_InsData l0) = (l0, DataOrNew l0, Type l0, [QualConDecl l0], Maybe (Deriving l0))

newtype C_InsGData l

Constructors

C_InsGData (l, DataOrNew l, Type l, Maybe (Kind l), [GadtDecl l], Maybe (Deriving l))

Instances

Wrapped (C_InsGData l0)

Associated Types

type Unwrapped (C_InsGData l0) :: *

Methods

_Wrapped' :: Iso' (C_InsGData l0) (Unwrapped (C_InsGData l0))

(~) * (C_InsGData l0) t0 => Rewrapped (C_InsGData l1) t0

type Unwrapped (C_InsGData l0)

type Unwrapped (C_InsGData l0) = (l0, DataOrNew l0, Type l0, Maybe (Kind l0), [GadtDecl l0], Maybe (Deriving l0))

newtype C_DataType l

Constructors

C_DataType l

Instances

Wrapped (C_DataType l0)

Associated Types

type Unwrapped (C_DataType l0) :: *

Methods

_Wrapped' :: Iso' (C_DataType l0) (Unwrapped (C_DataType l0))

(~) * (C_DataType l0) t0 => Rewrapped (C_DataType l1) t0

type Unwrapped (C_DataType l0)

type Unwrapped (C_DataType l0) = l0

newtype C_NewType l

Constructors

C_NewType l

Instances

Wrapped (C_NewType l0)

Associated Types

type Unwrapped (C_NewType l0) :: *

Methods

_Wrapped' :: Iso' (C_NewType l0) (Unwrapped (C_NewType l0))

(~) * (C_NewType l0) t0 => Rewrapped (C_NewType l1) t0

type Unwrapped (C_NewType l0)

type Unwrapped (C_NewType l0) = l0

newtype C_ConDecl l

Constructors

C_ConDecl (l, Name l, [Type l])

Instances

Wrapped (C_ConDecl l0)

Associated Types

type Unwrapped (C_ConDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_ConDecl l0) (Unwrapped (C_ConDecl l0))

(~) * (C_ConDecl l0) t0 => Rewrapped (C_ConDecl l1) t0

type Unwrapped (C_ConDecl l0)

type Unwrapped (C_ConDecl l0) = (l0, Name l0, [Type l0])

newtype C_InfixConDecl l

Constructors

C_InfixConDecl (l, Type l, Name l, Type l)

Instances

Wrapped (C_InfixConDecl l0)

Associated Types

type Unwrapped (C_InfixConDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_InfixConDecl l0) (Unwrapped (C_InfixConDecl l0))

(~) * (C_InfixConDecl l0) t0 => Rewrapped (C_InfixConDecl l1) t0

type Unwrapped (C_InfixConDecl l0)

type Unwrapped (C_InfixConDecl l0) = (l0, Type l0, Name l0, Type l0)

newtype C_RecDecl l

Constructors

C_RecDecl (l, Name l, [FieldDecl l])

Instances

Wrapped (C_RecDecl l0)

Associated Types

type Unwrapped (C_RecDecl l0) :: *

Methods

_Wrapped' :: Iso' (C_RecDecl l0) (Unwrapped (C_RecDecl l0))

(~) * (C_RecDecl l0) t0 => Rewrapped (C_RecDecl l1) t0

type Unwrapped (C_RecDecl l0)

type Unwrapped (C_RecDecl l0) = (l0, Name l0, [FieldDecl l0])

newtype C_BangedTy l

Constructors

C_BangedTy l

Instances

Wrapped (C_BangedTy l0)

Associated Types

type Unwrapped (C_BangedTy l0) :: *

Methods

_Wrapped' :: Iso' (C_BangedTy l0) (Unwrapped (C_BangedTy l0))

(~) * (C_BangedTy l0) t0 => Rewrapped (C_BangedTy l1) t0

type Unwrapped (C_BangedTy l0)

type Unwrapped (C_BangedTy l0) = l0

newtype C_LazyTy l

Constructors

C_LazyTy l

Instances

Wrapped (C_LazyTy l0)

Associated Types

type Unwrapped (C_LazyTy l0) :: *

Methods

_Wrapped' :: Iso' (C_LazyTy l0) (Unwrapped (C_LazyTy l0))

(~) * (C_LazyTy l0) t0 => Rewrapped (C_LazyTy l1) t0

type Unwrapped (C_LazyTy l0)

type Unwrapped (C_LazyTy l0) = l0

newtype C_NoStrictAnnot l

Constructors

C_NoStrictAnnot l

Instances

Wrapped (C_NoStrictAnnot l0)

Associated Types

type Unwrapped (C_NoStrictAnnot l0) :: *

Methods

_Wrapped' :: Iso' (C_NoStrictAnnot l0) (Unwrapped (C_NoStrictAnnot l0))

(~) * (C_NoStrictAnnot l0) t0 => Rewrapped (C_NoStrictAnnot l1) t0

type Unwrapped (C_NoStrictAnnot l0)

type Unwrapped (C_NoStrictAnnot l0) = l0

newtype C_Unpack l

Constructors

C_Unpack l

Instances

Wrapped (C_Unpack l0)

Associated Types

type Unwrapped (C_Unpack l0) :: *

Methods

_Wrapped' :: Iso' (C_Unpack l0) (Unwrapped (C_Unpack l0))

(~) * (C_Unpack l0) t0 => Rewrapped (C_Unpack l1) t0

type Unwrapped (C_Unpack l0)

type Unwrapped (C_Unpack l0) = l0

newtype C_NoUnpack l

Constructors

C_NoUnpack l

Instances

Wrapped (C_NoUnpack l0)

Associated Types

type Unwrapped (C_NoUnpack l0) :: *

Methods

_Wrapped' :: Iso' (C_NoUnpack l0) (Unwrapped (C_NoUnpack l0))

(~) * (C_NoUnpack l0) t0 => Rewrapped (C_NoUnpack l1) t0

type Unwrapped (C_NoUnpack l0)

type Unwrapped (C_NoUnpack l0) = l0

newtype C_NoUnpackPragma l

Constructors

C_NoUnpackPragma l

Instances

Wrapped (C_NoUnpackPragma l0)

Associated Types

type Unwrapped (C_NoUnpackPragma l0) :: *

Methods

_Wrapped' :: Iso' (C_NoUnpackPragma l0) (Unwrapped (C_NoUnpackPragma l0))

(~) * (C_NoUnpackPragma l0) t0 => Rewrapped (C_NoUnpackPragma l1) t0

type Unwrapped (C_NoUnpackPragma l0)

type Unwrapped (C_NoUnpackPragma l0) = l0

newtype C_Match l

Constructors

C_Match (l, Name l, [Pat l], Rhs l, Maybe (Binds l))

Instances

Wrapped (C_Match l0)

Associated Types

type Unwrapped (C_Match l0) :: *

Methods

_Wrapped' :: Iso' (C_Match l0) (Unwrapped (C_Match l0))

(~) * (C_Match l0) t0 => Rewrapped (C_Match l1) t0

type Unwrapped (C_Match l0)

type Unwrapped (C_Match l0) = (l0, Name l0, [Pat l0], Rhs l0, Maybe (Binds l0))

newtype C_InfixMatch l

Constructors

C_InfixMatch (l, Pat l, Name l, [Pat l], Rhs l, Maybe (Binds l))

Instances

Wrapped (C_InfixMatch l0)

Associated Types

type Unwrapped (C_InfixMatch l0) :: *

Methods

_Wrapped' :: Iso' (C_InfixMatch l0) (Unwrapped (C_InfixMatch l0))

(~) * (C_InfixMatch l0) t0 => Rewrapped (C_InfixMatch l1) t0

type Unwrapped (C_InfixMatch l0)

type Unwrapped (C_InfixMatch l0) = (l0, Pat l0, Name l0, [Pat l0], Rhs l0, Maybe (Binds l0))

newtype C_UnGuardedRhs l

Constructors

C_UnGuardedRhs (l, Exp l)

Instances

Wrapped (C_UnGuardedRhs l0)

Associated Types

type Unwrapped (C_UnGuardedRhs l0) :: *

Methods

_Wrapped' :: Iso' (C_UnGuardedRhs l0) (Unwrapped (C_UnGuardedRhs l0))

(~) * (C_UnGuardedRhs l0) t0 => Rewrapped (C_UnGuardedRhs l1) t0

type Unwrapped (C_UnGuardedRhs l0)

type Unwrapped (C_UnGuardedRhs l0) = (l0, Exp l0)

newtype C_GuardedRhss l

Constructors

C_GuardedRhss (l, [GuardedRhs l])

Instances

Wrapped (C_GuardedRhss l0)

Associated Types

type Unwrapped (C_GuardedRhss l0) :: *

Methods

_Wrapped' :: Iso' (C_GuardedRhss l0) (Unwrapped (C_GuardedRhss l0))

(~) * (C_GuardedRhss l0) t0 => Rewrapped (C_GuardedRhss l1) t0

type Unwrapped (C_GuardedRhss l0)

type Unwrapped (C_GuardedRhss l0) = (l0, [GuardedRhs l0])

newtype C_CxSingle l

Constructors

C_CxSingle (l, Asst l)

Instances

Wrapped (C_CxSingle l0)

Associated Types

type Unwrapped (C_CxSingle l0) :: *

Methods

_Wrapped' :: Iso' (C_CxSingle l0) (Unwrapped (C_CxSingle l0))

(~) * (C_CxSingle l0) t0 => Rewrapped (C_CxSingle l1) t0

type Unwrapped (C_CxSingle l0)

type Unwrapped (C_CxSingle l0) = (l0, Asst l0)

newtype C_CxTuple l

Constructors

C_CxTuple (l, [Asst l])

Instances

Wrapped (C_CxTuple l0)

Associated Types

type Unwrapped (C_CxTuple l0) :: *

Methods

_Wrapped' :: Iso' (C_CxTuple l0) (Unwrapped (C_CxTuple l0))

(~) * (C_CxTuple l0) t0 => Rewrapped (C_CxTuple l1) t0

type Unwrapped (C_CxTuple l0)

type Unwrapped (C_CxTuple l0) = (l0, [Asst l0])

newtype C_CxEmpty l

Constructors

C_CxEmpty l

Instances

Wrapped (C_CxEmpty l0)

Associated Types

type Unwrapped (C_CxEmpty l0) :: *

Methods

_Wrapped' :: Iso' (C_CxEmpty l0) (Unwrapped (C_CxEmpty l0))

(~) * (C_CxEmpty l0) t0 => Rewrapped (C_CxEmpty l1) t0

type Unwrapped (C_CxEmpty l0)

type Unwrapped (C_CxEmpty l0) = l0

newtype C_ClassA l

Constructors

C_ClassA (l, QName l, [Type l])

Instances

Wrapped (C_ClassA l0)

Associated Types

type Unwrapped (C_ClassA l0) :: *

Methods

_Wrapped' :: Iso' (C_ClassA l0) (Unwrapped (C_ClassA l0))

(~) * (C_ClassA l0) t0 => Rewrapped (C_ClassA l1) t0

type Unwrapped (C_ClassA l0)

type Unwrapped (C_ClassA l0) = (l0, QName l0, [Type l0])

newtype C_AppA l

Constructors

C_AppA (l, Name l, [Type l])

Instances

Wrapped (C_AppA l0)

Associated Types

type Unwrapped (C_AppA l0) :: *

Methods

_Wrapped' :: Iso' (C_AppA l0) (Unwrapped (C_AppA l0))

(~) * (C_AppA l0) t0 => Rewrapped (C_AppA l1) t0

type Unwrapped (C_AppA l0)

type Unwrapped (C_AppA l0) = (l0, Name l0, [Type l0])

newtype C_InfixA l

Constructors

C_InfixA (l, Type l, QName l, Type l)

Instances

Wrapped (C_InfixA l0)

Associated Types

type Unwrapped (C_InfixA l0) :: *

Methods

_Wrapped' :: Iso' (C_InfixA l0) (Unwrapped (C_InfixA l0))

(~) * (C_InfixA l0) t0 => Rewrapped (C_InfixA l1) t0

type Unwrapped (C_InfixA l0)

type Unwrapped (C_InfixA l0) = (l0, Type l0, QName l0, Type l0)

newtype C_IParam l

Constructors

C_IParam (l, IPName l, Type l)

Instances

Wrapped (C_IParam l0)

Associated Types

type Unwrapped (C_IParam l0) :: *

Methods

_Wrapped' :: Iso' (C_IParam l0) (Unwrapped (C_IParam l0))

(~) * (C_IParam l0) t0 => Rewrapped (C_IParam l1) t0

type Unwrapped (C_IParam l0)

type Unwrapped (C_IParam l0) = (l0, IPName l0, Type l0)

newtype C_EqualP l

Constructors

C_EqualP (l, Type l, Type l)

Instances

Wrapped (C_EqualP l0)

Associated Types

type Unwrapped (C_EqualP l0) :: *

Methods

_Wrapped' :: Iso' (C_EqualP l0) (Unwrapped (C_EqualP l0))

(~) * (C_EqualP l0) t0 => Rewrapped (C_EqualP l1) t0

type Unwrapped (C_EqualP l0)

type Unwrapped (C_EqualP l0) = (l0, Type l0, Type l0)

newtype C_ParenA l

Constructors

C_ParenA (l, Asst l)

Instances

Wrapped (C_ParenA l0)

Associated Types

type Unwrapped (C_ParenA l0) :: *

Methods

_Wrapped' :: Iso' (C_ParenA l0) (Unwrapped (C_ParenA l0))

(~) * (C_ParenA l0) t0 => Rewrapped (C_ParenA l1) t0

type Unwrapped (C_ParenA l0)

type Unwrapped (C_ParenA l0) = (l0, Asst l0)

newtype C_WildCardA l

Constructors

C_WildCardA (l, Maybe (Name l))

Instances

Wrapped (C_WildCardA l0)

Associated Types

type Unwrapped (C_WildCardA l0) :: *

Methods

_Wrapped' :: Iso' (C_WildCardA l0) (Unwrapped (C_WildCardA l0))

(~) * (C_WildCardA l0) t0 => Rewrapped (C_WildCardA l1) t0

type Unwrapped (C_WildCardA l0)

type Unwrapped (C_WildCardA l0) = (l0, Maybe (Name l0))

newtype C_TyForall l

Constructors

C_TyForall (l, Maybe [TyVarBind l], Maybe (Context l), Type l)

Instances

Wrapped (C_TyForall l0)

Associated Types

type Unwrapped (C_TyForall l0) :: *

Methods

_Wrapped' :: Iso' (C_TyForall l0) (Unwrapped (C_TyForall l0))

(~) * (C_TyForall l0) t0 => Rewrapped (C_TyForall l1) t0

type Unwrapped (C_TyForall l0)

type Unwrapped (C_TyForall l0) = (l0, Maybe [TyVarBind l0], Maybe (Context l0), Type l0)

newtype C_TyFun l

Constructors

C_TyFun (l, Type l, Type l)

Instances

Wrapped (C_TyFun l0)

Associated Types

type Unwrapped (C_TyFun l0) :: *

Methods

_Wrapped' :: Iso' (C_TyFun l0) (Unwrapped (C_TyFun l0))

(~) * (C_TyFun l0) t0 => Rewrapped (C_TyFun l1) t0

type Unwrapped (C_TyFun l0)

type Unwrapped (C_TyFun l0) = (l0, Type l0, Type l0)

newtype C_TyTuple l

Constructors

C_TyTuple (l, Boxed, [Type l])

Instances

Wrapped (C_TyTuple l0)

Associated Types

type Unwrapped (C_TyTuple l0) :: *

Methods

_Wrapped' :: Iso' (C_TyTuple l0) (Unwrapped (C_TyTuple l0))

(~) * (C_TyTuple l0) t0 => Rewrapped (C_TyTuple l1) t0

type Unwrapped (C_TyTuple l0)

type Unwrapped (C_TyTuple l0) = (l0, Boxed, [Type l0])

newtype C_TyList l

Constructors

C_TyList (l, Type l)

Instances

Wrapped (C_TyList l0)

Associated Types

type Unwrapped (C_TyList l0) :: *

Methods

_Wrapped' :: Iso' (C_TyList l0) (Unwrapped (C_TyList l0))

(~) * (C_TyList l0) t0 => Rewrapped (C_TyList l1) t0

type Unwrapped (C_TyList l0)

type Unwrapped (C_TyList l0) = (l0, Type l0)

newtype C_TyParArray l

Constructors

C_TyParArray (l, Type l)

Instances

Wrapped (C_TyParArray l0)

Associated Types

type Unwrapped (C_TyParArray l0) :: *

Methods

_Wrapped' :: Iso' (C_TyParArray l0) (Unwrapped (C_TyParArray l0))

(~) * (C_TyParArray l0) t0 => Rewrapped (C_TyParArray l1) t0

type Unwrapped (C_TyParArray l0)

type Unwrapped (C_TyParArray l0) = (l0, Type l0)

newtype C_TyApp l

Constructors

C_TyApp (l, Type l, Type l)

Instances

Wrapped (C_TyApp l0)

Associated Types

type Unwrapped (C_TyApp l0) :: *

Methods

_Wrapped' :: Iso' (C_TyApp l0) (Unwrapped (C_TyApp l0))

(~) * (C_TyApp l0) t0 => Rewrapped (C_TyApp l1) t0

type Unwrapped (C_TyApp l0)

type Unwrapped (C_TyApp l0) = (l0, Type l0, Type l0)

newtype C_TyVar l

Constructors

C_TyVar (l, Name l)

Instances

Wrapped (C_TyVar l0)

Associated Types

type Unwrapped (C_TyVar l0) :: *

Methods

_Wrapped' :: Iso' (C_TyVar l0) (Unwrapped (C_TyVar l0))

(~) * (C_TyVar l0) t0 => Rewrapped (C_TyVar l1) t0

type Unwrapped (C_TyVar l0)

type Unwrapped (C_TyVar l0) = (l0, Name l0)

newtype C_TyCon l

Constructors

C_TyCon (l, QName l)

Instances

Wrapped (C_TyCon l0)

Associated Types

type Unwrapped (C_TyCon l0) :: *

Methods

_Wrapped' :: Iso' (C_TyCon l0) (Unwrapped (C_TyCon l0))

(~) * (C_TyCon l0) t0 => Rewrapped (C_TyCon l1) t0

type Unwrapped (C_TyCon l0)

type Unwrapped (C_TyCon l0) = (l0, QName l0)

newtype C_TyParen l

Constructors

C_TyParen (l, Type l)

Instances

Wrapped (C_TyParen l0)

Associated Types

type Unwrapped (C_TyParen l0) :: *

Methods

_Wrapped' :: Iso' (C_TyParen l0) (Unwrapped (C_TyParen l0))

(~) * (C_TyParen l0) t0 => Rewrapped (C_TyParen l1) t0

type Unwrapped (C_TyParen l0)

type Unwrapped (C_TyParen l0) = (l0, Type l0)

newtype C_TyInfix l

Constructors

C_TyInfix (l, Type l, QName l, Type l)

Instances

Wrapped (C_TyInfix l0)

Associated Types

type Unwrapped (C_TyInfix l0) :: *

Methods

_Wrapped' :: Iso' (C_TyInfix l0) (Unwrapped (C_TyInfix l0))

(~) * (C_TyInfix l0) t0 => Rewrapped (C_TyInfix l1) t0

type Unwrapped (C_TyInfix l0)

type Unwrapped (C_TyInfix l0) = (l0, Type l0, QName l0, Type l0)

newtype C_TyKind l

Constructors

C_TyKind (l, Type l, Kind l)

Instances

Wrapped (C_TyKind l0)

Associated Types

type Unwrapped (C_TyKind l0) :: *

Methods

_Wrapped' :: Iso' (C_TyKind l0) (Unwrapped (C_TyKind l0))

(~) * (C_TyKind l0) t0 => Rewrapped (C_TyKind l1) t0

type Unwrapped (C_TyKind l0)

type Unwrapped (C_TyKind l0) = (l0, Type l0, Kind l0)

newtype C_TyPromoted l

Constructors

C_TyPromoted (l, Promoted l)

Instances

Wrapped (C_TyPromoted l0)

Associated Types

type Unwrapped (C_TyPromoted l0) :: *

Methods

_Wrapped' :: Iso' (C_TyPromoted l0) (Unwrapped (C_TyPromoted l0))

(~) * (C_TyPromoted l0) t0 => Rewrapped (C_TyPromoted l1) t0

type Unwrapped (C_TyPromoted l0)

type Unwrapped (C_TyPromoted l0) = (l0, Promoted l0)

newtype C_TyEquals l

Constructors

C_TyEquals (l, Type l, Type l)

Instances

Wrapped (C_TyEquals l0)

Associated Types

type Unwrapped (C_TyEquals l0) :: *

Methods

_Wrapped' :: Iso' (C_TyEquals l0) (Unwrapped (C_TyEquals l0))

(~) * (C_TyEquals l0) t0 => Rewrapped (C_TyEquals l1) t0

type Unwrapped (C_TyEquals l0)

type Unwrapped (C_TyEquals l0) = (l0, Type l0, Type l0)

newtype C_TySplice l

Constructors

C_TySplice (l, Splice l)

Instances

Wrapped (C_TySplice l0)

Associated Types

type Unwrapped (C_TySplice l0) :: *

Methods

_Wrapped' :: Iso' (C_TySplice l0) (Unwrapped (C_TySplice l0))

(~) * (C_TySplice l0) t0 => Rewrapped (C_TySplice l1) t0

type Unwrapped (C_TySplice l0)

type Unwrapped (C_TySplice l0) = (l0, Splice l0)

newtype C_TyBang l

Constructors

C_TyBang (l, BangType l, Unpackedness l, Type l)

Instances

Wrapped (C_TyBang l0)

Associated Types

type Unwrapped (C_TyBang l0) :: *

Methods

_Wrapped' :: Iso' (C_TyBang l0) (Unwrapped (C_TyBang l0))

(~) * (C_TyBang l0) t0 => Rewrapped (C_TyBang l1) t0

type Unwrapped (C_TyBang l0)

type Unwrapped (C_TyBang l0) = (l0, BangType l0, Unpackedness l0, Type l0)

newtype C_TyWildCard l

Constructors

C_TyWildCard (l, Maybe (Name l))

Instances

Wrapped (C_TyWildCard l0)

Associated Types

type Unwrapped (C_TyWildCard l0) :: *

Methods

_Wrapped' :: Iso' (C_TyWildCard l0) (Unwrapped (C_TyWildCard l0))

(~) * (C_TyWildCard l0) t0 => Rewrapped (C_TyWildCard l1) t0

type Unwrapped (C_TyWildCard l0)

type Unwrapped (C_TyWildCard l0) = (l0, Maybe (Name l0))

newtype C_TyQuasiQuote l

Constructors

C_TyQuasiQuote (l, String, String)

Instances

Wrapped (C_TyQuasiQuote l0)

Associated Types

type Unwrapped (C_TyQuasiQuote l0) :: *

Methods

_Wrapped' :: Iso' (C_TyQuasiQuote l0) (Unwrapped (C_TyQuasiQuote l0))

(~) * (C_TyQuasiQuote l0) t0 => Rewrapped (C_TyQuasiQuote l1) t0

type Unwrapped (C_TyQuasiQuote l0)

type Unwrapped (C_TyQuasiQuote l0) = (l0, String, String)

newtype C_Boxed

Constructors

C_Boxed ()

Instances

Wrapped C_Boxed

Associated Types

type Unwrapped C_Boxed :: *

Methods

_Wrapped' :: Iso' C_Boxed (Unwrapped C_Boxed)

(~) * C_Boxed t0 => Rewrapped C_Boxed t0

type Unwrapped C_Boxed

type Unwrapped C_Boxed = ()

newtype C_Unboxed

Constructors

C_Unboxed ()

Instances

Wrapped C_Unboxed

Associated Types

type Unwrapped C_Unboxed :: *

Methods

_Wrapped' :: Iso' C_Unboxed (Unwrapped C_Unboxed)

(~) * C_Unboxed t0 => Rewrapped C_Unboxed t0

type Unwrapped C_Unboxed

type Unwrapped C_Unboxed = ()

newtype C_KindStar l

Constructors

C_KindStar l

Instances

Wrapped (C_KindStar l0)

Associated Types

type Unwrapped (C_KindStar l0) :: *

Methods

_Wrapped' :: Iso' (C_KindStar l0) (Unwrapped (C_KindStar l0))

(~) * (C_KindStar l0) t0 => Rewrapped (C_KindStar l1) t0

type Unwrapped (C_KindStar l0)

type Unwrapped (C_KindStar l0) = l0

newtype C_KindFn l

Constructors

C_KindFn (l, Kind l, Kind l)

Instances

Wrapped (C_KindFn l0)

Associated Types

type Unwrapped (C_KindFn l0) :: *

Methods

_Wrapped' :: Iso' (C_KindFn l0) (Unwrapped (C_KindFn l0))

(~) * (C_KindFn l0) t0 => Rewrapped (C_KindFn l1) t0

type Unwrapped (C_KindFn l0)

type Unwrapped (C_KindFn l0) = (l0, Kind l0, Kind l0)

newtype C_KindParen l

Constructors

C_KindParen (l, Kind l)

Instances

Wrapped (C_KindParen l0)

Associated Types

type Unwrapped (C_KindParen l0) :: *

Methods

_Wrapped' :: Iso' (C_KindParen l0) (Unwrapped (C_KindParen l0))

(~) * (C_KindParen l0) t0 => Rewrapped (C_KindParen l1) t0

type Unwrapped (C_KindParen l0)

type Unwrapped (C_KindParen l0) = (l0, Kind l0)

newtype C_KindVar l

Constructors

C_KindVar (l, QName l)

Instances

Wrapped (C_KindVar l0)

Associated Types

type Unwrapped (C_KindVar l0) :: *

Methods

_Wrapped' :: Iso' (C_KindVar l0) (Unwrapped (C_KindVar l0))

(~) * (C_KindVar l0) t0 => Rewrapped (C_KindVar l1) t0

type Unwrapped (C_KindVar l0)

type Unwrapped (C_KindVar l0) = (l0, QName l0)

newtype C_KindApp l

Constructors

C_KindApp (l, Kind l, Kind l)

Instances

Wrapped (C_KindApp l0)

Associated Types

type Unwrapped (C_KindApp l0) :: *

Methods

_Wrapped' :: Iso' (C_KindApp l0) (Unwrapped (C_KindApp l0))

(~) * (C_KindApp l0) t0 => Rewrapped (C_KindApp l1) t0

type Unwrapped (C_KindApp l0)

type Unwrapped (C_KindApp l0) = (l0, Kind l0, Kind l0)

newtype C_KindTuple l

Constructors

C_KindTuple (l, [Kind l])

Instances

Wrapped (C_KindTuple l0)

Associated Types

type Unwrapped (C_KindTuple l0) :: *

Methods

_Wrapped' :: Iso' (C_KindTuple l0) (Unwrapped (C_KindTuple l0))

(~) * (C_KindTuple l0) t0 => Rewrapped (C_KindTuple l1) t0

type Unwrapped (C_KindTuple l0)

type Unwrapped (C_KindTuple l0) = (l0, [Kind l0])

newtype C_KindList l

Constructors

C_KindList (l, Kind l)

Instances

Wrapped (C_KindList l0)

Associated Types

type Unwrapped (C_KindList l0) :: *

Methods

_Wrapped' :: Iso' (C_KindList l0) (Unwrapped (C_KindList l0))

(~) * (C_KindList l0) t0 => Rewrapped (C_KindList l1) t0

type Unwrapped (C_KindList l0)

type Unwrapped (C_KindList l0) = (l0, Kind l0)

newtype C_KindedVar l

Constructors

C_KindedVar (l, Name l, Kind l)

Instances

Wrapped (C_KindedVar l0)

Associated Types

type Unwrapped (C_KindedVar l0) :: *

Methods

_Wrapped' :: Iso' (C_KindedVar l0) (Unwrapped (C_KindedVar l0))

(~) * (C_KindedVar l0) t0 => Rewrapped (C_KindedVar l1) t0

type Unwrapped (C_KindedVar l0)

type Unwrapped (C_KindedVar l0) = (l0, Name l0, Kind l0)

newtype C_UnkindedVar l

Constructors

C_UnkindedVar (l, Name l)

Instances

Wrapped (C_UnkindedVar l0)

Associated Types

type Unwrapped (C_UnkindedVar l0) :: *

Methods

_Wrapped' :: Iso' (C_UnkindedVar l0) (Unwrapped (C_UnkindedVar l0))

(~) * (C_UnkindedVar l0) t0 => Rewrapped (C_UnkindedVar l1) t0

type Unwrapped (C_UnkindedVar l0)

type Unwrapped (C_UnkindedVar l0) = (l0, Name l0)

newtype C_PromotedInteger l

Constructors

C_PromotedInteger (l, Integer, String)

Instances

Wrapped (C_PromotedInteger l0)

Associated Types

type Unwrapped (C_PromotedInteger l0) :: *

Methods

_Wrapped' :: Iso' (C_PromotedInteger l0) (Unwrapped (C_PromotedInteger l0))

(~) * (C_PromotedInteger l0) t0 => Rewrapped (C_PromotedInteger l1) t0

type Unwrapped (C_PromotedInteger l0)

type Unwrapped (C_PromotedInteger l0) = (l0, Integer, String)

newtype C_PromotedString l

Constructors

C_PromotedString (l, String, String)

Instances

Wrapped (C_PromotedString l0)

Associated Types

type Unwrapped (C_PromotedString l0) :: *

Methods

_Wrapped' :: Iso' (C_PromotedString l0) (Unwrapped (C_PromotedString l0))

(~) * (C_PromotedString l0) t0 => Rewrapped (C_PromotedString l1) t0

type Unwrapped (C_PromotedString l0)

type Unwrapped (C_PromotedString l0) = (l0, String, String)

newtype C_PromotedCon l

Constructors

C_PromotedCon (l, Bool, QName l)

Instances

Wrapped (C_PromotedCon l0)

Associated Types

type Unwrapped (C_PromotedCon l0) :: *

Methods

_Wrapped' :: Iso' (C_PromotedCon l0) (Unwrapped (C_PromotedCon l0))

(~) * (C_PromotedCon l0) t0 => Rewrapped (C_PromotedCon l1) t0

type Unwrapped (C_PromotedCon l0)

type Unwrapped (C_PromotedCon l0) = (l0, Bool, QName l0)

newtype C_PromotedList l

Constructors

C_PromotedList (l, Bool, [Type l])

Instances

Wrapped (C_PromotedList l0)

Associated Types

type Unwrapped (C_PromotedList l0) :: *

Methods

_Wrapped' :: Iso' (C_PromotedList l0) (Unwrapped (C_PromotedList l0))

(~) * (C_PromotedList l0) t0 => Rewrapped (C_PromotedList l1) t0

type Unwrapped (C_PromotedList l0)

type Unwrapped (C_PromotedList l0) = (l0, Bool, [Type l0])

newtype C_PromotedTuple l

Constructors

C_PromotedTuple (l, [Type l])

Instances

Wrapped (C_PromotedTuple l0)

Associated Types

type Unwrapped (C_PromotedTuple l0) :: *

Methods

_Wrapped' :: Iso' (C_PromotedTuple l0) (Unwrapped (C_PromotedTuple l0))

(~) * (C_PromotedTuple l0) t0 => Rewrapped (C_PromotedTuple l1) t0

type Unwrapped (C_PromotedTuple l0)

type Unwrapped (C_PromotedTuple l0) = (l0, [Type l0])

newtype C_PromotedUnit l

Constructors

C_PromotedUnit l

Instances

Wrapped (C_PromotedUnit l0)

Associated Types

type Unwrapped (C_PromotedUnit l0) :: *

Methods

_Wrapped' :: Iso' (C_PromotedUnit l0) (Unwrapped (C_PromotedUnit l0))

(~) * (C_PromotedUnit l0) t0 => Rewrapped (C_PromotedUnit l1) t0

type Unwrapped (C_PromotedUnit l0)

type Unwrapped (C_PromotedUnit l0) = l0

newtype C_Var l

Constructors

C_Var (l, QName l)

Instances

Wrapped (C_Var l0)

Associated Types

type Unwrapped (C_Var l0) :: *

Methods

_Wrapped' :: Iso' (C_Var l0) (Unwrapped (C_Var l0))

(~) * (C_Var l0) t0 => Rewrapped (C_Var l1) t0

type Unwrapped (C_Var l0)

type Unwrapped (C_Var l0) = (l0, QName l0)

newtype C_OverloadedLabel l

Constructors

C_OverloadedLabel (l, String)

Instances

Wrapped (C_OverloadedLabel l0)

Associated Types

type Unwrapped (C_OverloadedLabel l0) :: *

Methods

_Wrapped' :: Iso' (C_OverloadedLabel l0) (Unwrapped (C_OverloadedLabel l0))

(~) * (C_OverloadedLabel l0) t0 => Rewrapped (C_OverloadedLabel l1) t0

type Unwrapped (C_OverloadedLabel l0)

type Unwrapped (C_OverloadedLabel l0) = (l0, String)

newtype C_IPVar l

Constructors

C_IPVar (l, IPName l)

Instances

Wrapped (C_IPVar l0)

Associated Types

type Unwrapped (C_IPVar l0) :: *

Methods

_Wrapped' :: Iso' (C_IPVar l0) (Unwrapped (C_IPVar l0))

(~) * (C_IPVar l0) t0 => Rewrapped (C_IPVar l1) t0

type Unwrapped (C_IPVar l0)

type Unwrapped (C_IPVar l0) = (l0, IPName l0)

newtype C_Con l

Constructors

C_Con (l, QName l)

Instances

Wrapped (C_Con l0)

Associated Types

type Unwrapped (C_Con l0) :: *

Methods

_Wrapped' :: Iso' (C_Con l0) (Unwrapped (C_Con l0))

(~) * (C_Con l0) t0 => Rewrapped (C_Con l1) t0

type Unwrapped (C_Con l0)

type Unwrapped (C_Con l0) = (l0, QName l0)

newtype C_Lit l

Constructors

C_Lit (l, Literal l)

Instances

Wrapped (C_Lit l0)

Associated Types

type Unwrapped (C_Lit l0) :: *

Methods

_Wrapped' :: Iso' (C_Lit l0) (Unwrapped (C_Lit l0))

(~) * (C_Lit l0) t0 => Rewrapped (C_Lit l1) t0

type Unwrapped (C_Lit l0)

type Unwrapped (C_Lit l0) = (l0, Literal l0)

newtype C_InfixApp l

Constructors

C_InfixApp (l, Exp l, QOp l, Exp l)

Instances

Wrapped (C_InfixApp l0)

Associated Types

type Unwrapped (C_InfixApp l0) :: *

Methods

_Wrapped' :: Iso' (C_InfixApp l0) (Unwrapped (C_InfixApp l0))

(~) * (C_InfixApp l0) t0 => Rewrapped (C_InfixApp l1) t0

type Unwrapped (C_InfixApp l0)

type Unwrapped (C_InfixApp l0) = (l0, Exp l0, QOp l0, Exp l0)

newtype C_App l

Constructors

C_App (l, Exp l, Exp l)

Instances

Wrapped (C_App l0)

Associated Types

type Unwrapped (C_App l0) :: *

Methods

_Wrapped' :: Iso' (C_App l0) (Unwrapped (C_App l0))

(~) * (C_App l0) t0 => Rewrapped (C_App l1) t0

type Unwrapped (C_App l0)

type Unwrapped (C_App l0) = (l0, Exp l0, Exp l0)

newtype C_NegApp l

Constructors

C_NegApp (l, Exp l)

Instances

Wrapped (C_NegApp l0)

Associated Types

type Unwrapped (C_NegApp l0) :: *

Methods

_Wrapped' :: Iso' (C_NegApp l0) (Unwrapped (C_NegApp l0))

(~) * (C_NegApp l0) t0 => Rewrapped (C_NegApp l1) t0

type Unwrapped (C_NegApp l0)

type Unwrapped (C_NegApp l0) = (l0, Exp l0)

newtype C_Lambda l

Constructors

C_Lambda (l, [Pat l], Exp l)

Instances

Wrapped (C_Lambda l0)

Associated Types

type Unwrapped (C_Lambda l0) :: *

Methods

_Wrapped' :: Iso' (C_Lambda l0) (Unwrapped (C_Lambda l0))

(~) * (C_Lambda l0) t0 => Rewrapped (C_Lambda l1) t0

type Unwrapped (C_Lambda l0)

type Unwrapped (C_Lambda l0) = (l0, [Pat l0], Exp l0)

newtype C_Let l

Constructors

C_Let (l, Binds l, Exp l)

Instances

Wrapped (C_Let l0)

Associated Types

type Unwrapped (C_Let l0) :: *

Methods

_Wrapped' :: Iso' (C_Let l0) (Unwrapped (C_Let l0))

(~) * (C_Let l0) t0 => Rewrapped (C_Let l1) t0

type Unwrapped (C_Let l0)

type Unwrapped (C_Let l0) = (l0, Binds l0, Exp l0)

newtype C_If l

Constructors

C_If (l, Exp l, Exp l, Exp l)

Instances

Wrapped (C_If l0)

Associated Types

type Unwrapped (C_If l0) :: *

Methods

_Wrapped' :: Iso' (C_If l0) (Unwrapped (C_If l0))

(~) * (C_If l0) t0 => Rewrapped (C_If l1) t0

type Unwrapped (C_If l0)

type Unwrapped (C_If l0) = (l0, Exp l0, Exp l0, Exp l0)

newtype C_MultiIf l

Constructors

C_MultiIf (l, [GuardedRhs l])

Instances

Wrapped (C_MultiIf l0)

Associated Types

type Unwrapped (C_MultiIf l0) :: *

Methods

_Wrapped' :: Iso' (C_MultiIf l0) (Unwrapped (C_MultiIf l0))

(~) * (C_MultiIf l0) t0 => Rewrapped (C_MultiIf l1) t0

type Unwrapped (C_MultiIf l0)

type Unwrapped (C_MultiIf l0) = (l0, [GuardedRhs l0])

newtype C_Case l

Constructors

C_Case (l, Exp l, [Alt l])

Instances

Wrapped (C_Case l0)

Associated Types

type Unwrapped (C_Case l0) :: *

Methods

_Wrapped' :: Iso' (C_Case l0) (Unwrapped (C_Case l0))

(~) * (C_Case l0) t0 => Rewrapped (C_Case l1) t0

type Unwrapped (C_Case l0)

type Unwrapped (C_Case l0) = (l0, Exp l0, [Alt l0])

newtype C_Do l

Constructors

C_Do (l, [Stmt l])

Instances

Wrapped (C_Do l0)

Associated Types

type Unwrapped (C_Do l0) :: *

Methods

_Wrapped' :: Iso' (C_Do l0) (Unwrapped (C_Do l0))

(~) * (C_Do l0) t0 => Rewrapped (C_Do l1) t0

type Unwrapped (C_Do l0)

type Unwrapped (C_Do l0) = (l0, [Stmt l0])

newtype C_MDo l

Constructors

C_MDo (l, [Stmt l])

Instances

Wrapped (C_MDo l0)

Associated Types

type Unwrapped (C_MDo l0) :: *

Methods

_Wrapped' :: Iso' (C_MDo l0) (Unwrapped (C_MDo l0))

(~) * (C_MDo l0) t0 => Rewrapped (C_MDo l1) t0

type Unwrapped (C_MDo l0)

type Unwrapped (C_MDo l0) = (l0, [Stmt l0])

newtype C_Tuple l

Constructors

C_Tuple (l, Boxed, [Exp l])

Instances

Wrapped (C_Tuple l0)

Associated Types

type Unwrapped (C_Tuple l0) :: *

Methods

_Wrapped' :: Iso' (C_Tuple l0) (Unwrapped (C_Tuple l0))

(~) * (C_Tuple l0) t0 => Rewrapped (C_Tuple l1) t0

type Unwrapped (C_Tuple l0)

type Unwrapped (C_Tuple l0) = (l0, Boxed, [Exp l0])

newtype C_TupleSection l

Constructors

C_TupleSection (l, Boxed, [Maybe (Exp l)])

Instances

Wrapped (C_TupleSection l0)

Associated Types

type Unwrapped (C_TupleSection l0) :: *

Methods

_Wrapped' :: Iso' (C_TupleSection l0) (Unwrapped (C_TupleSection l0))

(~) * (C_TupleSection l0) t0 => Rewrapped (C_TupleSection l1) t0

type Unwrapped (C_TupleSection l0)

type Unwrapped (C_TupleSection l0) = (l0, Boxed, [Maybe (Exp l0)])

newtype C_List l

Constructors

C_List (l, [Exp l])

Instances

Wrapped (C_List l0)

Associated Types

type Unwrapped (C_List l0) :: *

Methods

_Wrapped' :: Iso' (C_List l0) (Unwrapped (C_List l0))

(~) * (C_List l0) t0 => Rewrapped (C_List l1) t0

type Unwrapped (C_List l0)

type Unwrapped (C_List l0) = (l0, [Exp l0])

newtype C_ParArray l

Constructors

C_ParArray (l, [Exp l])

Instances

Wrapped (C_ParArray l0)

Associated Types

type Unwrapped (C_ParArray l0) :: *

Methods

_Wrapped' :: Iso' (C_ParArray l0) (Unwrapped (C_ParArray l0))

(~) * (C_ParArray l0) t0 => Rewrapped (C_ParArray l1) t0

type Unwrapped (C_ParArray l0)

type Unwrapped (C_ParArray l0) = (l0, [Exp l0])

newtype C_Paren l

Constructors

C_Paren (l, Exp l)

Instances

Wrapped (C_Paren l0)

Associated Types

type Unwrapped (C_Paren l0) :: *

Methods

_Wrapped' :: Iso' (C_Paren l0) (Unwrapped (C_Paren l0))

(~) * (C_Paren l0) t0 => Rewrapped (C_Paren l1) t0

type Unwrapped (C_Paren l0)

type Unwrapped (C_Paren l0) = (l0, Exp l0)

newtype C_LeftSection l

Constructors

C_LeftSection (l, Exp l, QOp l)

Instances

Wrapped (C_LeftSection l0)

Associated Types

type Unwrapped (C_LeftSection l0) :: *

Methods

_Wrapped' :: Iso' (C_LeftSection l0) (Unwrapped (C_LeftSection l0))

(~) * (C_LeftSection l0) t0 => Rewrapped (C_LeftSection l1) t0

type Unwrapped (C_LeftSection l0)

type Unwrapped (C_LeftSection l0) = (l0, Exp l0, QOp l0)

newtype C_RightSection l

Constructors

C_RightSection (l, QOp l, Exp l)

Instances

Wrapped (C_RightSection l0)

Associated Types

type Unwrapped (C_RightSection l0) :: *

Methods

_Wrapped' :: Iso' (C_RightSection l0) (Unwrapped (C_RightSection l0))

(~) * (C_RightSection l0) t0 => Rewrapped (C_RightSection l1) t0

type Unwrapped (C_RightSection l0)

type Unwrapped (C_RightSection l0) = (l0, QOp l0, Exp l0)

newtype C_RecConstr l

Constructors

C_RecConstr (l, QName l, [FieldUpdate l])

Instances

Wrapped (C_RecConstr l0)

Associated Types

type Unwrapped (C_RecConstr l0) :: *

Methods

_Wrapped' :: Iso' (C_RecConstr l0) (Unwrapped (C_RecConstr l0))

(~) * (C_RecConstr l0) t0 => Rewrapped (C_RecConstr l1) t0

type Unwrapped (C_RecConstr l0)

type Unwrapped (C_RecConstr l0) = (l0, QName l0, [FieldUpdate l0])

newtype C_RecUpdate l

Constructors

C_RecUpdate (l, Exp l, [FieldUpdate l])

Instances

Wrapped (C_RecUpdate l0)

Associated Types

type Unwrapped (C_RecUpdate l0) :: *

Methods

_Wrapped' :: Iso' (C_RecUpdate l0) (Unwrapped (C_RecUpdate l0))

(~) * (C_RecUpdate l0) t0 => Rewrapped (C_RecUpdate l1) t0

type Unwrapped (C_RecUpdate l0)

type Unwrapped (C_RecUpdate l0) = (l0, Exp l0, [FieldUpdate l0])

newtype C_EnumFrom l

Constructors

C_EnumFrom (l, Exp l)

Instances

Wrapped (C_EnumFrom l0)

Associated Types

type Unwrapped (C_EnumFrom l0) :: *

Methods

_Wrapped' :: Iso' (C_EnumFrom l0) (Unwrapped (C_EnumFrom l0))

(~) * (C_EnumFrom l0) t0 => Rewrapped (C_EnumFrom l1) t0

type Unwrapped (C_EnumFrom l0)

type Unwrapped (C_EnumFrom l0) = (l0, Exp l0)

newtype C_EnumFromTo l

Constructors

C_EnumFromTo (l, Exp l, Exp l)

Instances

Wrapped (C_EnumFromTo l0)

Associated Types

type Unwrapped (C_EnumFromTo l0) :: *

Methods

_Wrapped' :: Iso' (C_EnumFromTo l0) (Unwrapped (C_EnumFromTo l0))

(~) * (C_EnumFromTo l0) t0 => Rewrapped (C_EnumFromTo l1) t0

type Unwrapped (C_EnumFromTo l0)

type Unwrapped (C_EnumFromTo l0) = (l0, Exp l0, Exp l0)

newtype C_EnumFromThen l

Constructors

C_EnumFromThen (l, Exp l, Exp l)

Instances

Wrapped (C_EnumFromThen l0)

Associated Types

type Unwrapped (C_EnumFromThen l0) :: *

Methods

_Wrapped' :: Iso' (C_EnumFromThen l0) (Unwrapped (C_EnumFromThen l0))

(~) * (C_EnumFromThen l0) t0 => Rewrapped (C_EnumFromThen l1) t0

type Unwrapped (C_EnumFromThen l0)

type Unwrapped (C_EnumFromThen l0) = (l0, Exp l0, Exp l0)

newtype C_EnumFromThenTo l

Constructors

C_EnumFromThenTo (l, Exp l, Exp l, Exp l)

Instances

Wrapped (C_EnumFromThenTo l0)

Associated Types

type Unwrapped (C_EnumFromThenTo l0) :: *

Methods

_Wrapped' :: Iso' (C_EnumFromThenTo l0) (Unwrapped (C_EnumFromThenTo l0))

(~) * (C_EnumFromThenTo l0) t0 => Rewrapped (C_EnumFromThenTo l1) t0

type Unwrapped (C_EnumFromThenTo l0)

type Unwrapped (C_EnumFromThenTo l0) = (l0, Exp l0, Exp l0, Exp l0)

newtype C_ParArrayFromTo l

Constructors

C_ParArrayFromTo (l, Exp l, Exp l)

Instances

Wrapped (C_ParArrayFromTo l0)

Associated Types

type Unwrapped (C_ParArrayFromTo l0) :: *

Methods

_Wrapped' :: Iso' (C_ParArrayFromTo l0) (Unwrapped (C_ParArrayFromTo l0))

(~) * (C_ParArrayFromTo l0) t0 => Rewrapped (C_ParArrayFromTo l1) t0

type Unwrapped (C_ParArrayFromTo l0)

type Unwrapped (C_ParArrayFromTo l0) = (l0, Exp l0, Exp l0)

newtype C_ParArrayFromThenTo l

Constructors

C_ParArrayFromThenTo (l, Exp l, Exp l, Exp l)

Instances

Wrapped (C_ParArrayFromThenTo l0)

Associated Types

type Unwrapped (C_ParArrayFromThenTo l0) :: *

Methods

_Wrapped' :: Iso' (C_ParArrayFromThenTo l0) (Unwrapped (C_ParArrayFromThenTo l0))

(~) * (C_ParArrayFromThenTo l0) t0 => Rewrapped (C_ParArrayFromThenTo l1) t0

type Unwrapped (C_ParArrayFromThenTo l0)

type Unwrapped (C_ParArrayFromThenTo l0) = (l0, Exp l0, Exp l0, Exp l0)

newtype C_ListComp l

Constructors

C_ListComp (l, Exp l, [QualStmt l])

Instances

Wrapped (C_ListComp l0)

Associated Types

type Unwrapped (C_ListComp l0) :: *

Methods

_Wrapped' :: Iso' (C_ListComp l0) (Unwrapped (C_ListComp l0))

(~) * (C_ListComp l0) t0 => Rewrapped (C_ListComp l1) t0

type Unwrapped (C_ListComp l0)

type Unwrapped (C_ListComp l0) = (l0, Exp l0, [QualStmt l0])

newtype C_ParComp l

Constructors

C_ParComp (l, Exp l, [[QualStmt l]])

Instances

Wrapped (C_ParComp l0)

Associated Types

type Unwrapped (C_ParComp l0) :: *

Methods

_Wrapped' :: Iso' (C_ParComp l0) (Unwrapped (C_ParComp l0))

(~) * (C_ParComp l0) t0 => Rewrapped (C_ParComp l1) t0

type Unwrapped (C_ParComp l0)

type Unwrapped (C_ParComp l0) = (l0, Exp l0, [[QualStmt l0]])

newtype C_ParArrayComp l

Constructors

C_ParArrayComp (l, Exp l, [[QualStmt l]])

Instances

Wrapped (C_ParArrayComp l0)

Associated Types

type Unwrapped (C_ParArrayComp l0) :: *

Methods

_Wrapped' :: Iso' (C_ParArrayComp l0) (Unwrapped (C_ParArrayComp l0))

(~) * (C_ParArrayComp l0) t0 => Rewrapped (C_ParArrayComp l1) t0

type Unwrapped (C_ParArrayComp l0)

type Unwrapped (C_ParArrayComp l0) = (l0, Exp l0, [[QualStmt l0]])

newtype C_ExpTypeSig l

Constructors

C_ExpTypeSig (l, Exp l, Type l)

Instances

Wrapped (C_ExpTypeSig l0)

Associated Types

type Unwrapped (C_ExpTypeSig l0) :: *

Methods

_Wrapped' :: Iso' (C_ExpTypeSig l0) (Unwrapped (C_ExpTypeSig l0))

(~) * (C_ExpTypeSig l0) t0 => Rewrapped (C_ExpTypeSig l1) t0

type Unwrapped (C_ExpTypeSig l0)

type Unwrapped (C_ExpTypeSig l0) = (l0, Exp l0, Type l0)

newtype C_VarQuote l

Constructors

C_VarQuote (l, QName l)

Instances

Wrapped (C_VarQuote l0)

Associated Types

type Unwrapped (C_VarQuote l0) :: *

Methods

_Wrapped' :: Iso' (C_VarQuote l0) (Unwrapped (C_VarQuote l0))

(~) * (C_VarQuote l0) t0 => Rewrapped (C_VarQuote l1) t0

type Unwrapped (C_VarQuote l0)

type Unwrapped (C_VarQuote l0) = (l0, QName l0)

newtype C_TypQuote l

Constructors

C_TypQuote (l, QName l)

Instances

Wrapped (C_TypQuote l0)

Associated Types

type Unwrapped (C_TypQuote l0) :: *

Methods

_Wrapped' :: Iso' (C_TypQuote l0) (Unwrapped (C_TypQuote l0))

(~) * (C_TypQuote l0) t0 => Rewrapped (C_TypQuote l1) t0

type Unwrapped (C_TypQuote l0)

type Unwrapped (C_TypQuote l0) = (l0, QName l0)

newtype C_BracketExp l

Constructors

C_BracketExp (l, Bracket l)

Instances

Wrapped (C_BracketExp l0)

Associated Types

type Unwrapped (C_BracketExp l0) :: *

Methods

_Wrapped' :: Iso' (C_BracketExp l0) (Unwrapped (C_BracketExp l0))

(~) * (C_BracketExp l0) t0 => Rewrapped (C_BracketExp l1) t0

type Unwrapped (C_BracketExp l0)

type Unwrapped (C_BracketExp l0) = (l0, Bracket l0)

newtype C_SpliceExp l

Constructors

C_SpliceExp (l, Splice l)

Instances

Wrapped (C_SpliceExp l0)

Associated Types

type Unwrapped (C_SpliceExp l0) :: *

Methods

_Wrapped' :: Iso' (C_SpliceExp l0) (Unwrapped (C_SpliceExp l0))

(~) * (C_SpliceExp l0) t0 => Rewrapped (C_SpliceExp l1) t0

type Unwrapped (C_SpliceExp l0)

type Unwrapped (C_SpliceExp l0) = (l0, Splice l0)

newtype C_QuasiQuote l

Constructors

C_QuasiQuote (l, String, String)

Instances

Wrapped (C_QuasiQuote l0)

Associated Types

type Unwrapped (C_QuasiQuote l0) :: *

Methods

_Wrapped' :: Iso' (C_QuasiQuote l0) (Unwrapped (C_QuasiQuote l0))

(~) * (C_QuasiQuote l0) t0 => Rewrapped (C_QuasiQuote l1) t0

type Unwrapped (C_QuasiQuote l0)

type Unwrapped (C_QuasiQuote l0) = (l0, String, String)

newtype C_TypeApp l

Constructors

C_TypeApp (l, Type l)

Instances

Wrapped (C_TypeApp l0)

Associated Types

type Unwrapped (C_TypeApp l0) :: *

Methods

_Wrapped' :: Iso' (C_TypeApp l0) (Unwrapped (C_TypeApp l0))

(~) * (C_TypeApp l0) t0 => Rewrapped (C_TypeApp l1) t0

type Unwrapped (C_TypeApp l0)

type Unwrapped (C_TypeApp l0) = (l0, Type l0)

newtype C_XTag l

Constructors

C_XTag (l, XName l, [XAttr l], Maybe (Exp l), [Exp l])

Instances

Wrapped (C_XTag l0)

Associated Types

type Unwrapped (C_XTag l0) :: *

Methods

_Wrapped' :: Iso' (C_XTag l0) (Unwrapped (C_XTag l0))

(~) * (C_XTag l0) t0 => Rewrapped (C_XTag l1) t0

type Unwrapped (C_XTag l0)

type Unwrapped (C_XTag l0) = (l0, XName l0, [XAttr l0], Maybe (Exp l0), [Exp l0])

newtype C_XETag l

Constructors

C_XETag (l, XName l, [XAttr l], Maybe (Exp l))

Instances

Wrapped (C_XETag l0)

Associated Types

type Unwrapped (C_XETag l0) :: *

Methods

_Wrapped' :: Iso' (C_XETag l0) (Unwrapped (C_XETag l0))

(~) * (C_XETag l0) t0 => Rewrapped (C_XETag l1) t0

type Unwrapped (C_XETag l0)

type Unwrapped (C_XETag l0) = (l0, XName l0, [XAttr l0], Maybe (Exp l0))

newtype C_XPcdata l

Constructors

C_XPcdata (l, String)

Instances

Wrapped (C_XPcdata l0)

Associated Types

type Unwrapped (C_XPcdata l0) :: *

Methods

_Wrapped' :: Iso' (C_XPcdata l0) (Unwrapped (C_XPcdata l0))

(~) * (C_XPcdata l0) t0 => Rewrapped (C_XPcdata l1) t0

type Unwrapped (C_XPcdata l0)

type Unwrapped (C_XPcdata l0) = (l0, String)

newtype C_XExpTag l

Constructors

C_XExpTag (l, Exp l)

Instances

Wrapped (C_XExpTag l0)

Associated Types

type Unwrapped (C_XExpTag l0) :: *

Methods

_Wrapped' :: Iso' (C_XExpTag l0) (Unwrapped (C_XExpTag l0))

(~) * (C_XExpTag l0) t0 => Rewrapped (C_XExpTag l1) t0

type Unwrapped (C_XExpTag l0)

type Unwrapped (C_XExpTag l0) = (l0, Exp l0)

newtype C_XChildTag l

Constructors

C_XChildTag (l, [Exp l])

Instances

Wrapped (C_XChildTag l0)

Associated Types

type Unwrapped (C_XChildTag l0) :: *

Methods

_Wrapped' :: Iso' (C_XChildTag l0) (Unwrapped (C_XChildTag l0))

(~) * (C_XChildTag l0) t0 => Rewrapped (C_XChildTag l1) t0

type Unwrapped (C_XChildTag l0)

type Unwrapped (C_XChildTag l0) = (l0, [Exp l0])

newtype C_CorePragma l

Constructors

C_CorePragma (l, String, Exp l)

Instances

Wrapped (C_CorePragma l0)

Associated Types

type Unwrapped (C_CorePragma l0) :: *

Methods

_Wrapped' :: Iso' (C_CorePragma l0) (Unwrapped (C_CorePragma l0))

(~) * (C_CorePragma l0) t0 => Rewrapped (C_CorePragma l1) t0

type Unwrapped (C_CorePragma l0)

type Unwrapped (C_CorePragma l0) = (l0, String, Exp l0)

newtype C_SCCPragma l

Constructors

C_SCCPragma (l, String, Exp l)

Instances

Wrapped (C_SCCPragma l0)

Associated Types

type Unwrapped (C_SCCPragma l0) :: *

Methods

_Wrapped' :: Iso' (C_SCCPragma l0) (Unwrapped (C_SCCPragma l0))

(~) * (C_SCCPragma l0) t0 => Rewrapped (C_SCCPragma l1) t0

type Unwrapped (C_SCCPragma l0)

type Unwrapped (C_SCCPragma l0) = (l0, String, Exp l0)

newtype C_GenPragma l

Constructors

C_GenPragma (l, String, (Int, Int), (Int, Int), Exp l)

Instances

Wrapped (C_GenPragma l0)

Associated Types

type Unwrapped (C_GenPragma l0) :: *

Methods

_Wrapped' :: Iso' (C_GenPragma l0) (Unwrapped (C_GenPragma l0))

(~) * (C_GenPragma l0) t0 => Rewrapped (C_GenPragma l1) t0

type Unwrapped (C_GenPragma l0)

type Unwrapped (C_GenPragma l0) = (l0, String, (Int, Int), (Int, Int), Exp l0)

newtype C_Proc l

Constructors

C_Proc (l, Pat l, Exp l)

Instances

Wrapped (C_Proc l0)

Associated Types

type Unwrapped (C_Proc l0) :: *

Methods

_Wrapped' :: Iso' (C_Proc l0) (Unwrapped (C_Proc l0))

(~) * (C_Proc l0) t0 => Rewrapped (C_Proc l1) t0

type Unwrapped (C_Proc l0)

type Unwrapped (C_Proc l0) = (l0, Pat l0, Exp l0)

newtype C_LeftArrApp l

Constructors

C_LeftArrApp (l, Exp l, Exp l)

Instances

Wrapped (C_LeftArrApp l0)

Associated Types

type Unwrapped (C_LeftArrApp l0) :: *

Methods

_Wrapped' :: Iso' (C_LeftArrApp l0) (Unwrapped (C_LeftArrApp l0))

(~) * (C_LeftArrApp l0) t0 => Rewrapped (C_LeftArrApp l1) t0

type Unwrapped (C_LeftArrApp l0)

type Unwrapped (C_LeftArrApp l0) = (l0, Exp l0, Exp l0)

newtype C_RightArrApp l

Constructors

C_RightArrApp (l, Exp l, Exp l)

Instances

Wrapped (C_RightArrApp l0)

Associated Types

type Unwrapped (C_RightArrApp l0) :: *

Methods

_Wrapped' :: Iso' (C_RightArrApp l0) (Unwrapped (C_RightArrApp l0))

(~) * (C_RightArrApp l0) t0 => Rewrapped (C_RightArrApp l1) t0

type Unwrapped (C_RightArrApp l0)

type Unwrapped (C_RightArrApp l0) = (l0, Exp l0, Exp l0)

newtype C_LeftArrHighApp l

Constructors

C_LeftArrHighApp (l, Exp l, Exp l)

Instances

Wrapped (C_LeftArrHighApp l0)

Associated Types

type Unwrapped (C_LeftArrHighApp l0) :: *

Methods

_Wrapped' :: Iso' (C_LeftArrHighApp l0) (Unwrapped (C_LeftArrHighApp l0))

(~) * (C_LeftArrHighApp l0) t0 => Rewrapped (C_LeftArrHighApp l1) t0

type Unwrapped (C_LeftArrHighApp l0)

type Unwrapped (C_LeftArrHighApp l0) = (l0, Exp l0, Exp l0)

newtype C_RightArrHighApp l

Constructors

C_RightArrHighApp (l, Exp l, Exp l)

Instances

Wrapped (C_RightArrHighApp l0)

Associated Types

type Unwrapped (C_RightArrHighApp l0) :: *

Methods

_Wrapped' :: Iso' (C_RightArrHighApp l0) (Unwrapped (C_RightArrHighApp l0))

(~) * (C_RightArrHighApp l0) t0 => Rewrapped (C_RightArrHighApp l1) t0

type Unwrapped (C_RightArrHighApp l0)

type Unwrapped (C_RightArrHighApp l0) = (l0, Exp l0, Exp l0)

newtype C_LCase l

Constructors

C_LCase (l, [Alt l])

Instances

Wrapped (C_LCase l0)

Associated Types

type Unwrapped (C_LCase l0) :: *

Methods

_Wrapped' :: Iso' (C_LCase l0) (Unwrapped (C_LCase l0))

(~) * (C_LCase l0) t0 => Rewrapped (C_LCase l1) t0

type Unwrapped (C_LCase l0)

type Unwrapped (C_LCase l0) = (l0, [Alt l0])

newtype C_ExprHole l

Constructors

C_ExprHole l

Instances

Wrapped (C_ExprHole l0)

Associated Types

type Unwrapped (C_ExprHole l0) :: *

Methods

_Wrapped' :: Iso' (C_ExprHole l0) (Unwrapped (C_ExprHole l0))

(~) * (C_ExprHole l0) t0 => Rewrapped (C_ExprHole l1) t0

type Unwrapped (C_ExprHole l0)

type Unwrapped (C_ExprHole l0) = l0

newtype C_Generator l

Constructors

C_Generator (l, Pat l, Exp l)

Instances

Wrapped (C_Generator l0)

Associated Types

type Unwrapped (C_Generator l0) :: *

Methods

_Wrapped' :: Iso' (C_Generator l0) (Unwrapped (C_Generator l0))

(~) * (C_Generator l0) t0 => Rewrapped (C_Generator l1) t0

type Unwrapped (C_Generator l0)

type Unwrapped (C_Generator l0) = (l0, Pat l0, Exp l0)

newtype C_Qualifier l

Constructors

C_Qualifier (l, Exp l)

Instances

Wrapped (C_Qualifier l0)

Associated Types

type Unwrapped (C_Qualifier l0) :: *

Methods

_Wrapped' :: Iso' (C_Qualifier l0) (Unwrapped (C_Qualifier l0))

(~) * (C_Qualifier l0) t0 => Rewrapped (C_Qualifier l1) t0

type Unwrapped (C_Qualifier l0)

type Unwrapped (C_Qualifier l0) = (l0, Exp l0)

newtype C_LetStmt l

Constructors

C_LetStmt (l, Binds l)

Instances

Wrapped (C_LetStmt l0)

Associated Types

type Unwrapped (C_LetStmt l0) :: *

Methods

_Wrapped' :: Iso' (C_LetStmt l0) (Unwrapped (C_LetStmt l0))

(~) * (C_LetStmt l0) t0 => Rewrapped (C_LetStmt l1) t0

type Unwrapped (C_LetStmt l0)

type Unwrapped (C_LetStmt l0) = (l0, Binds l0)

newtype C_RecStmt l

Constructors

C_RecStmt (l, [Stmt l])

Instances

Wrapped (C_RecStmt l0)

Associated Types

type Unwrapped (C_RecStmt l0) :: *

Methods

_Wrapped' :: Iso' (C_RecStmt l0) (Unwrapped (C_RecStmt l0))

(~) * (C_RecStmt l0) t0 => Rewrapped (C_RecStmt l1) t0

type Unwrapped (C_RecStmt l0)

type Unwrapped (C_RecStmt l0) = (l0, [Stmt l0])

newtype C_QualStmt l

Constructors

C_QualStmt (l, Stmt l)

Instances

Wrapped (C_QualStmt l0)

Associated Types

type Unwrapped (C_QualStmt l0) :: *

Methods

_Wrapped' :: Iso' (C_QualStmt l0) (Unwrapped (C_QualStmt l0))

(~) * (C_QualStmt l0) t0 => Rewrapped (C_QualStmt l1) t0

type Unwrapped (C_QualStmt l0)

type Unwrapped (C_QualStmt l0) = (l0, Stmt l0)

newtype C_ThenTrans l

Constructors

C_ThenTrans (l, Exp l)

Instances

Wrapped (C_ThenTrans l0)

Associated Types

type Unwrapped (C_ThenTrans l0) :: *

Methods

_Wrapped' :: Iso' (C_ThenTrans l0) (Unwrapped (C_ThenTrans l0))

(~) * (C_ThenTrans l0) t0 => Rewrapped (C_ThenTrans l1) t0

type Unwrapped (C_ThenTrans l0)

type Unwrapped (C_ThenTrans l0) = (l0, Exp l0)

newtype C_ThenBy l

Constructors

C_ThenBy (l, Exp l, Exp l)

Instances

Wrapped (C_ThenBy l0)

Associated Types

type Unwrapped (C_ThenBy l0) :: *

Methods

_Wrapped' :: Iso' (C_ThenBy l0) (Unwrapped (C_ThenBy l0))

(~) * (C_ThenBy l0) t0 => Rewrapped (C_ThenBy l1) t0

type Unwrapped (C_ThenBy l0)

type Unwrapped (C_ThenBy l0) = (l0, Exp l0, Exp l0)

newtype C_GroupBy l

Constructors

C_GroupBy (l, Exp l)

Instances

Wrapped (C_GroupBy l0)

Associated Types

type Unwrapped (C_GroupBy l0) :: *

Methods

_Wrapped' :: Iso' (C_GroupBy l0) (Unwrapped (C_GroupBy l0))

(~) * (C_GroupBy l0) t0 => Rewrapped (C_GroupBy l1) t0

type Unwrapped (C_GroupBy l0)

type Unwrapped (C_GroupBy l0) = (l0, Exp l0)

newtype C_GroupUsing l

Constructors

C_GroupUsing (l, Exp l)

Instances

Wrapped (C_GroupUsing l0)

Associated Types

type Unwrapped (C_GroupUsing l0) :: *

Methods

_Wrapped' :: Iso' (C_GroupUsing l0) (Unwrapped (C_GroupUsing l0))

(~) * (C_GroupUsing l0) t0 => Rewrapped (C_GroupUsing l1) t0

type Unwrapped (C_GroupUsing l0)

type Unwrapped (C_GroupUsing l0) = (l0, Exp l0)

newtype C_GroupByUsing l

Constructors

C_GroupByUsing (l, Exp l, Exp l)

Instances

Wrapped (C_GroupByUsing l0)

Associated Types

type Unwrapped (C_GroupByUsing l0) :: *

Methods

_Wrapped' :: Iso' (C_GroupByUsing l0) (Unwrapped (C_GroupByUsing l0))

(~) * (C_GroupByUsing l0) t0 => Rewrapped (C_GroupByUsing l1) t0

type Unwrapped (C_GroupByUsing l0)

type Unwrapped (C_GroupByUsing l0) = (l0, Exp l0, Exp l0)

newtype C_FieldUpdate l

Constructors

C_FieldUpdate (l, QName l, Exp l)

Instances

Wrapped (C_FieldUpdate l0)

Associated Types

type Unwrapped (C_FieldUpdate l0) :: *

Methods

_Wrapped' :: Iso' (C_FieldUpdate l0) (Unwrapped (C_FieldUpdate l0))

(~) * (C_FieldUpdate l0) t0 => Rewrapped (C_FieldUpdate l1) t0

type Unwrapped (C_FieldUpdate l0)

type Unwrapped (C_FieldUpdate l0) = (l0, QName l0, Exp l0)

newtype C_FieldPun l

Constructors

C_FieldPun (l, QName l)

Instances

Wrapped (C_FieldPun l0)

Associated Types

type Unwrapped (C_FieldPun l0) :: *

Methods

_Wrapped' :: Iso' (C_FieldPun l0) (Unwrapped (C_FieldPun l0))

(~) * (C_FieldPun l0) t0 => Rewrapped (C_FieldPun l1) t0

type Unwrapped (C_FieldPun l0)

type Unwrapped (C_FieldPun l0) = (l0, QName l0)

newtype C_FieldWildcard l

Constructors

C_FieldWildcard l

Instances

Wrapped (C_FieldWildcard l0)

Associated Types

type Unwrapped (C_FieldWildcard l0) :: *

Methods

_Wrapped' :: Iso' (C_FieldWildcard l0) (Unwrapped (C_FieldWildcard l0))

(~) * (C_FieldWildcard l0) t0 => Rewrapped (C_FieldWildcard l1) t0

type Unwrapped (C_FieldWildcard l0)

type Unwrapped (C_FieldWildcard l0) = l0

newtype C_PVar l

Constructors

C_PVar (l, Name l)

Instances

Wrapped (C_PVar l0)

Associated Types

type Unwrapped (C_PVar l0) :: *

Methods

_Wrapped' :: Iso' (C_PVar l0) (Unwrapped (C_PVar l0))

(~) * (C_PVar l0) t0 => Rewrapped (C_PVar l1) t0

type Unwrapped (C_PVar l0)

type Unwrapped (C_PVar l0) = (l0, Name l0)

newtype C_PLit l

Constructors

C_PLit (l, Sign l, Literal l)

Instances

Wrapped (C_PLit l0)

Associated Types

type Unwrapped (C_PLit l0) :: *

Methods

_Wrapped' :: Iso' (C_PLit l0) (Unwrapped (C_PLit l0))

(~) * (C_PLit l0) t0 => Rewrapped (C_PLit l1) t0

type Unwrapped (C_PLit l0)

type Unwrapped (C_PLit l0) = (l0, Sign l0, Literal l0)

newtype C_PNPlusK l

Constructors

C_PNPlusK (l, Name l, Integer)

Instances

Wrapped (C_PNPlusK l0)

Associated Types

type Unwrapped (C_PNPlusK l0) :: *

Methods

_Wrapped' :: Iso' (C_PNPlusK l0) (Unwrapped (C_PNPlusK l0))

(~) * (C_PNPlusK l0) t0 => Rewrapped (C_PNPlusK l1) t0

type Unwrapped (C_PNPlusK l0)

type Unwrapped (C_PNPlusK l0) = (l0, Name l0, Integer)

newtype C_PInfixApp l

Constructors

C_PInfixApp (l, Pat l, QName l, Pat l)

Instances

Wrapped (C_PInfixApp l0)

Associated Types

type Unwrapped (C_PInfixApp l0) :: *

Methods

_Wrapped' :: Iso' (C_PInfixApp l0) (Unwrapped (C_PInfixApp l0))

(~) * (C_PInfixApp l0) t0 => Rewrapped (C_PInfixApp l1) t0

type Unwrapped (C_PInfixApp l0)

type Unwrapped (C_PInfixApp l0) = (l0, Pat l0, QName l0, Pat l0)

newtype C_PApp l

Constructors

C_PApp (l, QName l, [Pat l])

Instances

Wrapped (C_PApp l0)

Associated Types

type Unwrapped (C_PApp l0) :: *

Methods

_Wrapped' :: Iso' (C_PApp l0) (Unwrapped (C_PApp l0))

(~) * (C_PApp l0) t0 => Rewrapped (C_PApp l1) t0

type Unwrapped (C_PApp l0)

type Unwrapped (C_PApp l0) = (l0, QName l0, [Pat l0])

newtype C_PTuple l

Constructors

C_PTuple (l, Boxed, [Pat l])

Instances

Wrapped (C_PTuple l0)

Associated Types

type Unwrapped (C_PTuple l0) :: *

Methods

_Wrapped' :: Iso' (C_PTuple l0) (Unwrapped (C_PTuple l0))

(~) * (C_PTuple l0) t0 => Rewrapped (C_PTuple l1) t0

type Unwrapped (C_PTuple l0)

type Unwrapped (C_PTuple l0) = (l0, Boxed, [Pat l0])

newtype C_PList l

Constructors

C_PList (l, [Pat l])

Instances

Wrapped (C_PList l0)

Associated Types

type Unwrapped (C_PList l0) :: *

Methods

_Wrapped' :: Iso' (C_PList l0) (Unwrapped (C_PList l0))

(~) * (C_PList l0) t0 => Rewrapped (C_PList l1) t0

type Unwrapped (C_PList l0)

type Unwrapped (C_PList l0) = (l0, [Pat l0])

newtype C_PParen l

Constructors

C_PParen (l, Pat l)

Instances

Wrapped (C_PParen l0)

Associated Types

type Unwrapped (C_PParen l0) :: *

Methods

_Wrapped' :: Iso' (C_PParen l0) (Unwrapped (C_PParen l0))

(~) * (C_PParen l0) t0 => Rewrapped (C_PParen l1) t0

type Unwrapped (C_PParen l0)

type Unwrapped (C_PParen l0) = (l0, Pat l0)

newtype C_PRec l

Constructors

C_PRec (l, QName l, [PatField l])

Instances

Wrapped (C_PRec l0)

Associated Types

type Unwrapped (C_PRec l0) :: *

Methods

_Wrapped' :: Iso' (C_PRec l0) (Unwrapped (C_PRec l0))

(~) * (C_PRec l0) t0 => Rewrapped (C_PRec l1) t0

type Unwrapped (C_PRec l0)

type Unwrapped (C_PRec l0) = (l0, QName l0, [PatField l0])

newtype C_PAsPat l

Constructors

C_PAsPat (l, Name l, Pat l)

Instances

Wrapped (C_PAsPat l0)

Associated Types

type Unwrapped (C_PAsPat l0) :: *

Methods

_Wrapped' :: Iso' (C_PAsPat l0) (Unwrapped (C_PAsPat l0))

(~) * (C_PAsPat l0) t0 => Rewrapped (C_PAsPat l1) t0

type Unwrapped (C_PAsPat l0)

type Unwrapped (C_PAsPat l0) = (l0, Name l0, Pat l0)

newtype C_PWildCard l

Constructors

C_PWildCard l

Instances

Wrapped (C_PWildCard l0)

Associated Types

type Unwrapped (C_PWildCard l0) :: *

Methods

_Wrapped' :: Iso' (C_PWildCard l0) (Unwrapped (C_PWildCard l0))

(~) * (C_PWildCard l0) t0 => Rewrapped (C_PWildCard l1) t0

type Unwrapped (C_PWildCard l0)

type Unwrapped (C_PWildCard l0) = l0

newtype C_PIrrPat l

Constructors

C_PIrrPat (l, Pat l)

Instances

Wrapped (C_PIrrPat l0)

Associated Types

type Unwrapped (C_PIrrPat l0) :: *

Methods

_Wrapped' :: Iso' (C_PIrrPat l0) (Unwrapped (C_PIrrPat l0))

(~) * (C_PIrrPat l0) t0 => Rewrapped (C_PIrrPat l1) t0

type Unwrapped (C_PIrrPat l0)

type Unwrapped (C_PIrrPat l0) = (l0, Pat l0)

newtype C_PatTypeSig l

Constructors

C_PatTypeSig (l, Pat l, Type l)

Instances

Wrapped (C_PatTypeSig l0)

Associated Types

type Unwrapped (C_PatTypeSig l0) :: *

Methods

_Wrapped' :: Iso' (C_PatTypeSig l0) (Unwrapped (C_PatTypeSig l0))

(~) * (C_PatTypeSig l0) t0 => Rewrapped (C_PatTypeSig l1) t0

type Unwrapped (C_PatTypeSig l0)

type Unwrapped (C_PatTypeSig l0) = (l0, Pat l0, Type l0)

newtype C_PViewPat l

Constructors

C_PViewPat (l, Exp l, Pat l)

Instances

Wrapped (C_PViewPat l0)

Associated Types

type Unwrapped (C_PViewPat l0) :: *

Methods

_Wrapped' :: Iso' (C_PViewPat l0) (Unwrapped (C_PViewPat l0))

(~) * (C_PViewPat l0) t0 => Rewrapped (C_PViewPat l1) t0

type Unwrapped (C_PViewPat l0)

type Unwrapped (C_PViewPat l0) = (l0, Exp l0, Pat l0)

newtype C_PRPat l

Constructors

C_PRPat (l, [RPat l])

Instances

Wrapped (C_PRPat l0)

Associated Types

type Unwrapped (C_PRPat l0) :: *

Methods

_Wrapped' :: Iso' (C_PRPat l0) (Unwrapped (C_PRPat l0))

(~) * (C_PRPat l0) t0 => Rewrapped (C_PRPat l1) t0

type Unwrapped (C_PRPat l0)

type Unwrapped (C_PRPat l0) = (l0, [RPat l0])

newtype C_PXTag l

Constructors

C_PXTag (l, XName l, [PXAttr l], Maybe (Pat l), [Pat l])

Instances

Wrapped (C_PXTag l0)

Associated Types

type Unwrapped (C_PXTag l0) :: *

Methods

_Wrapped' :: Iso' (C_PXTag l0) (Unwrapped (C_PXTag l0))

(~) * (C_PXTag l0) t0 => Rewrapped (C_PXTag l1) t0

type Unwrapped (C_PXTag l0)

type Unwrapped (C_PXTag l0) = (l0, XName l0, [PXAttr l0], Maybe (Pat l0), [Pat l0])

newtype C_PXETag l

Constructors

C_PXETag (l, XName l, [PXAttr l], Maybe (Pat l))

Instances

Wrapped (C_PXETag l0)

Associated Types

type Unwrapped (C_PXETag l0) :: *

Methods

_Wrapped' :: Iso' (C_PXETag l0) (Unwrapped (C_PXETag l0))

(~) * (C_PXETag l0) t0 => Rewrapped (C_PXETag l1) t0

type Unwrapped (C_PXETag l0)

type Unwrapped (C_PXETag l0) = (l0, XName l0, [PXAttr l0], Maybe (Pat l0))

newtype C_PXPcdata l

Constructors

C_PXPcdata (l, String)

Instances

Wrapped (C_PXPcdata l0)

Associated Types

type Unwrapped (C_PXPcdata l0) :: *

Methods

_Wrapped' :: Iso' (C_PXPcdata l0) (Unwrapped (C_PXPcdata l0))

(~) * (C_PXPcdata l0) t0 => Rewrapped (C_PXPcdata l1) t0

type Unwrapped (C_PXPcdata l0)

type Unwrapped (C_PXPcdata l0) = (l0, String)

newtype C_PXPatTag l

Constructors

C_PXPatTag (l, Pat l)

Instances

Wrapped (C_PXPatTag l0)

Associated Types

type Unwrapped (C_PXPatTag l0) :: *

Methods

_Wrapped' :: Iso' (C_PXPatTag l0) (Unwrapped (C_PXPatTag l0))

(~) * (C_PXPatTag l0) t0 => Rewrapped (C_PXPatTag l1) t0

type Unwrapped (C_PXPatTag l0)

type Unwrapped (C_PXPatTag l0) = (l0, Pat l0)

newtype C_PXRPats l

Constructors

C_PXRPats (l, [RPat l])

Instances

Wrapped (C_PXRPats l0)

Associated Types

type Unwrapped (C_PXRPats l0) :: *

Methods

_Wrapped' :: Iso' (C_PXRPats l0) (Unwrapped (C_PXRPats l0))

(~) * (C_PXRPats l0) t0 => Rewrapped (C_PXRPats l1) t0

type Unwrapped (C_PXRPats l0)

type Unwrapped (C_PXRPats l0) = (l0, [RPat l0])

newtype C_PQuasiQuote l

Constructors

C_PQuasiQuote (l, String, String)

Instances

Wrapped (C_PQuasiQuote l0)

Associated Types

type Unwrapped (C_PQuasiQuote l0) :: *

Methods

_Wrapped' :: Iso' (C_PQuasiQuote l0) (Unwrapped (C_PQuasiQuote l0))

(~) * (C_PQuasiQuote l0) t0 => Rewrapped (C_PQuasiQuote l1) t0

type Unwrapped (C_PQuasiQuote l0)

type Unwrapped (C_PQuasiQuote l0) = (l0, String, String)

newtype C_PBangPat l

Constructors

C_PBangPat (l, Pat l)

Instances

Wrapped (C_PBangPat l0)

Associated Types

type Unwrapped (C_PBangPat l0) :: *

Methods

_Wrapped' :: Iso' (C_PBangPat l0) (Unwrapped (C_PBangPat l0))

(~) * (C_PBangPat l0) t0 => Rewrapped (C_PBangPat l1) t0

type Unwrapped (C_PBangPat l0)

type Unwrapped (C_PBangPat l0) = (l0, Pat l0)

newtype C_PFieldPat l

Constructors

C_PFieldPat (l, QName l, Pat l)

Instances

Wrapped (C_PFieldPat l0)

Associated Types

type Unwrapped (C_PFieldPat l0) :: *

Methods

_Wrapped' :: Iso' (C_PFieldPat l0) (Unwrapped (C_PFieldPat l0))

(~) * (C_PFieldPat l0) t0 => Rewrapped (C_PFieldPat l1) t0

type Unwrapped (C_PFieldPat l0)

type Unwrapped (C_PFieldPat l0) = (l0, QName l0, Pat l0)

newtype C_PFieldPun l

Constructors

C_PFieldPun (l, QName l)

Instances

Wrapped (C_PFieldPun l0)

Associated Types

type Unwrapped (C_PFieldPun l0) :: *

Methods

_Wrapped' :: Iso' (C_PFieldPun l0) (Unwrapped (C_PFieldPun l0))

(~) * (C_PFieldPun l0) t0 => Rewrapped (C_PFieldPun l1) t0

type Unwrapped (C_PFieldPun l0)

type Unwrapped (C_PFieldPun l0) = (l0, QName l0)

newtype C_PFieldWildcard l

Constructors

C_PFieldWildcard l

Instances

Wrapped (C_PFieldWildcard l0)

Associated Types

type Unwrapped (C_PFieldWildcard l0) :: *

Methods

_Wrapped' :: Iso' (C_PFieldWildcard l0) (Unwrapped (C_PFieldWildcard l0))

(~) * (C_PFieldWildcard l0) t0 => Rewrapped (C_PFieldWildcard l1) t0

type Unwrapped (C_PFieldWildcard l0)

type Unwrapped (C_PFieldWildcard l0) = l0

newtype C_RPOp l

Constructors

C_RPOp (l, RPat l, RPatOp l)

Instances

Wrapped (C_RPOp l0)

Associated Types

type Unwrapped (C_RPOp l0) :: *

Methods

_Wrapped' :: Iso' (C_RPOp l0) (Unwrapped (C_RPOp l0))

(~) * (C_RPOp l0) t0 => Rewrapped (C_RPOp l1) t0

type Unwrapped (C_RPOp l0)

type Unwrapped (C_RPOp l0) = (l0, RPat l0, RPatOp l0)

newtype C_RPEither l

Constructors

C_RPEither (l, RPat l, RPat l)

Instances

Wrapped (C_RPEither l0)

Associated Types

type Unwrapped (C_RPEither l0) :: *

Methods

_Wrapped' :: Iso' (C_RPEither l0) (Unwrapped (C_RPEither l0))

(~) * (C_RPEither l0) t0 => Rewrapped (C_RPEither l1) t0

type Unwrapped (C_RPEither l0)

type Unwrapped (C_RPEither l0) = (l0, RPat l0, RPat l0)

newtype C_RPSeq l

Constructors

C_RPSeq (l, [RPat l])

Instances

Wrapped (C_RPSeq l0)

Associated Types

type Unwrapped (C_RPSeq l0) :: *

Methods

_Wrapped' :: Iso' (C_RPSeq l0) (Unwrapped (C_RPSeq l0))

(~) * (C_RPSeq l0) t0 => Rewrapped (C_RPSeq l1) t0

type Unwrapped (C_RPSeq l0)

type Unwrapped (C_RPSeq l0) = (l0, [RPat l0])

newtype C_RPGuard l

Constructors

C_RPGuard (l, Pat l, [Stmt l])

Instances

Wrapped (C_RPGuard l0)

Associated Types

type Unwrapped (C_RPGuard l0) :: *

Methods

_Wrapped' :: Iso' (C_RPGuard l0) (Unwrapped (C_RPGuard l0))

(~) * (C_RPGuard l0) t0 => Rewrapped (C_RPGuard l1) t0

type Unwrapped (C_RPGuard l0)

type Unwrapped (C_RPGuard l0) = (l0, Pat l0, [Stmt l0])

newtype C_RPCAs l

Constructors

C_RPCAs (l, Name l, RPat l)

Instances

Wrapped (C_RPCAs l0)

Associated Types

type Unwrapped (C_RPCAs l0) :: *

Methods

_Wrapped' :: Iso' (C_RPCAs l0) (Unwrapped (C_RPCAs l0))

(~) * (C_RPCAs l0) t0 => Rewrapped (C_RPCAs l1) t0

type Unwrapped (C_RPCAs l0)

type Unwrapped (C_RPCAs l0) = (l0, Name l0, RPat l0)

newtype C_RPAs l

Constructors

C_RPAs (l, Name l, RPat l)

Instances

Wrapped (C_RPAs l0)

Associated Types

type Unwrapped (C_RPAs l0) :: *

Methods

_Wrapped' :: Iso' (C_RPAs l0) (Unwrapped (C_RPAs l0))

(~) * (C_RPAs l0) t0 => Rewrapped (C_RPAs l1) t0

type Unwrapped (C_RPAs l0)

type Unwrapped (C_RPAs l0) = (l0, Name l0, RPat l0)

newtype C_RPParen l

Constructors

C_RPParen (l, RPat l)

Instances

Wrapped (C_RPParen l0)

Associated Types

type Unwrapped (C_RPParen l0) :: *

Methods

_Wrapped' :: Iso' (C_RPParen l0) (Unwrapped (C_RPParen l0))

(~) * (C_RPParen l0) t0 => Rewrapped (C_RPParen l1) t0

type Unwrapped (C_RPParen l0)

type Unwrapped (C_RPParen l0) = (l0, RPat l0)

newtype C_RPPat l

Constructors

C_RPPat (l, Pat l)

Instances

Wrapped (C_RPPat l0)

Associated Types

type Unwrapped (C_RPPat l0) :: *

Methods

_Wrapped' :: Iso' (C_RPPat l0) (Unwrapped (C_RPPat l0))

(~) * (C_RPPat l0) t0 => Rewrapped (C_RPPat l1) t0

type Unwrapped (C_RPPat l0)

type Unwrapped (C_RPPat l0) = (l0, Pat l0)

newtype C_RPStar l

Constructors

C_RPStar l

Instances

Wrapped (C_RPStar l0)

Associated Types

type Unwrapped (C_RPStar l0) :: *

Methods

_Wrapped' :: Iso' (C_RPStar l0) (Unwrapped (C_RPStar l0))

(~) * (C_RPStar l0) t0 => Rewrapped (C_RPStar l1) t0

type Unwrapped (C_RPStar l0)

type Unwrapped (C_RPStar l0) = l0

newtype C_RPStarG l

Constructors

C_RPStarG l

Instances

Wrapped (C_RPStarG l0)

Associated Types

type Unwrapped (C_RPStarG l0) :: *

Methods

_Wrapped' :: Iso' (C_RPStarG l0) (Unwrapped (C_RPStarG l0))

(~) * (C_RPStarG l0) t0 => Rewrapped (C_RPStarG l1) t0

type Unwrapped (C_RPStarG l0)

type Unwrapped (C_RPStarG l0) = l0

newtype C_RPPlus l

Constructors

C_RPPlus l

Instances

Wrapped (C_RPPlus l0)

Associated Types

type Unwrapped (C_RPPlus l0) :: *

Methods

_Wrapped' :: Iso' (C_RPPlus l0) (Unwrapped (C_RPPlus l0))

(~) * (C_RPPlus l0) t0 => Rewrapped (C_RPPlus l1) t0

type Unwrapped (C_RPPlus l0)

type Unwrapped (C_RPPlus l0) = l0

newtype C_RPPlusG l

Constructors

C_RPPlusG l

Instances

Wrapped (C_RPPlusG l0)

Associated Types

type Unwrapped (C_RPPlusG l0) :: *

Methods

_Wrapped' :: Iso' (C_RPPlusG l0) (Unwrapped (C_RPPlusG l0))

(~) * (C_RPPlusG l0) t0 => Rewrapped (C_RPPlusG l1) t0

type Unwrapped (C_RPPlusG l0)

type Unwrapped (C_RPPlusG l0) = l0

newtype C_RPOpt l

Constructors

C_RPOpt l

Instances

Wrapped (C_RPOpt l0)

Associated Types

type Unwrapped (C_RPOpt l0) :: *

Methods

_Wrapped' :: Iso' (C_RPOpt l0) (Unwrapped (C_RPOpt l0))

(~) * (C_RPOpt l0) t0 => Rewrapped (C_RPOpt l1) t0

type Unwrapped (C_RPOpt l0)

type Unwrapped (C_RPOpt l0) = l0

newtype C_RPOptG l

Constructors

C_RPOptG l

Instances

Wrapped (C_RPOptG l0)

Associated Types

type Unwrapped (C_RPOptG l0) :: *

Methods

_Wrapped' :: Iso' (C_RPOptG l0) (Unwrapped (C_RPOptG l0))

(~) * (C_RPOptG l0) t0 => Rewrapped (C_RPOptG l1) t0

type Unwrapped (C_RPOptG l0)

type Unwrapped (C_RPOptG l0) = l0

newtype C_Char l

Constructors

C_Char (l, Char, String)

Instances

Wrapped (C_Char l0)

Associated Types

type Unwrapped (C_Char l0) :: *

Methods

_Wrapped' :: Iso' (C_Char l0) (Unwrapped (C_Char l0))

(~) * (C_Char l0) t0 => Rewrapped (C_Char l1) t0

type Unwrapped (C_Char l0)

type Unwrapped (C_Char l0) = (l0, Char, String)

newtype C_String l

Constructors

C_String (l, String, String)

Instances

Wrapped (C_String l0)

Associated Types

type Unwrapped (C_String l0) :: *

Methods

_Wrapped' :: Iso' (C_String l0) (Unwrapped (C_String l0))

(~) * (C_String l0) t0 => Rewrapped (C_String l1) t0

type Unwrapped (C_String l0)

type Unwrapped (C_String l0) = (l0, String, String)

newtype C_Int l

Constructors

C_Int (l, Integer, String)

Instances

Wrapped (C_Int l0)

Associated Types

type Unwrapped (C_Int l0) :: *

Methods

_Wrapped' :: Iso' (C_Int l0) (Unwrapped (C_Int l0))

(~) * (C_Int l0) t0 => Rewrapped (C_Int l1) t0

type Unwrapped (C_Int l0)

type Unwrapped (C_Int l0) = (l0, Integer, String)

newtype C_Frac l

Constructors

C_Frac (l, Rational, String)

Instances

Wrapped (C_Frac l0)

Associated Types

type Unwrapped (C_Frac l0) :: *

Methods

_Wrapped' :: Iso' (C_Frac l0) (Unwrapped (C_Frac l0))

(~) * (C_Frac l0) t0 => Rewrapped (C_Frac l1) t0

type Unwrapped (C_Frac l0)

type Unwrapped (C_Frac l0) = (l0, Rational, String)

newtype C_PrimInt l

Constructors

C_PrimInt (l, Integer, String)

Instances

Wrapped (C_PrimInt l0)

Associated Types

type Unwrapped (C_PrimInt l0) :: *

Methods

_Wrapped' :: Iso' (C_PrimInt l0) (Unwrapped (C_PrimInt l0))

(~) * (C_PrimInt l0) t0 => Rewrapped (C_PrimInt l1) t0

type Unwrapped (C_PrimInt l0)

type Unwrapped (C_PrimInt l0) = (l0, Integer, String)

newtype C_PrimWord l

Constructors

C_PrimWord (l, Integer, String)

Instances

Wrapped (C_PrimWord l0)

Associated Types

type Unwrapped (C_PrimWord l0) :: *

Methods

_Wrapped' :: Iso' (C_PrimWord l0) (Unwrapped (C_PrimWord l0))

(~) * (C_PrimWord l0) t0 => Rewrapped (C_PrimWord l1) t0

type Unwrapped (C_PrimWord l0)

type Unwrapped (C_PrimWord l0) = (l0, Integer, String)

newtype C_PrimFloat l

Constructors

C_PrimFloat (l, Rational, String)

Instances

Wrapped (C_PrimFloat l0)

Associated Types

type Unwrapped (C_PrimFloat l0) :: *

Methods

_Wrapped' :: Iso' (C_PrimFloat l0) (Unwrapped (C_PrimFloat l0))

(~) * (C_PrimFloat l0) t0 => Rewrapped (C_PrimFloat l1) t0

type Unwrapped (C_PrimFloat l0)

type Unwrapped (C_PrimFloat l0) = (l0, Rational, String)

newtype C_PrimDouble l

Constructors

C_PrimDouble (l, Rational, String)

Instances

Wrapped (C_PrimDouble l0)

Associated Types

type Unwrapped (C_PrimDouble l0) :: *

Methods

_Wrapped' :: Iso' (C_PrimDouble l0) (Unwrapped (C_PrimDouble l0))

(~) * (C_PrimDouble l0) t0 => Rewrapped (C_PrimDouble l1) t0

type Unwrapped (C_PrimDouble l0)

type Unwrapped (C_PrimDouble l0) = (l0, Rational, String)

newtype C_PrimChar l

Constructors

C_PrimChar (l, Char, String)

Instances

Wrapped (C_PrimChar l0)

Associated Types

type Unwrapped (C_PrimChar l0) :: *

Methods

_Wrapped' :: Iso' (C_PrimChar l0) (Unwrapped (C_PrimChar l0))

(~) * (C_PrimChar l0) t0 => Rewrapped (C_PrimChar l1) t0

type Unwrapped (C_PrimChar l0)

type Unwrapped (C_PrimChar l0) = (l0, Char, String)

newtype C_PrimString l

Constructors

C_PrimString (l, String, String)

Instances

Wrapped (C_PrimString l0)

Associated Types

type Unwrapped (C_PrimString l0) :: *

Methods

_Wrapped' :: Iso' (C_PrimString l0) (Unwrapped (C_PrimString l0))

(~) * (C_PrimString l0) t0 => Rewrapped (C_PrimString l1) t0

type Unwrapped (C_PrimString l0)

type Unwrapped (C_PrimString l0) = (l0, String, String)

newtype C_Signless l

Constructors

C_Signless l

Instances

Wrapped (C_Signless l0)

Associated Types

type Unwrapped (C_Signless l0) :: *

Methods

_Wrapped' :: Iso' (C_Signless l0) (Unwrapped (C_Signless l0))

(~) * (C_Signless l0) t0 => Rewrapped (C_Signless l1) t0

type Unwrapped (C_Signless l0)

type Unwrapped (C_Signless l0) = l0

newtype C_Negative l

Constructors

C_Negative l

Instances

Wrapped (C_Negative l0)

Associated Types

type Unwrapped (C_Negative l0) :: *

Methods

_Wrapped' :: Iso' (C_Negative l0) (Unwrapped (C_Negative l0))

(~) * (C_Negative l0) t0 => Rewrapped (C_Negative l1) t0

type Unwrapped (C_Negative l0)

type Unwrapped (C_Negative l0) = l0

newtype C_Qual l

Constructors

C_Qual (l, ModuleName l, Name l)

Instances

Wrapped (C_Qual l0)

Associated Types

type Unwrapped (C_Qual l0) :: *

Methods

_Wrapped' :: Iso' (C_Qual l0) (Unwrapped (C_Qual l0))

(~) * (C_Qual l0) t0 => Rewrapped (C_Qual l1) t0

type Unwrapped (C_Qual l0)

type Unwrapped (C_Qual l0) = (l0, ModuleName l0, Name l0)

newtype C_UnQual l

Constructors

C_UnQual (l, Name l)

Instances

Wrapped (C_UnQual l0)

Associated Types

type Unwrapped (C_UnQual l0) :: *

Methods

_Wrapped' :: Iso' (C_UnQual l0) (Unwrapped (C_UnQual l0))

(~) * (C_UnQual l0) t0 => Rewrapped (C_UnQual l1) t0

type Unwrapped (C_UnQual l0)

type Unwrapped (C_UnQual l0) = (l0, Name l0)

newtype C_Special l

Constructors

C_Special (l, SpecialCon l)

Instances

Wrapped (C_Special l0)

Associated Types

type Unwrapped (C_Special l0) :: *

Methods

_Wrapped' :: Iso' (C_Special l0) (Unwrapped (C_Special l0))

(~) * (C_Special l0) t0 => Rewrapped (C_Special l1) t0

type Unwrapped (C_Special l0)

type Unwrapped (C_Special l0) = (l0, SpecialCon l0)

newtype C_Ident l

Constructors

C_Ident (l, String)

Instances

Wrapped (C_Ident l0)

Associated Types

type Unwrapped (C_Ident l0) :: *

Methods

_Wrapped' :: Iso' (C_Ident l0) (Unwrapped (C_Ident l0))

(~) * (C_Ident l0) t0 => Rewrapped (C_Ident l1) t0

type Unwrapped (C_Ident l0)

type Unwrapped (C_Ident l0) = (l0, String)

newtype C_Symbol l

Constructors

C_Symbol (l, String)

Instances

Wrapped (C_Symbol l0)

Associated Types

type Unwrapped (C_Symbol l0) :: *

Methods

_Wrapped' :: Iso' (C_Symbol l0) (Unwrapped (C_Symbol l0))

(~) * (C_Symbol l0) t0 => Rewrapped (C_Symbol l1) t0

type Unwrapped (C_Symbol l0)

type Unwrapped (C_Symbol l0) = (l0, String)

newtype C_QVarOp l

Constructors

C_QVarOp (l, QName l)

Instances

Wrapped (C_QVarOp l0)

Associated Types

type Unwrapped (C_QVarOp l0) :: *

Methods

_Wrapped' :: Iso' (C_QVarOp l0) (Unwrapped (C_QVarOp l0))

(~) * (C_QVarOp l0) t0 => Rewrapped (C_QVarOp l1) t0

type Unwrapped (C_QVarOp l0)

type Unwrapped (C_QVarOp l0) = (l0, QName l0)

newtype C_QConOp l

Constructors

C_QConOp (l, QName l)

Instances

Wrapped (C_QConOp l0)

Associated Types

type Unwrapped (C_QConOp l0) :: *

Methods

_Wrapped' :: Iso' (C_QConOp l0) (Unwrapped (C_QConOp l0))

(~) * (C_QConOp l0) t0 => Rewrapped (C_QConOp l1) t0

type Unwrapped (C_QConOp l0)

type Unwrapped (C_QConOp l0) = (l0, QName l0)

newtype C_VarOp l

Constructors

C_VarOp (l, Name l)

Instances

Wrapped (C_VarOp l0)

Associated Types

type Unwrapped (C_VarOp l0) :: *

Methods

_Wrapped' :: Iso' (C_VarOp l0) (Unwrapped (C_VarOp l0))

(~) * (C_VarOp l0) t0 => Rewrapped (C_VarOp l1) t0

type Unwrapped (C_VarOp l0)

type Unwrapped (C_VarOp l0) = (l0, Name l0)

newtype C_ConOp l

Constructors

C_ConOp (l, Name l)

Instances

Wrapped (C_ConOp l0)

Associated Types

type Unwrapped (C_ConOp l0) :: *

Methods

_Wrapped' :: Iso' (C_ConOp l0) (Unwrapped (C_ConOp l0))

(~) * (C_ConOp l0) t0 => Rewrapped (C_ConOp l1) t0

type Unwrapped (C_ConOp l0)

type Unwrapped (C_ConOp l0) = (l0, Name l0)

newtype C_UnitCon l

Constructors

C_UnitCon l

Instances

Wrapped (C_UnitCon l0)

Associated Types

type Unwrapped (C_UnitCon l0) :: *

Methods

_Wrapped' :: Iso' (C_UnitCon l0) (Unwrapped (C_UnitCon l0))

(~) * (C_UnitCon l0) t0 => Rewrapped (C_UnitCon l1) t0

type Unwrapped (C_UnitCon l0)

type Unwrapped (C_UnitCon l0) = l0

newtype C_ListCon l

Constructors

C_ListCon l

Instances

Wrapped (C_ListCon l0)

Associated Types

type Unwrapped (C_ListCon l0) :: *

Methods

_Wrapped' :: Iso' (C_ListCon l0) (Unwrapped (C_ListCon l0))

(~) * (C_ListCon l0) t0 => Rewrapped (C_ListCon l1) t0

type Unwrapped (C_ListCon l0)

type Unwrapped (C_ListCon l0) = l0

newtype C_FunCon l

Constructors

C_FunCon l

Instances

Wrapped (C_FunCon l0)

Associated Types

type Unwrapped (C_FunCon l0) :: *

Methods

_Wrapped' :: Iso' (C_FunCon l0) (Unwrapped (C_FunCon l0))

(~) * (C_FunCon l0) t0 => Rewrapped (C_FunCon l1) t0

type Unwrapped (C_FunCon l0)

type Unwrapped (C_FunCon l0) = l0

newtype C_TupleCon l

Constructors

C_TupleCon (l, Boxed, Int)

Instances

Wrapped (C_TupleCon l0)

Associated Types

type Unwrapped (C_TupleCon l0) :: *

Methods

_Wrapped' :: Iso' (C_TupleCon l0) (Unwrapped (C_TupleCon l0))

(~) * (C_TupleCon l0) t0 => Rewrapped (C_TupleCon l1) t0

type Unwrapped (C_TupleCon l0)

type Unwrapped (C_TupleCon l0) = (l0, Boxed, Int)

newtype C_Cons l

Constructors

C_Cons l

Instances

Wrapped (C_Cons l0)

Associated Types

type Unwrapped (C_Cons l0) :: *

Methods

_Wrapped' :: Iso' (C_Cons l0) (Unwrapped (C_Cons l0))

(~) * (C_Cons l0) t0 => Rewrapped (C_Cons l1) t0

type Unwrapped (C_Cons l0)

type Unwrapped (C_Cons l0) = l0

newtype C_UnboxedSingleCon l

Constructors

C_UnboxedSingleCon l

Instances

Wrapped (C_UnboxedSingleCon l0)

Associated Types

type Unwrapped (C_UnboxedSingleCon l0) :: *

Methods

_Wrapped' :: Iso' (C_UnboxedSingleCon l0) (Unwrapped (C_UnboxedSingleCon l0))

(~) * (C_UnboxedSingleCon l0) t0 => Rewrapped (C_UnboxedSingleCon l1) t0

type Unwrapped (C_UnboxedSingleCon l0)

type Unwrapped (C_UnboxedSingleCon l0) = l0

newtype C_VarName l

Constructors

C_VarName (l, Name l)

Instances

Wrapped (C_VarName l0)

Associated Types

type Unwrapped (C_VarName l0) :: *

Methods

_Wrapped' :: Iso' (C_VarName l0) (Unwrapped (C_VarName l0))

(~) * (C_VarName l0) t0 => Rewrapped (C_VarName l1) t0

type Unwrapped (C_VarName l0)

type Unwrapped (C_VarName l0) = (l0, Name l0)

newtype C_ConName l

Constructors

C_ConName (l, Name l)

Instances

Wrapped (C_ConName l0)

Associated Types

type Unwrapped (C_ConName l0) :: *

Methods

_Wrapped' :: Iso' (C_ConName l0) (Unwrapped (C_ConName l0))

(~) * (C_ConName l0) t0 => Rewrapped (C_ConName l1) t0

type Unwrapped (C_ConName l0)

type Unwrapped (C_ConName l0) = (l0, Name l0)

newtype C_IPDup l

Constructors

C_IPDup (l, String)

Instances

Wrapped (C_IPDup l0)

Associated Types

type Unwrapped (C_IPDup l0) :: *

Methods

_Wrapped' :: Iso' (C_IPDup l0) (Unwrapped (C_IPDup l0))

(~) * (C_IPDup l0) t0 => Rewrapped (C_IPDup l1) t0

type Unwrapped (C_IPDup l0)

type Unwrapped (C_IPDup l0) = (l0, String)

newtype C_IPLin l

Constructors

C_IPLin (l, String)

Instances

Wrapped (C_IPLin l0)

Associated Types

type Unwrapped (C_IPLin l0) :: *

Methods

_Wrapped' :: Iso' (C_IPLin l0) (Unwrapped (C_IPLin l0))

(~) * (C_IPLin l0) t0 => Rewrapped (C_IPLin l1) t0

type Unwrapped (C_IPLin l0)

type Unwrapped (C_IPLin l0) = (l0, String)

newtype C_XName l

Constructors

C_XName (l, String)

Instances

Wrapped (C_XName l0)

Associated Types

type Unwrapped (C_XName l0) :: *

Methods

_Wrapped' :: Iso' (C_XName l0) (Unwrapped (C_XName l0))

(~) * (C_XName l0) t0 => Rewrapped (C_XName l1) t0

type Unwrapped (C_XName l0)

type Unwrapped (C_XName l0) = (l0, String)

newtype C_XDomName l

Constructors

C_XDomName (l, String, String)

Instances

Wrapped (C_XDomName l0)

Associated Types

type Unwrapped (C_XDomName l0) :: *

Methods

_Wrapped' :: Iso' (C_XDomName l0) (Unwrapped (C_XDomName l0))

(~) * (C_XDomName l0) t0 => Rewrapped (C_XDomName l1) t0

type Unwrapped (C_XDomName l0)

type Unwrapped (C_XDomName l0) = (l0, String, String)

newtype C_Nominal l

Constructors

C_Nominal l

Instances

Wrapped (C_Nominal l0)

Associated Types

type Unwrapped (C_Nominal l0) :: *

Methods

_Wrapped' :: Iso' (C_Nominal l0) (Unwrapped (C_Nominal l0))

(~) * (C_Nominal l0) t0 => Rewrapped (C_Nominal l1) t0

type Unwrapped (C_Nominal l0)

type Unwrapped (C_Nominal l0) = l0

newtype C_Representational l

Constructors

C_Representational l

Instances

Wrapped (C_Representational l0)

Associated Types

type Unwrapped (C_Representational l0) :: *

Methods

_Wrapped' :: Iso' (C_Representational l0) (Unwrapped (C_Representational l0))

(~) * (C_Representational l0) t0 => Rewrapped (C_Representational l1) t0

type Unwrapped (C_Representational l0)

type Unwrapped (C_Representational l0) = l0

newtype C_Phantom l

Constructors

C_Phantom l

Instances

Wrapped (C_Phantom l0)

Associated Types

type Unwrapped (C_Phantom l0) :: *

Methods

_Wrapped' :: Iso' (C_Phantom l0) (Unwrapped (C_Phantom l0))

(~) * (C_Phantom l0) t0 => Rewrapped (C_Phantom l1) t0

type Unwrapped (C_Phantom l0)

type Unwrapped (C_Phantom l0) = l0

newtype C_RoleWildcard l

Constructors

C_RoleWildcard l

Instances

Wrapped (C_RoleWildcard l0)

Associated Types

type Unwrapped (C_RoleWildcard l0) :: *

Methods

_Wrapped' :: Iso' (C_RoleWildcard l0) (Unwrapped (C_RoleWildcard l0))

(~) * (C_RoleWildcard l0) t0 => Rewrapped (C_RoleWildcard l1) t0

type Unwrapped (C_RoleWildcard l0)

type Unwrapped (C_RoleWildcard l0) = l0

newtype C_ExpBracket l

Constructors

C_ExpBracket (l, Exp l)

Instances

Wrapped (C_ExpBracket l0)

Associated Types

type Unwrapped (C_ExpBracket l0) :: *

Methods

_Wrapped' :: Iso' (C_ExpBracket l0) (Unwrapped (C_ExpBracket l0))

(~) * (C_ExpBracket l0) t0 => Rewrapped (C_ExpBracket l1) t0

type Unwrapped (C_ExpBracket l0)

type Unwrapped (C_ExpBracket l0) = (l0, Exp l0)

newtype C_PatBracket l

Constructors

C_PatBracket (l, Pat l)

Instances

Wrapped (C_PatBracket l0)

Associated Types

type Unwrapped (C_PatBracket l0) :: *

Methods

_Wrapped' :: Iso' (C_PatBracket l0) (Unwrapped (C_PatBracket l0))

(~) * (C_PatBracket l0) t0 => Rewrapped (C_PatBracket l1) t0

type Unwrapped (C_PatBracket l0)

type Unwrapped (C_PatBracket l0) = (l0, Pat l0)

newtype C_TypeBracket l

Constructors

C_TypeBracket (l, Type l)

Instances

Wrapped (C_TypeBracket l0)

Associated Types

type Unwrapped (C_TypeBracket l0) :: *

Methods

_Wrapped' :: Iso' (C_TypeBracket l0) (Unwrapped (C_TypeBracket l0))

(~) * (C_TypeBracket l0) t0 => Rewrapped (C_TypeBracket l1) t0

type Unwrapped (C_TypeBracket l0)

type Unwrapped (C_TypeBracket l0) = (l0, Type l0)

newtype C_DeclBracket l

Constructors

C_DeclBracket (l, [Decl l])

Instances

Wrapped (C_DeclBracket l0)

Associated Types

type Unwrapped (C_DeclBracket l0) :: *

Methods

_Wrapped' :: Iso' (C_DeclBracket l0) (Unwrapped (C_DeclBracket l0))

(~) * (C_DeclBracket l0) t0 => Rewrapped (C_DeclBracket l1) t0

type Unwrapped (C_DeclBracket l0)

type Unwrapped (C_DeclBracket l0) = (l0, [Decl l0])

newtype C_IdSplice l

Constructors

C_IdSplice (l, String)

Instances

Wrapped (C_IdSplice l0)

Associated Types

type Unwrapped (C_IdSplice l0) :: *

Methods

_Wrapped' :: Iso' (C_IdSplice l0) (Unwrapped (C_IdSplice l0))

(~) * (C_IdSplice l0) t0 => Rewrapped (C_IdSplice l1) t0

type Unwrapped (C_IdSplice l0)

type Unwrapped (C_IdSplice l0) = (l0, String)

newtype C_ParenSplice l

Constructors

C_ParenSplice (l, Exp l)

Instances

Wrapped (C_ParenSplice l0)

Associated Types

type Unwrapped (C_ParenSplice l0) :: *

Methods

_Wrapped' :: Iso' (C_ParenSplice l0) (Unwrapped (C_ParenSplice l0))

(~) * (C_ParenSplice l0) t0 => Rewrapped (C_ParenSplice l1) t0

type Unwrapped (C_ParenSplice l0)

type Unwrapped (C_ParenSplice l0) = (l0, Exp l0)

newtype C_PlayRisky l

Constructors

C_PlayRisky l

Instances

Wrapped (C_PlayRisky l0)

Associated Types

type Unwrapped (C_PlayRisky l0) :: *

Methods

_Wrapped' :: Iso' (C_PlayRisky l0) (Unwrapped (C_PlayRisky l0))

(~) * (C_PlayRisky l0) t0 => Rewrapped (C_PlayRisky l1) t0

type Unwrapped (C_PlayRisky l0)

type Unwrapped (C_PlayRisky l0) = l0

newtype C_PlaySafe l

Constructors

C_PlaySafe (l, Bool)

Instances

Wrapped (C_PlaySafe l0)

Associated Types

type Unwrapped (C_PlaySafe l0) :: *

Methods

_Wrapped' :: Iso' (C_PlaySafe l0) (Unwrapped (C_PlaySafe l0))

(~) * (C_PlaySafe l0) t0 => Rewrapped (C_PlaySafe l1) t0

type Unwrapped (C_PlaySafe l0)

type Unwrapped (C_PlaySafe l0) = (l0, Bool)

newtype C_PlayInterruptible l

Constructors

C_PlayInterruptible l

Instances

Wrapped (C_PlayInterruptible l0)

Associated Types

type Unwrapped (C_PlayInterruptible l0) :: *

Methods

_Wrapped' :: Iso' (C_PlayInterruptible l0) (Unwrapped (C_PlayInterruptible l0))

(~) * (C_PlayInterruptible l0) t0 => Rewrapped (C_PlayInterruptible l1) t0

type Unwrapped (C_PlayInterruptible l0)

type Unwrapped (C_PlayInterruptible l0) = l0

newtype C_StdCall l

Constructors

C_StdCall l

Instances

Wrapped (C_StdCall l0)

Associated Types

type Unwrapped (C_StdCall l0) :: *

Methods

_Wrapped' :: Iso' (C_StdCall l0) (Unwrapped (C_StdCall l0))

(~) * (C_StdCall l0) t0 => Rewrapped (C_StdCall l1) t0

type Unwrapped (C_StdCall l0)

type Unwrapped (C_StdCall l0) = l0

newtype C_CCall l

Constructors

C_CCall l

Instances

Wrapped (C_CCall l0)

Associated Types

type Unwrapped (C_CCall l0) :: *

Methods

_Wrapped' :: Iso' (C_CCall l0) (Unwrapped (C_CCall l0))

(~) * (C_CCall l0) t0 => Rewrapped (C_CCall l1) t0

type Unwrapped (C_CCall l0)

type Unwrapped (C_CCall l0) = l0

newtype C_CPlusPlus l

Constructors

C_CPlusPlus l

Instances

Wrapped (C_CPlusPlus l0)

Associated Types

type Unwrapped (C_CPlusPlus l0) :: *

Methods

_Wrapped' :: Iso' (C_CPlusPlus l0) (Unwrapped (C_CPlusPlus l0))

(~) * (C_CPlusPlus l0) t0 => Rewrapped (C_CPlusPlus l1) t0

type Unwrapped (C_CPlusPlus l0)

type Unwrapped (C_CPlusPlus l0) = l0

newtype C_DotNet l

Constructors

C_DotNet l

Instances

Wrapped (C_DotNet l0)

Associated Types

type Unwrapped (C_DotNet l0) :: *

Methods

_Wrapped' :: Iso' (C_DotNet l0) (Unwrapped (C_DotNet l0))

(~) * (C_DotNet l0) t0 => Rewrapped (C_DotNet l1) t0

type Unwrapped (C_DotNet l0)

type Unwrapped (C_DotNet l0) = l0

newtype C_Jvm l

Constructors

C_Jvm l

Instances

Wrapped (C_Jvm l0)

Associated Types

type Unwrapped (C_Jvm l0) :: *

Methods

_Wrapped' :: Iso' (C_Jvm l0) (Unwrapped (C_Jvm l0))

(~) * (C_Jvm l0) t0 => Rewrapped (C_Jvm l1) t0

type Unwrapped (C_Jvm l0)

type Unwrapped (C_Jvm l0) = l0

newtype C_Js l

Constructors

C_Js l

Instances

Wrapped (C_Js l0)

Associated Types

type Unwrapped (C_Js l0) :: *

Methods

_Wrapped' :: Iso' (C_Js l0) (Unwrapped (C_Js l0))

(~) * (C_Js l0) t0 => Rewrapped (C_Js l1) t0

type Unwrapped (C_Js l0)

type Unwrapped (C_Js l0) = l0

newtype C_JavaScript l

Constructors

C_JavaScript l

Instances

Wrapped (C_JavaScript l0)

Associated Types

type Unwrapped (C_JavaScript l0) :: *

Methods

_Wrapped' :: Iso' (C_JavaScript l0) (Unwrapped (C_JavaScript l0))

(~) * (C_JavaScript l0) t0 => Rewrapped (C_JavaScript l1) t0

type Unwrapped (C_JavaScript l0)

type Unwrapped (C_JavaScript l0) = l0

newtype C_CApi l

Constructors

C_CApi l

Instances

Wrapped (C_CApi l0)

Associated Types

type Unwrapped (C_CApi l0) :: *

Methods

_Wrapped' :: Iso' (C_CApi l0) (Unwrapped (C_CApi l0))

(~) * (C_CApi l0) t0 => Rewrapped (C_CApi l1) t0

type Unwrapped (C_CApi l0)

type Unwrapped (C_CApi l0) = l0

newtype C_LanguagePragma l

Constructors

C_LanguagePragma (l, [Name l])

Instances

Wrapped (C_LanguagePragma l0)

Associated Types

type Unwrapped (C_LanguagePragma l0) :: *

Methods

_Wrapped' :: Iso' (C_LanguagePragma l0) (Unwrapped (C_LanguagePragma l0))

(~) * (C_LanguagePragma l0) t0 => Rewrapped (C_LanguagePragma l1) t0

type Unwrapped (C_LanguagePragma l0)

type Unwrapped (C_LanguagePragma l0) = (l0, [Name l0])

newtype C_OptionsPragma l

Constructors

C_OptionsPragma (l, Maybe Tool, String)

Instances

Wrapped (C_OptionsPragma l0)

Associated Types

type Unwrapped (C_OptionsPragma l0) :: *

Methods

_Wrapped' :: Iso' (C_OptionsPragma l0) (Unwrapped (C_OptionsPragma l0))

(~) * (C_OptionsPragma l0) t0 => Rewrapped (C_OptionsPragma l1) t0

type Unwrapped (C_OptionsPragma l0)

type Unwrapped (C_OptionsPragma l0) = (l0, Maybe Tool, String)

newtype C_AnnModulePragma l

Constructors

C_AnnModulePragma (l, Annotation l)

Instances

Wrapped (C_AnnModulePragma l0)

Associated Types

type Unwrapped (C_AnnModulePragma l0) :: *

Methods

_Wrapped' :: Iso' (C_AnnModulePragma l0) (Unwrapped (C_AnnModulePragma l0))

(~) * (C_AnnModulePragma l0) t0 => Rewrapped (C_AnnModulePragma l1) t0

type Unwrapped (C_AnnModulePragma l0)

type Unwrapped (C_AnnModulePragma l0) = (l0, Annotation l0)

newtype C_GHC

Constructors

C_GHC ()

Instances

Wrapped C_GHC

Associated Types

type Unwrapped C_GHC :: *

Methods

_Wrapped' :: Iso' C_GHC (Unwrapped C_GHC)

(~) * C_GHC t0 => Rewrapped C_GHC t0

type Unwrapped C_GHC

type Unwrapped C_GHC = ()

newtype C_HUGS

Constructors

C_HUGS ()

Instances

Wrapped C_HUGS

Associated Types

type Unwrapped C_HUGS :: *

Methods

_Wrapped' :: Iso' C_HUGS (Unwrapped C_HUGS)

(~) * C_HUGS t0 => Rewrapped C_HUGS t0

type Unwrapped C_HUGS

type Unwrapped C_HUGS = ()

newtype C_NHC98

Constructors

C_NHC98 ()

Instances

Wrapped C_NHC98

Associated Types

type Unwrapped C_NHC98 :: *

Methods

_Wrapped' :: Iso' C_NHC98 (Unwrapped C_NHC98)

(~) * C_NHC98 t0 => Rewrapped C_NHC98 t0

type Unwrapped C_NHC98

type Unwrapped C_NHC98 = ()

newtype C_YHC

Constructors

C_YHC ()

Instances

Wrapped C_YHC

Associated Types

type Unwrapped C_YHC :: *

Methods

_Wrapped' :: Iso' C_YHC (Unwrapped C_YHC)

(~) * C_YHC t0 => Rewrapped C_YHC t0

type Unwrapped C_YHC

type Unwrapped C_YHC = ()

newtype C_HADDOCK

Constructors

C_HADDOCK ()

Instances

Wrapped C_HADDOCK

Associated Types

type Unwrapped C_HADDOCK :: *

Methods

_Wrapped' :: Iso' C_HADDOCK (Unwrapped C_HADDOCK)

(~) * C_HADDOCK t0 => Rewrapped C_HADDOCK t0

type Unwrapped C_HADDOCK

type Unwrapped C_HADDOCK = ()

newtype C_UnknownTool

Constructors

C_UnknownTool String

Instances

Wrapped C_UnknownTool

Associated Types

type Unwrapped C_UnknownTool :: *

Methods

_Wrapped' :: Iso' C_UnknownTool (Unwrapped C_UnknownTool)

(~) * C_UnknownTool t0 => Rewrapped C_UnknownTool t0

type Unwrapped C_UnknownTool

type Unwrapped C_UnknownTool = String

newtype C_NoOverlap l

Constructors

C_NoOverlap l

Instances

Wrapped (C_NoOverlap l0)

Associated Types

type Unwrapped (C_NoOverlap l0) :: *

Methods

_Wrapped' :: Iso' (C_NoOverlap l0) (Unwrapped (C_NoOverlap l0))

(~) * (C_NoOverlap l0) t0 => Rewrapped (C_NoOverlap l1) t0

type Unwrapped (C_NoOverlap l0)

type Unwrapped (C_NoOverlap l0) = l0

newtype C_Overlap l

Constructors

C_Overlap l

Instances

Wrapped (C_Overlap l0)

Associated Types

type Unwrapped (C_Overlap l0) :: *

Methods

_Wrapped' :: Iso' (C_Overlap l0) (Unwrapped (C_Overlap l0))

(~) * (C_Overlap l0) t0 => Rewrapped (C_Overlap l1) t0

type Unwrapped (C_Overlap l0)

type Unwrapped (C_Overlap l0) = l0

newtype C_Incoherent l

Constructors

C_Incoherent l

Instances

Wrapped (C_Incoherent l0)

Associated Types

type Unwrapped (C_Incoherent l0) :: *

Methods

_Wrapped' :: Iso' (C_Incoherent l0) (Unwrapped (C_Incoherent l0))

(~) * (C_Incoherent l0) t0 => Rewrapped (C_Incoherent l1) t0

type Unwrapped (C_Incoherent l0)

type Unwrapped (C_Incoherent l0) = l0

newtype C_RuleVar l

Constructors

C_RuleVar (l, Name l)

Instances

Wrapped (C_RuleVar l0)

Associated Types

type Unwrapped (C_RuleVar l0) :: *

Methods

_Wrapped' :: Iso' (C_RuleVar l0) (Unwrapped (C_RuleVar l0))

(~) * (C_RuleVar l0) t0 => Rewrapped (C_RuleVar l1) t0

type Unwrapped (C_RuleVar l0)

type Unwrapped (C_RuleVar l0) = (l0, Name l0)

newtype C_TypedRuleVar l

Constructors

C_TypedRuleVar (l, Name l, Type l)

Instances

Wrapped (C_TypedRuleVar l0)

Associated Types

type Unwrapped (C_TypedRuleVar l0) :: *

Methods

_Wrapped' :: Iso' (C_TypedRuleVar l0) (Unwrapped (C_TypedRuleVar l0))

(~) * (C_TypedRuleVar l0) t0 => Rewrapped (C_TypedRuleVar l1) t0

type Unwrapped (C_TypedRuleVar l0)

type Unwrapped (C_TypedRuleVar l0) = (l0, Name l0, Type l0)

newtype C_ActiveFrom l

Constructors

C_ActiveFrom (l, Int)

Instances

Wrapped (C_ActiveFrom l0)

Associated Types

type Unwrapped (C_ActiveFrom l0) :: *

Methods

_Wrapped' :: Iso' (C_ActiveFrom l0) (Unwrapped (C_ActiveFrom l0))

(~) * (C_ActiveFrom l0) t0 => Rewrapped (C_ActiveFrom l1) t0

type Unwrapped (C_ActiveFrom l0)

type Unwrapped (C_ActiveFrom l0) = (l0, Int)

newtype C_ActiveUntil l

Constructors

C_ActiveUntil (l, Int)

Instances

Wrapped (C_ActiveUntil l0)

Associated Types

type Unwrapped (C_ActiveUntil l0) :: *

Methods

_Wrapped' :: Iso' (C_ActiveUntil l0) (Unwrapped (C_ActiveUntil l0))

(~) * (C_ActiveUntil l0) t0 => Rewrapped (C_ActiveUntil l1) t0

type Unwrapped (C_ActiveUntil l0)

type Unwrapped (C_ActiveUntil l0) = (l0, Int)

newtype C_Ann l

Constructors

C_Ann (l, Name l, Exp l)

Instances

Wrapped (C_Ann l0)

Associated Types

type Unwrapped (C_Ann l0) :: *

Methods

_Wrapped' :: Iso' (C_Ann l0) (Unwrapped (C_Ann l0))

(~) * (C_Ann l0) t0 => Rewrapped (C_Ann l1) t0

type Unwrapped (C_Ann l0)

type Unwrapped (C_Ann l0) = (l0, Name l0, Exp l0)

newtype C_TypeAnn l

Constructors

C_TypeAnn (l, Name l, Exp l)

Instances

Wrapped (C_TypeAnn l0)

Associated Types

type Unwrapped (C_TypeAnn l0) :: *

Methods

_Wrapped' :: Iso' (C_TypeAnn l0) (Unwrapped (C_TypeAnn l0))

(~) * (C_TypeAnn l0) t0 => Rewrapped (C_TypeAnn l1) t0

type Unwrapped (C_TypeAnn l0)

type Unwrapped (C_TypeAnn l0) = (l0, Name l0, Exp l0)

newtype C_ModuleAnn l

Constructors

C_ModuleAnn (l, Exp l)

Instances

Wrapped (C_ModuleAnn l0)

Associated Types

type Unwrapped (C_ModuleAnn l0) :: *

Methods

_Wrapped' :: Iso' (C_ModuleAnn l0) (Unwrapped (C_ModuleAnn l0))

(~) * (C_ModuleAnn l0) t0 => Rewrapped (C_ModuleAnn l1) t0

type Unwrapped (C_ModuleAnn l0)

type Unwrapped (C_ModuleAnn l0) = (l0, Exp l0)

newtype C_VarFormula l

Constructors

C_VarFormula (l, Name l)

Instances

Wrapped (C_VarFormula l0)

Associated Types

type Unwrapped (C_VarFormula l0) :: *

Methods

_Wrapped' :: Iso' (C_VarFormula l0) (Unwrapped (C_VarFormula l0))

(~) * (C_VarFormula l0) t0 => Rewrapped (C_VarFormula l1) t0

type Unwrapped (C_VarFormula l0)

type Unwrapped (C_VarFormula l0) = (l0, Name l0)

newtype C_AndFormula l

Constructors

C_AndFormula (l, [BooleanFormula l])

Instances

Wrapped (C_AndFormula l0)

Associated Types

type Unwrapped (C_AndFormula l0) :: *

Methods

_Wrapped' :: Iso' (C_AndFormula l0) (Unwrapped (C_AndFormula l0))

(~) * (C_AndFormula l0) t0 => Rewrapped (C_AndFormula l1) t0

type Unwrapped (C_AndFormula l0)

type Unwrapped (C_AndFormula l0) = (l0, [BooleanFormula l0])

newtype C_OrFormula l

Constructors

C_OrFormula (l, [BooleanFormula l])

Instances

Wrapped (C_OrFormula l0)

Associated Types

type Unwrapped (C_OrFormula l0) :: *

Methods

_Wrapped' :: Iso' (C_OrFormula l0) (Unwrapped (C_OrFormula l0))

(~) * (C_OrFormula l0) t0 => Rewrapped (C_OrFormula l1) t0

type Unwrapped (C_OrFormula l0)

type Unwrapped (C_OrFormula l0) = (l0, [BooleanFormula l0])

newtype C_ParenFormula l

Constructors

C_ParenFormula (l, BooleanFormula l)

Instances

Wrapped (C_ParenFormula l0)

Associated Types

type Unwrapped (C_ParenFormula l0) :: *

Methods

_Wrapped' :: Iso' (C_ParenFormula l0) (Unwrapped (C_ParenFormula l0))

(~) * (C_ParenFormula l0) t0 => Rewrapped (C_ParenFormula l1) t0

type Unwrapped (C_ParenFormula l0)

type Unwrapped (C_ParenFormula l0) = (l0, BooleanFormula l0)

_ParenFormula' :: Prism' (BooleanFormula v) (C_ParenFormula v)

_OrFormula' :: Prism' (BooleanFormula v) (C_OrFormula v)

_AndFormula' :: Prism' (BooleanFormula v) (C_AndFormula v)

_VarFormula' :: Prism' (BooleanFormula v) (C_VarFormula v)

_ModuleAnn' :: Prism' (Annotation v) (C_ModuleAnn v)

_TypeAnn' :: Prism' (Annotation v) (C_TypeAnn v)

_Ann' :: Prism' (Annotation v) (C_Ann v)

_ActiveUntil' :: Prism' (Activation v) (C_ActiveUntil v)

_ActiveFrom' :: Prism' (Activation v) (C_ActiveFrom v)

_TypedRuleVar' :: Prism' (RuleVar v) (C_TypedRuleVar v)

_RuleVar' :: Prism' (RuleVar v) (C_RuleVar v)

_Incoherent' :: Prism' (Overlap v) (C_Incoherent v)

_Overlap' :: Prism' (Overlap v) (C_Overlap v)

_NoOverlap' :: Prism' (Overlap v) (C_NoOverlap v)

_UnknownTool' :: Prism' Tool C_UnknownTool

_HADDOCK' :: Prism' Tool C_HADDOCK

_YHC' :: Prism' Tool C_YHC

_NHC98' :: Prism' Tool C_NHC98

_HUGS' :: Prism' Tool C_HUGS

_GHC' :: Prism' Tool C_GHC

_AnnModulePragma' :: Prism' (ModulePragma v) (C_AnnModulePragma v)

_OptionsPragma' :: Prism' (ModulePragma v) (C_OptionsPragma v)

_LanguagePragma' :: Prism' (ModulePragma v) (C_LanguagePragma v)

_CApi' :: Prism' (CallConv v) (C_CApi v)

_JavaScript' :: Prism' (CallConv v) (C_JavaScript v)

_Js' :: Prism' (CallConv v) (C_Js v)

_Jvm' :: Prism' (CallConv v) (C_Jvm v)

_DotNet' :: Prism' (CallConv v) (C_DotNet v)

_CPlusPlus' :: Prism' (CallConv v) (C_CPlusPlus v)

_CCall' :: Prism' (CallConv v) (C_CCall v)

_StdCall' :: Prism' (CallConv v) (C_StdCall v)

_PlayInterruptible' :: Prism' (Safety v) (C_PlayInterruptible v)

_PlaySafe' :: Prism' (Safety v) (C_PlaySafe v)

_PlayRisky' :: Prism' (Safety v) (C_PlayRisky v)

_ParenSplice' :: Prism' (Splice v) (C_ParenSplice v)

_IdSplice' :: Prism' (Splice v) (C_IdSplice v)

_DeclBracket' :: Prism' (Bracket v) (C_DeclBracket v)

_TypeBracket' :: Prism' (Bracket v) (C_TypeBracket v)

_PatBracket' :: Prism' (Bracket v) (C_PatBracket v)

_ExpBracket' :: Prism' (Bracket v) (C_ExpBracket v)

_RoleWildcard' :: Prism' (Role v) (C_RoleWildcard v)

_Phantom' :: Prism' (Role v) (C_Phantom v)

_Representational' :: Prism' (Role v) (C_Representational v)

_Nominal' :: Prism' (Role v) (C_Nominal v)

_XDomName' :: Prism' (XName v) (C_XDomName v)

_XName' :: Prism' (XName v) (C_XName v)

_IPLin' :: Prism' (IPName v) (C_IPLin v)

_IPDup' :: Prism' (IPName v) (C_IPDup v)

_ConName' :: Prism' (CName v) (C_ConName v)

_VarName' :: Prism' (CName v) (C_VarName v)

_UnboxedSingleCon' :: Prism' (SpecialCon v) (C_UnboxedSingleCon v)

_Cons' :: Prism' (SpecialCon v) (C_Cons v)

_TupleCon' :: Prism' (SpecialCon v) (C_TupleCon v)

_FunCon' :: Prism' (SpecialCon v) (C_FunCon v)

_ListCon' :: Prism' (SpecialCon v) (C_ListCon v)

_UnitCon' :: Prism' (SpecialCon v) (C_UnitCon v)

_ConOp' :: Prism' (Op v) (C_ConOp v)

_VarOp' :: Prism' (Op v) (C_VarOp v)

_QConOp' :: Prism' (QOp v) (C_QConOp v)

_QVarOp' :: Prism' (QOp v) (C_QVarOp v)

_Symbol' :: Prism' (Name v) (C_Symbol v)

_Ident' :: Prism' (Name v) (C_Ident v)

_Special' :: Prism' (QName v) (C_Special v)

_UnQual' :: Prism' (QName v) (C_UnQual v)

_Qual' :: Prism' (QName v) (C_Qual v)

_Negative' :: Prism' (Sign v) (C_Negative v)

_Signless' :: Prism' (Sign v) (C_Signless v)

_PrimString' :: Prism' (Literal v) (C_PrimString v)

_PrimChar' :: Prism' (Literal v) (C_PrimChar v)

_PrimDouble' :: Prism' (Literal v) (C_PrimDouble v)

_PrimFloat' :: Prism' (Literal v) (C_PrimFloat v)

_PrimWord' :: Prism' (Literal v) (C_PrimWord v)

_PrimInt' :: Prism' (Literal v) (C_PrimInt v)

_Frac' :: Prism' (Literal v) (C_Frac v)

_Int' :: Prism' (Literal v) (C_Int v)

_String' :: Prism' (Literal v) (C_String v)

_Char' :: Prism' (Literal v) (C_Char v)

_RPOptG' :: Prism' (RPatOp v) (C_RPOptG v)

_RPOpt' :: Prism' (RPatOp v) (C_RPOpt v)

_RPPlusG' :: Prism' (RPatOp v) (C_RPPlusG v)

_RPPlus' :: Prism' (RPatOp v) (C_RPPlus v)

_RPStarG' :: Prism' (RPatOp v) (C_RPStarG v)

_RPStar' :: Prism' (RPatOp v) (C_RPStar v)

_RPPat' :: Prism' (RPat v) (C_RPPat v)

_RPParen' :: Prism' (RPat v) (C_RPParen v)

_RPAs' :: Prism' (RPat v) (C_RPAs v)

_RPCAs' :: Prism' (RPat v) (C_RPCAs v)

_RPGuard' :: Prism' (RPat v) (C_RPGuard v)

_RPSeq' :: Prism' (RPat v) (C_RPSeq v)

_RPEither' :: Prism' (RPat v) (C_RPEither v)

_RPOp' :: Prism' (RPat v) (C_RPOp v)

_PFieldWildcard' :: Prism' (PatField v) (C_PFieldWildcard v)

_PFieldPun' :: Prism' (PatField v) (C_PFieldPun v)

_PFieldPat' :: Prism' (PatField v) (C_PFieldPat v)

_PBangPat' :: Prism' (Pat v) (C_PBangPat v)

_PQuasiQuote' :: Prism' (Pat v) (C_PQuasiQuote v)

_PXRPats' :: Prism' (Pat v) (C_PXRPats v)

_PXPatTag' :: Prism' (Pat v) (C_PXPatTag v)

_PXPcdata' :: Prism' (Pat v) (C_PXPcdata v)

_PXETag' :: Prism' (Pat v) (C_PXETag v)

_PXTag' :: Prism' (Pat v) (C_PXTag v)

_PRPat' :: Prism' (Pat v) (C_PRPat v)

_PViewPat' :: Prism' (Pat v) (C_PViewPat v)

_PatTypeSig' :: Prism' (Pat v) (C_PatTypeSig v)

_PIrrPat' :: Prism' (Pat v) (C_PIrrPat v)

_PWildCard' :: Prism' (Pat v) (C_PWildCard v)

_PAsPat' :: Prism' (Pat v) (C_PAsPat v)

_PRec' :: Prism' (Pat v) (C_PRec v)

_PParen' :: Prism' (Pat v) (C_PParen v)

_PList' :: Prism' (Pat v) (C_PList v)

_PTuple' :: Prism' (Pat v) (C_PTuple v)

_PApp' :: Prism' (Pat v) (C_PApp v)

_PInfixApp' :: Prism' (Pat v) (C_PInfixApp v)

_PNPlusK' :: Prism' (Pat v) (C_PNPlusK v)

_PLit' :: Prism' (Pat v) (C_PLit v)

_PVar' :: Prism' (Pat v) (C_PVar v)

_FieldWildcard' :: Prism' (FieldUpdate v) (C_FieldWildcard v)

_FieldPun' :: Prism' (FieldUpdate v) (C_FieldPun v)

_FieldUpdate' :: Prism' (FieldUpdate v) (C_FieldUpdate v)

_GroupByUsing' :: Prism' (QualStmt v) (C_GroupByUsing v)

_GroupUsing' :: Prism' (QualStmt v) (C_GroupUsing v)

_GroupBy' :: Prism' (QualStmt v) (C_GroupBy v)

_ThenBy' :: Prism' (QualStmt v) (C_ThenBy v)

_ThenTrans' :: Prism' (QualStmt v) (C_ThenTrans v)

_QualStmt' :: Prism' (QualStmt v) (C_QualStmt v)

_RecStmt' :: Prism' (Stmt v) (C_RecStmt v)

_LetStmt' :: Prism' (Stmt v) (C_LetStmt v)

_Qualifier' :: Prism' (Stmt v) (C_Qualifier v)

_Generator' :: Prism' (Stmt v) (C_Generator v)

_ExprHole' :: Prism' (Exp v) (C_ExprHole v)

_LCase' :: Prism' (Exp v) (C_LCase v)

_RightArrHighApp' :: Prism' (Exp v) (C_RightArrHighApp v)

_LeftArrHighApp' :: Prism' (Exp v) (C_LeftArrHighApp v)

_RightArrApp' :: Prism' (Exp v) (C_RightArrApp v)

_LeftArrApp' :: Prism' (Exp v) (C_LeftArrApp v)

_Proc' :: Prism' (Exp v) (C_Proc v)

_GenPragma' :: Prism' (Exp v) (C_GenPragma v)

_SCCPragma' :: Prism' (Exp v) (C_SCCPragma v)

_CorePragma' :: Prism' (Exp v) (C_CorePragma v)

_XChildTag' :: Prism' (Exp v) (C_XChildTag v)

_XExpTag' :: Prism' (Exp v) (C_XExpTag v)

_XPcdata' :: Prism' (Exp v) (C_XPcdata v)

_XETag' :: Prism' (Exp v) (C_XETag v)

_XTag' :: Prism' (Exp v) (C_XTag v)

_TypeApp' :: Prism' (Exp v) (C_TypeApp v)

_QuasiQuote' :: Prism' (Exp v) (C_QuasiQuote v)

_SpliceExp' :: Prism' (Exp v) (C_SpliceExp v)

_BracketExp' :: Prism' (Exp v) (C_BracketExp v)

_TypQuote' :: Prism' (Exp v) (C_TypQuote v)

_VarQuote' :: Prism' (Exp v) (C_VarQuote v)

_ExpTypeSig' :: Prism' (Exp v) (C_ExpTypeSig v)

_ParArrayComp' :: Prism' (Exp v) (C_ParArrayComp v)

_ParComp' :: Prism' (Exp v) (C_ParComp v)

_ListComp' :: Prism' (Exp v) (C_ListComp v)

_ParArrayFromThenTo' :: Prism' (Exp v) (C_ParArrayFromThenTo v)

_ParArrayFromTo' :: Prism' (Exp v) (C_ParArrayFromTo v)

_EnumFromThenTo' :: Prism' (Exp v) (C_EnumFromThenTo v)

_EnumFromThen' :: Prism' (Exp v) (C_EnumFromThen v)

_EnumFromTo' :: Prism' (Exp v) (C_EnumFromTo v)

_EnumFrom' :: Prism' (Exp v) (C_EnumFrom v)

_RecUpdate' :: Prism' (Exp v) (C_RecUpdate v)

_RecConstr' :: Prism' (Exp v) (C_RecConstr v)

_RightSection' :: Prism' (Exp v) (C_RightSection v)

_LeftSection' :: Prism' (Exp v) (C_LeftSection v)

_Paren' :: Prism' (Exp v) (C_Paren v)

_ParArray' :: Prism' (Exp v) (C_ParArray v)

_List' :: Prism' (Exp v) (C_List v)

_TupleSection' :: Prism' (Exp v) (C_TupleSection v)

_Tuple' :: Prism' (Exp v) (C_Tuple v)

_MDo' :: Prism' (Exp v) (C_MDo v)

_Do' :: Prism' (Exp v) (C_Do v)

_Case' :: Prism' (Exp v) (C_Case v)

_MultiIf' :: Prism' (Exp v) (C_MultiIf v)

_If' :: Prism' (Exp v) (C_If v)

_Let' :: Prism' (Exp v) (C_Let v)

_Lambda' :: Prism' (Exp v) (C_Lambda v)

_NegApp' :: Prism' (Exp v) (C_NegApp v)

_App' :: Prism' (Exp v) (C_App v)

_InfixApp' :: Prism' (Exp v) (C_InfixApp v)

_Lit' :: Prism' (Exp v) (C_Lit v)

_Con' :: Prism' (Exp v) (C_Con v)

_IPVar' :: Prism' (Exp v) (C_IPVar v)

_OverloadedLabel' :: Prism' (Exp v) (C_OverloadedLabel v)

_Var' :: Prism' (Exp v) (C_Var v)

_PromotedUnit' :: Prism' (Promoted v) (C_PromotedUnit v)

_PromotedTuple' :: Prism' (Promoted v) (C_PromotedTuple v)

_PromotedList' :: Prism' (Promoted v) (C_PromotedList v)

_PromotedCon' :: Prism' (Promoted v) (C_PromotedCon v)

_PromotedString' :: Prism' (Promoted v) (C_PromotedString v)

_PromotedInteger' :: Prism' (Promoted v) (C_PromotedInteger v)

_UnkindedVar' :: Prism' (TyVarBind v) (C_UnkindedVar v)

_KindedVar' :: Prism' (TyVarBind v) (C_KindedVar v)

_KindList' :: Prism' (Kind v) (C_KindList v)

_KindTuple' :: Prism' (Kind v) (C_KindTuple v)

_KindApp' :: Prism' (Kind v) (C_KindApp v)

_KindVar' :: Prism' (Kind v) (C_KindVar v)

_KindParen' :: Prism' (Kind v) (C_KindParen v)

_KindFn' :: Prism' (Kind v) (C_KindFn v)

_KindStar' :: Prism' (Kind v) (C_KindStar v)

_Unboxed' :: Prism' Boxed C_Unboxed

_Boxed' :: Prism' Boxed C_Boxed

_TyQuasiQuote' :: Prism' (Type v) (C_TyQuasiQuote v)

_TyWildCard' :: Prism' (Type v) (C_TyWildCard v)

_TyBang' :: Prism' (Type v) (C_TyBang v)

_TySplice' :: Prism' (Type v) (C_TySplice v)

_TyEquals' :: Prism' (Type v) (C_TyEquals v)

_TyPromoted' :: Prism' (Type v) (C_TyPromoted v)

_TyKind' :: Prism' (Type v) (C_TyKind v)

_TyInfix' :: Prism' (Type v) (C_TyInfix v)

_TyParen' :: Prism' (Type v) (C_TyParen v)

_TyCon' :: Prism' (Type v) (C_TyCon v)

_TyVar' :: Prism' (Type v) (C_TyVar v)

_TyApp' :: Prism' (Type v) (C_TyApp v)

_TyParArray' :: Prism' (Type v) (C_TyParArray v)

_TyList' :: Prism' (Type v) (C_TyList v)

_TyTuple' :: Prism' (Type v) (C_TyTuple v)

_TyFun' :: Prism' (Type v) (C_TyFun v)

_TyForall' :: Prism' (Type v) (C_TyForall v)

_WildCardA' :: Prism' (Asst v) (C_WildCardA v)

_ParenA' :: Prism' (Asst v) (C_ParenA v)

_EqualP' :: Prism' (Asst v) (C_EqualP v)

_IParam' :: Prism' (Asst v) (C_IParam v)

_InfixA' :: Prism' (Asst v) (C_InfixA v)

_AppA' :: Prism' (Asst v) (C_AppA v)

_ClassA' :: Prism' (Asst v) (C_ClassA v)

_CxEmpty' :: Prism' (Context v) (C_CxEmpty v)

_CxTuple' :: Prism' (Context v) (C_CxTuple v)

_CxSingle' :: Prism' (Context v) (C_CxSingle v)

_GuardedRhss' :: Prism' (Rhs v) (C_GuardedRhss v)

_UnGuardedRhs' :: Prism' (Rhs v) (C_UnGuardedRhs v)

_InfixMatch' :: Prism' (Match v) (C_InfixMatch v)

_Match' :: Prism' (Match v) (C_Match v)

_NoUnpackPragma' :: Prism' (Unpackedness v) (C_NoUnpackPragma v)

_NoUnpack' :: Prism' (Unpackedness v) (C_NoUnpack v)

_Unpack' :: Prism' (Unpackedness v) (C_Unpack v)

_NoStrictAnnot' :: Prism' (BangType v) (C_NoStrictAnnot v)

_LazyTy' :: Prism' (BangType v) (C_LazyTy v)

_BangedTy' :: Prism' (BangType v) (C_BangedTy v)

_RecDecl' :: Prism' (ConDecl v) (C_RecDecl v)

_InfixConDecl' :: Prism' (ConDecl v) (C_InfixConDecl v)

_ConDecl' :: Prism' (ConDecl v) (C_ConDecl v)

_NewType' :: Prism' (DataOrNew v) (C_NewType v)

_DataType' :: Prism' (DataOrNew v) (C_DataType v)

_InsGData' :: Prism' (InstDecl v) (C_InsGData v)

_InsData' :: Prism' (InstDecl v) (C_InsData v)

_InsType' :: Prism' (InstDecl v) (C_InsType v)

_InsDecl' :: Prism' (InstDecl v) (C_InsDecl v)

_ClsDefSig' :: Prism' (ClassDecl v) (C_ClsDefSig v)

_ClsTyDef' :: Prism' (ClassDecl v) (C_ClsTyDef v)

_ClsTyFam' :: Prism' (ClassDecl v) (C_ClsTyFam v)

_ClsDataFam' :: Prism' (ClassDecl v) (C_ClsDataFam v)

_ClsDecl' :: Prism' (ClassDecl v) (C_ClsDecl v)

_TyVarSig' :: Prism' (ResultSig v) (C_TyVarSig v)

_KindSig' :: Prism' (ResultSig v) (C_KindSig v)

_ExplicitBidirectional' :: Prism' (PatternSynDirection v) (C_ExplicitBidirectional v)

_ImplicitBidirectional' :: Prism' (PatternSynDirection v) (C_ImplicitBidirectional v)

_Unidirectional' :: Prism' (PatternSynDirection v) (C_Unidirectional v)

_IPBinds' :: Prism' (Binds v) (C_IPBinds v)

_BDecls' :: Prism' (Binds v) (C_BDecls v)

_IHApp' :: Prism' (InstHead v) (C_IHApp v)

_IHParen' :: Prism' (InstHead v) (C_IHParen v)

_IHInfix' :: Prism' (InstHead v) (C_IHInfix v)

_IHCon' :: Prism' (InstHead v) (C_IHCon v)

_IParen' :: Prism' (InstRule v) (C_IParen v)

_IRule' :: Prism' (InstRule v) (C_IRule v)

_DHApp' :: Prism' (DeclHead v) (C_DHApp v)

_DHParen' :: Prism' (DeclHead v) (C_DHParen v)

_DHInfix' :: Prism' (DeclHead v) (C_DHInfix v)

_DHead' :: Prism' (DeclHead v) (C_DHead v)

_RoleAnnotDecl' :: Prism' (Decl v) (C_RoleAnnotDecl v)

_MinimalPragma' :: Prism' (Decl v) (C_MinimalPragma v)

_AnnPragma' :: Prism' (Decl v) (C_AnnPragma v)

_InstSig' :: Prism' (Decl v) (C_InstSig v)

_SpecInlineSig' :: Prism' (Decl v) (C_SpecInlineSig v)

_SpecSig' :: Prism' (Decl v) (C_SpecSig v)

_InlineConlikeSig' :: Prism' (Decl v) (C_InlineConlikeSig v)

_InlineSig' :: Prism' (Decl v) (C_InlineSig v)

_WarnPragmaDecl' :: Prism' (Decl v) (C_WarnPragmaDecl v)

_DeprPragmaDecl' :: Prism' (Decl v) (C_DeprPragmaDecl v)

_RulePragmaDecl' :: Prism' (Decl v) (C_RulePragmaDecl v)

_ForExp' :: Prism' (Decl v) (C_ForExp v)

_ForImp' :: Prism' (Decl v) (C_ForImp v)

_PatSyn' :: Prism' (Decl v) (C_PatSyn v)

_PatBind' :: Prism' (Decl v) (C_PatBind v)

_FunBind' :: Prism' (Decl v) (C_FunBind v)

_PatSynSig' :: Prism' (Decl v) (C_PatSynSig v)

_TypeSig' :: Prism' (Decl v) (C_TypeSig v)

_SpliceDecl' :: Prism' (Decl v) (C_SpliceDecl v)

_DefaultDecl' :: Prism' (Decl v) (C_DefaultDecl v)

_InfixDecl' :: Prism' (Decl v) (C_InfixDecl v)

_DerivDecl' :: Prism' (Decl v) (C_DerivDecl v)

_InstDecl' :: Prism' (Decl v) (C_InstDecl v)

_ClassDecl' :: Prism' (Decl v) (C_ClassDecl v)

_GDataInsDecl' :: Prism' (Decl v) (C_GDataInsDecl v)

_DataInsDecl' :: Prism' (Decl v) (C_DataInsDecl v)

_TypeInsDecl' :: Prism' (Decl v) (C_TypeInsDecl v)

_DataFamDecl' :: Prism' (Decl v) (C_DataFamDecl v)

_GDataDecl' :: Prism' (Decl v) (C_GDataDecl v)

_DataDecl' :: Prism' (Decl v) (C_DataDecl v)

_ClosedTypeFamDecl' :: Prism' (Decl v) (C_ClosedTypeFamDecl v)

_TypeFamDecl' :: Prism' (Decl v) (C_TypeFamDecl v)

_TypeDecl' :: Prism' (Decl v) (C_TypeDecl v)

_PatternNamespace' :: Prism' (Namespace v) (C_PatternNamespace v)

_TypeNamespace' :: Prism' (Namespace v) (C_TypeNamespace v)

_NoNamespace' :: Prism' (Namespace v) (C_NoNamespace v)

_AssocRight' :: Prism' (Assoc v) (C_AssocRight v)

_AssocLeft' :: Prism' (Assoc v) (C_AssocLeft v)

_AssocNone' :: Prism' (Assoc v) (C_AssocNone v)

_IThingWith' :: Prism' (ImportSpec v) (C_IThingWith v)

_IThingAll' :: Prism' (ImportSpec v) (C_IThingAll v)

_IAbs' :: Prism' (ImportSpec v) (C_IAbs v)

_IVar' :: Prism' (ImportSpec v) (C_IVar v)

_EWildcard' :: Prism' (EWildcard v) (C_EWildcard v)

_NoWildcard' :: Prism' (EWildcard v) (C_NoWildcard v)

_EModuleContents' :: Prism' (ExportSpec v) (C_EModuleContents v)

_EThingWith' :: Prism' (ExportSpec v) (C_EThingWith v)

_EAbs' :: Prism' (ExportSpec v) (C_EAbs v)

_EVar' :: Prism' (ExportSpec v) (C_EVar v)

_WarnText' :: Prism' (WarningText v) (C_WarnText v)

_DeprText' :: Prism' (WarningText v) (C_DeprText v)

_XmlHybrid' :: Prism' (Module v) (C_XmlHybrid v)

_XmlPage' :: Prism' (Module v) (C_XmlPage v)

_Module' :: Prism' (Module v) (C_Module v)