Data.Singletons.Prelude.Show

Defines the SShow singleton version of the Show type class.

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

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

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

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

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow ()

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

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow All

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow Any

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow [a]

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)

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Min a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Max a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (First a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Last a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Option a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Identity a)

Defined in Data.Singletons.Prelude.Identity

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (First a)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Last a)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Dual a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Sum a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Product a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (NonEmpty a)

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)

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)

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Arg a b)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (a, b, c)

Defined in Data.Singletons.Prelude.Show

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Const a b)

Defined in Data.Singletons.Prelude.Const

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (a, b, c, d)

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)

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)

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)

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

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)

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_6989586621680250638Sym0 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__6989586621680250647Sym0 t => Sing t -> Sing (Apply Show_Sym0 t :: Symbol)

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

Instances

SShow Bool

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

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

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

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

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

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 Bool => SShow All

Defined in Data.Singletons.Prelude.Semigroup

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 Bool => SShow Any

Defined in Data.Singletons.Prelude.Semigroup

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]

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)

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 (Min a)

Defined in Data.Singletons.Prelude.Semigroup

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 (Max a)

Defined in Data.Singletons.Prelude.Semigroup

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 (First a)

Defined in Data.Singletons.Prelude.Semigroup

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 (Last a)

Defined in Data.Singletons.Prelude.Semigroup

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 m => SShow (WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup

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 (Maybe a) => SShow (Option a)

Defined in Data.Singletons.Prelude.Semigroup

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 (Identity a)

Defined in Data.Singletons.Prelude.Identity

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 (Maybe a) => SShow (First a)

Defined in Data.Singletons.Prelude.Monoid

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 (Maybe a) => SShow (Last a)

Defined in Data.Singletons.Prelude.Monoid

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 (Dual a)

Defined in Data.Singletons.Prelude.Semigroup

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 (Sum a)

Defined in Data.Singletons.Prelude.Semigroup

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 (Product a)

Defined in Data.Singletons.Prelude.Semigroup

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)

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)

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)

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 (Arg a b)

Defined in Data.Singletons.Prelude.Semigroup

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)

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 (Const a b)

Defined in Data.Singletons.Prelude.Const

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)

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)

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)

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)

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 family Shows (a :: a) (a :: Symbol) :: Symbol where ...

Equations

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

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

Equations

ShowListWith _ '[] s = Apply (Apply (<>@#@$) "[]") s

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

type family ShowChar (a :: Symbol) (a :: Symbol) :: Symbol where ...

Equations

ShowChar a_6989586621680250545 a_6989586621680250547 = Apply (Apply (<>@#@$) a_6989586621680250545) a_6989586621680250547

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_6989586621680250530 a_6989586621680250532 = Apply (Apply (<>@#@$) a_6989586621680250530) a_6989586621680250532

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

Equations

ShowParen b p a_6989586621680250561 = Apply (Case_6989586621680250566 b p a_6989586621680250561 b) a_6989586621680250561

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

Equations

ShowSpace a_6989586621680250519 = Apply (Apply Lambda_6989586621680250524Sym0 a_6989586621680250519) a_6989586621680250519

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

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

Equations

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

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 :: forall a6989586621680248665. (~>) Nat ((~>) a6989586621680248665 ((~>) Symbol Symbol))

Instances

SShow a => SingI (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing ShowsPrecSym0

SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (a6989586621680248665 ~> (Symbol ~> Symbol)) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrecSym0 :: TyFun Nat (a6989586621680248665 ~> (Symbol ~> Symbol)) -> Type) (arg6989586621680250615 :: Nat)

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym0 :: TyFun Nat (a6989586621680248665 ~> (Symbol ~> Symbol)) -> Type) (arg6989586621680250615 :: Nat) = (ShowsPrecSym1 arg6989586621680250615 a6989586621680248665 :: TyFun a6989586621680248665 (Symbol ~> Symbol) -> Type)

data ShowsPrecSym1 (arg6989586621680250615 :: Nat) :: forall a6989586621680248665. (~>) a6989586621680248665 ((~>) Symbol Symbol)

Instances

(SShow a, SingI d) => SingI (ShowsPrecSym1 d a :: TyFun a (Symbol ~> Symbol) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing (ShowsPrecSym1 d a)

SuppressUnusedWarnings (ShowsPrecSym1 arg6989586621680250615 a6989586621680248665 :: TyFun a6989586621680248665 (Symbol ~> Symbol) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrecSym1 arg6989586621680250615 a6989586621680248665 :: TyFun a6989586621680248665 (Symbol ~> Symbol) -> Type) (arg6989586621680250616 :: a6989586621680248665)

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym1 arg6989586621680250615 a6989586621680248665 :: TyFun a6989586621680248665 (Symbol ~> Symbol) -> Type) (arg6989586621680250616 :: a6989586621680248665) = ShowsPrecSym2 arg6989586621680250615 arg6989586621680250616

data ShowsPrecSym2 (arg6989586621680250615 :: Nat) (arg6989586621680250616 :: a6989586621680248665) :: (~>) Symbol Symbol

Instances

(SShow a, SingI d1, SingI d2) => SingI (ShowsPrecSym2 d1 d2 :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing (ShowsPrecSym2 d1 d2)

SuppressUnusedWarnings (ShowsPrecSym2 arg6989586621680250616 arg6989586621680250615 :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrecSym2 arg6989586621680250616 arg6989586621680250615 :: TyFun Symbol Symbol -> Type) (arg6989586621680250617 :: Symbol)

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsPrecSym2 arg6989586621680250616 arg6989586621680250615 :: TyFun Symbol Symbol -> Type) (arg6989586621680250617 :: Symbol) = ShowsPrec arg6989586621680250616 arg6989586621680250615 arg6989586621680250617

type ShowsPrecSym3 (arg6989586621680250615 :: Nat) (arg6989586621680250616 :: a6989586621680248665) (arg6989586621680250617 :: Symbol) = ShowsPrec arg6989586621680250615 arg6989586621680250616 arg6989586621680250617

data Show_Sym0 :: forall a6989586621680248665. (~>) a6989586621680248665 Symbol

Instances

SShow a => SingI (Show_Sym0 :: TyFun a Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing Show_Sym0

SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621680248665 Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (arg6989586621680250621 :: a)

Defined in Data.Singletons.Prelude.Show

type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (arg6989586621680250621 :: a) = Show_ arg6989586621680250621

type Show_Sym1 (arg6989586621680250621 :: a6989586621680248665) = Show_ arg6989586621680250621

data ShowListSym0 :: forall a6989586621680248665. (~>) [a6989586621680248665] ((~>) Symbol Symbol)

Instances

SShow a => SingI (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing ShowListSym0

SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621680248665] (Symbol ~> Symbol) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowListSym0 :: TyFun [a6989586621680248665] (Symbol ~> Symbol) -> Type) (arg6989586621680250623 :: [a6989586621680248665])

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListSym0 :: TyFun [a6989586621680248665] (Symbol ~> Symbol) -> Type) (arg6989586621680250623 :: [a6989586621680248665]) = ShowListSym1 arg6989586621680250623

data ShowListSym1 (arg6989586621680250623 :: [a6989586621680248665]) :: (~>) Symbol Symbol

Instances

(SShow a, SingI d) => SingI (ShowListSym1 d :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing (ShowListSym1 d)

SuppressUnusedWarnings (ShowListSym1 arg6989586621680250623 :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowListSym1 arg6989586621680250623 :: TyFun Symbol Symbol -> Type) (arg6989586621680250624 :: Symbol)

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListSym1 arg6989586621680250623 :: TyFun Symbol Symbol -> Type) (arg6989586621680250624 :: Symbol) = ShowList arg6989586621680250623 arg6989586621680250624

type ShowListSym2 (arg6989586621680250623 :: [a6989586621680248665]) (arg6989586621680250624 :: Symbol) = ShowList arg6989586621680250623 arg6989586621680250624

data ShowsSym0 :: forall a6989586621680248650. (~>) a6989586621680248650 ((~>) Symbol Symbol)

Instances

SShow a => SingI (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing ShowsSym0

SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621680248650 (Symbol ~> Symbol) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsSym0 :: TyFun a6989586621680248650 (Symbol ~> Symbol) -> Type) (a6989586621680250607 :: a6989586621680248650)

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsSym0 :: TyFun a6989586621680248650 (Symbol ~> Symbol) -> Type) (a6989586621680250607 :: a6989586621680248650) = ShowsSym1 a6989586621680250607

data ShowsSym1 (a6989586621680250607 :: a6989586621680248650) :: (~>) Symbol Symbol

Instances

(SShow a, SingI d) => SingI (ShowsSym1 d :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing (ShowsSym1 d)

SuppressUnusedWarnings (ShowsSym1 a6989586621680250607 :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsSym1 a6989586621680250607 :: TyFun Symbol Symbol -> Type) (a6989586621680250608 :: Symbol)

Defined in Data.Singletons.Prelude.Show

type Apply (ShowsSym1 a6989586621680250607 :: TyFun Symbol Symbol -> Type) (a6989586621680250608 :: Symbol) = Shows a6989586621680250607 a6989586621680250608

type ShowsSym2 (a6989586621680250607 :: a6989586621680248650) (a6989586621680250608 :: Symbol) = Shows a6989586621680250607 a6989586621680250608

data ShowListWithSym0 :: forall a6989586621680248649. (~>) ((~>) a6989586621680248649 ((~>) Symbol Symbol)) ((~>) [a6989586621680248649] ((~>) Symbol Symbol))

Instances

SingI (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing ShowListWithSym0

SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a6989586621680248649 ~> (Symbol ~> Symbol)) ([a6989586621680248649] ~> (Symbol ~> Symbol)) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowListWithSym0 :: TyFun (a6989586621680248649 ~> (Symbol ~> Symbol)) ([a6989586621680248649] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680250587 :: a6989586621680248649 ~> (Symbol ~> Symbol))

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListWithSym0 :: TyFun (a6989586621680248649 ~> (Symbol ~> Symbol)) ([a6989586621680248649] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680250587 :: a6989586621680248649 ~> (Symbol ~> Symbol)) = ShowListWithSym1 a6989586621680250587

data ShowListWithSym1 (a6989586621680250587 :: (~>) a6989586621680248649 ((~>) Symbol Symbol)) :: (~>) [a6989586621680248649] ((~>) Symbol Symbol)

Instances

SingI d => SingI (ShowListWithSym1 d :: TyFun [a] (Symbol ~> Symbol) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing (ShowListWithSym1 d)

SuppressUnusedWarnings (ShowListWithSym1 a6989586621680250587 :: TyFun [a6989586621680248649] (Symbol ~> Symbol) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowListWithSym1 a6989586621680250587 :: TyFun [a6989586621680248649] (Symbol ~> Symbol) -> Type) (a6989586621680250588 :: [a6989586621680248649])

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListWithSym1 a6989586621680250587 :: TyFun [a6989586621680248649] (Symbol ~> Symbol) -> Type) (a6989586621680250588 :: [a6989586621680248649]) = ShowListWithSym2 a6989586621680250587 a6989586621680250588

data ShowListWithSym2 (a6989586621680250587 :: (~>) a6989586621680248649 ((~>) Symbol Symbol)) (a6989586621680250588 :: [a6989586621680248649]) :: (~>) Symbol Symbol

Instances

(SingI d1, SingI d2) => SingI (ShowListWithSym2 d1 d2 :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing (ShowListWithSym2 d1 d2)

SuppressUnusedWarnings (ShowListWithSym2 a6989586621680250588 a6989586621680250587 :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowListWithSym2 a6989586621680250588 a6989586621680250587 :: TyFun Symbol Symbol -> Type) (a6989586621680250589 :: Symbol)

Defined in Data.Singletons.Prelude.Show

type Apply (ShowListWithSym2 a6989586621680250588 a6989586621680250587 :: TyFun Symbol Symbol -> Type) (a6989586621680250589 :: Symbol) = ShowListWith a6989586621680250588 a6989586621680250587 a6989586621680250589

type ShowListWithSym3 (a6989586621680250587 :: (~>) a6989586621680248649 ((~>) Symbol Symbol)) (a6989586621680250588 :: [a6989586621680248649]) (a6989586621680250589 :: Symbol) = ShowListWith a6989586621680250587 a6989586621680250588 a6989586621680250589

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

Instances

SingI ShowCharSym0

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing ShowCharSym0

SuppressUnusedWarnings ShowCharSym0

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply ShowCharSym0 (a6989586621680250549 :: Symbol)

Defined in Data.Singletons.Prelude.Show

type Apply ShowCharSym0 (a6989586621680250549 :: Symbol) = ShowCharSym1 a6989586621680250549

data ShowCharSym1 (a6989586621680250549 :: Symbol) :: (~>) Symbol Symbol

Instances

SingI d => SingI (ShowCharSym1 d :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing (ShowCharSym1 d)

SuppressUnusedWarnings (ShowCharSym1 a6989586621680250549 :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowCharSym1 a6989586621680250549 :: TyFun Symbol Symbol -> Type) (a6989586621680250550 :: Symbol)

Defined in Data.Singletons.Prelude.Show

type Apply (ShowCharSym1 a6989586621680250549 :: TyFun Symbol Symbol -> Type) (a6989586621680250550 :: Symbol) = ShowChar a6989586621680250549 a6989586621680250550

type ShowCharSym2 (a6989586621680250549 :: Symbol) (a6989586621680250550 :: Symbol) = ShowChar a6989586621680250549 a6989586621680250550

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

Instances

SingI ShowStringSym0

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing ShowStringSym0

SuppressUnusedWarnings ShowStringSym0

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply ShowStringSym0 (a6989586621680250534 :: Symbol)

Defined in Data.Singletons.Prelude.Show

type Apply ShowStringSym0 (a6989586621680250534 :: Symbol) = ShowStringSym1 a6989586621680250534

data ShowStringSym1 (a6989586621680250534 :: Symbol) :: (~>) Symbol Symbol

Instances

SingI d => SingI (ShowStringSym1 d :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing (ShowStringSym1 d)

SuppressUnusedWarnings (ShowStringSym1 a6989586621680250534 :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowStringSym1 a6989586621680250534 :: TyFun Symbol Symbol -> Type) (a6989586621680250535 :: Symbol)

Defined in Data.Singletons.Prelude.Show

type Apply (ShowStringSym1 a6989586621680250534 :: TyFun Symbol Symbol -> Type) (a6989586621680250535 :: Symbol) = ShowString a6989586621680250534 a6989586621680250535

type ShowStringSym2 (a6989586621680250534 :: Symbol) (a6989586621680250535 :: Symbol) = ShowString a6989586621680250534 a6989586621680250535

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

Instances

SingI ShowParenSym0

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing ShowParenSym0

SuppressUnusedWarnings ShowParenSym0

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply ShowParenSym0 (a6989586621680250555 :: Bool)

Defined in Data.Singletons.Prelude.Show

type Apply ShowParenSym0 (a6989586621680250555 :: Bool) = ShowParenSym1 a6989586621680250555

data ShowParenSym1 (a6989586621680250555 :: Bool) :: (~>) ((~>) Symbol Symbol) ((~>) Symbol Symbol)

Instances

SingI d => SingI (ShowParenSym1 d :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing (ShowParenSym1 d)

SuppressUnusedWarnings (ShowParenSym1 a6989586621680250555 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowParenSym1 a6989586621680250555 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680250556 :: Symbol ~> Symbol)

Defined in Data.Singletons.Prelude.Show

type Apply (ShowParenSym1 a6989586621680250555 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680250556 :: Symbol ~> Symbol) = ShowParenSym2 a6989586621680250555 a6989586621680250556

data ShowParenSym2 (a6989586621680250555 :: Bool) (a6989586621680250556 :: (~>) Symbol Symbol) :: (~>) Symbol Symbol

Instances

(SingI d1, SingI d2) => SingI (ShowParenSym2 d1 d2 :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing (ShowParenSym2 d1 d2)

SuppressUnusedWarnings (ShowParenSym2 a6989586621680250556 a6989586621680250555 :: TyFun Symbol Symbol -> Type)

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply (ShowParenSym2 a6989586621680250556 a6989586621680250555 :: TyFun Symbol Symbol -> Type) (a6989586621680250557 :: Symbol)

Defined in Data.Singletons.Prelude.Show

type Apply (ShowParenSym2 a6989586621680250556 a6989586621680250555 :: TyFun Symbol Symbol -> Type) (a6989586621680250557 :: Symbol) = ShowParen a6989586621680250556 a6989586621680250555 a6989586621680250557

data ShowSpaceSym0 :: (~>) Symbol Symbol

Instances

SingI ShowSpaceSym0

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing ShowSpaceSym0

SuppressUnusedWarnings ShowSpaceSym0

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply ShowSpaceSym0 (a6989586621680250521 :: Symbol)

Defined in Data.Singletons.Prelude.Show

type Apply ShowSpaceSym0 (a6989586621680250521 :: Symbol) = ShowSpace a6989586621680250521

type ShowSpaceSym1 (a6989586621680250521 :: Symbol) = ShowSpace a6989586621680250521

data ShowCommaSpaceSym0 :: (~>) Symbol Symbol

Instances

SingI ShowCommaSpaceSym0

Defined in Data.Singletons.Prelude.Show

Methods

sing :: Sing ShowCommaSpaceSym0

SuppressUnusedWarnings ShowCommaSpaceSym0

Defined in Data.Singletons.Prelude.Show

Methods

suppressUnusedWarnings :: ()

type Apply ShowCommaSpaceSym0 (a6989586621680250542 :: Symbol)

Defined in Data.Singletons.Prelude.Show

type Apply ShowCommaSpaceSym0 (a6989586621680250542 :: Symbol) = ShowCommaSpace a6989586621680250542

type ShowCommaSpaceSym1 (a6989586621680250542 :: Symbol) = ShowCommaSpace a6989586621680250542

type AppPrecSym0 = AppPrec

type AppPrec1Sym0 = AppPrec1