Copyright	(C) 2017 Ryan Scott
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (rae@cs.brynmawr.edu)
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
type SymbolS = Symbol -> Symbol
type SChar = Symbol
show_ :: Show a => a -> String
type (<>) a b = AppendSymbol a b
(%<>) :: Sing a -> Sing b -> Sing (a <> b)
type family Shows (a :: a) (a :: Symbol) :: Symbol where ...
sShows :: forall (t :: a) (t :: Symbol). SShow a => Sing t -> Sing t -> Sing (Apply (Apply ShowsSym0 t) t :: Symbol)
type family ShowListWith (a :: TyFun a (TyFun Symbol Symbol -> Type) -> Type) (a :: [a]) (a :: Symbol) :: Symbol where ...
sShowListWith :: forall (t :: TyFun a (TyFun Symbol Symbol -> Type) -> Type) (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 :: TyFun Symbol Symbol -> Type) (a :: Symbol) :: Symbol where ...
sShowParen :: forall (t :: Bool) (t :: TyFun Symbol Symbol -> Type) (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 (l :: TyFun Nat (TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type))
data ShowsPrecSym1 (l :: Nat) (l :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type))
data ShowsPrecSym2 (l :: Nat) (l :: a6989586621679693692) (l :: TyFun Symbol Symbol)
type ShowsPrecSym3 (t :: Nat) (t :: a6989586621679693692) (t :: Symbol) = ShowsPrec t t t
data Show_Sym0 (l :: TyFun a6989586621679693692 Symbol)
type Show_Sym1 (t :: a6989586621679693692) = Show_ t
data ShowListSym0 (l :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type))
data ShowListSym1 (l :: [a6989586621679693692]) (l :: TyFun Symbol Symbol)
type ShowListSym2 (t :: [a6989586621679693692]) (t :: Symbol) = ShowList t t
data (<>@#@$) l
data (l :: Symbol) <>@#@$$ l
type (<>@#@$$$) (t :: Symbol) (t :: Symbol) = (<>) t t
data ShowsSym0 (l :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type))
data ShowsSym1 (l :: a6989586621679693677) (l :: TyFun Symbol Symbol)
type ShowsSym2 (t :: a6989586621679693677) (t :: Symbol) = Shows t t
data ShowListWithSym0 (l :: TyFun (TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) (TyFun [a6989586621679693676] (TyFun Symbol Symbol -> Type) -> Type))
data ShowListWithSym1 (l :: TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) (l :: TyFun [a6989586621679693676] (TyFun Symbol Symbol -> Type))
data ShowListWithSym2 (l :: TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) (l :: [a6989586621679693676]) (l :: TyFun Symbol Symbol)
type ShowListWithSym3 (t :: TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) (t :: [a6989586621679693676]) (t :: Symbol) = ShowListWith t t t
data ShowCharSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type))
data ShowCharSym1 (l :: Symbol) (l :: TyFun Symbol Symbol)
type ShowCharSym2 (t :: Symbol) (t :: Symbol) = ShowChar t t
data ShowStringSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type))
data ShowStringSym1 (l :: Symbol) (l :: TyFun Symbol Symbol)
type ShowStringSym2 (t :: Symbol) (t :: Symbol) = ShowString t t
data ShowParenSym0 (l :: TyFun Bool (TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> Type))
data ShowParenSym1 (l :: Bool) (l :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type))
data ShowParenSym2 (l :: Bool) (l :: TyFun Symbol Symbol -> Type) (l :: TyFun Symbol Symbol)
data ShowSpaceSym0 (l :: TyFun Symbol Symbol)
type ShowSpaceSym1 (t :: Symbol) = ShowSpace t
data ShowCommaSpaceSym0 (l :: TyFun Symbol Symbol)
type ShowCommaSpaceSym1 (t :: Symbol) = ShowCommaSpace t
type AppPrecSym0 = AppPrec
type AppPrec1Sym0 = AppPrec1

Documentation

class PShow (a :: Type) #

Associated Types

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

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

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

Instances

PShow Bool #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow Ordering #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow Nat #	Note that this instance is really, really slow, since it uses an inefficient, inductive definition of division behind the hood.
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow Symbol #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow () #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow Void #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow [a] #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow (Maybe a) #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow (NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow (Either a b) #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow (a, b) #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow (a, b, c) #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow (a, b, c, d) #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow (a, b, c, d, e) #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow (a, b, c, d, e, f) #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #
PShow (a, b, c, d, e, f, g) #
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg arg :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg :: Symbol #

class SShow a where #

Methods

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) #

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

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

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

Instances

SShow Bool #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
SShow Ordering #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
SShow Nat #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
SShow Symbol #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
SShow () #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
SShow Void #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
SShow a => SShow [a] #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
SShow a => SShow (Maybe a) #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
(SShow a, SShow [a]) => SShow (NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
(SShow a, SShow b) => SShow (Either a b) #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
(SShow a, SShow b) => SShow (a, b) #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
(SShow a, SShow b, SShow c) => SShow (a, b, c) #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
(SShow a, SShow b, SShow c, SShow d) => SShow (a, b, c, d) #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
(SShow a, SShow b, SShow c, SShow d, SShow e) => SShow (a, b, c, d, e) #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
(SShow a, SShow b, SShow c, SShow d, SShow e, SShow f) => SShow (a, b, c, d, e, f) #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #
(SShow a, SShow b, SShow c, SShow d, SShow e, SShow f, SShow g) => SShow (a, b, c, d, e, f, g) #
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) #

type SymbolS = Symbol -> Symbol #

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 #

GHC currently has no notion of type-level Chars, so we fake them with single-character Symbols.

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

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

type (<>) a b = AppendSymbol a b infixr 6 #

The promoted analogue of '(<>)' for Symbols. This uses the special AppendSymbol type family from GHC.TypeLits.

(%<>) :: Sing a -> Sing b -> Sing (a <> b) infixr 6 #

The singleton analogue of '(<>)' for Symbols.

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

Equations

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

sShows :: forall (t :: a) (t :: Symbol). SShow a => Sing t -> Sing t -> Sing (Apply (Apply ShowsSym0 t) t :: Symbol) #

type family ShowListWith (a :: TyFun a (TyFun Symbol Symbol -> Type) -> Type) (a :: [a]) (a :: Symbol) :: Symbol where ... #

Equations

ShowListWith _ '[] s = Apply (Apply (<>@#@$) "[]") s
ShowListWith showx ((:) x xs) s = Apply (Apply (<>@#@$) "[") (Apply (Apply showx x) (Apply (Let6989586621679695674ShowlSym4 showx x xs s) xs))

sShowListWith :: forall (t :: TyFun a (TyFun Symbol Symbol -> Type) -> Type) (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 ... #

Equations

ShowChar a_6989586621679695579 a_6989586621679695581 = Apply (Apply (<>@#@$) a_6989586621679695579) a_6989586621679695581

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 ... #

Equations

ShowString a_6989586621679695557 a_6989586621679695559 = Apply (Apply (<>@#@$) a_6989586621679695557) a_6989586621679695559

sShowString :: forall (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowStringSym0 t) t :: Symbol) #

type family ShowParen (a :: Bool) (a :: TyFun Symbol Symbol -> Type) (a :: Symbol) :: Symbol where ... #

Equations

ShowParen b p a_6989586621679695609 = Apply (Case_6989586621679695614 b p a_6989586621679695609 b) a_6989586621679695609

sShowParen :: forall (t :: Bool) (t :: TyFun Symbol Symbol -> Type) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowParenSym0 t) t) t :: Symbol) #

type family ShowSpace (a :: Symbol) :: Symbol where ... #

Equations

ShowSpace a_6989586621679695539 = Apply (Apply Lambda_6989586621679695546Sym0 a_6989586621679695539) a_6989586621679695539

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

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

Equations

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

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

type family AppPrec :: Nat where ... #

Equations

AppPrec = FromInteger 10

sAppPrec :: Sing (AppPrecSym0 :: Nat) #

type family AppPrec1 :: Nat where ... #

Equations

AppPrec1 = FromInteger 11

sAppPrec1 :: Sing (AppPrec1Sym0 :: Nat) #

Defunctionalization symbols

data ShowsPrecSym0 (l :: TyFun Nat (TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: Nat) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type) -> ) (l :: Nat) = (ShowsPrecSym1 l :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> )

data ShowsPrecSym1 (l :: Nat) (l :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type)) #

Instances

SuppressUnusedWarnings (ShowsPrecSym1 :: Nat -> TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679693692) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679693692) = ShowsPrecSym2 l1 l2

data ShowsPrecSym2 (l :: Nat) (l :: a6989586621679693692) (l :: TyFun Symbol Symbol) #

Instances

SuppressUnusedWarnings (ShowsPrecSym2 :: Nat -> a6989586621679693692 -> TyFun Symbol Symbol -> *) #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowsPrec l1 l2 l3

type ShowsPrecSym3 (t :: Nat) (t :: a6989586621679693692) (t :: Symbol) = ShowsPrec t t t #

data Show_Sym0 (l :: TyFun a6989586621679693692 Symbol) #

Instances

SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621679693692 Symbol -> *) #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (Show_Sym0 :: TyFun a Symbol -> *) (l :: a) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show_Sym0 :: TyFun a Symbol -> *) (l :: a) = Show_ l

type Show_Sym1 (t :: a6989586621679693692) = Show_ t #

data ShowListSym0 (l :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type)) #

Instances

SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowListSym0 :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679693692]) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym0 :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679693692]) = ShowListSym1 l

data ShowListSym1 (l :: [a6989586621679693692]) (l :: TyFun Symbol Symbol) #

Instances

SuppressUnusedWarnings (ShowListSym1 :: [a6989586621679693692] -> TyFun Symbol Symbol -> *) #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowList l1 l2

type ShowListSym2 (t :: [a6989586621679693692]) (t :: Symbol) = ShowList t t #

data (<>@#@$) l #

Instances

SuppressUnusedWarnings (<>@#@$) #
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () #
type Apply (<>@#@$) (l :: Symbol) #
Instance details Defined in Data.Singletons.TypeLits.Internal type Apply (<>@#@$) (l :: Symbol) = (<>@#@$$) l

data (l :: Symbol) <>@#@$$ l #

Instances

SuppressUnusedWarnings (<>@#@$$) #
Instance details Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () #
type Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) #
Instance details Defined in Data.Singletons.TypeLits.Internal type Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = l1 <> l2

type (<>@#@$$$) (t :: Symbol) (t :: Symbol) = (<>) t t #

data ShowsSym0 (l :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type)) #

Instances

SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowsSym0 :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679693677) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsSym0 :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679693677) = ShowsSym1 l

data ShowsSym1 (l :: a6989586621679693677) (l :: TyFun Symbol Symbol) #

Instances

SuppressUnusedWarnings (ShowsSym1 :: a6989586621679693677 -> TyFun Symbol Symbol -> *) #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowsSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = Shows l1 l2

type ShowsSym2 (t :: a6989586621679693677) (t :: Symbol) = Shows t t #

data ShowListWithSym0 (l :: TyFun (TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) (TyFun [a6989586621679693676] (TyFun Symbol Symbol -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) (TyFun [a6989586621679693676] (TyFun Symbol Symbol -> Type) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowListWithSym0 :: TyFun (TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) (TyFun [a6989586621679693676] (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym0 :: TyFun (TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) (TyFun [a6989586621679693676] (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) = ShowListWithSym1 l

data ShowListWithSym1 (l :: TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) (l :: TyFun [a6989586621679693676] (TyFun Symbol Symbol -> Type)) #

Instances

SuppressUnusedWarnings (ShowListWithSym1 :: (TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) -> TyFun [a6989586621679693676] (TyFun Symbol Symbol -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowListWithSym1 l1 :: TyFun [a6989586621679693676] (TyFun Symbol Symbol -> Type) -> *) (l2 :: [a6989586621679693676]) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym1 l1 :: TyFun [a6989586621679693676] (TyFun Symbol Symbol -> Type) -> *) (l2 :: [a6989586621679693676]) = ShowListWithSym2 l1 l2

data ShowListWithSym2 (l :: TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) (l :: [a6989586621679693676]) (l :: TyFun Symbol Symbol) #

Instances

SuppressUnusedWarnings (ShowListWithSym2 :: (TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) -> [a6989586621679693676] -> TyFun Symbol Symbol -> *) #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowListWithSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowListWith l1 l2 l3

type ShowListWithSym3 (t :: TyFun a6989586621679693676 (TyFun Symbol Symbol -> Type) -> Type) (t :: [a6989586621679693676]) (t :: Symbol) = ShowListWith t t t #

data ShowCharSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type)) #

Instances

SuppressUnusedWarnings ShowCharSym0 #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply ShowCharSym0 (l :: Symbol) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowCharSym0 (l :: Symbol) = ShowCharSym1 l

data ShowCharSym1 (l :: Symbol) (l :: TyFun Symbol Symbol) #

Instances

SuppressUnusedWarnings ShowCharSym1 #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowChar l1 l2

type ShowCharSym2 (t :: Symbol) (t :: Symbol) = ShowChar t t #

data ShowStringSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type)) #

Instances

SuppressUnusedWarnings ShowStringSym0 #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply ShowStringSym0 (l :: Symbol) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowStringSym0 (l :: Symbol) = ShowStringSym1 l

data ShowStringSym1 (l :: Symbol) (l :: TyFun Symbol Symbol) #

Instances

SuppressUnusedWarnings ShowStringSym1 #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) = ShowString l1 l2

type ShowStringSym2 (t :: Symbol) (t :: Symbol) = ShowString t t #

data ShowParenSym0 (l :: TyFun Bool (TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> Type)) #

Instances

SuppressUnusedWarnings ShowParenSym0 #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply ShowParenSym0 (l :: Bool) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowParenSym0 (l :: Bool) = ShowParenSym1 l

data ShowParenSym1 (l :: Bool) (l :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type)) #

Instances

SuppressUnusedWarnings ShowParenSym1 #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowParenSym1 l1 :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> *) (l2 :: TyFun Symbol Symbol -> Type) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowParenSym1 l1 :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> *) (l2 :: TyFun Symbol Symbol -> Type) = ShowParenSym2 l1 l2

data ShowParenSym2 (l :: Bool) (l :: TyFun Symbol Symbol -> Type) (l :: TyFun Symbol Symbol) #

Instances

SuppressUnusedWarnings ShowParenSym2 #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) = ShowParen l1 l2 l3

data ShowSpaceSym0 (l :: TyFun Symbol Symbol) #

Instances

SuppressUnusedWarnings ShowSpaceSym0 #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply ShowSpaceSym0 (l :: Symbol) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowSpaceSym0 (l :: Symbol) = ShowSpace l

type ShowSpaceSym1 (t :: Symbol) = ShowSpace t #

data ShowCommaSpaceSym0 (l :: TyFun Symbol Symbol) #

Instances

SuppressUnusedWarnings ShowCommaSpaceSym0 #
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
type Apply ShowCommaSpaceSym0 (l :: Symbol) #
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowCommaSpaceSym0 (l :: Symbol) = ShowCommaSpace l

type ShowCommaSpaceSym1 (t :: Symbol) = ShowCommaSpace t #

type AppPrecSym0 = AppPrec #

type AppPrec1Sym0 = AppPrec1 #