Text.Show.Singletons

Defines the SShow singleton version of the Show type class.

Documentation

class PShow a

Associated Types

type ShowsPrec (arg :: Natural) (arg1 :: a) (arg2 :: Symbol) :: Symbol

type ShowsPrec (arg :: Natural) (arg1 :: a) (arg2 :: Symbol) = ShowsPrec_6989586621679807423 arg arg1 arg2

type Show_ (arg :: a) :: Symbol

type Show_ (arg :: a) = Show__6989586621679807435 arg

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

type ShowList (arg :: [a]) (arg1 :: Symbol) = ShowList_6989586621679807443 arg arg1

Instances

PShow Void

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec a1 (a2 :: Void) a3

Defined in Text.Show.Singletons

type ShowsPrec a1 (a2 :: Void) a3

type Show_ (arg :: Void)

Defined in Text.Show.Singletons

type Show_ (arg :: Void)

type ShowList (arg1 :: [Void]) arg2

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Void]) arg2

PShow All

Defined in Data.Semigroup.Singletons

Associated Types

type ShowsPrec a1 (a2 :: All) a3

Defined in Data.Semigroup.Singletons

type ShowsPrec a1 (a2 :: All) a3

type Show_ (arg :: All)

Defined in Data.Semigroup.Singletons

type Show_ (arg :: All)

type ShowList (arg :: [All]) arg1

Defined in Data.Semigroup.Singletons

type ShowList (arg :: [All]) arg1

PShow Any

Defined in Data.Semigroup.Singletons

Associated Types

type ShowsPrec a1 (a2 :: Any) a3

Defined in Data.Semigroup.Singletons

type ShowsPrec a1 (a2 :: Any) a3

type Show_ (arg :: Any)

Defined in Data.Semigroup.Singletons

type Show_ (arg :: Any)

type ShowList (arg :: [Any]) arg1

Defined in Data.Semigroup.Singletons

type ShowList (arg :: [Any]) arg1

PShow Ordering

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec a1 (a2 :: Ordering) a3

Defined in Text.Show.Singletons

type ShowsPrec a1 (a2 :: Ordering) a3

type Show_ (arg :: Ordering)

Defined in Text.Show.Singletons

type Show_ (arg :: Ordering)

type ShowList (arg1 :: [Ordering]) arg2

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Ordering]) arg2

PShow Natural

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec _1 (n :: Natural) x

Defined in Text.Show.Singletons

type ShowsPrec _1 (n :: Natural) x

type Show_ (arg :: Natural)

Defined in Text.Show.Singletons

type Show_ (arg :: Natural)

type ShowList (arg1 :: [Natural]) arg2

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Natural]) arg2

PShow ()

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec a1 (a2 :: ()) a3

Defined in Text.Show.Singletons

type ShowsPrec a1 (a2 :: ()) a3

type Show_ (arg :: ())

Defined in Text.Show.Singletons

type Show_ (arg :: ())

type ShowList (arg1 :: [()]) arg2

Defined in Text.Show.Singletons

type ShowList (arg1 :: [()]) arg2

PShow Bool

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec a1 (a2 :: Bool) a3

Defined in Text.Show.Singletons

type ShowsPrec a1 (a2 :: Bool) a3

type Show_ (arg :: Bool)

Defined in Text.Show.Singletons

type Show_ (arg :: Bool)

type ShowList (arg1 :: [Bool]) arg2

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Bool]) arg2

PShow Char

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec p (c :: Char) x

Defined in Text.Show.Singletons

type ShowsPrec p (c :: Char) x

type Show_ (arg :: Char)

Defined in Text.Show.Singletons

type Show_ (arg :: Char)

type ShowList (cs :: [Char]) x

Defined in Text.Show.Singletons

type ShowList (cs :: [Char]) x

PShow Symbol

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec _1 (s :: Symbol) x

Defined in Text.Show.Singletons

type ShowsPrec _1 (s :: Symbol) x

type Show_ (arg :: Symbol)

Defined in Text.Show.Singletons

type Show_ (arg :: Symbol)

type ShowList (arg1 :: [Symbol]) arg2

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Symbol]) arg2

PShow (First a)

Defined in Data.Semigroup.Singletons

PShow (Last a)

Defined in Data.Semigroup.Singletons

PShow (Max a)

Defined in Data.Semigroup.Singletons

PShow (Min a)

Defined in Data.Semigroup.Singletons

PShow (WrappedMonoid m)

Defined in Data.Semigroup.Singletons

PShow (NonEmpty a)

Defined in Text.Show.Singletons

PShow (Identity a)

Defined in Data.Functor.Identity.Singletons

PShow (First a)

Defined in Data.Monoid.Singletons

PShow (Last a)

Defined in Data.Monoid.Singletons

PShow (Dual a)

Defined in Data.Semigroup.Singletons

PShow (Product a)

Defined in Data.Semigroup.Singletons

PShow (Sum a)

Defined in Data.Semigroup.Singletons

PShow (Maybe a)

Defined in Text.Show.Singletons

PShow [a]

Defined in Text.Show.Singletons

PShow (Arg a b)

Defined in Data.Semigroup.Singletons

PShow (Either a b)

Defined in Text.Show.Singletons

PShow (Proxy s)

Defined in Data.Proxy.Singletons

PShow (a, b)

Defined in Text.Show.Singletons

PShow (Const a b)

Defined in Data.Functor.Const.Singletons

PShow (a, b, c)

Defined in Text.Show.Singletons

PShow (a, b, c, d)

Defined in Text.Show.Singletons

PShow (a, b, c, d, e)

Defined in Text.Show.Singletons

PShow (a, b, c, d, e, f)

Defined in Text.Show.Singletons

PShow (a, b, c, d, e, f, g)

Defined in Text.Show.Singletons

class SShow a where

Minimal complete definition

Nothing

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

default sShowsPrec :: forall (t1 :: Natural) (t2 :: a) (t3 :: Symbol). ShowsPrec t1 t2 t3 ~ ShowsPrec_6989586621679807423 t1 t2 t3 => Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: a). Sing t -> Sing (Show_ t)

default sShow_ :: forall (t :: a). Show_ t ~ Show__6989586621679807435 t => Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

default sShowList :: forall (t1 :: [a]) (t2 :: Symbol). ShowList t1 t2 ~ ShowList_6989586621679807443 t1 t2 => Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

Instances

SShow Void

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Void) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Void). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Void]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow Bool => SShow All

Defined in Data.Semigroup.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: All) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: All). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [All]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow Bool => SShow Any

Defined in Data.Semigroup.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Any) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Any). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Any]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow Ordering

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Ordering) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Ordering). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Ordering]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow Natural

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Natural) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Natural). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Natural]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow ()

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: ()) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: ()). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [()]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow Bool

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Bool) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Bool). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Bool]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow Char

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Char) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Char). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Char]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow Symbol

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Symbol) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Symbol). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Symbol]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow a => SShow (First a)

Defined in Data.Semigroup.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: First a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: First a). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [First a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow a => SShow (Last a)

Defined in Data.Semigroup.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Last a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Last a). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Last a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow a => SShow (Max a)

Defined in Data.Semigroup.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Max a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Max a). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Max a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow a => SShow (Min a)

Defined in Data.Semigroup.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Min a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Min a). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Min a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow m => SShow (WrappedMonoid m)

Defined in Data.Semigroup.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: WrappedMonoid m) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: WrappedMonoid m). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [WrappedMonoid m]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

(SShow a, SShow [a]) => SShow (NonEmpty a)

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: NonEmpty a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: NonEmpty a). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [NonEmpty a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow a => SShow (Identity a)

Defined in Data.Functor.Identity.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Identity a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Identity a). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Identity a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow (Maybe a) => SShow (First a)

Defined in Data.Monoid.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: First a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: First a). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [First a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow (Maybe a) => SShow (Last a)

Defined in Data.Monoid.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Last a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Last a). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Last a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow a => SShow (Dual a)

Defined in Data.Semigroup.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Dual a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Dual a). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Dual a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow a => SShow (Product a)

Defined in Data.Semigroup.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Product a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Product a). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Product a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow a => SShow (Sum a)

Defined in Data.Semigroup.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Sum a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Sum a). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Sum a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow a => SShow (Maybe a)

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Maybe a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Maybe a). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Maybe a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow a => SShow [a]

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: [a]) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: [a]). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [[a]]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

(SShow a, SShow b) => SShow (Arg a b)

Defined in Data.Semigroup.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Arg a b) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Arg a b). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Arg a b]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

(SShow a, SShow b) => SShow (Either a b)

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Either a b) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Either a b). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Either a b]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow (Proxy s)

Defined in Data.Proxy.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Proxy s) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Proxy s). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Proxy s]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

(SShow a, SShow b) => SShow (a, b)

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: (a, b)) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: (a, b)). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [(a, b)]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

SShow a => SShow (Const a b)

Defined in Data.Functor.Const.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Const a b) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: Const a b). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [Const a b]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

(SShow a, SShow b, SShow c) => SShow (a, b, c)

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: (a, b, c)) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: (a, b, c)). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [(a, b, c)]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

(SShow a, SShow b, SShow c, SShow d) => SShow (a, b, c, d)

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: (a, b, c, d)) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: (a, b, c, d)). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [(a, b, c, d)]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

(SShow a, SShow b, SShow c, SShow d, SShow e) => SShow (a, b, c, d, e)

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: (a, b, c, d, e)) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: (a, b, c, d, e)). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [(a, b, c, d, e)]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

(SShow a, SShow b, SShow c, SShow d, SShow e, SShow f) => SShow (a, b, c, d, e, f)

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: (a, b, c, d, e, f)) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: (a, b, c, d, e, f)). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [(a, b, c, d, e, f)]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

(SShow a, SShow b, SShow c, SShow d, SShow e, SShow f, SShow g) => SShow (a, b, c, d, e, f, g)

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: (a, b, c, d, e, f, g)) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

sShow_ :: forall (t :: (a, b, c, d, e, f, g)). Sing t -> Sing (Show_ t)

sShowList :: forall (t1 :: [(a, b, c, d, e, f, g)]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

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.

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 (a1 :: a) (a2 :: Symbol) :: Symbol where ...

Equations

Shows (s :: k1) a_6989586621679807396 = Apply (Apply (Apply (ShowsPrecSym0 :: TyFun Natural (k1 ~> (Symbol ~> Symbol)) -> Type) (FromInteger 0 :: Natural)) s) a_6989586621679807396

sShows :: forall a (t1 :: a) (t2 :: Symbol). SShow a => Sing t1 -> Sing t2 -> Sing (Shows t1 t2)

type family ShowListWith (a1 :: a ~> (Symbol ~> Symbol)) (a2 :: [a]) (a3 :: Symbol) :: Symbol where ...

Equations

ShowListWith (_1 :: a ~> (Symbol ~> Symbol)) ('[] :: [a]) s = Apply (Apply ((<>@#@$) :: TyFun Symbol (Symbol ~> Symbol) -> Type) "[]") s

ShowListWith (showx :: k ~> (Symbol ~> Symbol)) (x ': xs :: [k]) s = Apply (Apply ((<>@#@$) :: TyFun Symbol (Symbol ~> Symbol) -> Type) "[") (Apply (Apply showx x) (Apply (Let6989586621679807391ShowlSym0 showx x xs s) xs))

sShowListWith :: forall a (t1 :: a ~> (Symbol ~> Symbol)) (t2 :: [a]) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowListWith t1 t2 t3)

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

Equations

ShowChar a_6989586621679807368 a_6989586621679807370 = Apply (Apply ConsSymbolSym0 a_6989586621679807368) a_6989586621679807370

sShowChar :: forall (t1 :: Char) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowChar t1 t2)

type family ShowString (a :: Symbol) (a1 :: Symbol) :: Symbol where ...

Equations

ShowString a_6989586621679807357 a_6989586621679807359 = Apply (Apply ((<>@#@$) :: TyFun Symbol (Symbol ~> Symbol) -> Type) a_6989586621679807357) a_6989586621679807359

sShowString :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowString t1 t2)

type family ShowParen (a :: Bool) (a1 :: Symbol ~> Symbol) (a2 :: Symbol) :: Symbol where ...

Equations

ShowParen b p a_6989586621679807340 = Apply (Apply (LamCases_6989586621679807352Sym0 b p a_6989586621679807340) b) a_6989586621679807340

sShowParen :: forall (t1 :: Bool) (t2 :: Symbol ~> Symbol) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowParen t1 t2 t3)

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

Equations

ShowSpace a_6989586621679807328 = Apply (LamCases_6989586621679807334Sym0 a_6989586621679807328) a_6989586621679807328

sShowSpace :: forall (t :: Symbol). Sing t -> Sing (ShowSpace t)

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

Equations

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

sShowCommaSpace :: forall (t :: Symbol). Sing t -> Sing (ShowCommaSpace t)

type family AppPrec :: Natural where ...

Equations

AppPrec = FromInteger 10 :: Natural

sAppPrec :: Sing AppPrec

type family AppPrec1 :: Natural where ...

Equations

AppPrec1 = FromInteger 11 :: Natural

sAppPrec1 :: Sing AppPrec1

Defunctionalization symbols

data ShowsPrecSym0 (a1 :: TyFun Natural (a ~> (Symbol ~> Symbol)))

Instances

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type)

SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621679807409 :: Natural)

Defined in Text.Show.Singletons

type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621679807409 :: Natural) = ShowsPrecSym1 a6989586621679807409 :: TyFun a (Symbol ~> Symbol) -> Type

data ShowsPrecSym1 (a6989586621679807409 :: Natural) (b :: TyFun a (Symbol ~> Symbol))

Instances

SShow a => SingI1 (ShowsPrecSym1 :: Natural -> TyFun a (Symbol ~> Symbol) -> Type)

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (ShowsPrecSym1 x :: TyFun a (Symbol ~> Symbol) -> Type)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsPrecSym1 d :: TyFun a (Symbol ~> Symbol) -> Type)

SuppressUnusedWarnings (ShowsPrecSym1 a6989586621679807409 :: TyFun a (Symbol ~> Symbol) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrecSym1 a6989586621679807409 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621679807410 :: a)

Defined in Text.Show.Singletons

type Apply (ShowsPrecSym1 a6989586621679807409 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621679807410 :: a) = ShowsPrecSym2 a6989586621679807409 a6989586621679807410

data ShowsPrecSym2 (a6989586621679807409 :: Natural) (a6989586621679807410 :: a) (c :: TyFun Symbol Symbol)

Instances

SShow a => SingI2 (ShowsPrecSym2 :: Natural -> a -> TyFun Symbol Symbol -> Type)

Defined in Text.Show.Singletons

Methods

liftSing2 :: forall (x :: Natural) (y :: a). Sing x -> Sing y -> Sing (ShowsPrecSym2 x y)

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

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: a). Sing x -> Sing (ShowsPrecSym2 d x)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsPrecSym2 d1 d2)

SuppressUnusedWarnings (ShowsPrecSym2 a6989586621679807409 a6989586621679807410 :: TyFun Symbol Symbol -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrecSym2 a6989586621679807409 a6989586621679807410 :: TyFun Symbol Symbol -> Type) (a6989586621679807411 :: Symbol)

Defined in Text.Show.Singletons

type Apply (ShowsPrecSym2 a6989586621679807409 a6989586621679807410 :: TyFun Symbol Symbol -> Type) (a6989586621679807411 :: Symbol) = ShowsPrec a6989586621679807409 a6989586621679807410 a6989586621679807411

type family ShowsPrecSym3 (a6989586621679807409 :: Natural) (a6989586621679807410 :: a) (a6989586621679807411 :: Symbol) :: Symbol where ...

Equations

ShowsPrecSym3 a6989586621679807409 (a6989586621679807410 :: a) a6989586621679807411 = ShowsPrec a6989586621679807409 a6989586621679807410 a6989586621679807411

data Show_Sym0 (a1 :: TyFun a Symbol)

Instances

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (Show_Sym0 :: TyFun a Symbol -> Type)

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

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

type family Show_Sym1 (a6989586621679807414 :: a) :: Symbol where ...

Equations

Show_Sym1 (a6989586621679807414 :: a) = Show_ a6989586621679807414

data ShowListSym0 (a1 :: TyFun [a] (Symbol ~> Symbol))

Instances

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type)

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621679807418 :: [a])

Defined in Text.Show.Singletons

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

data ShowListSym1 (a6989586621679807418 :: [a]) (b :: TyFun Symbol Symbol)

Instances

SShow a => SingI1 (ShowListSym1 :: [a] -> TyFun Symbol Symbol -> Type)

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: [a]). Sing x -> Sing (ShowListSym1 x)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowListSym1 d)

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ShowListSym1 a6989586621679807418 :: TyFun Symbol Symbol -> Type) (a6989586621679807419 :: Symbol)

Defined in Text.Show.Singletons

type Apply (ShowListSym1 a6989586621679807418 :: TyFun Symbol Symbol -> Type) (a6989586621679807419 :: Symbol) = ShowList a6989586621679807418 a6989586621679807419

type family ShowListSym2 (a6989586621679807418 :: [a]) (a6989586621679807419 :: Symbol) :: Symbol where ...

Equations

ShowListSym2 (a6989586621679807418 :: [a]) a6989586621679807419 = ShowList a6989586621679807418 a6989586621679807419

data ShowsSym0 (a1 :: TyFun a (Symbol ~> Symbol))

Instances

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type)

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621679807401 :: a)

Defined in Text.Show.Singletons

type Apply (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621679807401 :: a) = ShowsSym1 a6989586621679807401

data ShowsSym1 (a6989586621679807401 :: a) (b :: TyFun Symbol Symbol)

Instances

SShow a => SingI1 (ShowsSym1 :: a -> TyFun Symbol Symbol -> Type)

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: a). Sing x -> Sing (ShowsSym1 x)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsSym1 d)

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsSym1 a6989586621679807401 :: TyFun Symbol Symbol -> Type) (a6989586621679807402 :: Symbol)

Defined in Text.Show.Singletons

type Apply (ShowsSym1 a6989586621679807401 :: TyFun Symbol Symbol -> Type) (a6989586621679807402 :: Symbol) = Shows a6989586621679807401 a6989586621679807402

type family ShowsSym2 (a6989586621679807401 :: a) (a6989586621679807402 :: Symbol) :: Symbol where ...

Equations

ShowsSym2 (a6989586621679807401 :: a) a6989586621679807402 = Shows a6989586621679807401 a6989586621679807402

data ShowListWithSym0 (a1 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)))

Instances

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

Defined in Text.Show.Singletons

Methods

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

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621679807383 :: a ~> (Symbol ~> Symbol))

Defined in Text.Show.Singletons

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

data ShowListWithSym1 (a6989586621679807383 :: a ~> (Symbol ~> Symbol)) (b :: TyFun [a] (Symbol ~> Symbol))

Instances

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowListWithSym1 d)

SuppressUnusedWarnings (ShowListWithSym1 a6989586621679807383 :: TyFun [a] (Symbol ~> Symbol) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (ShowListWithSym1 :: (a ~> (Symbol ~> Symbol)) -> TyFun [a] (Symbol ~> Symbol) -> Type)

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: a ~> (Symbol ~> Symbol)). Sing x -> Sing (ShowListWithSym1 x)

type Apply (ShowListWithSym1 a6989586621679807383 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621679807384 :: [a])

Defined in Text.Show.Singletons

type Apply (ShowListWithSym1 a6989586621679807383 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621679807384 :: [a]) = ShowListWithSym2 a6989586621679807383 a6989586621679807384

data ShowListWithSym2 (a6989586621679807383 :: a ~> (Symbol ~> Symbol)) (a6989586621679807384 :: [a]) (c :: TyFun Symbol Symbol)

Instances

SingI d => SingI1 (ShowListWithSym2 d :: [a] -> TyFun Symbol Symbol -> Type)

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: [a]). Sing x -> Sing (ShowListWithSym2 d x)

SingI2 (ShowListWithSym2 :: (a ~> (Symbol ~> Symbol)) -> [a] -> TyFun Symbol Symbol -> Type)

Defined in Text.Show.Singletons

Methods

liftSing2 :: forall (x :: a ~> (Symbol ~> Symbol)) (y :: [a]). Sing x -> Sing y -> Sing (ShowListWithSym2 x y)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowListWithSym2 d1 d2)

SuppressUnusedWarnings (ShowListWithSym2 a6989586621679807383 a6989586621679807384 :: TyFun Symbol Symbol -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ShowListWithSym2 a6989586621679807383 a6989586621679807384 :: TyFun Symbol Symbol -> Type) (a6989586621679807385 :: Symbol)

Defined in Text.Show.Singletons

type Apply (ShowListWithSym2 a6989586621679807383 a6989586621679807384 :: TyFun Symbol Symbol -> Type) (a6989586621679807385 :: Symbol) = ShowListWith a6989586621679807383 a6989586621679807384 a6989586621679807385

type family ShowListWithSym3 (a6989586621679807383 :: a ~> (Symbol ~> Symbol)) (a6989586621679807384 :: [a]) (a6989586621679807385 :: Symbol) :: Symbol where ...

Equations

ShowListWithSym3 (a6989586621679807383 :: a ~> (Symbol ~> Symbol)) (a6989586621679807384 :: [a]) a6989586621679807385 = ShowListWith a6989586621679807383 a6989586621679807384 a6989586621679807385

data ShowCharSym0 (a :: TyFun Char (Symbol ~> Symbol))

Instances

SingI ShowCharSym0

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowCharSym0

SuppressUnusedWarnings ShowCharSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ShowCharSym0 (a6989586621679807375 :: Char)

Defined in Text.Show.Singletons

type Apply ShowCharSym0 (a6989586621679807375 :: Char) = ShowCharSym1 a6989586621679807375

data ShowCharSym1 (a6989586621679807375 :: Char) (b :: TyFun Symbol Symbol)

Instances

SingI1 ShowCharSym1

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: Char). Sing x -> Sing (ShowCharSym1 x)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowCharSym1 d)

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ShowCharSym1 a6989586621679807375 :: TyFun Symbol Symbol -> Type) (a6989586621679807376 :: Symbol)

Defined in Text.Show.Singletons

type Apply (ShowCharSym1 a6989586621679807375 :: TyFun Symbol Symbol -> Type) (a6989586621679807376 :: Symbol) = ShowChar a6989586621679807375 a6989586621679807376

type family ShowCharSym2 (a6989586621679807375 :: Char) (a6989586621679807376 :: Symbol) :: Symbol where ...

Equations

ShowCharSym2 a6989586621679807375 a6989586621679807376 = ShowChar a6989586621679807375 a6989586621679807376

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

Instances

SingI ShowStringSym0

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowStringSym0

SuppressUnusedWarnings ShowStringSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ShowStringSym0 (a6989586621679807364 :: Symbol)

Defined in Text.Show.Singletons

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

data ShowStringSym1 (a6989586621679807364 :: Symbol) (b :: TyFun Symbol Symbol)

Instances

SingI1 ShowStringSym1

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: Symbol). Sing x -> Sing (ShowStringSym1 x)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowStringSym1 d)

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ShowStringSym1 a6989586621679807364 :: TyFun Symbol Symbol -> Type) (a6989586621679807365 :: Symbol)

Defined in Text.Show.Singletons

type Apply (ShowStringSym1 a6989586621679807364 :: TyFun Symbol Symbol -> Type) (a6989586621679807365 :: Symbol) = ShowString a6989586621679807364 a6989586621679807365

type family ShowStringSym2 (a6989586621679807364 :: Symbol) (a6989586621679807365 :: Symbol) :: Symbol where ...

Equations

ShowStringSym2 a6989586621679807364 a6989586621679807365 = ShowString a6989586621679807364 a6989586621679807365

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

Instances

SingI ShowParenSym0

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowParenSym0

SuppressUnusedWarnings ShowParenSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ShowParenSym0 (a6989586621679807346 :: Bool)

Defined in Text.Show.Singletons

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

data ShowParenSym1 (a6989586621679807346 :: Bool) (b :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol))

Instances

SingI1 ShowParenSym1

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: Bool). Sing x -> Sing (ShowParenSym1 x)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowParenSym1 d)

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ShowParenSym1 a6989586621679807346 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621679807347 :: Symbol ~> Symbol)

Defined in Text.Show.Singletons

type Apply (ShowParenSym1 a6989586621679807346 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621679807347 :: Symbol ~> Symbol) = ShowParenSym2 a6989586621679807346 a6989586621679807347

data ShowParenSym2 (a6989586621679807346 :: Bool) (a6989586621679807347 :: Symbol ~> Symbol) (c :: TyFun Symbol Symbol)

Instances

SingI2 ShowParenSym2

Defined in Text.Show.Singletons

Methods

liftSing2 :: forall (x :: Bool) (y :: Symbol ~> Symbol). Sing x -> Sing y -> Sing (ShowParenSym2 x y)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowParenSym2 d1 d2)

SuppressUnusedWarnings (ShowParenSym2 a6989586621679807346 a6989586621679807347 :: TyFun Symbol Symbol -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: Symbol ~> Symbol). Sing x -> Sing (ShowParenSym2 d x)

type Apply (ShowParenSym2 a6989586621679807346 a6989586621679807347 :: TyFun Symbol Symbol -> Type) (a6989586621679807348 :: Symbol)

Defined in Text.Show.Singletons

type Apply (ShowParenSym2 a6989586621679807346 a6989586621679807347 :: TyFun Symbol Symbol -> Type) (a6989586621679807348 :: Symbol) = ShowParen a6989586621679807346 a6989586621679807347 a6989586621679807348

data ShowSpaceSym0 (a :: TyFun Symbol Symbol)

Instances

SingI ShowSpaceSym0

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowSpaceSym0

SuppressUnusedWarnings ShowSpaceSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ShowSpaceSym0 (a6989586621679807332 :: Symbol)

Defined in Text.Show.Singletons

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

type family ShowSpaceSym1 (a6989586621679807332 :: Symbol) :: Symbol where ...

Equations

ShowSpaceSym1 a6989586621679807332 = ShowSpace a6989586621679807332

data ShowCommaSpaceSym0 (a :: TyFun Symbol Symbol)

Instances

SingI ShowCommaSpaceSym0

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowCommaSpaceSym0

SuppressUnusedWarnings ShowCommaSpaceSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ShowCommaSpaceSym0 (a6989586621679807326 :: Symbol)

Defined in Text.Show.Singletons

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

type family ShowCommaSpaceSym1 (a6989586621679807326 :: Symbol) :: Symbol where ...

Equations

ShowCommaSpaceSym1 a6989586621679807326 = ShowCommaSpace a6989586621679807326

type family AppPrecSym0 :: Natural where ...

Equations

AppPrecSym0 = AppPrec

type family AppPrec1Sym0 :: Natural where ...

Equations

AppPrec1Sym0 = AppPrec1