Copyright	(C) 2017 Ryan Scott
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
Stability	experimental
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Text.Show.Singletons

Contents

Defunctionalization symbols

Description

Defines the SShow singleton version of the Show type class.

Synopsis

class PShow a where
- type ShowsPrec (arg :: Natural) (arg :: a) (arg :: Symbol) :: Symbol
- type Show_ (arg :: a) :: Symbol
- type ShowList (arg :: [a]) (arg :: Symbol) :: Symbol
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 (a6989586621680243312 :: Natural) :: (~>) a ((~>) Symbol Symbol)
data ShowsPrecSym2 (a6989586621680243312 :: Natural) (a6989586621680243313 :: a) :: (~>) Symbol Symbol
type family ShowsPrecSym3 (a6989586621680243312 :: Natural) (a6989586621680243313 :: a) (a6989586621680243314 :: Symbol) :: Symbol where ...
data Show_Sym0 :: (~>) a Symbol
type family Show_Sym1 (a6989586621680243317 :: a) :: Symbol where ...
data ShowListSym0 :: (~>) [a] ((~>) Symbol Symbol)
data ShowListSym1 (a6989586621680243321 :: [a]) :: (~>) Symbol Symbol
type family ShowListSym2 (a6989586621680243321 :: [a]) (a6989586621680243322 :: Symbol) :: Symbol where ...
data ShowsSym0 :: (~>) a ((~>) Symbol Symbol)
data ShowsSym1 (a6989586621680243304 :: a) :: (~>) Symbol Symbol
type family ShowsSym2 (a6989586621680243304 :: a) (a6989586621680243305 :: Symbol) :: Symbol where ...
data ShowListWithSym0 :: (~>) ((~>) a ((~>) Symbol Symbol)) ((~>) [a] ((~>) Symbol Symbol))
data ShowListWithSym1 (a6989586621680243286 :: (~>) a ((~>) Symbol Symbol)) :: (~>) [a] ((~>) Symbol Symbol)
data ShowListWithSym2 (a6989586621680243286 :: (~>) a ((~>) Symbol Symbol)) (a6989586621680243287 :: [a]) :: (~>) Symbol Symbol
type family ShowListWithSym3 (a6989586621680243286 :: (~>) a ((~>) Symbol Symbol)) (a6989586621680243287 :: [a]) (a6989586621680243288 :: Symbol) :: Symbol where ...
data ShowCharSym0 :: (~>) Char ((~>) Symbol Symbol)
data ShowCharSym1 (a6989586621680243278 :: Char) :: (~>) Symbol Symbol
type family ShowCharSym2 (a6989586621680243278 :: Char) (a6989586621680243279 :: Symbol) :: Symbol where ...
data ShowStringSym0 :: (~>) Symbol ((~>) Symbol Symbol)
data ShowStringSym1 (a6989586621680243267 :: Symbol) :: (~>) Symbol Symbol
type family ShowStringSym2 (a6989586621680243267 :: Symbol) (a6989586621680243268 :: Symbol) :: Symbol where ...
data ShowParenSym0 :: (~>) Bool ((~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol))
data ShowParenSym1 (a6989586621680243251 :: Bool) :: (~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol)
data ShowParenSym2 (a6989586621680243251 :: Bool) (a6989586621680243252 :: (~>) Symbol Symbol) :: (~>) Symbol Symbol
data ShowSpaceSym0 :: (~>) Symbol Symbol
type family ShowSpaceSym1 (a6989586621680243239 :: Symbol) :: Symbol where ...
data ShowCommaSpaceSym0 :: (~>) Symbol Symbol
type family ShowCommaSpaceSym1 (a6989586621680243233 :: Symbol) :: Symbol where ...
type family AppPrecSym0 :: Natural where ...
type family AppPrec1Sym0 :: Natural where ...

Documentation

class PShow a Source #

Associated Types

type ShowsPrec (arg :: Natural) (arg :: a) (arg :: Symbol) :: Symbol Source #

type ShowsPrec a a a = Apply (Apply (Apply ShowsPrec_6989586621680243326Sym0 a) a) a

type Show_ (arg :: a) :: Symbol Source #

type Show_ a = Apply Show__6989586621680243338Sym0 a

type ShowList (arg :: [a]) (arg :: Symbol) :: Symbol Source #

type ShowList a a = Apply (Apply ShowList_6989586621680243346Sym0 a) a

Instances

Instances details

PShow All Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow Any Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow Void Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow Ordering Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow Natural Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow () Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow Bool Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow Char Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow Symbol Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Identity a) Source #
Instance details Defined in Data.Functor.Identity.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (First a) Source #
Instance details Defined in Data.Monoid.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Last a) Source #
Instance details Defined in Data.Monoid.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (First a) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Last a) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Max a) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Min a) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (WrappedMonoid m) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Dual a) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Product a) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Sum a) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (NonEmpty a) Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Maybe a) Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow [a] Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Either a b) Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Proxy s) Source #
Instance details Defined in Data.Proxy.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Arg a b) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (a, b) Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Const a b) Source #
Instance details Defined in Data.Functor.Const.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (a, b, c) Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (a, b, c, d) Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (a, b, c, d, e) Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (a, b, c, d, e, f) Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (a, b, c, d, e, f, g) Source #
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #

class SShow a where Source #

Minimal complete definition

Nothing

Methods

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_6989586621680243326Sym0 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__6989586621680243338Sym0 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 #

default sShowList :: forall (t :: [a]) (t :: Symbol). (Apply (Apply ShowListSym0 t) t :: Symbol) ~ Apply (Apply ShowList_6989586621680243346Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t :: Symbol) Source #

Instances

Instances details

SShow Bool => SShow All Source #
Instance details Defined in Data.Semigroup.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: All) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: All). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [All]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Bool => SShow Any Source #
Instance details Defined in Data.Semigroup.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Any) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Any). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Any]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Void Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Void) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Void). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Void]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Ordering Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Ordering) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Ordering). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Ordering]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Natural Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Natural) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Natural). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Natural]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow () Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: ()) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: ()). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [()]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Bool Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Bool) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Bool). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Bool]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Char Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Char) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Char). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Char]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Symbol Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Symbol). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Symbol]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Identity a) Source #
Instance details Defined in Data.Functor.Identity.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Identity a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Identity a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Identity a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow (Maybe a) => SShow (First a) Source #
Instance details Defined in Data.Monoid.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: First a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: First a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [First a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow (Maybe a) => SShow (Last a) Source #
Instance details Defined in Data.Monoid.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Last a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Last a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Last a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (First a) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: First a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: First a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [First a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Last a) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Last a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Last a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Last a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Max a) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Max a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Max a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Max a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Min a) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Min a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Min a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Min a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow m => SShow (WrappedMonoid m) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: WrappedMonoid m) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: WrappedMonoid m). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [WrappedMonoid m]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Dual a) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Dual a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Dual a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Dual a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Product a) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Product a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Product a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Product a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Sum a) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Sum a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Sum a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Sum a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
(SShow a, SShow [a]) => SShow (NonEmpty a) Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: NonEmpty a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: NonEmpty a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [NonEmpty a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Maybe a) Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Maybe a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Maybe a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Maybe a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow [a] Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: [a]) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: [a]). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [[a]]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
(SShow a, SShow b) => SShow (Either a b) Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Either a b) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Either a b). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Either a b]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow (Proxy s) Source #
Instance details Defined in Data.Proxy.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Proxy s) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Proxy s). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Proxy s]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
(SShow a, SShow b) => SShow (Arg a b) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Arg a b) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Arg a b). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Arg a b]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
(SShow a, SShow b) => SShow (a, b) Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: (a, b)) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: (a, b)). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [(a, b)]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Const a b) Source #
Instance details Defined in Data.Functor.Const.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: Const a b) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Const a b). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Const a b]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
(SShow a, SShow b, SShow c) => SShow (a, b, c) Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: (a, b, c)) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: (a, b, c)). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [(a, b, c)]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
(SShow a, SShow b, SShow c, SShow d) => SShow (a, b, c, d) Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: (a, b, c, d)) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: (a, b, c, d)). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [(a, b, c, d)]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
(SShow a, SShow b, SShow c, SShow d, SShow e) => SShow (a, b, c, d, e) Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: (a, b, c, d, e)) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: (a, b, c, d, e)). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [(a, b, c, d, e)]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
(SShow a, SShow b, SShow c, SShow d, SShow e, SShow f) => SShow (a, b, c, d, e, f) Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: (a, b, c, d, e, f)) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: (a, b, c, d, e, f)). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [(a, b, c, d, e, f)]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
(SShow a, SShow b, SShow c, SShow d, SShow e, SShow f, SShow g) => SShow (a, b, c, d, e, f, g) Source #
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t :: Natural) (t :: (a, b, c, d, e, f, g)) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: (a, b, c, d, e, f, g)). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [(a, b, c, d, e, f, g)]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #

type SymbolS = Symbol -> Symbol Source #

The shows functions return a function that prepends the output Symbol to an existing Symbol. This allows constant-time concatenation of results using function composition.

show_ :: Show a => a -> String Source #

show, but with an extra underscore so that its promoted counterpart (Show_) will not clash with the Show class.

type family Shows (a :: a) (a :: Symbol) :: Symbol where ... Source #

Equations

Shows s a_6989586621680243299 = Apply (Apply (Apply ShowsPrecSym0 (FromInteger 0)) s) a_6989586621680243299

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 #

Equations

ShowListWith _ '[] s = Apply (Apply (<>@#@$) "[]") s
ShowListWith showx ('(:) x xs) s = Apply (Apply (<>@#@$) "[") (Apply (Apply showx x) (Apply (Let6989586621680243294ShowlSym4 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 #

Equations

ShowChar a_6989586621680243271 a_6989586621680243273 = Apply (Apply ConsSymbolSym0 a_6989586621680243271) a_6989586621680243273

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 #

Equations

ShowString a_6989586621680243260 a_6989586621680243262 = Apply (Apply (<>@#@$) a_6989586621680243260) a_6989586621680243262

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 #

Equations

ShowParen b p a_6989586621680243245 = Apply (Case_6989586621680243257 b p a_6989586621680243245 b) a_6989586621680243245

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 #

Equations

ShowSpace a_6989586621680243235 = Apply (Apply Lambda_6989586621680243241Sym0 a_6989586621680243235) a_6989586621680243235

sShowSpace :: forall (t :: Symbol). Sing t -> Sing (Apply ShowSpaceSym0 t :: Symbol) Source #

type family ShowCommaSpace (a :: Symbol) :: Symbol where ... Source #

Equations

ShowCommaSpace a_6989586621680243229 = Apply (Apply ShowStringSym0 ", ") a_6989586621680243229

sShowCommaSpace :: forall (t :: Symbol). Sing t -> Sing (Apply ShowCommaSpaceSym0 t :: Symbol) Source #

type family AppPrec :: Natural where ... Source #

Equations

AppPrec = FromInteger 10

sAppPrec :: Sing (AppPrecSym0 :: Natural) Source #

type family AppPrec1 :: Natural where ... Source #

Equations

AppPrec1 = FromInteger 11

sAppPrec1 :: Sing (AppPrec1Sym0 :: Natural) Source #

Defunctionalization symbols

data ShowsPrecSym0 :: (~>) Natural ((~>) a ((~>) Symbol Symbol)) Source #

Instances

Instances details

SShow a => SingI (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowsPrecSym0
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680243312 :: Natural) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680243312 :: Natural) = ShowsPrecSym1 a6989586621680243312 :: TyFun a (Symbol ~> Symbol) -> Type

data ShowsPrecSym1 (a6989586621680243312 :: Natural) :: (~>) a ((~>) Symbol Symbol) Source #

Instances

Instances details

SShow a => SingI1 (ShowsPrecSym1 :: Natural -> TyFun a (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowsPrecSym1 x)
(SShow a, SingI d) => SingI (ShowsPrecSym1 d :: TyFun a (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowsPrecSym1 d)
SuppressUnusedWarnings (ShowsPrecSym1 a6989586621680243312 :: TyFun a (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ShowsPrecSym1 a6989586621680243312 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680243313 :: a) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrecSym1 a6989586621680243312 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680243313 :: a) = ShowsPrecSym2 a6989586621680243312 a6989586621680243313

data ShowsPrecSym2 (a6989586621680243312 :: Natural) (a6989586621680243313 :: a) :: (~>) Symbol Symbol Source #

Instances

Instances details

SShow a => SingI2 (ShowsPrecSym2 :: Natural -> a -> TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods 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 #
Instance details Defined in Text.Show.Singletons Methods 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 #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowsPrecSym2 d1 d2)
SuppressUnusedWarnings (ShowsPrecSym2 a6989586621680243312 a6989586621680243313 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ShowsPrecSym2 a6989586621680243312 a6989586621680243313 :: TyFun Symbol Symbol -> Type) (a6989586621680243314 :: Symbol) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrecSym2 a6989586621680243312 a6989586621680243313 :: TyFun Symbol Symbol -> Type) (a6989586621680243314 :: Symbol) = ShowsPrec a6989586621680243312 a6989586621680243313 a6989586621680243314

type family ShowsPrecSym3 (a6989586621680243312 :: Natural) (a6989586621680243313 :: a) (a6989586621680243314 :: Symbol) :: Symbol where ... Source #

Equations

ShowsPrecSym3 a6989586621680243312 a6989586621680243313 a6989586621680243314 = ShowsPrec a6989586621680243312 a6989586621680243313 a6989586621680243314

data Show_Sym0 :: (~>) a Symbol Source #

Instances

Instances details

SShow a => SingI (Show_Sym0 :: TyFun a Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing Show_Sym0
SuppressUnusedWarnings (Show_Sym0 :: TyFun a Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (a6989586621680243317 :: a) Source #
Instance details Defined in Text.Show.Singletons type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (a6989586621680243317 :: a) = Show_ a6989586621680243317

type family Show_Sym1 (a6989586621680243317 :: a) :: Symbol where ... Source #

Equations

Show_Sym1 a6989586621680243317 = Show_ a6989586621680243317

data ShowListSym0 :: (~>) [a] ((~>) Symbol Symbol) Source #

Instances

Instances details

SShow a => SingI (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowListSym0
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680243321 :: [a]) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680243321 :: [a]) = ShowListSym1 a6989586621680243321

data ShowListSym1 (a6989586621680243321 :: [a]) :: (~>) Symbol Symbol Source #

Instances

Instances details

SShow a => SingI1 (ShowListSym1 :: [a] -> TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowListSym1 x)
(SShow a, SingI d) => SingI (ShowListSym1 d :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowListSym1 d)
SuppressUnusedWarnings (ShowListSym1 a6989586621680243321 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ShowListSym1 a6989586621680243321 :: TyFun Symbol Symbol -> Type) (a6989586621680243322 :: Symbol) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowListSym1 a6989586621680243321 :: TyFun Symbol Symbol -> Type) (a6989586621680243322 :: Symbol) = ShowList a6989586621680243321 a6989586621680243322

type family ShowListSym2 (a6989586621680243321 :: [a]) (a6989586621680243322 :: Symbol) :: Symbol where ... Source #

Equations

ShowListSym2 a6989586621680243321 a6989586621680243322 = ShowList a6989586621680243321 a6989586621680243322

data ShowsSym0 :: (~>) a ((~>) Symbol Symbol) Source #

Instances

Instances details

SShow a => SingI (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowsSym0
SuppressUnusedWarnings (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680243304 :: a) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680243304 :: a) = ShowsSym1 a6989586621680243304

data ShowsSym1 (a6989586621680243304 :: a) :: (~>) Symbol Symbol Source #

Instances

Instances details

SShow a => SingI1 (ShowsSym1 :: a -> TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowsSym1 x)
(SShow a, SingI d) => SingI (ShowsSym1 d :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowsSym1 d)
SuppressUnusedWarnings (ShowsSym1 a6989586621680243304 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ShowsSym1 a6989586621680243304 :: TyFun Symbol Symbol -> Type) (a6989586621680243305 :: Symbol) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowsSym1 a6989586621680243304 :: TyFun Symbol Symbol -> Type) (a6989586621680243305 :: Symbol) = Shows a6989586621680243304 a6989586621680243305

type family ShowsSym2 (a6989586621680243304 :: a) (a6989586621680243305 :: Symbol) :: Symbol where ... Source #

Equations

ShowsSym2 a6989586621680243304 a6989586621680243305 = Shows a6989586621680243304 a6989586621680243305

data ShowListWithSym0 :: (~>) ((~>) a ((~>) Symbol Symbol)) ((~>) [a] ((~>) Symbol Symbol)) Source #

Instances

Instances details

SingI (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowListWithSym0
SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680243286 :: a ~> (Symbol ~> Symbol)) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680243286 :: a ~> (Symbol ~> Symbol)) = ShowListWithSym1 a6989586621680243286

data ShowListWithSym1 (a6989586621680243286 :: (~>) a ((~>) Symbol Symbol)) :: (~>) [a] ((~>) Symbol Symbol) Source #

Instances

Instances details

SingI d => SingI (ShowListWithSym1 d :: TyFun [a] (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowListWithSym1 d)
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680243286 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (ShowListWithSym1 :: (a ~> (Symbol ~> Symbol)) -> TyFun [a] (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowListWithSym1 x)
type Apply (ShowListWithSym1 a6989586621680243286 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680243287 :: [a]) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowListWithSym1 a6989586621680243286 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680243287 :: [a]) = ShowListWithSym2 a6989586621680243286 a6989586621680243287

data ShowListWithSym2 (a6989586621680243286 :: (~>) a ((~>) Symbol Symbol)) (a6989586621680243287 :: [a]) :: (~>) Symbol Symbol Source #

Instances

Instances details

SingI d => SingI1 (ShowListWithSym2 d :: [a] -> TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowListWithSym2 d x)
SingI2 (ShowListWithSym2 :: (a ~> (Symbol ~> Symbol)) -> [a] -> TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods 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 #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowListWithSym2 d1 d2)
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680243286 a6989586621680243287 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ShowListWithSym2 a6989586621680243286 a6989586621680243287 :: TyFun Symbol Symbol -> Type) (a6989586621680243288 :: Symbol) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowListWithSym2 a6989586621680243286 a6989586621680243287 :: TyFun Symbol Symbol -> Type) (a6989586621680243288 :: Symbol) = ShowListWith a6989586621680243286 a6989586621680243287 a6989586621680243288

type family ShowListWithSym3 (a6989586621680243286 :: (~>) a ((~>) Symbol Symbol)) (a6989586621680243287 :: [a]) (a6989586621680243288 :: Symbol) :: Symbol where ... Source #

Equations

ShowListWithSym3 a6989586621680243286 a6989586621680243287 a6989586621680243288 = ShowListWith a6989586621680243286 a6989586621680243287 a6989586621680243288

data ShowCharSym0 :: (~>) Char ((~>) Symbol Symbol) Source #

Instances

Instances details

SingI ShowCharSym0 Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowCharSym0
SuppressUnusedWarnings ShowCharSym0 Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply ShowCharSym0 (a6989586621680243278 :: Char) Source #
Instance details Defined in Text.Show.Singletons type Apply ShowCharSym0 (a6989586621680243278 :: Char) = ShowCharSym1 a6989586621680243278

data ShowCharSym1 (a6989586621680243278 :: Char) :: (~>) Symbol Symbol Source #

Instances

Instances details

SingI1 ShowCharSym1 Source #
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowCharSym1 x)
SingI d => SingI (ShowCharSym1 d :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowCharSym1 d)
SuppressUnusedWarnings (ShowCharSym1 a6989586621680243278 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ShowCharSym1 a6989586621680243278 :: TyFun Symbol Symbol -> Type) (a6989586621680243279 :: Symbol) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowCharSym1 a6989586621680243278 :: TyFun Symbol Symbol -> Type) (a6989586621680243279 :: Symbol) = ShowChar a6989586621680243278 a6989586621680243279

type family ShowCharSym2 (a6989586621680243278 :: Char) (a6989586621680243279 :: Symbol) :: Symbol where ... Source #

Equations

ShowCharSym2 a6989586621680243278 a6989586621680243279 = ShowChar a6989586621680243278 a6989586621680243279

data ShowStringSym0 :: (~>) Symbol ((~>) Symbol Symbol) Source #

Instances

Instances details

SingI ShowStringSym0 Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowStringSym0
SuppressUnusedWarnings ShowStringSym0 Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply ShowStringSym0 (a6989586621680243267 :: Symbol) Source #
Instance details Defined in Text.Show.Singletons type Apply ShowStringSym0 (a6989586621680243267 :: Symbol) = ShowStringSym1 a6989586621680243267

data ShowStringSym1 (a6989586621680243267 :: Symbol) :: (~>) Symbol Symbol Source #

Instances

Instances details

SingI1 ShowStringSym1 Source #
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowStringSym1 x)
SingI d => SingI (ShowStringSym1 d :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowStringSym1 d)
SuppressUnusedWarnings (ShowStringSym1 a6989586621680243267 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ShowStringSym1 a6989586621680243267 :: TyFun Symbol Symbol -> Type) (a6989586621680243268 :: Symbol) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowStringSym1 a6989586621680243267 :: TyFun Symbol Symbol -> Type) (a6989586621680243268 :: Symbol) = ShowString a6989586621680243267 a6989586621680243268

type family ShowStringSym2 (a6989586621680243267 :: Symbol) (a6989586621680243268 :: Symbol) :: Symbol where ... Source #

Equations

ShowStringSym2 a6989586621680243267 a6989586621680243268 = ShowString a6989586621680243267 a6989586621680243268

data ShowParenSym0 :: (~>) Bool ((~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol)) Source #

Instances

Instances details

SingI ShowParenSym0 Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowParenSym0
SuppressUnusedWarnings ShowParenSym0 Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply ShowParenSym0 (a6989586621680243251 :: Bool) Source #
Instance details Defined in Text.Show.Singletons type Apply ShowParenSym0 (a6989586621680243251 :: Bool) = ShowParenSym1 a6989586621680243251

data ShowParenSym1 (a6989586621680243251 :: Bool) :: (~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol) Source #

Instances

Instances details

SingI1 ShowParenSym1 Source #
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowParenSym1 x)
SingI d => SingI (ShowParenSym1 d :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowParenSym1 d)
SuppressUnusedWarnings (ShowParenSym1 a6989586621680243251 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ShowParenSym1 a6989586621680243251 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680243252 :: Symbol ~> Symbol) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowParenSym1 a6989586621680243251 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680243252 :: Symbol ~> Symbol) = ShowParenSym2 a6989586621680243251 a6989586621680243252

data ShowParenSym2 (a6989586621680243251 :: Bool) (a6989586621680243252 :: (~>) Symbol Symbol) :: (~>) Symbol Symbol Source #

Instances

Instances details

SingI2 ShowParenSym2 Source #
Instance details Defined in Text.Show.Singletons Methods 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 #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowParenSym2 d1 d2)
SuppressUnusedWarnings (ShowParenSym2 a6989586621680243251 a6989586621680243252 :: TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SingI d => SingI1 (ShowParenSym2 d :: (Symbol ~> Symbol) -> TyFun Symbol Symbol -> Type) Source #
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowParenSym2 d x)
type Apply (ShowParenSym2 a6989586621680243251 a6989586621680243252 :: TyFun Symbol Symbol -> Type) (a6989586621680243253 :: Symbol) Source #
Instance details Defined in Text.Show.Singletons type Apply (ShowParenSym2 a6989586621680243251 a6989586621680243252 :: TyFun Symbol Symbol -> Type) (a6989586621680243253 :: Symbol) = ShowParen a6989586621680243251 a6989586621680243252 a6989586621680243253

data ShowSpaceSym0 :: (~>) Symbol Symbol Source #

Instances

Instances details

SingI ShowSpaceSym0 Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowSpaceSym0
SuppressUnusedWarnings ShowSpaceSym0 Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply ShowSpaceSym0 (a6989586621680243239 :: Symbol) Source #
Instance details Defined in Text.Show.Singletons type Apply ShowSpaceSym0 (a6989586621680243239 :: Symbol) = ShowSpace a6989586621680243239

type family ShowSpaceSym1 (a6989586621680243239 :: Symbol) :: Symbol where ... Source #

Equations

ShowSpaceSym1 a6989586621680243239 = ShowSpace a6989586621680243239

data ShowCommaSpaceSym0 :: (~>) Symbol Symbol Source #

Instances

Instances details

SingI ShowCommaSpaceSym0 Source #
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowCommaSpaceSym0
SuppressUnusedWarnings ShowCommaSpaceSym0 Source #
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
type Apply ShowCommaSpaceSym0 (a6989586621680243233 :: Symbol) Source #
Instance details Defined in Text.Show.Singletons type Apply ShowCommaSpaceSym0 (a6989586621680243233 :: Symbol) = ShowCommaSpace a6989586621680243233

type family ShowCommaSpaceSym1 (a6989586621680243233 :: Symbol) :: Symbol where ... Source #

Equations

ShowCommaSpaceSym1 a6989586621680243233 = ShowCommaSpace a6989586621680243233

type family AppPrecSym0 :: Natural where ... Source #

Equations

AppPrecSym0 = AppPrec

type family AppPrec1Sym0 :: Natural where ... Source #

Equations

AppPrec1Sym0 = AppPrec1