Copyright | (C) 2017 Ryan Scott |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
Defines the SShow singleton version of the Show type class.
Synopsis
- class PShow a where
- class SShow a where
- sShowsPrec :: forall (t :: Natural) (t :: a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol)
- sShow_ :: forall (t :: a). Sing t -> Sing (Apply Show_Sym0 t :: Symbol)
- sShowList :: forall (t :: [a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t :: Symbol)
- type SymbolS = Symbol -> Symbol
- show_ :: Show a => a -> String
- type family Shows (a :: a) (a :: Symbol) :: Symbol where ...
- sShows :: forall a (t :: a) (t :: Symbol). SShow a => Sing t -> Sing t -> Sing (Apply (Apply ShowsSym0 t) t :: Symbol)
- type family ShowListWith (a :: (~>) a ((~>) Symbol Symbol)) (a :: [a]) (a :: Symbol) :: Symbol where ...
- sShowListWith :: forall a (t :: (~>) a ((~>) Symbol Symbol)) (t :: [a]) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowListWithSym0 t) t) t :: Symbol)
- type family ShowChar (a :: Char) (a :: Symbol) :: Symbol where ...
- sShowChar :: forall (t :: Char) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowCharSym0 t) t :: Symbol)
- type family ShowString (a :: Symbol) (a :: Symbol) :: Symbol where ...
- sShowString :: forall (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowStringSym0 t) t :: Symbol)
- type family ShowParen (a :: Bool) (a :: (~>) Symbol Symbol) (a :: Symbol) :: Symbol where ...
- sShowParen :: forall (t :: Bool) (t :: (~>) Symbol Symbol) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowParenSym0 t) t) t :: Symbol)
- type family ShowSpace (a :: Symbol) :: Symbol where ...
- sShowSpace :: forall (t :: Symbol). Sing t -> Sing (Apply ShowSpaceSym0 t :: Symbol)
- type family ShowCommaSpace (a :: Symbol) :: Symbol where ...
- sShowCommaSpace :: forall (t :: Symbol). Sing t -> Sing (Apply ShowCommaSpaceSym0 t :: Symbol)
- type family AppPrec :: Natural where ...
- sAppPrec :: Sing (AppPrecSym0 :: Natural)
- type family AppPrec1 :: Natural where ...
- sAppPrec1 :: Sing (AppPrec1Sym0 :: Natural)
- data ShowsPrecSym0 :: (~>) Natural ((~>) a ((~>) Symbol Symbol))
- data ShowsPrecSym1 (a6989586621680249857 :: Natural) :: (~>) a ((~>) Symbol Symbol)
- data ShowsPrecSym2 (a6989586621680249857 :: Natural) (a6989586621680249858 :: a) :: (~>) Symbol Symbol
- type family ShowsPrecSym3 (a6989586621680249857 :: Natural) (a6989586621680249858 :: a) (a6989586621680249859 :: Symbol) :: Symbol where ...
- data Show_Sym0 :: (~>) a Symbol
- type family Show_Sym1 (a6989586621680249862 :: a) :: Symbol where ...
- data ShowListSym0 :: (~>) [a] ((~>) Symbol Symbol)
- data ShowListSym1 (a6989586621680249866 :: [a]) :: (~>) Symbol Symbol
- type family ShowListSym2 (a6989586621680249866 :: [a]) (a6989586621680249867 :: Symbol) :: Symbol where ...
- data ShowsSym0 :: (~>) a ((~>) Symbol Symbol)
- data ShowsSym1 (a6989586621680249849 :: a) :: (~>) Symbol Symbol
- type family ShowsSym2 (a6989586621680249849 :: a) (a6989586621680249850 :: Symbol) :: Symbol where ...
- data ShowListWithSym0 :: (~>) ((~>) a ((~>) Symbol Symbol)) ((~>) [a] ((~>) Symbol Symbol))
- data ShowListWithSym1 (a6989586621680249831 :: (~>) a ((~>) Symbol Symbol)) :: (~>) [a] ((~>) Symbol Symbol)
- data ShowListWithSym2 (a6989586621680249831 :: (~>) a ((~>) Symbol Symbol)) (a6989586621680249832 :: [a]) :: (~>) Symbol Symbol
- type family ShowListWithSym3 (a6989586621680249831 :: (~>) a ((~>) Symbol Symbol)) (a6989586621680249832 :: [a]) (a6989586621680249833 :: Symbol) :: Symbol where ...
- data ShowCharSym0 :: (~>) Char ((~>) Symbol Symbol)
- data ShowCharSym1 (a6989586621680249823 :: Char) :: (~>) Symbol Symbol
- type family ShowCharSym2 (a6989586621680249823 :: Char) (a6989586621680249824 :: Symbol) :: Symbol where ...
- data ShowStringSym0 :: (~>) Symbol ((~>) Symbol Symbol)
- data ShowStringSym1 (a6989586621680249812 :: Symbol) :: (~>) Symbol Symbol
- type family ShowStringSym2 (a6989586621680249812 :: Symbol) (a6989586621680249813 :: Symbol) :: Symbol where ...
- data ShowParenSym0 :: (~>) Bool ((~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol))
- data ShowParenSym1 (a6989586621680249796 :: Bool) :: (~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol)
- data ShowParenSym2 (a6989586621680249796 :: Bool) (a6989586621680249797 :: (~>) Symbol Symbol) :: (~>) Symbol Symbol
- data ShowSpaceSym0 :: (~>) Symbol Symbol
- type family ShowSpaceSym1 (a6989586621680249784 :: Symbol) :: Symbol where ...
- data ShowCommaSpaceSym0 :: (~>) Symbol Symbol
- type family ShowCommaSpaceSym1 (a6989586621680249778 :: Symbol) :: Symbol where ...
- type family AppPrecSym0 :: Natural where ...
- type family AppPrec1Sym0 :: Natural where ...
Documentation
type ShowsPrec (arg :: Natural) (arg :: a) (arg :: Symbol) :: Symbol Source #
type ShowsPrec a a a = Apply (Apply (Apply ShowsPrec_6989586621680249871Sym0 a) a) a
type Show_ (arg :: a) :: Symbol Source #
type Show_ a = Apply Show__6989586621680249883Sym0 a
type ShowList (arg :: [a]) (arg :: Symbol) :: Symbol Source #
type ShowList a a = Apply (Apply ShowList_6989586621680249891Sym0 a) a
Instances
PShow All Source # | |
PShow Any Source # | |
PShow Void Source # | |
PShow Ordering Source # | |
PShow Natural Source # | |
PShow () Source # | |
PShow Bool Source # | |
PShow Char Source # | |
PShow Symbol Source # | |
PShow (Identity a) Source # | |
PShow (First a) Source # | |
PShow (Last a) Source # | |
PShow (First a) Source # | |
PShow (Last a) Source # | |
PShow (Max a) Source # | |
PShow (Min a) Source # | |
PShow (WrappedMonoid m) Source # | |
PShow (Dual a) Source # | |
PShow (Product a) Source # | |
PShow (Sum a) Source # | |
PShow (NonEmpty a) Source # | |
PShow (Maybe a) Source # | |
PShow [a] Source # | |
PShow (Either a b) Source # | |
PShow (Proxy s) Source # | |
PShow (Arg a b) Source # | |
PShow (a, b) Source # | |
PShow (Const a b) Source # | |
PShow (a, b, c) Source # | |
PShow (a, b, c, d) Source # | |
PShow (a, b, c, d, e) Source # | |
PShow (a, b, c, d, e, f) Source # | |
PShow (a, b, c, d, e, f, g) Source # | |
Nothing
sShowsPrec :: forall (t :: Natural) (t :: a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) Source #
default sShowsPrec :: forall (t :: Natural) (t :: a) (t :: Symbol). (Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) ~ Apply (Apply (Apply ShowsPrec_6989586621680249871Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) Source #
sShow_ :: forall (t :: a). Sing t -> Sing (Apply Show_Sym0 t :: Symbol) Source #
default sShow_ :: forall (t :: a). (Apply Show_Sym0 t :: Symbol) ~ Apply Show__6989586621680249883Sym0 t => Sing t -> Sing (Apply Show_Sym0 t :: Symbol) Source #
sShowList :: forall (t :: [a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t :: Symbol) Source #
Instances
SShow Bool => SShow All Source # | |
Defined in Data.Semigroup.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: All) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: All). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [All]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow Bool => SShow Any Source # | |
Defined in Data.Semigroup.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Any) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Any). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Any]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow Void Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Void) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Void). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Void]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow Ordering Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Ordering) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Ordering). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Ordering]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow Natural Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Natural) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Natural). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Natural]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow () Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: ()) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: ()). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [()]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow Bool Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Bool) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Bool). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Bool]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow Char Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Char) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Char). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Char]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow Symbol Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Symbol) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Symbol). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Symbol]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow a => SShow (Identity a) Source # | |
Defined in Data.Functor.Identity.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Identity a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Identity a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Identity a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow (Maybe a) => SShow (First a) Source # | |
Defined in Data.Monoid.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: First a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: First a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [First a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow (Maybe a) => SShow (Last a) Source # | |
Defined in Data.Monoid.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Last a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Last a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Last a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow a => SShow (First a) Source # | |
Defined in Data.Semigroup.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: First a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: First a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [First a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow a => SShow (Last a) Source # | |
Defined in Data.Semigroup.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Last a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Last a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Last a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow a => SShow (Max a) Source # | |
Defined in Data.Semigroup.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Max a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Max a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Max a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow a => SShow (Min a) Source # | |
Defined in Data.Semigroup.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Min a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Min a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Min a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow m => SShow (WrappedMonoid m) Source # | |
Defined in Data.Semigroup.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: WrappedMonoid m) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: WrappedMonoid m). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [WrappedMonoid m]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow a => SShow (Dual a) Source # | |
Defined in Data.Semigroup.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Dual a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Dual a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Dual a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow a => SShow (Product a) Source # | |
Defined in Data.Semigroup.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Product a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Product a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Product a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow a => SShow (Sum a) Source # | |
Defined in Data.Semigroup.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Sum a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Sum a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Sum a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
(SShow a, SShow [a]) => SShow (NonEmpty a) Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: NonEmpty a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: NonEmpty a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [NonEmpty a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow a => SShow (Maybe a) Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Maybe a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Maybe a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Maybe a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow a => SShow [a] Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: [a]) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: [a]). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [[a]]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
(SShow a, SShow b) => SShow (Either a b) Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Either a b) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Either a b). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Either a b]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow (Proxy s) Source # | |
Defined in Data.Proxy.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Proxy s) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Proxy s). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Proxy s]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
(SShow a, SShow b) => SShow (Arg a b) Source # | |
Defined in Data.Semigroup.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Arg a b) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Arg a b). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Arg a b]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
(SShow a, SShow b) => SShow (a, b) Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: (a, b)) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: (a, b)). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [(a, b)]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
SShow a => SShow (Const a b) Source # | |
Defined in Data.Functor.Const.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: Const a b) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: Const a b). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [Const a b]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
(SShow a, SShow b, SShow c) => SShow (a, b, c) Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: (a, b, c)) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: (a, b, c)). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [(a, b, c)]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
(SShow a, SShow b, SShow c, SShow d) => SShow (a, b, c, d) Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: (a, b, c, d)) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: (a, b, c, d)). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [(a, b, c, d)]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
(SShow a, SShow b, SShow c, SShow d, SShow e) => SShow (a, b, c, d, e) Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: (a, b, c, d, e)) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: (a, b, c, d, e)). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [(a, b, c, d, e)]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
(SShow a, SShow b, SShow c, SShow d, SShow e, SShow f) => SShow (a, b, c, d, e, f) Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: (a, b, c, d, e, f)) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: (a, b, c, d, e, f)). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [(a, b, c, d, e, f)]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # | |
(SShow a, SShow b, SShow c, SShow d, SShow e, SShow f, SShow g) => SShow (a, b, c, d, e, f, g) Source # | |
Defined in Text.Show.Singletons sShowsPrec :: forall (t1 :: Natural) (t2 :: (a, b, c, d, e, f, g)) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) Source # sShow_ :: forall (t :: (a, b, c, d, e, f, g)). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t1 :: [(a, b, c, d, e, f, g)]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) Source # |
type family Shows (a :: a) (a :: Symbol) :: Symbol where ... Source #
Shows s a_6989586621680249844 = Apply (Apply (Apply ShowsPrecSym0 (FromInteger 0)) s) a_6989586621680249844 |
sShows :: forall a (t :: a) (t :: Symbol). SShow a => Sing t -> Sing t -> Sing (Apply (Apply ShowsSym0 t) t :: Symbol) Source #
type family ShowListWith (a :: (~>) a ((~>) Symbol Symbol)) (a :: [a]) (a :: Symbol) :: Symbol where ... Source #
ShowListWith _ '[] s = Apply (Apply (<>@#@$) "[]") s | |
ShowListWith showx ('(:) x xs) s = Apply (Apply (<>@#@$) "[") (Apply (Apply showx x) (Apply (Let6989586621680249839ShowlSym4 showx x xs s) xs)) |
sShowListWith :: forall a (t :: (~>) a ((~>) Symbol Symbol)) (t :: [a]) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowListWithSym0 t) t) t :: Symbol) Source #
type family ShowChar (a :: Char) (a :: Symbol) :: Symbol where ... Source #
ShowChar a_6989586621680249816 a_6989586621680249818 = Apply (Apply ConsSymbolSym0 a_6989586621680249816) a_6989586621680249818 |
sShowChar :: forall (t :: Char) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowCharSym0 t) t :: Symbol) Source #
type family ShowString (a :: Symbol) (a :: Symbol) :: Symbol where ... Source #
ShowString a_6989586621680249805 a_6989586621680249807 = Apply (Apply (<>@#@$) a_6989586621680249805) a_6989586621680249807 |
sShowString :: forall (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowStringSym0 t) t :: Symbol) Source #
type family ShowParen (a :: Bool) (a :: (~>) Symbol Symbol) (a :: Symbol) :: Symbol where ... Source #
ShowParen b p a_6989586621680249790 = Apply (Case_6989586621680249802 b p a_6989586621680249790 b) a_6989586621680249790 |
sShowParen :: forall (t :: Bool) (t :: (~>) Symbol Symbol) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowParenSym0 t) t) t :: Symbol) Source #
type family ShowSpace (a :: Symbol) :: Symbol where ... Source #
ShowSpace a_6989586621680249780 = Apply (Apply Lambda_6989586621680249786Sym0 a_6989586621680249780) a_6989586621680249780 |
sShowSpace :: forall (t :: Symbol). Sing t -> Sing (Apply ShowSpaceSym0 t :: Symbol) Source #
type family ShowCommaSpace (a :: Symbol) :: Symbol where ... Source #
ShowCommaSpace a_6989586621680249774 = Apply (Apply ShowStringSym0 ", ") a_6989586621680249774 |
sShowCommaSpace :: forall (t :: Symbol). Sing t -> Sing (Apply ShowCommaSpaceSym0 t :: Symbol) Source #
Defunctionalization symbols
data ShowsPrecSym0 :: (~>) Natural ((~>) a ((~>) Symbol Symbol)) Source #
Instances
SShow a => SingI (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) Source # | |
Defined in Text.Show.Singletons | |
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680249857 :: Natural) Source # | |
Defined in Text.Show.Singletons type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680249857 :: Natural) = ShowsPrecSym1 a6989586621680249857 :: TyFun a (Symbol ~> Symbol) -> Type |
data ShowsPrecSym1 (a6989586621680249857 :: Natural) :: (~>) a ((~>) Symbol Symbol) Source #
Instances
SShow a => SingI1 (ShowsPrecSym1 :: Natural -> TyFun a (Symbol ~> Symbol) -> Type) Source # | |
Defined in Text.Show.Singletons liftSing :: forall (x :: k1). Sing x -> Sing (ShowsPrecSym1 x) | |
(SShow a, SingI d) => SingI (ShowsPrecSym1 d :: TyFun a (Symbol ~> Symbol) -> Type) Source # | |
Defined in Text.Show.Singletons sing :: Sing (ShowsPrecSym1 d) | |
SuppressUnusedWarnings (ShowsPrecSym1 a6989586621680249857 :: TyFun a (Symbol ~> Symbol) -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (ShowsPrecSym1 a6989586621680249857 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680249858 :: a) Source # | |
Defined in Text.Show.Singletons type Apply (ShowsPrecSym1 a6989586621680249857 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680249858 :: a) = ShowsPrecSym2 a6989586621680249857 a6989586621680249858 |
data ShowsPrecSym2 (a6989586621680249857 :: Natural) (a6989586621680249858 :: a) :: (~>) Symbol Symbol Source #
Instances
SShow a => SingI2 (ShowsPrecSym2 :: Natural -> a -> TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (ShowsPrecSym2 x y) | |
(SShow a, SingI d) => SingI1 (ShowsPrecSym2 d :: a -> TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons liftSing :: forall (x :: k1). Sing x -> Sing (ShowsPrecSym2 d x) | |
(SShow a, SingI d1, SingI d2) => SingI (ShowsPrecSym2 d1 d2 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons sing :: Sing (ShowsPrecSym2 d1 d2) | |
SuppressUnusedWarnings (ShowsPrecSym2 a6989586621680249857 a6989586621680249858 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (ShowsPrecSym2 a6989586621680249857 a6989586621680249858 :: TyFun Symbol Symbol -> Type) (a6989586621680249859 :: Symbol) Source # | |
Defined in Text.Show.Singletons |
type family ShowsPrecSym3 (a6989586621680249857 :: Natural) (a6989586621680249858 :: a) (a6989586621680249859 :: Symbol) :: Symbol where ... Source #
ShowsPrecSym3 a6989586621680249857 a6989586621680249858 a6989586621680249859 = ShowsPrec a6989586621680249857 a6989586621680249858 a6989586621680249859 |
data Show_Sym0 :: (~>) a Symbol Source #
Instances
SShow a => SingI (Show_Sym0 :: TyFun a Symbol -> Type) Source # | |
Defined in Text.Show.Singletons | |
SuppressUnusedWarnings (Show_Sym0 :: TyFun a Symbol -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (a6989586621680249862 :: a) Source # | |
Defined in Text.Show.Singletons |
data ShowListSym0 :: (~>) [a] ((~>) Symbol Symbol) Source #
Instances
SShow a => SingI (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source # | |
Defined in Text.Show.Singletons sing :: Sing ShowListSym0 | |
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680249866 :: [a]) Source # | |
Defined in Text.Show.Singletons type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680249866 :: [a]) = ShowListSym1 a6989586621680249866 |
data ShowListSym1 (a6989586621680249866 :: [a]) :: (~>) Symbol Symbol Source #
Instances
SShow a => SingI1 (ShowListSym1 :: [a] -> TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons liftSing :: forall (x :: k1). Sing x -> Sing (ShowListSym1 x) | |
(SShow a, SingI d) => SingI (ShowListSym1 d :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons sing :: Sing (ShowListSym1 d) | |
SuppressUnusedWarnings (ShowListSym1 a6989586621680249866 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (ShowListSym1 a6989586621680249866 :: TyFun Symbol Symbol -> Type) (a6989586621680249867 :: Symbol) Source # | |
Defined in Text.Show.Singletons |
type family ShowListSym2 (a6989586621680249866 :: [a]) (a6989586621680249867 :: Symbol) :: Symbol where ... Source #
ShowListSym2 a6989586621680249866 a6989586621680249867 = ShowList a6989586621680249866 a6989586621680249867 |
data ShowsSym0 :: (~>) a ((~>) Symbol Symbol) Source #
Instances
SShow a => SingI (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) Source # | |
Defined in Text.Show.Singletons | |
SuppressUnusedWarnings (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680249849 :: a) Source # | |
data ShowsSym1 (a6989586621680249849 :: a) :: (~>) Symbol Symbol Source #
Instances
SShow a => SingI1 (ShowsSym1 :: a -> TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons | |
(SShow a, SingI d) => SingI (ShowsSym1 d :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons | |
SuppressUnusedWarnings (ShowsSym1 a6989586621680249849 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (ShowsSym1 a6989586621680249849 :: TyFun Symbol Symbol -> Type) (a6989586621680249850 :: Symbol) Source # | |
type family ShowsSym2 (a6989586621680249849 :: a) (a6989586621680249850 :: Symbol) :: Symbol where ... Source #
data ShowListWithSym0 :: (~>) ((~>) a ((~>) Symbol Symbol)) ((~>) [a] ((~>) Symbol Symbol)) Source #
Instances
SingI (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) Source # | |
Defined in Text.Show.Singletons | |
SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680249831 :: a ~> (Symbol ~> Symbol)) Source # | |
Defined in Text.Show.Singletons type Apply (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680249831 :: a ~> (Symbol ~> Symbol)) = ShowListWithSym1 a6989586621680249831 |
data ShowListWithSym1 (a6989586621680249831 :: (~>) a ((~>) Symbol Symbol)) :: (~>) [a] ((~>) Symbol Symbol) Source #
Instances
SingI d => SingI (ShowListWithSym1 d :: TyFun [a] (Symbol ~> Symbol) -> Type) Source # | |
Defined in Text.Show.Singletons sing :: Sing (ShowListWithSym1 d) | |
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680249831 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
SingI1 (ShowListWithSym1 :: (a ~> (Symbol ~> Symbol)) -> TyFun [a] (Symbol ~> Symbol) -> Type) Source # | |
Defined in Text.Show.Singletons liftSing :: forall (x :: k1). Sing x -> Sing (ShowListWithSym1 x) | |
type Apply (ShowListWithSym1 a6989586621680249831 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680249832 :: [a]) Source # | |
Defined in Text.Show.Singletons type Apply (ShowListWithSym1 a6989586621680249831 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680249832 :: [a]) = ShowListWithSym2 a6989586621680249831 a6989586621680249832 |
data ShowListWithSym2 (a6989586621680249831 :: (~>) a ((~>) Symbol Symbol)) (a6989586621680249832 :: [a]) :: (~>) Symbol Symbol Source #
Instances
SingI d => SingI1 (ShowListWithSym2 d :: [a] -> TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons liftSing :: forall (x :: k1). Sing x -> Sing (ShowListWithSym2 d x) | |
SingI2 (ShowListWithSym2 :: (a ~> (Symbol ~> Symbol)) -> [a] -> TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (ShowListWithSym2 x y) | |
(SingI d1, SingI d2) => SingI (ShowListWithSym2 d1 d2 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons sing :: Sing (ShowListWithSym2 d1 d2) | |
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680249831 a6989586621680249832 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (ShowListWithSym2 a6989586621680249831 a6989586621680249832 :: TyFun Symbol Symbol -> Type) (a6989586621680249833 :: Symbol) Source # | |
Defined in Text.Show.Singletons type Apply (ShowListWithSym2 a6989586621680249831 a6989586621680249832 :: TyFun Symbol Symbol -> Type) (a6989586621680249833 :: Symbol) = ShowListWith a6989586621680249831 a6989586621680249832 a6989586621680249833 |
type family ShowListWithSym3 (a6989586621680249831 :: (~>) a ((~>) Symbol Symbol)) (a6989586621680249832 :: [a]) (a6989586621680249833 :: Symbol) :: Symbol where ... Source #
ShowListWithSym3 a6989586621680249831 a6989586621680249832 a6989586621680249833 = ShowListWith a6989586621680249831 a6989586621680249832 a6989586621680249833 |
data ShowCharSym0 :: (~>) Char ((~>) Symbol Symbol) Source #
Instances
SingI ShowCharSym0 Source # | |
Defined in Text.Show.Singletons sing :: Sing ShowCharSym0 | |
SuppressUnusedWarnings ShowCharSym0 Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply ShowCharSym0 (a6989586621680249823 :: Char) Source # | |
Defined in Text.Show.Singletons |
data ShowCharSym1 (a6989586621680249823 :: Char) :: (~>) Symbol Symbol Source #
Instances
SingI1 ShowCharSym1 Source # | |
Defined in Text.Show.Singletons liftSing :: forall (x :: k1). Sing x -> Sing (ShowCharSym1 x) | |
SingI d => SingI (ShowCharSym1 d :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons sing :: Sing (ShowCharSym1 d) | |
SuppressUnusedWarnings (ShowCharSym1 a6989586621680249823 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (ShowCharSym1 a6989586621680249823 :: TyFun Symbol Symbol -> Type) (a6989586621680249824 :: Symbol) Source # | |
Defined in Text.Show.Singletons |
type family ShowCharSym2 (a6989586621680249823 :: Char) (a6989586621680249824 :: Symbol) :: Symbol where ... Source #
ShowCharSym2 a6989586621680249823 a6989586621680249824 = ShowChar a6989586621680249823 a6989586621680249824 |
data ShowStringSym0 :: (~>) Symbol ((~>) Symbol Symbol) Source #
Instances
SingI ShowStringSym0 Source # | |
Defined in Text.Show.Singletons | |
SuppressUnusedWarnings ShowStringSym0 Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply ShowStringSym0 (a6989586621680249812 :: Symbol) Source # | |
Defined in Text.Show.Singletons |
data ShowStringSym1 (a6989586621680249812 :: Symbol) :: (~>) Symbol Symbol Source #
Instances
SingI1 ShowStringSym1 Source # | |
Defined in Text.Show.Singletons liftSing :: forall (x :: k1). Sing x -> Sing (ShowStringSym1 x) | |
SingI d => SingI (ShowStringSym1 d :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons sing :: Sing (ShowStringSym1 d) | |
SuppressUnusedWarnings (ShowStringSym1 a6989586621680249812 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (ShowStringSym1 a6989586621680249812 :: TyFun Symbol Symbol -> Type) (a6989586621680249813 :: Symbol) Source # | |
Defined in Text.Show.Singletons type Apply (ShowStringSym1 a6989586621680249812 :: TyFun Symbol Symbol -> Type) (a6989586621680249813 :: Symbol) = ShowString a6989586621680249812 a6989586621680249813 |
type family ShowStringSym2 (a6989586621680249812 :: Symbol) (a6989586621680249813 :: Symbol) :: Symbol where ... Source #
ShowStringSym2 a6989586621680249812 a6989586621680249813 = ShowString a6989586621680249812 a6989586621680249813 |
data ShowParenSym0 :: (~>) Bool ((~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol)) Source #
Instances
SingI ShowParenSym0 Source # | |
Defined in Text.Show.Singletons | |
SuppressUnusedWarnings ShowParenSym0 Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply ShowParenSym0 (a6989586621680249796 :: Bool) Source # | |
Defined in Text.Show.Singletons |
data ShowParenSym1 (a6989586621680249796 :: Bool) :: (~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol) Source #
Instances
SingI1 ShowParenSym1 Source # | |
Defined in Text.Show.Singletons liftSing :: forall (x :: k1). Sing x -> Sing (ShowParenSym1 x) | |
SingI d => SingI (ShowParenSym1 d :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source # | |
Defined in Text.Show.Singletons sing :: Sing (ShowParenSym1 d) | |
SuppressUnusedWarnings (ShowParenSym1 a6989586621680249796 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply (ShowParenSym1 a6989586621680249796 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680249797 :: Symbol ~> Symbol) Source # | |
Defined in Text.Show.Singletons type Apply (ShowParenSym1 a6989586621680249796 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680249797 :: Symbol ~> Symbol) = ShowParenSym2 a6989586621680249796 a6989586621680249797 |
data ShowParenSym2 (a6989586621680249796 :: Bool) (a6989586621680249797 :: (~>) Symbol Symbol) :: (~>) Symbol Symbol Source #
Instances
SingI2 ShowParenSym2 Source # | |
Defined in Text.Show.Singletons liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (ShowParenSym2 x y) | |
(SingI d1, SingI d2) => SingI (ShowParenSym2 d1 d2 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons sing :: Sing (ShowParenSym2 d1 d2) | |
SuppressUnusedWarnings (ShowParenSym2 a6989586621680249796 a6989586621680249797 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
SingI d => SingI1 (ShowParenSym2 d :: (Symbol ~> Symbol) -> TyFun Symbol Symbol -> Type) Source # | |
Defined in Text.Show.Singletons liftSing :: forall (x :: k1). Sing x -> Sing (ShowParenSym2 d x) | |
type Apply (ShowParenSym2 a6989586621680249796 a6989586621680249797 :: TyFun Symbol Symbol -> Type) (a6989586621680249798 :: Symbol) Source # | |
Defined in Text.Show.Singletons |
data ShowSpaceSym0 :: (~>) Symbol Symbol Source #
Instances
SingI ShowSpaceSym0 Source # | |
Defined in Text.Show.Singletons | |
SuppressUnusedWarnings ShowSpaceSym0 Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply ShowSpaceSym0 (a6989586621680249784 :: Symbol) Source # | |
Defined in Text.Show.Singletons |
type family ShowSpaceSym1 (a6989586621680249784 :: Symbol) :: Symbol where ... Source #
ShowSpaceSym1 a6989586621680249784 = ShowSpace a6989586621680249784 |
data ShowCommaSpaceSym0 :: (~>) Symbol Symbol Source #
Instances
SingI ShowCommaSpaceSym0 Source # | |
Defined in Text.Show.Singletons | |
SuppressUnusedWarnings ShowCommaSpaceSym0 Source # | |
Defined in Text.Show.Singletons suppressUnusedWarnings :: () # | |
type Apply ShowCommaSpaceSym0 (a6989586621680249778 :: Symbol) Source # | |
Defined in Text.Show.Singletons type Apply ShowCommaSpaceSym0 (a6989586621680249778 :: Symbol) = ShowCommaSpace a6989586621680249778 |
type family ShowCommaSpaceSym1 (a6989586621680249778 :: Symbol) :: Symbol where ... Source #
ShowCommaSpaceSym1 a6989586621680249778 = ShowCommaSpace a6989586621680249778 |
type family AppPrecSym0 :: Natural where ... Source #
type family AppPrec1Sym0 :: Natural where ... Source #