singletons-2.5.1: A framework for generating singleton types

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

Data.Singletons.Prelude.Show

Contents

- Defunctionalization symbols

Description

Defines the SShow singleton version of the Show type class.

Synopsis

- class PShow (a :: Type) where
  - type ShowsPrec (arg :: Nat) (arg :: a) (arg :: Symbol) :: Symbol
  - type Show_ (arg :: a) :: Symbol
  - type ShowList (arg :: [a]) (arg :: Symbol) :: Symbol
- class SShow a where
  - sShowsPrec :: forall (t :: Nat) (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
- type SChar = 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 :: Symbol) (a :: Symbol) :: Symbol where ...
- sShowChar :: forall (t :: Symbol) (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 :: Nat where ...
- sAppPrec :: Sing (AppPrecSym0 :: Nat)
- type family AppPrec1 :: Nat where ...
- sAppPrec1 :: Sing (AppPrec1Sym0 :: Nat)
- data ShowsPrecSym0 :: forall a6989586621680258583. (~>) Nat ((~>) a6989586621680258583 ((~>) Symbol Symbol))
- data ShowsPrecSym1 (arg6989586621680260533 :: Nat) :: forall a6989586621680258583. (~>) a6989586621680258583 ((~>) Symbol Symbol)
- data ShowsPrecSym2 (arg6989586621680260533 :: Nat) (arg6989586621680260534 :: a6989586621680258583) :: (~>) Symbol Symbol
- type ShowsPrecSym3 (arg6989586621680260533 :: Nat) (arg6989586621680260534 :: a6989586621680258583) (arg6989586621680260535 :: Symbol) = ShowsPrec arg6989586621680260533 arg6989586621680260534 arg6989586621680260535
- data Show_Sym0 :: forall a6989586621680258583. (~>) a6989586621680258583 Symbol
- type Show_Sym1 (arg6989586621680260539 :: a6989586621680258583) = Show_ arg6989586621680260539
- data ShowListSym0 :: forall a6989586621680258583. (~>) [a6989586621680258583] ((~>) Symbol Symbol)
- data ShowListSym1 (arg6989586621680260541 :: [a6989586621680258583]) :: (~>) Symbol Symbol
- type ShowListSym2 (arg6989586621680260541 :: [a6989586621680258583]) (arg6989586621680260542 :: Symbol) = ShowList arg6989586621680260541 arg6989586621680260542
- data ShowsSym0 :: forall a6989586621680258568. (~>) a6989586621680258568 ((~>) Symbol Symbol)
- data ShowsSym1 (a6989586621680260525 :: a6989586621680258568) :: (~>) Symbol Symbol
- type ShowsSym2 (a6989586621680260525 :: a6989586621680258568) (a6989586621680260526 :: Symbol) = Shows a6989586621680260525 a6989586621680260526
- data ShowListWithSym0 :: forall a6989586621680258567. (~>) ((~>) a6989586621680258567 ((~>) Symbol Symbol)) ((~>) [a6989586621680258567] ((~>) Symbol Symbol))
- data ShowListWithSym1 (a6989586621680260505 :: (~>) a6989586621680258567 ((~>) Symbol Symbol)) :: (~>) [a6989586621680258567] ((~>) Symbol Symbol)
- data ShowListWithSym2 (a6989586621680260505 :: (~>) a6989586621680258567 ((~>) Symbol Symbol)) (a6989586621680260506 :: [a6989586621680258567]) :: (~>) Symbol Symbol
- type ShowListWithSym3 (a6989586621680260505 :: (~>) a6989586621680258567 ((~>) Symbol Symbol)) (a6989586621680260506 :: [a6989586621680258567]) (a6989586621680260507 :: Symbol) = ShowListWith a6989586621680260505 a6989586621680260506 a6989586621680260507
- data ShowCharSym0 :: (~>) Symbol ((~>) Symbol Symbol)
- data ShowCharSym1 (a6989586621680260467 :: Symbol) :: (~>) Symbol Symbol
- type ShowCharSym2 (a6989586621680260467 :: Symbol) (a6989586621680260468 :: Symbol) = ShowChar a6989586621680260467 a6989586621680260468
- data ShowStringSym0 :: (~>) Symbol ((~>) Symbol Symbol)
- data ShowStringSym1 (a6989586621680260452 :: Symbol) :: (~>) Symbol Symbol
- type ShowStringSym2 (a6989586621680260452 :: Symbol) (a6989586621680260453 :: Symbol) = ShowString a6989586621680260452 a6989586621680260453
- data ShowParenSym0 :: (~>) Bool ((~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol))
- data ShowParenSym1 (a6989586621680260473 :: Bool) :: (~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol)
- data ShowParenSym2 (a6989586621680260473 :: Bool) (a6989586621680260474 :: (~>) Symbol Symbol) :: (~>) Symbol Symbol
- data ShowSpaceSym0 :: (~>) Symbol Symbol
- type ShowSpaceSym1 (a6989586621680260439 :: Symbol) = ShowSpace a6989586621680260439
- data ShowCommaSpaceSym0 :: (~>) Symbol Symbol
- type ShowCommaSpaceSym1 (a6989586621680260460 :: Symbol) = ShowCommaSpace a6989586621680260460
- type AppPrecSym0 = AppPrec
- type AppPrec1Sym0 = AppPrec1

# Documentation

class PShow (a :: Type) Source #

Associated Types

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

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

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

Instances

PShow Bool Source # |
Instance details Defined in Data.Singletons.Prelude.Show 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 Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow Nat Source # |
Instance details Defined in Data.Singletons.Prelude.Show 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 Data.Singletons.Prelude.Show 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 Data.Singletons.Prelude.Show 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 Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow All Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup 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.Singletons.Prelude.Semigroup 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 Data.Singletons.Prelude.Show 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 Data.Singletons.Prelude.Show 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.Singletons.Prelude.Semigroup 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.Singletons.Prelude.Semigroup 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.Singletons.Prelude.Semigroup 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.Singletons.Prelude.Semigroup 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.Singletons.Prelude.Semigroup Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Option a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup 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.Singletons.Prelude.Identity 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.Singletons.Prelude.Monoid 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.Singletons.Prelude.Monoid 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.Singletons.Prelude.Semigroup 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.Singletons.Prelude.Semigroup 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.Singletons.Prelude.Semigroup 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 Data.Singletons.Prelude.Show 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 Data.Singletons.Prelude.Show 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 Data.Singletons.Prelude.Show 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.Singletons.Prelude.Semigroup 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 Data.Singletons.Prelude.Show 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.Singletons.Prelude.Const 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 Data.Singletons.Prelude.Show 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 Data.Singletons.Prelude.Show 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 Data.Singletons.Prelude.Show 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 Data.Singletons.Prelude.Show 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 :: Nat) (t :: a) (t :: Symbol). 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 #

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

sShowsPrec :: forall (t :: Nat) (t :: a) (t :: Symbol). (Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) ~ Apply (Apply (Apply ShowsPrec_6989586621680260556Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t :: Symbol) Source #

sShow_ :: forall (t :: a). (Apply Show_Sym0 t :: Symbol) ~ Apply Show__6989586621680260565Sym0 t => Sing t -> Sing (Apply Show_Sym0 t :: Symbol) Source #

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

Instances

SShow Bool Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Ordering Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Nat Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Symbol Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow () Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Void Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Bool => SShow All Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Bool => SShow Any Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow [a] Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Maybe a) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Min a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Max a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (First a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Last a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow m => SShow (WrappedMonoid m) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow (Maybe a) => SShow (Option a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Identity a) Source # |
Instance details Defined in Data.Singletons.Prelude.Identity Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow (Maybe a) => SShow (First a) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow (Maybe a) => SShow (Last a) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Dual a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Sum a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Product a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
(SShow a, SShow [a]) => SShow (NonEmpty a) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
(SShow a, SShow b) => SShow (Either a b) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
(SShow a, SShow b) => SShow (a, b) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: 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.Singletons.Prelude.Semigroup Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: 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 Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Const a b) Source # |
Instance details Defined in Data.Singletons.Prelude.Const Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: 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 Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: 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 Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: 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 Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: 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 Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: 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.

type SChar = Symbol Source #

GHC currently has no notion of type-level `Char`s, so we fake them with single-character `Symbol`s.

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_6989586621680260529 = Apply (Apply (Apply ShowsPrecSym0 (FromInteger 0)) s) a_6989586621680260529 |

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 (Let6989586621680260516ShowlSym4 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 :: Symbol) (a :: Symbol) :: Symbol where ... Source #

Equations

ShowChar a_6989586621680260463 a_6989586621680260465 = Apply (Apply (<>@#@$) a_6989586621680260463) a_6989586621680260465 |

sShowChar :: forall (t :: Symbol) (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_6989586621680260448 a_6989586621680260450 = Apply (Apply (<>@#@$) a_6989586621680260448) a_6989586621680260450 |

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_6989586621680260479 = Apply (Case_6989586621680260484 b p a_6989586621680260479 b) a_6989586621680260479 |

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_6989586621680260437 = Apply (Apply Lambda_6989586621680260442Sym0 a_6989586621680260437) a_6989586621680260437 |

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

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

Equations

ShowCommaSpace a_6989586621680260458 = Apply (Apply ShowStringSym0 ", ") a_6989586621680260458 |

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

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

Equations

AppPrec = FromInteger 10 |

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

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

Equations

AppPrec1 = FromInteger 11 |

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

# Defunctionalization symbols

data ShowsPrecSym0 :: forall a6989586621680258583. (~>) Nat ((~>) a6989586621680258583 ((~>) Symbol Symbol)) Source #

Instances

SShow a => SingI (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowsPrecSym0 Source #
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (a6989586621680258583 ~> (Symbol ~> Symbol)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
type Apply (ShowsPrecSym0 :: TyFun Nat (a6989586621680258583 ~> (Symbol ~> Symbol)) -> Type) (arg6989586621680260533 :: Nat) Source # |
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym0 :: TyFun Nat (a6989586621680258583 ~> (Symbol ~> Symbol)) -> Type) (arg6989586621680260533 :: Nat) = (ShowsPrecSym1 arg6989586621680260533 a6989586621680258583 :: TyFun a6989586621680258583 (Symbol ~> Symbol) -> Type)

data ShowsPrecSym1 (arg6989586621680260533 :: Nat) :: forall a6989586621680258583. (~>) a6989586621680258583 ((~>) Symbol Symbol) Source #

Instances

(SShow a, SingI d) => SingI (ShowsPrecSym1 d a :: TyFun a (Symbol ~> Symbol) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowsPrecSym1 d a) Source #
SuppressUnusedWarnings (ShowsPrecSym1 arg6989586621680260533 a6989586621680258583 :: TyFun a6989586621680258583 (Symbol ~> Symbol) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
type Apply (ShowsPrecSym1 arg6989586621680260533 a6989586621680258583 :: TyFun a6989586621680258583 (Symbol ~> Symbol) -> Type) (arg6989586621680260534 :: a6989586621680258583) Source # |
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym1 arg6989586621680260533 a6989586621680258583 :: TyFun a6989586621680258583 (Symbol ~> Symbol) -> Type) (arg6989586621680260534 :: a6989586621680258583) = ShowsPrecSym2 arg6989586621680260533 arg6989586621680260534

data ShowsPrecSym2 (arg6989586621680260533 :: Nat) (arg6989586621680260534 :: a6989586621680258583) :: (~>) Symbol Symbol Source #

Instances

(SShow a, SingI d1, SingI d2) => SingI (ShowsPrecSym2 d1 d2 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowsPrecSym2 d1 d2) Source #
SuppressUnusedWarnings (ShowsPrecSym2 arg6989586621680260534 arg6989586621680260533 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
type Apply (ShowsPrecSym2 arg6989586621680260534 arg6989586621680260533 :: TyFun Symbol Symbol -> Type) (arg6989586621680260535 :: Symbol) Source # |
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym2 arg6989586621680260534 arg6989586621680260533 :: TyFun Symbol Symbol -> Type) (arg6989586621680260535 :: Symbol) = ShowsPrec arg6989586621680260534 arg6989586621680260533 arg6989586621680260535

type ShowsPrecSym3 (arg6989586621680260533 :: Nat) (arg6989586621680260534 :: a6989586621680258583) (arg6989586621680260535 :: Symbol) = ShowsPrec arg6989586621680260533 arg6989586621680260534 arg6989586621680260535 Source #

data Show_Sym0 :: forall a6989586621680258583. (~>) a6989586621680258583 Symbol Source #

Instances

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

type Show_Sym1 (arg6989586621680260539 :: a6989586621680258583) = Show_ arg6989586621680260539 Source #

data ShowListSym0 :: forall a6989586621680258583. (~>) [a6989586621680258583] ((~>) Symbol Symbol) Source #

Instances

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

data ShowListSym1 (arg6989586621680260541 :: [a6989586621680258583]) :: (~>) Symbol Symbol Source #

Instances

(SShow a, SingI d) => SingI (ShowListSym1 d :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowListSym1 d) Source #
SuppressUnusedWarnings (ShowListSym1 arg6989586621680260541 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
type Apply (ShowListSym1 arg6989586621680260541 :: TyFun Symbol Symbol -> Type) (arg6989586621680260542 :: Symbol) Source # |
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym1 arg6989586621680260541 :: TyFun Symbol Symbol -> Type) (arg6989586621680260542 :: Symbol) = ShowList arg6989586621680260541 arg6989586621680260542

type ShowListSym2 (arg6989586621680260541 :: [a6989586621680258583]) (arg6989586621680260542 :: Symbol) = ShowList arg6989586621680260541 arg6989586621680260542 Source #

data ShowsSym0 :: forall a6989586621680258568. (~>) a6989586621680258568 ((~>) Symbol Symbol) Source #

Instances

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

data ShowsSym1 (a6989586621680260525 :: a6989586621680258568) :: (~>) Symbol Symbol Source #

Instances

(SShow a, SingI d) => SingI (ShowsSym1 d :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowsSym1 d) Source #
SuppressUnusedWarnings (ShowsSym1 a6989586621680260525 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
type Apply (ShowsSym1 a6989586621680260525 :: TyFun Symbol Symbol -> Type) (a6989586621680260526 :: Symbol) Source # |
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsSym1 a6989586621680260525 :: TyFun Symbol Symbol -> Type) (a6989586621680260526 :: Symbol) = Shows a6989586621680260525 a6989586621680260526

type ShowsSym2 (a6989586621680260525 :: a6989586621680258568) (a6989586621680260526 :: Symbol) = Shows a6989586621680260525 a6989586621680260526 Source #

data ShowListWithSym0 :: forall a6989586621680258567. (~>) ((~>) a6989586621680258567 ((~>) Symbol Symbol)) ((~>) [a6989586621680258567] ((~>) Symbol Symbol)) Source #

Instances

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

data ShowListWithSym1 (a6989586621680260505 :: (~>) a6989586621680258567 ((~>) Symbol Symbol)) :: (~>) [a6989586621680258567] ((~>) Symbol Symbol) Source #

Instances

SingI d => SingI (ShowListWithSym1 d :: TyFun [a] (Symbol ~> Symbol) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowListWithSym1 d) Source #
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680260505 :: TyFun [a6989586621680258567] (Symbol ~> Symbol) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
type Apply (ShowListWithSym1 a6989586621680260505 :: TyFun [a6989586621680258567] (Symbol ~> Symbol) -> Type) (a6989586621680260506 :: [a6989586621680258567]) Source # |
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym1 a6989586621680260505 :: TyFun [a6989586621680258567] (Symbol ~> Symbol) -> Type) (a6989586621680260506 :: [a6989586621680258567]) = ShowListWithSym2 a6989586621680260505 a6989586621680260506

data ShowListWithSym2 (a6989586621680260505 :: (~>) a6989586621680258567 ((~>) Symbol Symbol)) (a6989586621680260506 :: [a6989586621680258567]) :: (~>) Symbol Symbol Source #

Instances

(SingI d1, SingI d2) => SingI (ShowListWithSym2 d1 d2 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowListWithSym2 d1 d2) Source #
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680260506 a6989586621680260505 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
type Apply (ShowListWithSym2 a6989586621680260506 a6989586621680260505 :: TyFun Symbol Symbol -> Type) (a6989586621680260507 :: Symbol) Source # |
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym2 a6989586621680260506 a6989586621680260505 :: TyFun Symbol Symbol -> Type) (a6989586621680260507 :: Symbol) = ShowListWith a6989586621680260506 a6989586621680260505 a6989586621680260507

type ShowListWithSym3 (a6989586621680260505 :: (~>) a6989586621680258567 ((~>) Symbol Symbol)) (a6989586621680260506 :: [a6989586621680258567]) (a6989586621680260507 :: Symbol) = ShowListWith a6989586621680260505 a6989586621680260506 a6989586621680260507 Source #

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

Instances

SingI ShowCharSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowCharSym0 Source #
SuppressUnusedWarnings ShowCharSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
type Apply ShowCharSym0 (a6989586621680260467 :: Symbol) Source # |
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowCharSym0 (a6989586621680260467 :: Symbol) = ShowCharSym1 a6989586621680260467

data ShowCharSym1 (a6989586621680260467 :: Symbol) :: (~>) Symbol Symbol Source #

Instances

SingI d => SingI (ShowCharSym1 d :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowCharSym1 d) Source #
SuppressUnusedWarnings (ShowCharSym1 a6989586621680260467 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
type Apply (ShowCharSym1 a6989586621680260467 :: TyFun Symbol Symbol -> Type) (a6989586621680260468 :: Symbol) Source # |
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowCharSym1 a6989586621680260467 :: TyFun Symbol Symbol -> Type) (a6989586621680260468 :: Symbol) = ShowChar a6989586621680260467 a6989586621680260468

type ShowCharSym2 (a6989586621680260467 :: Symbol) (a6989586621680260468 :: Symbol) = ShowChar a6989586621680260467 a6989586621680260468 Source #

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

Instances

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

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

Instances

SingI d => SingI (ShowStringSym1 d :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowStringSym1 d) Source #
SuppressUnusedWarnings (ShowStringSym1 a6989586621680260452 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
type Apply (ShowStringSym1 a6989586621680260452 :: TyFun Symbol Symbol -> Type) (a6989586621680260453 :: Symbol) Source # |
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowStringSym1 a6989586621680260452 :: TyFun Symbol Symbol -> Type) (a6989586621680260453 :: Symbol) = ShowString a6989586621680260452 a6989586621680260453

type ShowStringSym2 (a6989586621680260452 :: Symbol) (a6989586621680260453 :: Symbol) = ShowString a6989586621680260452 a6989586621680260453 Source #

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

Instances

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

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

Instances

SingI d => SingI (ShowParenSym1 d :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowParenSym1 d) Source #
SuppressUnusedWarnings (ShowParenSym1 a6989586621680260473 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
type Apply (ShowParenSym1 a6989586621680260473 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680260474 :: Symbol ~> Symbol) Source # |
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowParenSym1 a6989586621680260473 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680260474 :: Symbol ~> Symbol) = ShowParenSym2 a6989586621680260473 a6989586621680260474

data ShowParenSym2 (a6989586621680260473 :: Bool) (a6989586621680260474 :: (~>) Symbol Symbol) :: (~>) Symbol Symbol Source #

Instances

(SingI d1, SingI d2) => SingI (ShowParenSym2 d1 d2 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowParenSym2 d1 d2) Source #
SuppressUnusedWarnings (ShowParenSym2 a6989586621680260474 a6989586621680260473 :: TyFun Symbol Symbol -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () Source #
type Apply (ShowParenSym2 a6989586621680260474 a6989586621680260473 :: TyFun Symbol Symbol -> Type) (a6989586621680260475 :: Symbol) Source # |
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowParenSym2 a6989586621680260474 a6989586621680260473 :: TyFun Symbol Symbol -> Type) (a6989586621680260475 :: Symbol) = ShowParen a6989586621680260474 a6989586621680260473 a6989586621680260475

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

Instances

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

type ShowSpaceSym1 (a6989586621680260439 :: Symbol) = ShowSpace a6989586621680260439 Source #

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

Instances

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

type ShowCommaSpaceSym1 (a6989586621680260460 :: Symbol) = ShowCommaSpace a6989586621680260460 Source #

type AppPrecSym0 = AppPrec Source #

type AppPrec1Sym0 = AppPrec1 Source #