Copyright | (C) 2017 Ryan Scott |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Defines the SShow singleton version of the Show type class.
Synopsis
- class PShow (a :: Type) where
- 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 a6989586621680260588. (~>) Nat ((~>) a6989586621680260588 ((~>) Symbol Symbol))
- data ShowsPrecSym1 (arg6989586621680262538 :: Nat) :: forall a6989586621680260588. (~>) a6989586621680260588 ((~>) Symbol Symbol)
- data ShowsPrecSym2 (arg6989586621680262538 :: Nat) (arg6989586621680262539 :: a6989586621680260588) :: (~>) Symbol Symbol
- type ShowsPrecSym3 (arg6989586621680262538 :: Nat) (arg6989586621680262539 :: a6989586621680260588) (arg6989586621680262540 :: Symbol) = ShowsPrec arg6989586621680262538 arg6989586621680262539 arg6989586621680262540
- data Show_Sym0 :: forall a6989586621680260588. (~>) a6989586621680260588 Symbol
- type Show_Sym1 (arg6989586621680262544 :: a6989586621680260588) = Show_ arg6989586621680262544
- data ShowListSym0 :: forall a6989586621680260588. (~>) [a6989586621680260588] ((~>) Symbol Symbol)
- data ShowListSym1 (arg6989586621680262546 :: [a6989586621680260588]) :: (~>) Symbol Symbol
- type ShowListSym2 (arg6989586621680262546 :: [a6989586621680260588]) (arg6989586621680262547 :: Symbol) = ShowList arg6989586621680262546 arg6989586621680262547
- data ShowsSym0 :: forall a6989586621680260573. (~>) a6989586621680260573 ((~>) Symbol Symbol)
- data ShowsSym1 (a6989586621680262530 :: a6989586621680260573) :: (~>) Symbol Symbol
- type ShowsSym2 (a6989586621680262530 :: a6989586621680260573) (a6989586621680262531 :: Symbol) = Shows a6989586621680262530 a6989586621680262531
- data ShowListWithSym0 :: forall a6989586621680260572. (~>) ((~>) a6989586621680260572 ((~>) Symbol Symbol)) ((~>) [a6989586621680260572] ((~>) Symbol Symbol))
- data ShowListWithSym1 (a6989586621680262510 :: (~>) a6989586621680260572 ((~>) Symbol Symbol)) :: (~>) [a6989586621680260572] ((~>) Symbol Symbol)
- data ShowListWithSym2 (a6989586621680262510 :: (~>) a6989586621680260572 ((~>) Symbol Symbol)) (a6989586621680262511 :: [a6989586621680260572]) :: (~>) Symbol Symbol
- type ShowListWithSym3 (a6989586621680262510 :: (~>) a6989586621680260572 ((~>) Symbol Symbol)) (a6989586621680262511 :: [a6989586621680260572]) (a6989586621680262512 :: Symbol) = ShowListWith a6989586621680262510 a6989586621680262511 a6989586621680262512
- data ShowCharSym0 :: (~>) Symbol ((~>) Symbol Symbol)
- data ShowCharSym1 (a6989586621680262472 :: Symbol) :: (~>) Symbol Symbol
- type ShowCharSym2 (a6989586621680262472 :: Symbol) (a6989586621680262473 :: Symbol) = ShowChar a6989586621680262472 a6989586621680262473
- data ShowStringSym0 :: (~>) Symbol ((~>) Symbol Symbol)
- data ShowStringSym1 (a6989586621680262457 :: Symbol) :: (~>) Symbol Symbol
- type ShowStringSym2 (a6989586621680262457 :: Symbol) (a6989586621680262458 :: Symbol) = ShowString a6989586621680262457 a6989586621680262458
- data ShowParenSym0 :: (~>) Bool ((~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol))
- data ShowParenSym1 (a6989586621680262478 :: Bool) :: (~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol)
- data ShowParenSym2 (a6989586621680262478 :: Bool) (a6989586621680262479 :: (~>) Symbol Symbol) :: (~>) Symbol Symbol
- data ShowSpaceSym0 :: (~>) Symbol Symbol
- type ShowSpaceSym1 (a6989586621680262444 :: Symbol) = ShowSpace a6989586621680262444
- data ShowCommaSpaceSym0 :: (~>) Symbol Symbol
- type ShowCommaSpaceSym1 (a6989586621680262465 :: Symbol) = ShowCommaSpace a6989586621680262465
- type AppPrecSym0 = AppPrec
- type AppPrec1Sym0 = AppPrec1
Documentation
class PShow (a :: Type) Source #
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 # | |
PShow Ordering Source # | |
PShow Nat Source # | |
PShow Symbol Source # | |
PShow () Source # | |
PShow Void Source # | |
PShow All Source # | |
PShow Any Source # | |
PShow [a] Source # | |
PShow (Maybe a) Source # | |
PShow (Min a) Source # | |
PShow (Max a) Source # | |
PShow (First a) Source # | |
PShow (Last a) Source # | |
PShow (WrappedMonoid m) Source # | |
PShow (Option a) Source # | |
PShow (Identity a) Source # | |
PShow (First a) Source # | |
PShow (Last a) Source # | |
PShow (Dual a) Source # | |
PShow (Sum a) Source # | |
PShow (Product a) Source # | |
PShow (NonEmpty a) Source # | |
PShow (Either a b) Source # | |
PShow (a, b) Source # | |
PShow (Arg a b) Source # | |
PShow (a, b, c) Source # | |
PShow (Const a b) Source # | |
PShow (a, b, c, d) Source # | |
PShow (a, b, c, d, e) Source # | |
PShow (a, b, c, d, e, f) Source # | |
PShow (a, b, c, d, e, f, g) Source # | |
Nothing
sShowsPrec :: forall (t :: 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_6989586621680262561Sym0 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__6989586621680262570Sym0 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_6989586621680262581Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t :: Symbol) Source #
Instances
type family Shows (a :: a) (a :: Symbol) :: Symbol where ... Source #
Shows s a_6989586621680262534 = Apply (Apply (Apply ShowsPrecSym0 (FromInteger 0)) s) a_6989586621680262534 |
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 #
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 #
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 #
ShowString a_6989586621680262453 a_6989586621680262455 = Apply (Apply (<>@#@$) a_6989586621680262453) a_6989586621680262455 |
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 #
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 #
sShowSpace :: forall (t :: Symbol). Sing t -> Sing (Apply ShowSpaceSym0 t :: Symbol) Source #
type family ShowCommaSpace (a :: Symbol) :: Symbol where ... Source #
ShowCommaSpace a_6989586621680262463 = Apply (Apply ShowStringSym0 ", ") a_6989586621680262463 |
sShowCommaSpace :: forall (t :: Symbol). Sing t -> Sing (Apply ShowCommaSpaceSym0 t :: Symbol) Source #
Defunctionalization symbols
data ShowsPrecSym0 :: forall a6989586621680260588. (~>) Nat ((~>) a6989586621680260588 ((~>) Symbol Symbol)) Source #
Instances
SShow a => SingI (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowsPrecSym0 Source # | |
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (a6989586621680260588 ~> (Symbol ~> Symbol)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowsPrecSym0 :: TyFun Nat (a6989586621680260588 ~> (Symbol ~> Symbol)) -> Type) (arg6989586621680262538 :: Nat) Source # | |
data ShowsPrecSym1 (arg6989586621680262538 :: Nat) :: forall a6989586621680260588. (~>) a6989586621680260588 ((~>) Symbol Symbol) Source #
Instances
(SShow a, SingI d) => SingI (ShowsPrecSym1 d a :: TyFun a (Symbol ~> Symbol) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowsPrecSym1 d a) Source # | |
SuppressUnusedWarnings (ShowsPrecSym1 arg6989586621680262538 a6989586621680260588 :: TyFun a6989586621680260588 (Symbol ~> Symbol) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowsPrecSym1 arg6989586621680262538 a6989586621680260588 :: TyFun a6989586621680260588 (Symbol ~> Symbol) -> Type) (arg6989586621680262539 :: a6989586621680260588) Source # | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym1 arg6989586621680262538 a6989586621680260588 :: TyFun a6989586621680260588 (Symbol ~> Symbol) -> Type) (arg6989586621680262539 :: a6989586621680260588) = ShowsPrecSym2 arg6989586621680262538 arg6989586621680262539 |
data ShowsPrecSym2 (arg6989586621680262538 :: Nat) (arg6989586621680262539 :: a6989586621680260588) :: (~>) Symbol Symbol Source #
Instances
(SShow a, SingI d1, SingI d2) => SingI (ShowsPrecSym2 d1 d2 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowsPrecSym2 d1 d2) Source # | |
SuppressUnusedWarnings (ShowsPrecSym2 arg6989586621680262539 arg6989586621680262538 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowsPrecSym2 arg6989586621680262539 arg6989586621680262538 :: TyFun Symbol Symbol -> Type) (arg6989586621680262540 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
type ShowsPrecSym3 (arg6989586621680262538 :: Nat) (arg6989586621680262539 :: a6989586621680260588) (arg6989586621680262540 :: Symbol) = ShowsPrec arg6989586621680262538 arg6989586621680262539 arg6989586621680262540 Source #
data Show_Sym0 :: forall a6989586621680260588. (~>) a6989586621680260588 Symbol Source #
Instances
SShow a => SingI (Show_Sym0 :: TyFun a Symbol -> Type) Source # | |
SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621680260588 Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (arg6989586621680262544 :: a) Source # | |
type Show_Sym1 (arg6989586621680262544 :: a6989586621680260588) = Show_ arg6989586621680262544 Source #
data ShowListSym0 :: forall a6989586621680260588. (~>) [a6989586621680260588] ((~>) Symbol Symbol) Source #
Instances
SShow a => SingI (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowListSym0 Source # | |
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621680260588] (Symbol ~> Symbol) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowListSym0 :: TyFun [a6989586621680260588] (Symbol ~> Symbol) -> Type) (arg6989586621680262546 :: [a6989586621680260588]) Source # | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym0 :: TyFun [a6989586621680260588] (Symbol ~> Symbol) -> Type) (arg6989586621680262546 :: [a6989586621680260588]) = ShowListSym1 arg6989586621680262546 |
data ShowListSym1 (arg6989586621680262546 :: [a6989586621680260588]) :: (~>) Symbol Symbol Source #
Instances
(SShow a, SingI d) => SingI (ShowListSym1 d :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowListSym1 d) Source # | |
SuppressUnusedWarnings (ShowListSym1 arg6989586621680262546 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowListSym1 arg6989586621680262546 :: TyFun Symbol Symbol -> Type) (arg6989586621680262547 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
type ShowListSym2 (arg6989586621680262546 :: [a6989586621680260588]) (arg6989586621680262547 :: Symbol) = ShowList arg6989586621680262546 arg6989586621680262547 Source #
data ShowsSym0 :: forall a6989586621680260573. (~>) a6989586621680260573 ((~>) Symbol Symbol) Source #
Instances
SShow a => SingI (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) Source # | |
SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621680260573 (Symbol ~> Symbol) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowsSym0 :: TyFun a6989586621680260573 (Symbol ~> Symbol) -> Type) (a6989586621680262530 :: a6989586621680260573) Source # | |
data ShowsSym1 (a6989586621680262530 :: a6989586621680260573) :: (~>) Symbol Symbol Source #
Instances
(SShow a, SingI d) => SingI (ShowsSym1 d :: TyFun Symbol Symbol -> Type) Source # | |
SuppressUnusedWarnings (ShowsSym1 a6989586621680262530 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowsSym1 a6989586621680262530 :: TyFun Symbol Symbol -> Type) (a6989586621680262531 :: Symbol) Source # | |
type ShowsSym2 (a6989586621680262530 :: a6989586621680260573) (a6989586621680262531 :: Symbol) = Shows a6989586621680262530 a6989586621680262531 Source #
data ShowListWithSym0 :: forall a6989586621680260572. (~>) ((~>) a6989586621680260572 ((~>) Symbol Symbol)) ((~>) [a6989586621680260572] ((~>) Symbol Symbol)) Source #
Instances
SingI (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show | |
SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a6989586621680260572 ~> (Symbol ~> Symbol)) ([a6989586621680260572] ~> (Symbol ~> Symbol)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowListWithSym0 :: TyFun (a6989586621680260572 ~> (Symbol ~> Symbol)) ([a6989586621680260572] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262510 :: a6989586621680260572 ~> (Symbol ~> Symbol)) Source # | |
data ShowListWithSym1 (a6989586621680262510 :: (~>) a6989586621680260572 ((~>) Symbol Symbol)) :: (~>) [a6989586621680260572] ((~>) Symbol Symbol) Source #
Instances
SingI d => SingI (ShowListWithSym1 d :: TyFun [a] (Symbol ~> Symbol) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowListWithSym1 d) Source # | |
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680262510 :: TyFun [a6989586621680260572] (Symbol ~> Symbol) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowListWithSym1 a6989586621680262510 :: TyFun [a6989586621680260572] (Symbol ~> Symbol) -> Type) (a6989586621680262511 :: [a6989586621680260572]) Source # | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym1 a6989586621680262510 :: TyFun [a6989586621680260572] (Symbol ~> Symbol) -> Type) (a6989586621680262511 :: [a6989586621680260572]) = ShowListWithSym2 a6989586621680262510 a6989586621680262511 |
data ShowListWithSym2 (a6989586621680262510 :: (~>) a6989586621680260572 ((~>) Symbol Symbol)) (a6989586621680262511 :: [a6989586621680260572]) :: (~>) Symbol Symbol Source #
Instances
(SingI d1, SingI d2) => SingI (ShowListWithSym2 d1 d2 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowListWithSym2 d1 d2) Source # | |
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680262511 a6989586621680262510 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowListWithSym2 a6989586621680262511 a6989586621680262510 :: TyFun Symbol Symbol -> Type) (a6989586621680262512 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym2 a6989586621680262511 a6989586621680262510 :: TyFun Symbol Symbol -> Type) (a6989586621680262512 :: Symbol) = ShowListWith a6989586621680262511 a6989586621680262510 a6989586621680262512 |
type ShowListWithSym3 (a6989586621680262510 :: (~>) a6989586621680260572 ((~>) Symbol Symbol)) (a6989586621680262511 :: [a6989586621680260572]) (a6989586621680262512 :: Symbol) = ShowListWith a6989586621680262510 a6989586621680262511 a6989586621680262512 Source #
data ShowCharSym0 :: (~>) Symbol ((~>) Symbol Symbol) Source #
Instances
SingI ShowCharSym0 Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowCharSym0 Source # | |
SuppressUnusedWarnings ShowCharSym0 Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply ShowCharSym0 (a6989586621680262472 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
data ShowCharSym1 (a6989586621680262472 :: Symbol) :: (~>) Symbol Symbol Source #
Instances
SingI d => SingI (ShowCharSym1 d :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowCharSym1 d) Source # | |
SuppressUnusedWarnings (ShowCharSym1 a6989586621680262472 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowCharSym1 a6989586621680262472 :: TyFun Symbol Symbol -> Type) (a6989586621680262473 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
type ShowCharSym2 (a6989586621680262472 :: Symbol) (a6989586621680262473 :: Symbol) = ShowChar a6989586621680262472 a6989586621680262473 Source #
data ShowStringSym0 :: (~>) Symbol ((~>) Symbol Symbol) Source #
Instances
SingI ShowStringSym0 Source # | |
Defined in Data.Singletons.Prelude.Show | |
SuppressUnusedWarnings ShowStringSym0 Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply ShowStringSym0 (a6989586621680262457 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
data ShowStringSym1 (a6989586621680262457 :: Symbol) :: (~>) Symbol Symbol Source #
Instances
SingI d => SingI (ShowStringSym1 d :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowStringSym1 d) Source # | |
SuppressUnusedWarnings (ShowStringSym1 a6989586621680262457 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowStringSym1 a6989586621680262457 :: TyFun Symbol Symbol -> Type) (a6989586621680262458 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowStringSym1 a6989586621680262457 :: TyFun Symbol Symbol -> Type) (a6989586621680262458 :: Symbol) = ShowString a6989586621680262457 a6989586621680262458 |
type ShowStringSym2 (a6989586621680262457 :: Symbol) (a6989586621680262458 :: Symbol) = ShowString a6989586621680262457 a6989586621680262458 Source #
data ShowParenSym0 :: (~>) Bool ((~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol)) Source #
Instances
SingI ShowParenSym0 Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowParenSym0 Source # | |
SuppressUnusedWarnings ShowParenSym0 Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply ShowParenSym0 (a6989586621680262478 :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Show |
data ShowParenSym1 (a6989586621680262478 :: Bool) :: (~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol) Source #
Instances
SingI d => SingI (ShowParenSym1 d :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowParenSym1 d) Source # | |
SuppressUnusedWarnings (ShowParenSym1 a6989586621680262478 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowParenSym1 a6989586621680262478 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680262479 :: Symbol ~> Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
data ShowParenSym2 (a6989586621680262478 :: Bool) (a6989586621680262479 :: (~>) Symbol Symbol) :: (~>) Symbol Symbol Source #
Instances
(SingI d1, SingI d2) => SingI (ShowParenSym2 d1 d2 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowParenSym2 d1 d2) Source # | |
SuppressUnusedWarnings (ShowParenSym2 a6989586621680262479 a6989586621680262478 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply (ShowParenSym2 a6989586621680262479 a6989586621680262478 :: TyFun Symbol Symbol -> Type) (a6989586621680262480 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
data ShowSpaceSym0 :: (~>) Symbol Symbol Source #
Instances
SingI ShowSpaceSym0 Source # | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowSpaceSym0 Source # | |
SuppressUnusedWarnings ShowSpaceSym0 Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply ShowSpaceSym0 (a6989586621680262444 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show |
type ShowSpaceSym1 (a6989586621680262444 :: Symbol) = ShowSpace a6989586621680262444 Source #
data ShowCommaSpaceSym0 :: (~>) Symbol Symbol Source #
Instances
SingI ShowCommaSpaceSym0 Source # | |
Defined in Data.Singletons.Prelude.Show | |
SuppressUnusedWarnings ShowCommaSpaceSym0 Source # | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () Source # | |
type Apply ShowCommaSpaceSym0 (a6989586621680262465 :: Symbol) Source # | |
Defined in Data.Singletons.Prelude.Show type Apply ShowCommaSpaceSym0 (a6989586621680262465 :: Symbol) = ShowCommaSpace a6989586621680262465 |
type ShowCommaSpaceSym1 (a6989586621680262465 :: Symbol) = ShowCommaSpace a6989586621680262465 Source #
type AppPrecSym0 = AppPrec Source #
type AppPrec1Sym0 = AppPrec1 Source #