rewire-embedder-2.8: A ReWire-to-Isabelle embedder
Safe HaskellTrustworthy
LanguageHaskell2010

ReWire.HSE.Orphans

Orphan instances

Generic Fixity Source # 
Instance details

Associated Types

type Rep Fixity 
Instance details

Defined in ReWire.HSE.Orphans

type Rep Fixity = D1 ('MetaData "Fixity" "Language.Haskell.Exts.Fixity" "haskell-src-exts-1.23.1-u9kZBbbrX5I76m1RVvrB3" 'False) (C1 ('MetaCons "Fixity" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Assoc ())) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QName ())))))

Methods

from :: Fixity -> Rep Fixity x #

to :: Rep Fixity x -> Fixity #

Hashable Fixity Source # 
Instance details

Methods

hashWithSalt :: Int -> Fixity -> Int

hash :: Fixity -> Int

Hashable Boxed Source # 
Instance details

Methods

hashWithSalt :: Int -> Boxed -> Int

hash :: Boxed -> Int

TextShow Fixity Source # 
Instance details

Methods

showbPrec :: Int -> Fixity -> Builder #

showb :: Fixity -> Builder #

showbList :: [Fixity] -> Builder

showtPrec :: Int -> Fixity -> Text

showt :: Fixity -> Text #

showtList :: [Fixity] -> Text

showtlPrec :: Int -> Fixity -> Text

showtl :: Fixity -> Text

showtlList :: [Fixity] -> Text

TextShow SrcSpan Source # 
Instance details

Methods

showbPrec :: Int -> SrcSpan -> Builder #

showb :: SrcSpan -> Builder #

showbList :: [SrcSpan] -> Builder

showtPrec :: Int -> SrcSpan -> Text

showt :: SrcSpan -> Text #

showtList :: [SrcSpan] -> Text

showtlPrec :: Int -> SrcSpan -> Text

showtl :: SrcSpan -> Text

showtlList :: [SrcSpan] -> Text

TextShow SrcSpanInfo Source # 
Instance details

Methods

showbPrec :: Int -> SrcSpanInfo -> Builder #

showb :: SrcSpanInfo -> Builder #

showbList :: [SrcSpanInfo] -> Builder

showtPrec :: Int -> SrcSpanInfo -> Text

showt :: SrcSpanInfo -> Text #

showtList :: [SrcSpanInfo] -> Text

showtlPrec :: Int -> SrcSpanInfo -> Text

showtl :: SrcSpanInfo -> Text

showtlList :: [SrcSpanInfo] -> Text

TextShow Boxed Source # 
Instance details

Methods

showbPrec :: Int -> Boxed -> Builder #

showb :: Boxed -> Builder #

showbList :: [Boxed] -> Builder

showtPrec :: Int -> Boxed -> Text

showt :: Boxed -> Text #

showtList :: [Boxed] -> Text

showtlPrec :: Int -> Boxed -> Text

showtl :: Boxed -> Text

showtlList :: [Boxed] -> Text

TextShow Tool Source # 
Instance details

Methods

showbPrec :: Int -> Tool -> Builder #

showb :: Tool -> Builder #

showbList :: [Tool] -> Builder

showtPrec :: Int -> Tool -> Text

showt :: Tool -> Text #

showtList :: [Tool] -> Text

showtlPrec :: Int -> Tool -> Text

showtl :: Tool -> Text

showtlList :: [Tool] -> Text

Hashable a => Hashable (Assoc a) Source # 
Instance details

Methods

hashWithSalt :: Int -> Assoc a -> Int

hash :: Assoc a -> Int

Hashable a => Hashable (ModuleName a) Source # 
Instance details

Methods

hashWithSalt :: Int -> ModuleName a -> Int

hash :: ModuleName a -> Int

Hashable a => Hashable (Name a) Source # 
Instance details

Methods

hashWithSalt :: Int -> Name a -> Int

hash :: Name a -> Int

Hashable a => Hashable (QName a) Source # 
Instance details

Methods

hashWithSalt :: Int -> QName a -> Int

hash :: QName a -> Int

Hashable a => Hashable (SpecialCon a) Source # 
Instance details

Methods

hashWithSalt :: Int -> SpecialCon a -> Int

hash :: SpecialCon a -> Int

TextShow a => TextShow (Activation a) Source # 
Instance details

Methods

showbPrec :: Int -> Activation a -> Builder #

showb :: Activation a -> Builder #

showbList :: [Activation a] -> Builder

showtPrec :: Int -> Activation a -> Text

showt :: Activation a -> Text #

showtList :: [Activation a] -> Text

showtlPrec :: Int -> Activation a -> Text

showtl :: Activation a -> Text

showtlList :: [Activation a] -> Text

TextShow a => TextShow (Alt a) Source # 
Instance details

Methods

showbPrec :: Int -> Alt a -> Builder #

showb :: Alt a -> Builder #

showbList :: [Alt a] -> Builder

showtPrec :: Int -> Alt a -> Text

showt :: Alt a -> Text #

showtList :: [Alt a] -> Text

showtlPrec :: Int -> Alt a -> Text

showtl :: Alt a -> Text

showtlList :: [Alt a] -> Text

TextShow a => TextShow (Annotation a) Source # 
Instance details

Methods

showbPrec :: Int -> Annotation a -> Builder #

showb :: Annotation a -> Builder #

showbList :: [Annotation a] -> Builder

showtPrec :: Int -> Annotation a -> Text

showt :: Annotation a -> Text #

showtList :: [Annotation a] -> Text

showtlPrec :: Int -> Annotation a -> Text

showtl :: Annotation a -> Text

showtlList :: [Annotation a] -> Text

TextShow a => TextShow (Assoc a) Source # 
Instance details

Methods

showbPrec :: Int -> Assoc a -> Builder #

showb :: Assoc a -> Builder #

showbList :: [Assoc a] -> Builder

showtPrec :: Int -> Assoc a -> Text

showt :: Assoc a -> Text #

showtList :: [Assoc a] -> Text

showtlPrec :: Int -> Assoc a -> Text

showtl :: Assoc a -> Text

showtlList :: [Assoc a] -> Text

TextShow a => TextShow (Asst a) Source # 
Instance details

Methods

showbPrec :: Int -> Asst a -> Builder #

showb :: Asst a -> Builder #

showbList :: [Asst a] -> Builder

showtPrec :: Int -> Asst a -> Text

showt :: Asst a -> Text #

showtList :: [Asst a] -> Text

showtlPrec :: Int -> Asst a -> Text

showtl :: Asst a -> Text

showtlList :: [Asst a] -> Text

TextShow a => TextShow (BangType a) Source # 
Instance details

Methods

showbPrec :: Int -> BangType a -> Builder #

showb :: BangType a -> Builder #

showbList :: [BangType a] -> Builder

showtPrec :: Int -> BangType a -> Text

showt :: BangType a -> Text #

showtList :: [BangType a] -> Text

showtlPrec :: Int -> BangType a -> Text

showtl :: BangType a -> Text

showtlList :: [BangType a] -> Text

TextShow a => TextShow (Binds a) Source # 
Instance details

Methods

showbPrec :: Int -> Binds a -> Builder #

showb :: Binds a -> Builder #

showbList :: [Binds a] -> Builder

showtPrec :: Int -> Binds a -> Text

showt :: Binds a -> Text #

showtList :: [Binds a] -> Text

showtlPrec :: Int -> Binds a -> Text

showtl :: Binds a -> Text

showtlList :: [Binds a] -> Text

TextShow a => TextShow (BooleanFormula a) Source # 
Instance details

Methods

showbPrec :: Int -> BooleanFormula a -> Builder #

showb :: BooleanFormula a -> Builder #

showbList :: [BooleanFormula a] -> Builder

showtPrec :: Int -> BooleanFormula a -> Text

showt :: BooleanFormula a -> Text #

showtList :: [BooleanFormula a] -> Text

showtlPrec :: Int -> BooleanFormula a -> Text

showtl :: BooleanFormula a -> Text

showtlList :: [BooleanFormula a] -> Text

TextShow a => TextShow (Bracket a) Source # 
Instance details

Methods

showbPrec :: Int -> Bracket a -> Builder #

showb :: Bracket a -> Builder #

showbList :: [Bracket a] -> Builder

showtPrec :: Int -> Bracket a -> Text

showt :: Bracket a -> Text #

showtList :: [Bracket a] -> Text

showtlPrec :: Int -> Bracket a -> Text

showtl :: Bracket a -> Text

showtlList :: [Bracket a] -> Text

TextShow a => TextShow (CName a) Source # 
Instance details

Methods

showbPrec :: Int -> CName a -> Builder #

showb :: CName a -> Builder #

showbList :: [CName a] -> Builder

showtPrec :: Int -> CName a -> Text

showt :: CName a -> Text #

showtList :: [CName a] -> Text

showtlPrec :: Int -> CName a -> Text

showtl :: CName a -> Text

showtlList :: [CName a] -> Text

TextShow a => TextShow (CallConv a) Source # 
Instance details

Methods

showbPrec :: Int -> CallConv a -> Builder #

showb :: CallConv a -> Builder #

showbList :: [CallConv a] -> Builder

showtPrec :: Int -> CallConv a -> Text

showt :: CallConv a -> Text #

showtList :: [CallConv a] -> Text

showtlPrec :: Int -> CallConv a -> Text

showtl :: CallConv a -> Text

showtlList :: [CallConv a] -> Text

TextShow a => TextShow (ClassDecl a) Source # 
Instance details

Methods

showbPrec :: Int -> ClassDecl a -> Builder #

showb :: ClassDecl a -> Builder #

showbList :: [ClassDecl a] -> Builder

showtPrec :: Int -> ClassDecl a -> Text

showt :: ClassDecl a -> Text #

showtList :: [ClassDecl a] -> Text

showtlPrec :: Int -> ClassDecl a -> Text

showtl :: ClassDecl a -> Text

showtlList :: [ClassDecl a] -> Text

TextShow a => TextShow (ConDecl a) Source # 
Instance details

Methods

showbPrec :: Int -> ConDecl a -> Builder #

showb :: ConDecl a -> Builder #

showbList :: [ConDecl a] -> Builder

showtPrec :: Int -> ConDecl a -> Text

showt :: ConDecl a -> Text #

showtList :: [ConDecl a] -> Text

showtlPrec :: Int -> ConDecl a -> Text

showtl :: ConDecl a -> Text

showtlList :: [ConDecl a] -> Text

TextShow a => TextShow (Context a) Source # 
Instance details

Methods

showbPrec :: Int -> Context a -> Builder #

showb :: Context a -> Builder #

showbList :: [Context a] -> Builder

showtPrec :: Int -> Context a -> Text

showt :: Context a -> Text #

showtList :: [Context a] -> Text

showtlPrec :: Int -> Context a -> Text

showtl :: Context a -> Text

showtlList :: [Context a] -> Text

TextShow a => TextShow (DataOrNew a) Source # 
Instance details

Methods

showbPrec :: Int -> DataOrNew a -> Builder #

showb :: DataOrNew a -> Builder #

showbList :: [DataOrNew a] -> Builder

showtPrec :: Int -> DataOrNew a -> Text

showt :: DataOrNew a -> Text #

showtList :: [DataOrNew a] -> Text

showtlPrec :: Int -> DataOrNew a -> Text

showtl :: DataOrNew a -> Text

showtlList :: [DataOrNew a] -> Text

TextShow a => TextShow (Decl a) Source # 
Instance details

Methods

showbPrec :: Int -> Decl a -> Builder #

showb :: Decl a -> Builder #

showbList :: [Decl a] -> Builder

showtPrec :: Int -> Decl a -> Text

showt :: Decl a -> Text #

showtList :: [Decl a] -> Text

showtlPrec :: Int -> Decl a -> Text

showtl :: Decl a -> Text

showtlList :: [Decl a] -> Text

TextShow a => TextShow (DeclHead a) Source # 
Instance details

Methods

showbPrec :: Int -> DeclHead a -> Builder #

showb :: DeclHead a -> Builder #

showbList :: [DeclHead a] -> Builder

showtPrec :: Int -> DeclHead a -> Text

showt :: DeclHead a -> Text #

showtList :: [DeclHead a] -> Text

showtlPrec :: Int -> DeclHead a -> Text

showtl :: DeclHead a -> Text

showtlList :: [DeclHead a] -> Text

TextShow a => TextShow (DerivStrategy a) Source # 
Instance details

Methods

showbPrec :: Int -> DerivStrategy a -> Builder #

showb :: DerivStrategy a -> Builder #

showbList :: [DerivStrategy a] -> Builder

showtPrec :: Int -> DerivStrategy a -> Text

showt :: DerivStrategy a -> Text #

showtList :: [DerivStrategy a] -> Text

showtlPrec :: Int -> DerivStrategy a -> Text

showtl :: DerivStrategy a -> Text

showtlList :: [DerivStrategy a] -> Text

TextShow a => TextShow (Deriving a) Source # 
Instance details

Methods

showbPrec :: Int -> Deriving a -> Builder #

showb :: Deriving a -> Builder #

showbList :: [Deriving a] -> Builder

showtPrec :: Int -> Deriving a -> Text

showt :: Deriving a -> Text #

showtList :: [Deriving a] -> Text

showtlPrec :: Int -> Deriving a -> Text

showtl :: Deriving a -> Text

showtlList :: [Deriving a] -> Text

TextShow a => TextShow (EWildcard a) Source # 
Instance details

Methods

showbPrec :: Int -> EWildcard a -> Builder #

showb :: EWildcard a -> Builder #

showbList :: [EWildcard a] -> Builder

showtPrec :: Int -> EWildcard a -> Text

showt :: EWildcard a -> Text #

showtList :: [EWildcard a] -> Text

showtlPrec :: Int -> EWildcard a -> Text

showtl :: EWildcard a -> Text

showtlList :: [EWildcard a] -> Text

TextShow a => TextShow (Exp a) Source # 
Instance details

Methods

showbPrec :: Int -> Exp a -> Builder #

showb :: Exp a -> Builder #

showbList :: [Exp a] -> Builder

showtPrec :: Int -> Exp a -> Text

showt :: Exp a -> Text #

showtList :: [Exp a] -> Text

showtlPrec :: Int -> Exp a -> Text

showtl :: Exp a -> Text

showtlList :: [Exp a] -> Text

TextShow a => TextShow (ExportSpec a) Source # 
Instance details

Methods

showbPrec :: Int -> ExportSpec a -> Builder #

showb :: ExportSpec a -> Builder #

showbList :: [ExportSpec a] -> Builder

showtPrec :: Int -> ExportSpec a -> Text

showt :: ExportSpec a -> Text #

showtList :: [ExportSpec a] -> Text

showtlPrec :: Int -> ExportSpec a -> Text

showtl :: ExportSpec a -> Text

showtlList :: [ExportSpec a] -> Text

TextShow a => TextShow (ExportSpecList a) Source # 
Instance details

Methods

showbPrec :: Int -> ExportSpecList a -> Builder #

showb :: ExportSpecList a -> Builder #

showbList :: [ExportSpecList a] -> Builder

showtPrec :: Int -> ExportSpecList a -> Text

showt :: ExportSpecList a -> Text #

showtList :: [ExportSpecList a] -> Text

showtlPrec :: Int -> ExportSpecList a -> Text

showtl :: ExportSpecList a -> Text

showtlList :: [ExportSpecList a] -> Text

TextShow a => TextShow (FieldDecl a) Source # 
Instance details

Methods

showbPrec :: Int -> FieldDecl a -> Builder #

showb :: FieldDecl a -> Builder #

showbList :: [FieldDecl a] -> Builder

showtPrec :: Int -> FieldDecl a -> Text

showt :: FieldDecl a -> Text #

showtList :: [FieldDecl a] -> Text

showtlPrec :: Int -> FieldDecl a -> Text

showtl :: FieldDecl a -> Text

showtlList :: [FieldDecl a] -> Text

TextShow a => TextShow (FieldUpdate a) Source # 
Instance details

Methods

showbPrec :: Int -> FieldUpdate a -> Builder #

showb :: FieldUpdate a -> Builder #

showbList :: [FieldUpdate a] -> Builder

showtPrec :: Int -> FieldUpdate a -> Text

showt :: FieldUpdate a -> Text #

showtList :: [FieldUpdate a] -> Text

showtlPrec :: Int -> FieldUpdate a -> Text

showtl :: FieldUpdate a -> Text

showtlList :: [FieldUpdate a] -> Text

TextShow a => TextShow (FunDep a) Source # 
Instance details

Methods

showbPrec :: Int -> FunDep a -> Builder #

showb :: FunDep a -> Builder #

showbList :: [FunDep a] -> Builder

showtPrec :: Int -> FunDep a -> Text

showt :: FunDep a -> Text #

showtList :: [FunDep a] -> Text

showtlPrec :: Int -> FunDep a -> Text

showtl :: FunDep a -> Text

showtlList :: [FunDep a] -> Text

TextShow a => TextShow (GadtDecl a) Source # 
Instance details

Methods

showbPrec :: Int -> GadtDecl a -> Builder #

showb :: GadtDecl a -> Builder #

showbList :: [GadtDecl a] -> Builder

showtPrec :: Int -> GadtDecl a -> Text

showt :: GadtDecl a -> Text #

showtList :: [GadtDecl a] -> Text

showtlPrec :: Int -> GadtDecl a -> Text

showtl :: GadtDecl a -> Text

showtlList :: [GadtDecl a] -> Text

TextShow a => TextShow (GuardedRhs a) Source # 
Instance details

Methods

showbPrec :: Int -> GuardedRhs a -> Builder #

showb :: GuardedRhs a -> Builder #

showbList :: [GuardedRhs a] -> Builder

showtPrec :: Int -> GuardedRhs a -> Text

showt :: GuardedRhs a -> Text #

showtList :: [GuardedRhs a] -> Text

showtlPrec :: Int -> GuardedRhs a -> Text

showtl :: GuardedRhs a -> Text

showtlList :: [GuardedRhs a] -> Text

TextShow a => TextShow (IPBind a) Source # 
Instance details

Methods

showbPrec :: Int -> IPBind a -> Builder #

showb :: IPBind a -> Builder #

showbList :: [IPBind a] -> Builder

showtPrec :: Int -> IPBind a -> Text

showt :: IPBind a -> Text #

showtList :: [IPBind a] -> Text

showtlPrec :: Int -> IPBind a -> Text

showtl :: IPBind a -> Text

showtlList :: [IPBind a] -> Text

TextShow a => TextShow (IPName a) Source # 
Instance details

Methods

showbPrec :: Int -> IPName a -> Builder #

showb :: IPName a -> Builder #

showbList :: [IPName a] -> Builder

showtPrec :: Int -> IPName a -> Text

showt :: IPName a -> Text #

showtList :: [IPName a] -> Text

showtlPrec :: Int -> IPName a -> Text

showtl :: IPName a -> Text

showtlList :: [IPName a] -> Text

TextShow a => TextShow (ImportDecl a) Source # 
Instance details

Methods

showbPrec :: Int -> ImportDecl a -> Builder #

showb :: ImportDecl a -> Builder #

showbList :: [ImportDecl a] -> Builder

showtPrec :: Int -> ImportDecl a -> Text

showt :: ImportDecl a -> Text #

showtList :: [ImportDecl a] -> Text

showtlPrec :: Int -> ImportDecl a -> Text

showtl :: ImportDecl a -> Text

showtlList :: [ImportDecl a] -> Text

TextShow a => TextShow (ImportSpec a) Source # 
Instance details

Methods

showbPrec :: Int -> ImportSpec a -> Builder #

showb :: ImportSpec a -> Builder #

showbList :: [ImportSpec a] -> Builder

showtPrec :: Int -> ImportSpec a -> Text

showt :: ImportSpec a -> Text #

showtList :: [ImportSpec a] -> Text

showtlPrec :: Int -> ImportSpec a -> Text

showtl :: ImportSpec a -> Text

showtlList :: [ImportSpec a] -> Text

TextShow a => TextShow (ImportSpecList a) Source # 
Instance details

Methods

showbPrec :: Int -> ImportSpecList a -> Builder #

showb :: ImportSpecList a -> Builder #

showbList :: [ImportSpecList a] -> Builder

showtPrec :: Int -> ImportSpecList a -> Text

showt :: ImportSpecList a -> Text #

showtList :: [ImportSpecList a] -> Text

showtlPrec :: Int -> ImportSpecList a -> Text

showtl :: ImportSpecList a -> Text

showtlList :: [ImportSpecList a] -> Text

TextShow a => TextShow (InjectivityInfo a) Source # 
Instance details

Methods

showbPrec :: Int -> InjectivityInfo a -> Builder #

showb :: InjectivityInfo a -> Builder #

showbList :: [InjectivityInfo a] -> Builder

showtPrec :: Int -> InjectivityInfo a -> Text

showt :: InjectivityInfo a -> Text #

showtList :: [InjectivityInfo a] -> Text

showtlPrec :: Int -> InjectivityInfo a -> Text

showtl :: InjectivityInfo a -> Text

showtlList :: [InjectivityInfo a] -> Text

TextShow a => TextShow (InstDecl a) Source # 
Instance details

Methods

showbPrec :: Int -> InstDecl a -> Builder #

showb :: InstDecl a -> Builder #

showbList :: [InstDecl a] -> Builder

showtPrec :: Int -> InstDecl a -> Text

showt :: InstDecl a -> Text #

showtList :: [InstDecl a] -> Text

showtlPrec :: Int -> InstDecl a -> Text

showtl :: InstDecl a -> Text

showtlList :: [InstDecl a] -> Text

TextShow a => TextShow (InstHead a) Source # 
Instance details

Methods

showbPrec :: Int -> InstHead a -> Builder #

showb :: InstHead a -> Builder #

showbList :: [InstHead a] -> Builder

showtPrec :: Int -> InstHead a -> Text

showt :: InstHead a -> Text #

showtList :: [InstHead a] -> Text

showtlPrec :: Int -> InstHead a -> Text

showtl :: InstHead a -> Text

showtlList :: [InstHead a] -> Text

TextShow a => TextShow (InstRule a) Source # 
Instance details

Methods

showbPrec :: Int -> InstRule a -> Builder #

showb :: InstRule a -> Builder #

showbList :: [InstRule a] -> Builder

showtPrec :: Int -> InstRule a -> Text

showt :: InstRule a -> Text #

showtList :: [InstRule a] -> Text

showtlPrec :: Int -> InstRule a -> Text

showtl :: InstRule a -> Text

showtlList :: [InstRule a] -> Text

TextShow a => TextShow (Literal a) Source # 
Instance details

Methods

showbPrec :: Int -> Literal a -> Builder #

showb :: Literal a -> Builder #

showbList :: [Literal a] -> Builder

showtPrec :: Int -> Literal a -> Text

showt :: Literal a -> Text #

showtList :: [Literal a] -> Text

showtlPrec :: Int -> Literal a -> Text

showtl :: Literal a -> Text

showtlList :: [Literal a] -> Text

TextShow a => TextShow (Match a) Source # 
Instance details

Methods

showbPrec :: Int -> Match a -> Builder #

showb :: Match a -> Builder #

showbList :: [Match a] -> Builder

showtPrec :: Int -> Match a -> Text

showt :: Match a -> Text #

showtList :: [Match a] -> Text

showtlPrec :: Int -> Match a -> Text

showtl :: Match a -> Text

showtlList :: [Match a] -> Text

TextShow a => TextShow (MaybePromotedName a) Source # 
Instance details

Methods

showbPrec :: Int -> MaybePromotedName a -> Builder #

showb :: MaybePromotedName a -> Builder #

showbList :: [MaybePromotedName a] -> Builder

showtPrec :: Int -> MaybePromotedName a -> Text

showt :: MaybePromotedName a -> Text #

showtList :: [MaybePromotedName a] -> Text

showtlPrec :: Int -> MaybePromotedName a -> Text

showtl :: MaybePromotedName a -> Text

showtlList :: [MaybePromotedName a] -> Text

TextShow a => TextShow (Module a) Source # 
Instance details

Methods

showbPrec :: Int -> Module a -> Builder #

showb :: Module a -> Builder #

showbList :: [Module a] -> Builder

showtPrec :: Int -> Module a -> Text

showt :: Module a -> Text #

showtList :: [Module a] -> Text

showtlPrec :: Int -> Module a -> Text

showtl :: Module a -> Text

showtlList :: [Module a] -> Text

TextShow a => TextShow (ModuleHead a) Source # 
Instance details

Methods

showbPrec :: Int -> ModuleHead a -> Builder #

showb :: ModuleHead a -> Builder #

showbList :: [ModuleHead a] -> Builder

showtPrec :: Int -> ModuleHead a -> Text

showt :: ModuleHead a -> Text #

showtList :: [ModuleHead a] -> Text

showtlPrec :: Int -> ModuleHead a -> Text

showtl :: ModuleHead a -> Text

showtlList :: [ModuleHead a] -> Text

TextShow a => TextShow (ModuleName a) Source # 
Instance details

Methods

showbPrec :: Int -> ModuleName a -> Builder #

showb :: ModuleName a -> Builder #

showbList :: [ModuleName a] -> Builder

showtPrec :: Int -> ModuleName a -> Text

showt :: ModuleName a -> Text #

showtList :: [ModuleName a] -> Text

showtlPrec :: Int -> ModuleName a -> Text

showtl :: ModuleName a -> Text

showtlList :: [ModuleName a] -> Text

TextShow a => TextShow (ModulePragma a) Source # 
Instance details

Methods

showbPrec :: Int -> ModulePragma a -> Builder #

showb :: ModulePragma a -> Builder #

showbList :: [ModulePragma a] -> Builder

showtPrec :: Int -> ModulePragma a -> Text

showt :: ModulePragma a -> Text #

showtList :: [ModulePragma a] -> Text

showtlPrec :: Int -> ModulePragma a -> Text

showtl :: ModulePragma a -> Text

showtlList :: [ModulePragma a] -> Text

TextShow a => TextShow (Name a) Source # 
Instance details

Methods

showbPrec :: Int -> Name a -> Builder #

showb :: Name a -> Builder #

showbList :: [Name a] -> Builder

showtPrec :: Int -> Name a -> Text

showt :: Name a -> Text #

showtList :: [Name a] -> Text

showtlPrec :: Int -> Name a -> Text

showtl :: Name a -> Text

showtlList :: [Name a] -> Text

TextShow a => TextShow (Namespace a) Source # 
Instance details

Methods

showbPrec :: Int -> Namespace a -> Builder #

showb :: Namespace a -> Builder #

showbList :: [Namespace a] -> Builder

showtPrec :: Int -> Namespace a -> Text

showt :: Namespace a -> Text #

showtList :: [Namespace a] -> Text

showtlPrec :: Int -> Namespace a -> Text

showtl :: Namespace a -> Text

showtlList :: [Namespace a] -> Text

TextShow a => TextShow (Op a) Source # 
Instance details

Methods

showbPrec :: Int -> Op a -> Builder #

showb :: Op a -> Builder #

showbList :: [Op a] -> Builder

showtPrec :: Int -> Op a -> Text

showt :: Op a -> Text #

showtList :: [Op a] -> Text

showtlPrec :: Int -> Op a -> Text

showtl :: Op a -> Text

showtlList :: [Op a] -> Text

TextShow a => TextShow (Overlap a) Source # 
Instance details

Methods

showbPrec :: Int -> Overlap a -> Builder #

showb :: Overlap a -> Builder #

showbList :: [Overlap a] -> Builder

showtPrec :: Int -> Overlap a -> Text

showt :: Overlap a -> Text #

showtList :: [Overlap a] -> Text

showtlPrec :: Int -> Overlap a -> Text

showtl :: Overlap a -> Text

showtlList :: [Overlap a] -> Text

TextShow a => TextShow (PXAttr a) Source # 
Instance details

Methods

showbPrec :: Int -> PXAttr a -> Builder #

showb :: PXAttr a -> Builder #

showbList :: [PXAttr a] -> Builder

showtPrec :: Int -> PXAttr a -> Text

showt :: PXAttr a -> Text #

showtList :: [PXAttr a] -> Text

showtlPrec :: Int -> PXAttr a -> Text

showtl :: PXAttr a -> Text

showtlList :: [PXAttr a] -> Text

TextShow a => TextShow (Pat a) Source # 
Instance details

Methods

showbPrec :: Int -> Pat a -> Builder #

showb :: Pat a -> Builder #

showbList :: [Pat a] -> Builder

showtPrec :: Int -> Pat a -> Text

showt :: Pat a -> Text #

showtList :: [Pat a] -> Text

showtlPrec :: Int -> Pat a -> Text

showtl :: Pat a -> Text

showtlList :: [Pat a] -> Text

TextShow a => TextShow (PatField a) Source # 
Instance details

Methods

showbPrec :: Int -> PatField a -> Builder #

showb :: PatField a -> Builder #

showbList :: [PatField a] -> Builder

showtPrec :: Int -> PatField a -> Text

showt :: PatField a -> Text #

showtList :: [PatField a] -> Text

showtlPrec :: Int -> PatField a -> Text

showtl :: PatField a -> Text

showtlList :: [PatField a] -> Text

TextShow a => TextShow (PatternSynDirection a) Source # 
Instance details

Methods

showbPrec :: Int -> PatternSynDirection a -> Builder #

showb :: PatternSynDirection a -> Builder #

showbList :: [PatternSynDirection a] -> Builder

showtPrec :: Int -> PatternSynDirection a -> Text

showt :: PatternSynDirection a -> Text #

showtList :: [PatternSynDirection a] -> Text

showtlPrec :: Int -> PatternSynDirection a -> Text

showtl :: PatternSynDirection a -> Text

showtlList :: [PatternSynDirection a] -> Text

TextShow a => TextShow (Promoted a) Source # 
Instance details

Methods

showbPrec :: Int -> Promoted a -> Builder #

showb :: Promoted a -> Builder #

showbList :: [Promoted a] -> Builder

showtPrec :: Int -> Promoted a -> Text

showt :: Promoted a -> Text #

showtList :: [Promoted a] -> Text

showtlPrec :: Int -> Promoted a -> Text

showtl :: Promoted a -> Text

showtlList :: [Promoted a] -> Text

TextShow a => TextShow (QName a) Source # 
Instance details

Methods

showbPrec :: Int -> QName a -> Builder #

showb :: QName a -> Builder #

showbList :: [QName a] -> Builder

showtPrec :: Int -> QName a -> Text

showt :: QName a -> Text #

showtList :: [QName a] -> Text

showtlPrec :: Int -> QName a -> Text

showtl :: QName a -> Text

showtlList :: [QName a] -> Text

TextShow a => TextShow (QOp a) Source # 
Instance details

Methods

showbPrec :: Int -> QOp a -> Builder #

showb :: QOp a -> Builder #

showbList :: [QOp a] -> Builder

showtPrec :: Int -> QOp a -> Text

showt :: QOp a -> Text #

showtList :: [QOp a] -> Text

showtlPrec :: Int -> QOp a -> Text

showtl :: QOp a -> Text

showtlList :: [QOp a] -> Text

TextShow a => TextShow (QualConDecl a) Source # 
Instance details

Methods

showbPrec :: Int -> QualConDecl a -> Builder #

showb :: QualConDecl a -> Builder #

showbList :: [QualConDecl a] -> Builder

showtPrec :: Int -> QualConDecl a -> Text

showt :: QualConDecl a -> Text #

showtList :: [QualConDecl a] -> Text

showtlPrec :: Int -> QualConDecl a -> Text

showtl :: QualConDecl a -> Text

showtlList :: [QualConDecl a] -> Text

TextShow a => TextShow (QualStmt a) Source # 
Instance details

Methods

showbPrec :: Int -> QualStmt a -> Builder #

showb :: QualStmt a -> Builder #

showbList :: [QualStmt a] -> Builder

showtPrec :: Int -> QualStmt a -> Text

showt :: QualStmt a -> Text #

showtList :: [QualStmt a] -> Text

showtlPrec :: Int -> QualStmt a -> Text

showtl :: QualStmt a -> Text

showtlList :: [QualStmt a] -> Text

TextShow a => TextShow (RPat a) Source # 
Instance details

Methods

showbPrec :: Int -> RPat a -> Builder #

showb :: RPat a -> Builder #

showbList :: [RPat a] -> Builder

showtPrec :: Int -> RPat a -> Text

showt :: RPat a -> Text #

showtList :: [RPat a] -> Text

showtlPrec :: Int -> RPat a -> Text

showtl :: RPat a -> Text

showtlList :: [RPat a] -> Text

TextShow a => TextShow (RPatOp a) Source # 
Instance details

Methods

showbPrec :: Int -> RPatOp a -> Builder #

showb :: RPatOp a -> Builder #

showbList :: [RPatOp a] -> Builder

showtPrec :: Int -> RPatOp a -> Text

showt :: RPatOp a -> Text #

showtList :: [RPatOp a] -> Text

showtlPrec :: Int -> RPatOp a -> Text

showtl :: RPatOp a -> Text

showtlList :: [RPatOp a] -> Text

TextShow a => TextShow (ResultSig a) Source # 
Instance details

Methods

showbPrec :: Int -> ResultSig a -> Builder #

showb :: ResultSig a -> Builder #

showbList :: [ResultSig a] -> Builder

showtPrec :: Int -> ResultSig a -> Text

showt :: ResultSig a -> Text #

showtList :: [ResultSig a] -> Text

showtlPrec :: Int -> ResultSig a -> Text

showtl :: ResultSig a -> Text

showtlList :: [ResultSig a] -> Text

TextShow a => TextShow (Rhs a) Source # 
Instance details

Methods

showbPrec :: Int -> Rhs a -> Builder #

showb :: Rhs a -> Builder #

showbList :: [Rhs a] -> Builder

showtPrec :: Int -> Rhs a -> Text

showt :: Rhs a -> Text #

showtList :: [Rhs a] -> Text

showtlPrec :: Int -> Rhs a -> Text

showtl :: Rhs a -> Text

showtlList :: [Rhs a] -> Text

TextShow a => TextShow (Role a) Source # 
Instance details

Methods

showbPrec :: Int -> Role a -> Builder #

showb :: Role a -> Builder #

showbList :: [Role a] -> Builder

showtPrec :: Int -> Role a -> Text

showt :: Role a -> Text #

showtList :: [Role a] -> Text

showtlPrec :: Int -> Role a -> Text

showtl :: Role a -> Text

showtlList :: [Role a] -> Text

TextShow a => TextShow (Rule a) Source # 
Instance details

Methods

showbPrec :: Int -> Rule a -> Builder #

showb :: Rule a -> Builder #

showbList :: [Rule a] -> Builder

showtPrec :: Int -> Rule a -> Text

showt :: Rule a -> Text #

showtList :: [Rule a] -> Text

showtlPrec :: Int -> Rule a -> Text

showtl :: Rule a -> Text

showtlList :: [Rule a] -> Text

TextShow a => TextShow (RuleVar a) Source # 
Instance details

Methods

showbPrec :: Int -> RuleVar a -> Builder #

showb :: RuleVar a -> Builder #

showbList :: [RuleVar a] -> Builder

showtPrec :: Int -> RuleVar a -> Text

showt :: RuleVar a -> Text #

showtList :: [RuleVar a] -> Text

showtlPrec :: Int -> RuleVar a -> Text

showtl :: RuleVar a -> Text

showtlList :: [RuleVar a] -> Text

TextShow a => TextShow (Safety a) Source # 
Instance details

Methods

showbPrec :: Int -> Safety a -> Builder #

showb :: Safety a -> Builder #

showbList :: [Safety a] -> Builder

showtPrec :: Int -> Safety a -> Text

showt :: Safety a -> Text #

showtList :: [Safety a] -> Text

showtlPrec :: Int -> Safety a -> Text

showtl :: Safety a -> Text

showtlList :: [Safety a] -> Text

TextShow a => TextShow (Sign a) Source # 
Instance details

Methods

showbPrec :: Int -> Sign a -> Builder #

showb :: Sign a -> Builder #

showbList :: [Sign a] -> Builder

showtPrec :: Int -> Sign a -> Text

showt :: Sign a -> Text #

showtList :: [Sign a] -> Text

showtlPrec :: Int -> Sign a -> Text

showtl :: Sign a -> Text

showtlList :: [Sign a] -> Text

TextShow a => TextShow (SpecialCon a) Source # 
Instance details

Methods

showbPrec :: Int -> SpecialCon a -> Builder #

showb :: SpecialCon a -> Builder #

showbList :: [SpecialCon a] -> Builder

showtPrec :: Int -> SpecialCon a -> Text

showt :: SpecialCon a -> Text #

showtList :: [SpecialCon a] -> Text

showtlPrec :: Int -> SpecialCon a -> Text

showtl :: SpecialCon a -> Text

showtlList :: [SpecialCon a] -> Text

TextShow a => TextShow (Splice a) Source # 
Instance details

Methods

showbPrec :: Int -> Splice a -> Builder #

showb :: Splice a -> Builder #

showbList :: [Splice a] -> Builder

showtPrec :: Int -> Splice a -> Text

showt :: Splice a -> Text #

showtList :: [Splice a] -> Text

showtlPrec :: Int -> Splice a -> Text

showtl :: Splice a -> Text

showtlList :: [Splice a] -> Text

TextShow a => TextShow (Stmt a) Source # 
Instance details

Methods

showbPrec :: Int -> Stmt a -> Builder #

showb :: Stmt a -> Builder #

showbList :: [Stmt a] -> Builder

showtPrec :: Int -> Stmt a -> Text

showt :: Stmt a -> Text #

showtList :: [Stmt a] -> Text

showtlPrec :: Int -> Stmt a -> Text

showtl :: Stmt a -> Text

showtlList :: [Stmt a] -> Text

TextShow a => TextShow (TyVarBind a) Source # 
Instance details

Methods

showbPrec :: Int -> TyVarBind a -> Builder #

showb :: TyVarBind a -> Builder #

showbList :: [TyVarBind a] -> Builder

showtPrec :: Int -> TyVarBind a -> Text

showt :: TyVarBind a -> Text #

showtList :: [TyVarBind a] -> Text

showtlPrec :: Int -> TyVarBind a -> Text

showtl :: TyVarBind a -> Text

showtlList :: [TyVarBind a] -> Text

TextShow a => TextShow (Type a) Source # 
Instance details

Methods

showbPrec :: Int -> Type a -> Builder #

showb :: Type a -> Builder #

showbList :: [Type a] -> Builder

showtPrec :: Int -> Type a -> Text

showt :: Type a -> Text #

showtList :: [Type a] -> Text

showtlPrec :: Int -> Type a -> Text

showtl :: Type a -> Text

showtlList :: [Type a] -> Text

TextShow a => TextShow (TypeEqn a) Source # 
Instance details

Methods

showbPrec :: Int -> TypeEqn a -> Builder #

showb :: TypeEqn a -> Builder #

showbList :: [TypeEqn a] -> Builder

showtPrec :: Int -> TypeEqn a -> Text

showt :: TypeEqn a -> Text #

showtList :: [TypeEqn a] -> Text

showtlPrec :: Int -> TypeEqn a -> Text

showtl :: TypeEqn a -> Text

showtlList :: [TypeEqn a] -> Text

TextShow a => TextShow (Unpackedness a) Source # 
Instance details

Methods

showbPrec :: Int -> Unpackedness a -> Builder #

showb :: Unpackedness a -> Builder #

showbList :: [Unpackedness a] -> Builder

showtPrec :: Int -> Unpackedness a -> Text

showt :: Unpackedness a -> Text #

showtList :: [Unpackedness a] -> Text

showtlPrec :: Int -> Unpackedness a -> Text

showtl :: Unpackedness a -> Text

showtlList :: [Unpackedness a] -> Text

TextShow a => TextShow (WarningText a) Source # 
Instance details

Methods

showbPrec :: Int -> WarningText a -> Builder #

showb :: WarningText a -> Builder #

showbList :: [WarningText a] -> Builder

showtPrec :: Int -> WarningText a -> Text

showt :: WarningText a -> Text #

showtList :: [WarningText a] -> Text

showtlPrec :: Int -> WarningText a -> Text

showtl :: WarningText a -> Text

showtlList :: [WarningText a] -> Text

TextShow a => TextShow (XAttr a) Source # 
Instance details

Methods

showbPrec :: Int -> XAttr a -> Builder #

showb :: XAttr a -> Builder #

showbList :: [XAttr a] -> Builder

showtPrec :: Int -> XAttr a -> Text

showt :: XAttr a -> Text #

showtList :: [XAttr a] -> Text

showtlPrec :: Int -> XAttr a -> Text

showtl :: XAttr a -> Text

showtlList :: [XAttr a] -> Text

TextShow a => TextShow (XName a) Source # 
Instance details

Methods

showbPrec :: Int -> XName a -> Builder #

showb :: XName a -> Builder #

showbList :: [XName a] -> Builder

showtPrec :: Int -> XName a -> Text

showt :: XName a -> Text #

showtList :: [XName a] -> Text

showtlPrec :: Int -> XName a -> Text

showtl :: XName a -> Text

showtlList :: [XName a] -> Text