Safe Haskell	Safe-Inferred
Language	Haskell2010

Morley.Util.TypeLits

Description

Re-exports GHC.TypeLits, modifying it considering our practices.

Synopsis

data Symbol
class KnownSymbol (n :: Symbol)
type family AppendSymbol (a :: Symbol) (b :: Symbol) :: Symbol where ...
symbolVal :: forall (n :: Symbol) proxy. KnownSymbol n => proxy n -> String
symbolValT :: forall s. KnownSymbol s => Proxy s -> Text
symbolValT' :: forall s. KnownSymbol s => Text
type family TypeError (a :: ErrorMessage) :: b where ...
data ErrorMessage
- = Text Symbol
- | ShowType t
- | ErrorMessage :<>: ErrorMessage
- | ErrorMessage :$$: ErrorMessage

Documentation

data Symbol #

(Kind) This is the kind of type-level symbols. Declared here because class IP needs it

Instances

Instances details

SingKind Symbol	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type DemoteRep Symbol Methods fromSing :: forall (a :: Symbol). Sing a -> DemoteRep Symbol
PMonoid Symbol
Instance details Defined in Data.Monoid.Singletons Associated Types type Mempty :: a # type Mappend arg arg1 :: a # type Mconcat arg :: a #
SMonoid Symbol
Instance details Defined in Data.Monoid.Singletons Methods sMempty :: Sing MemptySym0 # sMappend :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply MappendSym0 t1) t2) # sMconcat :: forall (t :: [Symbol]). Sing t -> Sing (Apply MconcatSym0 t) #
PSemigroup Symbol
Instance details Defined in Data.Semigroup.Singletons.Internal Associated Types type arg <> arg1 :: a # type Sconcat arg :: a #
SSemigroup Symbol
Instance details Defined in Data.Semigroup.Singletons.Internal Methods (%<>) :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<>@#@$) t1) t2) # sSconcat :: forall (t :: NonEmpty Symbol). Sing t -> Sing (Apply SconcatSym0 t) #
PShow Symbol
Instance details Defined in Text.Show.Singletons Associated Types type ShowsPrec arg arg1 arg2 :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg1 :: Symbol #
SShow Symbol
Instance details Defined in Text.Show.Singletons Methods sShowsPrec :: forall (t1 :: Natural) (t2 :: Symbol) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) # sShow_ :: forall (t :: Symbol). Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: forall (t1 :: [Symbol]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) #
KnownSymbol a => SingI (a :: Symbol)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing a
KnownSymbol s => Showtype (s :: Symbol) Source #
Instance details Defined in Morley.Util.ShowType Methods showtype :: proxy s -> String Source # showtypesPrec :: Int -> proxy s -> String -> String Source #
KnownSymbol n => Reifies (n :: Symbol) String
Instance details Defined in Data.Reflection Methods reflect :: proxy n -> String #
SShow a => SingI2 (ShowsPrecSym2 :: Natural -> a -> TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (ShowsPrecSym2 x y) #
SingI1 ShowParenSym1
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowParenSym1 x) #
SingI1 ShowCharSym1
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowCharSym1 x) #
SingI1 ConsSymbolSym1
Instance details Defined in GHC.TypeLits.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ConsSymbolSym1 x) #
SingI1 ShowStringSym1
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowStringSym1 x) #
SShow a => SingI1 (ShowsPrecSym1 :: Natural -> TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowsPrecSym1 x) #
SShow a => SingI1 (ShowsSym1 :: a -> TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowsSym1 x) #
(SShow a, SingI d) => SingI1 (ShowsPrecSym2 d :: a -> TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowsPrecSym2 d x) #
SingI2 ShowParenSym2
Instance details Defined in Text.Show.Singletons Methods liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (ShowParenSym2 x y) #
(KnownSymbol s, Storable t) => Storable (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods sizeOf :: ElField '(s, t) -> Int # alignment :: ElField '(s, t) -> Int # peekElemOff :: Ptr (ElField '(s, t)) -> Int -> IO (ElField '(s, t)) # pokeElemOff :: Ptr (ElField '(s, t)) -> Int -> ElField '(s, t) -> IO () # peekByteOff :: Ptr b -> Int -> IO (ElField '(s, t)) # pokeByteOff :: Ptr b -> Int -> ElField '(s, t) -> IO () # peek :: Ptr (ElField '(s, t)) -> IO (ElField '(s, t)) # poke :: Ptr (ElField '(s, t)) -> ElField '(s, t) -> IO () #
(KnownSymbol s, Monoid t) => Monoid (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods mempty :: ElField '(s, t) # mappend :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # mconcat :: [ElField '(s, t)] -> ElField '(s, t) #
Semigroup t => Semigroup (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods (<>) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # sconcat :: NonEmpty (ElField '(s, t)) -> ElField '(s, t) # stimes :: Integral b => b -> ElField '(s, t) -> ElField '(s, t) #
(Floating t, KnownSymbol s) => Floating (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods pi :: ElField '(s, t) # exp :: ElField '(s, t) -> ElField '(s, t) # log :: ElField '(s, t) -> ElField '(s, t) # sqrt :: ElField '(s, t) -> ElField '(s, t) # (**) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # logBase :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # sin :: ElField '(s, t) -> ElField '(s, t) # cos :: ElField '(s, t) -> ElField '(s, t) # tan :: ElField '(s, t) -> ElField '(s, t) # asin :: ElField '(s, t) -> ElField '(s, t) # acos :: ElField '(s, t) -> ElField '(s, t) # atan :: ElField '(s, t) -> ElField '(s, t) # sinh :: ElField '(s, t) -> ElField '(s, t) # cosh :: ElField '(s, t) -> ElField '(s, t) # tanh :: ElField '(s, t) -> ElField '(s, t) # asinh :: ElField '(s, t) -> ElField '(s, t) # acosh :: ElField '(s, t) -> ElField '(s, t) # atanh :: ElField '(s, t) -> ElField '(s, t) # log1p :: ElField '(s, t) -> ElField '(s, t) # expm1 :: ElField '(s, t) -> ElField '(s, t) # log1pexp :: ElField '(s, t) -> ElField '(s, t) # log1mexp :: ElField '(s, t) -> ElField '(s, t) #
KnownSymbol s => Generic (ElField '(s, a))
Instance details Defined in Data.Vinyl.Functor Associated Types type Rep (ElField '(s, a)) :: Type -> Type # Methods from :: ElField '(s, a) -> Rep (ElField '(s, a)) x # to :: Rep (ElField '(s, a)) x -> ElField '(s, a) #
(Num t, KnownSymbol s) => Num (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods (+) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # (-) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # (*) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # negate :: ElField '(s, t) -> ElField '(s, t) # abs :: ElField '(s, t) -> ElField '(s, t) # signum :: ElField '(s, t) -> ElField '(s, t) # fromInteger :: Integer -> ElField '(s, t) #
(Fractional t, KnownSymbol s) => Fractional (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods (/) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # recip :: ElField '(s, t) -> ElField '(s, t) # fromRational :: Rational -> ElField '(s, t) #
(Real t, KnownSymbol s) => Real (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods toRational :: ElField '(s, t) -> Rational #
(RealFrac t, KnownSymbol s) => RealFrac (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods properFraction :: Integral b => ElField '(s, t) -> (b, ElField '(s, t)) # truncate :: Integral b => ElField '(s, t) -> b # round :: Integral b => ElField '(s, t) -> b # ceiling :: Integral b => ElField '(s, t) -> b # floor :: Integral b => ElField '(s, t) -> b #
(Show t, KnownSymbol s) => Show (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods showsPrec :: Int -> ElField '(s, t) -> ShowS # show :: ElField '(s, t) -> String # showList :: [ElField '(s, t)] -> ShowS #
Eq t => Eq (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods (==) :: ElField '(s, t) -> ElField '(s, t) -> Bool # (/=) :: ElField '(s, t) -> ElField '(s, t) -> Bool #
Ord t => Ord (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods compare :: ElField '(s, t) -> ElField '(s, t) -> Ordering # (<) :: ElField '(s, t) -> ElField '(s, t) -> Bool # (<=) :: ElField '(s, t) -> ElField '(s, t) -> Bool # (>) :: ElField '(s, t) -> ElField '(s, t) -> Bool # (>=) :: ElField '(s, t) -> ElField '(s, t) -> Bool # max :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # min :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) #
SingI1 Show_tupleSym1
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (Show_tupleSym1 x) #
SShow a => SingI1 (ShowListSym1 :: [a] -> TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowListSym1 x) #
SingI d => SingI1 (ShowListWithSym2 d :: [a] -> TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowListWithSym2 d x) #
SingI ShowParenSym0
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowParenSym0 #
SingI ShowCharSym0
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowCharSym0 #
SingI ShowStringSym0
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowStringSym0 #
SingI ShowCommaSpaceSym0
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowCommaSpaceSym0 #
SingI ShowSpaceSym0
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowSpaceSym0 #
SingI Show_tupleSym0
Instance details Defined in Text.Show.Singletons Methods sing :: Sing Show_tupleSym0 #
SingI UnlinesSym0
Instance details Defined in Data.List.Singletons.Internal Methods sing :: Sing UnlinesSym0 #
SingI UnwordsSym0
Instance details Defined in Data.List.Singletons.Internal Methods sing :: Sing UnwordsSym0 #
SingI ConsSymbolSym0
Instance details Defined in GHC.TypeLits.Singletons Methods sing :: Sing ConsSymbolSym0 #
SingI UnconsSymbolSym0
Instance details Defined in GHC.TypeLits.Singletons Methods sing :: Sing UnconsSymbolSym0 #
SuppressUnusedWarnings ProtectEscSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680647397Sym0
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680647421Sym0
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680127614Sym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680127586Sym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680127424Sym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680127564Sym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsCharPrecSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsNatSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowParenSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ConsSymbolSym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowCharSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowLitCharSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowLitSymbolSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowStringSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowSymbolSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings UnconsSymbolSym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings KnownSymbolSym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowCommaSpaceSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowSpaceSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings Show_tupleSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowCharListSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowLitStringSym0
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings UnlinesSym0
Instance details Defined in Data.List.Singletons.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings UnwordsSym0
Instance details Defined in Data.List.Singletons.Internal Methods suppressUnusedWarnings :: () #
KnownSymbol s => IsoHKD ElField ('(s, a) :: (Symbol, Type))	Work with values of type `ElField` `'(s,a)` as if they were of type `a`.
Instance details Defined in Data.Vinyl.XRec Associated Types type HKD ElField '(s, a) # Methods unHKD :: HKD ElField '(s, a) -> ElField '(s, a) # toHKD :: ElField '(s, a) -> HKD ElField '(s, a) #
SingI d => SingI (ShowParenSym1 d :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowParenSym1 d) #
SingI (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowListWithSym0 #
SShow a => SingI (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowsPrecSym0 #
SingI d => SingI (ShowCharSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowCharSym1 d) #
SingI d => SingI (ShowStringSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowStringSym1 d) #
SingI d => SingI (Show_tupleSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (Show_tupleSym1 d) #
SShow a => SingI (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowListSym0 #
SShow a => SingI (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing ShowsSym0 #
SShow a => SingI (Show_Sym0 :: TyFun a Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing Show_Sym0 #
SingI x => SingI (ConsSymbolSym1 x :: TyFun Symbol Symbol -> Type)
Instance details Defined in GHC.TypeLits.Singletons Methods sing :: Sing (ConsSymbolSym1 x) #
SuppressUnusedWarnings (ShowsPrec_6989586621680647397Sym1 a6989586621680647405 :: TyFun All (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647421Sym1 a6989586621680647429 :: TyFun Any (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127614Sym1 a6989586621680127622 :: TyFun Void (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127586Sym1 a6989586621680127598 :: TyFun Ordering (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ProtectEscSym1 a6989586621680120010 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowParenSym1 a6989586621680095030 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680459070Sym0 :: TyFun Natural (Identity a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Functor.Identity.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680180948Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Monoid.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680180996Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Monoid.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647556Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647583Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647529Sym0 :: TyFun Natural (Max a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647502Sym0 :: TyFun Natural (Min a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647610Sym0 :: TyFun Natural (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647373Sym0 :: TyFun Natural (Dual a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647475Sym0 :: TyFun Natural (Product a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647448Sym0 :: TyFun Natural (Sum a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127540Sym0 :: TyFun Natural (NonEmpty a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127454Sym0 :: TyFun Natural (Maybe a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095137Sym0 :: TyFun Natural ([a] ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095105Sym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127424Sym1 a6989586621680127432 :: TyFun () (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127564Sym1 a6989586621680127574 :: TyFun Bool (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsCharPrecSym1 a6989586621680120130 :: TyFun Char (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680120043Scrutinee_6989586621680119971Sym0 :: TyFun Symbol (TyFun k (Maybe (Char, Symbol)) -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ConsSymbolSym1 a6989586621679511543 :: TyFun Symbol Symbol -> Type)
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowCharListSym1 a6989586621680120118 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowCharSym1 a6989586621680095057 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowLitCharSym1 a6989586621680120065 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowLitStringSym1 a6989586621680120054 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowLitSymbolSym1 a6989586621680120039 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowStringSym1 a6989586621680095046 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowSymbolSym1 a6989586621680120109 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show_tupleSym1 a6989586621680094997 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsNatSym1 a6989586621680118200 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowList_6989586621680095125Sym0 :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show_Sym0 :: TyFun a Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show__6989586621680095117Sym0 :: TyFun a Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680095020Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
(i ~ RIndex t ts, NatToInt i, FieldOffset ElField ts t, Storable (Rec ElField ts), AllConstrained (FieldOffset ElField ts) ts) => RecElem (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (t :: (Symbol, Type)) (t :: (Symbol, Type)) (ts :: [(Symbol, Type)]) (ts :: [(Symbol, Type)]) i
Instance details Defined in Data.Vinyl.SRec Associated Types type RecElemFCtx SRec f # Methods rlensC :: (Functor g, RecElemFCtx SRec f) => (f t -> g (f t)) -> SRec f ts -> g (SRec f ts) # rgetC :: (RecElemFCtx SRec f, t ~ t) => SRec f ts -> f t # rputC :: RecElemFCtx SRec f => f t -> SRec f ts -> SRec f ts #
SingI2 (ShowListWithSym2 :: (a ~> (Symbol ~> Symbol)) -> [a] -> TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (ShowListWithSym2 x y) #
(SShow a, SingI d) => SingI (ShowListSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowListSym1 d) #
(SingI d1, SingI d2) => SingI (ShowParenSym2 d1 d2 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowParenSym2 d1 d2) #
(SShow a, SingI d) => SingI (ShowsSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowsSym1 d) #
SingI (ErrorSym0 :: TyFun Symbol a -> Type)
Instance details Defined in GHC.TypeLits.Singletons.Internal Methods sing :: Sing ErrorSym0 #
SingI (ErrorWithoutStackTraceSym0 :: TyFun Symbol a -> Type)
Instance details Defined in GHC.TypeLits.Singletons.Internal Methods sing :: Sing ErrorWithoutStackTraceSym0 #
SingI d => SingI (ShowListWithSym1 d :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowListWithSym1 d) #
(SShow a, SingI d) => SingI (ShowsPrecSym1 d :: TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowsPrecSym1 d) #
SuppressUnusedWarnings (ShowsPrec_6989586621680459070Sym1 a6989586621680459078 :: TyFun (Identity a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Functor.Identity.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680180948Sym1 a6989586621680180956 :: TyFun (First a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Monoid.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680180996Sym1 a6989586621680181004 :: TyFun (Last a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Monoid.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647556Sym1 a6989586621680647564 :: TyFun (First a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647583Sym1 a6989586621680647591 :: TyFun (Last a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647529Sym1 a6989586621680647537 :: TyFun (Max a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647502Sym1 a6989586621680647510 :: TyFun (Min a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647610Sym1 a6989586621680647618 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647373Sym1 a6989586621680647381 :: TyFun (Dual a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647475Sym1 a6989586621680647483 :: TyFun (Product a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647448Sym1 a6989586621680647456 :: TyFun (Sum a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680120016ContSym0 :: TyFun (Char ~> Bool) (TyFun k1 (TyFun k2 (TyFun Symbol Symbol -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127540Sym1 a6989586621680127548 :: TyFun (NonEmpty a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127454Sym1 a6989586621680127464 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127504Sym0 :: TyFun Natural (Either a b ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680230472Sym0 :: TyFun Natural (Proxy s ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Proxy.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680669533Sym0 :: TyFun Natural (Arg a b ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095155Sym0 :: TyFun Natural ((a, b) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647397Sym2 a6989586621680647405 a6989586621680647406 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647421Sym2 a6989586621680647429 a6989586621680647430 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680095020Sym1 a_69895866216800950146989586621680095019 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ProtectEscSym2 a6989586621680120010 a6989586621680120011 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListSym1 a6989586621680095100 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowList_6989586621680095125Sym1 a6989586621680095130 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowParenSym2 a6989586621680095030 a6989586621680095031 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsCharPrecSym2 a6989586621680120130 a6989586621680120131 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127424Sym2 a6989586621680127432 a6989586621680127433 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127564Sym2 a6989586621680127574 a6989586621680127575 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127586Sym2 a6989586621680127598 a6989586621680127599 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127614Sym2 a6989586621680127622 a6989586621680127623 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsSym1 a6989586621680095083 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680095065 :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095137Sym1 a6989586621680095147 :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym1 a6989586621680095091 :: TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095105Sym1 a6989586621680095111 :: TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680120043Scrutinee_6989586621680119971Sym1 sym6989586621680120041 :: TyFun k (Maybe (Char, Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621679766117GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type)
Instance details Defined in Data.List.Singletons.Internal Methods suppressUnusedWarnings :: () #
(i ~ RIndex t ts, NatToInt i, FieldOffset ElField ts t, Storable (Rec ElField ts), AllConstrained (FieldOffset ElField ts) ts) => RecElem (SRec2 ElField) (t :: (Symbol, Type)) (t :: (Symbol, Type)) (ts :: [(Symbol, Type)]) (ts :: [(Symbol, Type)]) i	Field accessors for `SRec2` specialized to `ElField` as the functor.
Instance details Defined in Data.Vinyl.SRec Associated Types type RecElemFCtx (SRec2 ElField) f # Methods rlensC :: (Functor g, RecElemFCtx (SRec2 ElField) f) => (f t -> g (f t)) -> SRec2 ElField f ts -> g (SRec2 ElField f ts) # rgetC :: (RecElemFCtx (SRec2 ElField) f, t ~ t) => SRec2 ElField f ts -> f t # rputC :: RecElemFCtx (SRec2 ElField) f => f t -> SRec2 ElField f ts -> SRec2 ElField f ts #
SingI d => SingI1 (ShowParenSym2 d :: (Symbol ~> Symbol) -> TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowParenSym2 d x) #
SingI1 (ShowListWithSym1 :: (a ~> (Symbol ~> Symbol)) -> TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ShowListWithSym1 x) #
(is ~ RImage rs ss, RecSubset (Rec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) rs ss is, Storable (Rec ElField rs), Storable (Rec ElField ss), RPureConstrained (FieldOffset ElField ss) rs, RPureConstrained (FieldOffset ElField rs) rs, RFoldMap rs, RMap rs, RApply rs) => RecSubset (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (rs :: [(Symbol, Type)]) (ss :: [(Symbol, Type)]) is
Instance details Defined in Data.Vinyl.SRec Associated Types type RecSubsetFCtx SRec f # Methods rsubsetC :: forall g (f :: k -> Type). (Functor g, RecSubsetFCtx SRec f) => (SRec f rs -> g (SRec f rs)) -> SRec f ss -> g (SRec f ss) # rcastC :: forall (f :: k -> Type). RecSubsetFCtx SRec f => SRec f ss -> SRec f rs # rreplaceC :: forall (f :: k -> Type). RecSubsetFCtx SRec f => SRec f rs -> SRec f ss -> SRec f ss #
(is ~ RImage rs ss, RecSubset (Rec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) rs ss is, Storable (Rec ElField rs), Storable (Rec ElField ss), RPureConstrained (FieldOffset ElField ss) rs, RPureConstrained (FieldOffset ElField rs) rs, RFoldMap rs, RMap rs, RApply rs) => RecSubset (SRec2 ElField) (rs :: [(Symbol, Type)]) (ss :: [(Symbol, Type)]) is
Instance details Defined in Data.Vinyl.SRec Associated Types type RecSubsetFCtx (SRec2 ElField) f # Methods rsubsetC :: forall g (f :: k -> Type). (Functor g, RecSubsetFCtx (SRec2 ElField) f) => (SRec2 ElField f rs -> g (SRec2 ElField f rs)) -> SRec2 ElField f ss -> g (SRec2 ElField f ss) # rcastC :: forall (f :: k -> Type). RecSubsetFCtx (SRec2 ElField) f => SRec2 ElField f ss -> SRec2 ElField f rs # rreplaceC :: forall (f :: k -> Type). RecSubsetFCtx (SRec2 ElField) f => SRec2 ElField f rs -> SRec2 ElField f ss -> SRec2 ElField f ss #
(SingI d1, SingI d2) => SingI (ShowListWithSym2 d1 d2 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowListWithSym2 d1 d2) #
(SShow a, SingI d1, SingI d2) => SingI (ShowsPrecSym2 d1 d2 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods sing :: Sing (ShowsPrecSym2 d1 d2) #
SuppressUnusedWarnings (ShowsPrec_6989586621680127504Sym1 a6989586621680127514 :: TyFun (Either a b) (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680230472Sym1 a6989586621680230480 :: TyFun (Proxy s) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Proxy.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680669533Sym1 a6989586621680669541 :: TyFun (Arg a b) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680095073ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680494147Sym0 :: TyFun Natural (Const a b ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Functor.Const.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095170Sym0 :: TyFun Natural ((a, b, c) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095155Sym1 a6989586621680095161 :: TyFun (a, b) (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680120020Scrutinee_6989586621680119979Sym0 :: TyFun Symbol (TyFun k1 (TyFun k2 (TyFun k3 (Maybe (Char, Symbol)) -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680459070Sym2 a6989586621680459078 a6989586621680459079 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Functor.Identity.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680180948Sym2 a6989586621680180956 a6989586621680180957 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Monoid.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680180996Sym2 a6989586621680181004 a6989586621680181005 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Monoid.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647373Sym2 a6989586621680647381 a6989586621680647382 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647448Sym2 a6989586621680647456 a6989586621680647457 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647475Sym2 a6989586621680647483 a6989586621680647484 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647502Sym2 a6989586621680647510 a6989586621680647511 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647529Sym2 a6989586621680647537 a6989586621680647538 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647556Sym2 a6989586621680647564 a6989586621680647565 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647583Sym2 a6989586621680647591 a6989586621680647592 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680647610Sym2 a6989586621680647618 a6989586621680647619 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680095065 a6989586621680095066 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym2 a6989586621680095091 a6989586621680095092 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095105Sym2 a6989586621680095111 a6989586621680095112 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095137Sym2 a6989586621680095147 a6989586621680095148 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127454Sym2 a6989586621680127464 a6989586621680127465 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127540Sym2 a6989586621680127548 a6989586621680127549 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680120016ContSym1 p6989586621680120013 :: TyFun k1 (TyFun k2 (TyFun Symbol Symbol -> Type) -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621679766117GoSym1 w6989586621679766115 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type)
Instance details Defined in Data.List.Singletons.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680494147Sym1 a6989586621680494155 :: TyFun (Const a b) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Functor.Const.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095186Sym0 :: TyFun Natural ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095170Sym1 a6989586621680095176 :: TyFun (a, b, c) (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680230472Sym2 a6989586621680230480 a6989586621680230481 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Proxy.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680669533Sym2 a6989586621680669541 a6989586621680669542 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Semigroup.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095155Sym2 a6989586621680095161 a6989586621680095162 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680127504Sym2 a6989586621680127514 a6989586621680127515 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621679766117GoSym2 w6989586621679766115 ws6989586621679766116 :: TyFun [Symbol] Symbol -> Type)
Instance details Defined in Data.List.Singletons.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680095001Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680120020Scrutinee_6989586621680119979Sym1 s6989586621680120019 :: TyFun k1 (TyFun k2 (TyFun k3 (Maybe (Char, Symbol)) -> Type) -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680120016ContSym2 p6989586621680120013 f6989586621680120014 :: TyFun k2 (TyFun Symbol Symbol -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680095073ShowlSym1 showx6989586621680095069 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095203Sym0 :: TyFun Natural ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095186Sym1 a6989586621680095192 :: TyFun (a, b, c, d) (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680494147Sym2 a6989586621680494155 a6989586621680494156 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Functor.Const.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680120016ContSym3 p6989586621680120013 f6989586621680120014 a_69895866216801200046989586621680120015 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095170Sym2 a6989586621680095176 a6989586621680095177 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680095001Sym1 ss6989586621680094999 :: TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680120020Scrutinee_6989586621680119979Sym2 s6989586621680120019 p6989586621680120013 :: TyFun k2 (TyFun k3 (Maybe (Char, Symbol)) -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680095073ShowlSym2 showx6989586621680095069 x6989586621680095070 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680095001Sym2 ss6989586621680094999 a_69895866216800949926989586621680095000 :: TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095221Sym0 :: TyFun Natural ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095203Sym1 a6989586621680095209 :: TyFun (a, b, c, d, e) (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680095073ShowlSym3 showx6989586621680095069 x6989586621680095070 xs6989586621680095071 :: TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095186Sym2 a6989586621680095192 a6989586621680095193 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680120020Scrutinee_6989586621680119979Sym3 s6989586621680120019 p6989586621680120013 f6989586621680120014 :: TyFun k3 (Maybe (Char, Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680095001Sym3 ss6989586621680094999 a_69895866216800949926989586621680095000 s6989586621680095003 :: TyFun (a ~> Symbol) (a ~> c) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095240Sym0 :: TyFun Natural ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095221Sym1 a6989586621680095227 :: TyFun (a, b, c, d, e, f) (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095203Sym2 a6989586621680095209 a6989586621680095210 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680095073ShowlSym4 showx6989586621680095069 x6989586621680095070 xs6989586621680095071 s6989586621680095072 :: TyFun [k1] Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095240Sym1 a6989586621680095246 :: TyFun (a, b, c, d, e, f, g) (Symbol ~> Symbol) -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095221Sym2 a6989586621680095227 a6989586621680095228 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680095240Sym2 a6989586621680095246 a6989586621680095247 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Text.Show.Singletons Methods suppressUnusedWarnings :: () #
(TypeHasDoc a, KnownSymbol field) => GProductHasDoc (S1 ('MetaSel ('Just field) _1 _2 _3) (Rec0 a)) Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Doc Methods gProductDocHaskellRep :: [(Text, Text)] -> [FieldRep SomeTypeWithDoc]
TypeHasDoc a => GProductHasDoc (S1 ('MetaSel ('Nothing :: Maybe Symbol) _1 _2 _3) (Rec0 a)) Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Doc Methods gProductDocHaskellRep :: [(Text, Text)] -> [FieldRep SomeTypeWithDoc]
IsRecord (M1 S ('MetaSel ('Nothing :: Maybe Symbol) u ss ds) f) False
Instance details Defined in Data.Aeson.Types.Generic
type DemoteRep Symbol
Instance details Defined in GHC.Generics type DemoteRep Symbol = String
data Sing (s :: Symbol)
Instance details Defined in GHC.Generics data Sing (s :: Symbol) where SSym :: forall (s :: Symbol). KnownSymbol s => Sing s
type MEmpty
Instance details Defined in Fcf.Class.Monoid type MEmpty = ""
type Demote Symbol
Instance details Defined in GHC.TypeLits.Singletons.Internal type Demote Symbol = Text
type Sing
Instance details Defined in GHC.TypeLits.Singletons.Internal type Sing = SSymbol
type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty = Mempty_6989586621680170120Sym0
type Mconcat (arg :: [Symbol])
Instance details Defined in Data.Monoid.Singletons type Mconcat (arg :: [Symbol]) = Apply (Mconcat_6989586621680170070Sym0 :: TyFun [Symbol] Symbol -> Type) arg
type Sconcat (arg :: NonEmpty Symbol)
Instance details Defined in Data.Semigroup.Singletons.Internal type Sconcat (arg :: NonEmpty Symbol) = Apply (Sconcat_6989586621679625012Sym0 :: TyFun (NonEmpty Symbol) Symbol -> Type) arg
type Show_ (arg :: Symbol)
Instance details Defined in Text.Show.Singletons type Show_ (arg :: Symbol) = Apply (Show__6989586621680095117Sym0 :: TyFun Symbol Symbol -> Type) arg
type Compare (a :: Symbol) (b :: Symbol)
Instance details Defined in Data.Type.Ord type Compare (a :: Symbol) (b :: Symbol) = CmpSymbol a b
type (x :: Symbol) <> (y :: Symbol)	With base >= 4.10.0.0.
Instance details Defined in Fcf.Class.Monoid type (x :: Symbol) <> (y :: Symbol) = AppendSymbol x y
type (arg :: Symbol) /= (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Symbol) /= (arg1 :: Symbol) = Apply (Apply (TFHelper_6989586621679133659Sym0 :: TyFun Symbol (Symbol ~> Bool) -> Type) arg) arg1
type (x :: Symbol) == (y :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (x :: Symbol) == (y :: Symbol) = DefaultEq x y
type Mappend (arg1 :: Symbol) (arg2 :: Symbol)
Instance details Defined in Data.Monoid.Singletons type Mappend (arg1 :: Symbol) (arg2 :: Symbol) = Apply (Apply (Mappend_6989586621680170056Sym0 :: TyFun Symbol (Symbol ~> Symbol) -> Type) arg1) arg2
type (arg :: Symbol) < (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Symbol) < (arg1 :: Symbol) = Apply (Apply (TFHelper_6989586621679173484Sym0 :: TyFun Symbol (Symbol ~> Bool) -> Type) arg) arg1
type (arg :: Symbol) <= (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Symbol) <= (arg1 :: Symbol) = Apply (Apply (TFHelper_6989586621679173500Sym0 :: TyFun Symbol (Symbol ~> Bool) -> Type) arg) arg1
type (arg :: Symbol) > (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Symbol) > (arg1 :: Symbol) = Apply (Apply (TFHelper_6989586621679173516Sym0 :: TyFun Symbol (Symbol ~> Bool) -> Type) arg) arg1
type (arg :: Symbol) >= (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Symbol) >= (arg1 :: Symbol) = Apply (Apply (TFHelper_6989586621679173532Sym0 :: TyFun Symbol (Symbol ~> Bool) -> Type) arg) arg1
type Compare (a :: Symbol) (b :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Compare (a :: Symbol) (b :: Symbol) = CmpSymbol a b
type Max (arg :: Symbol) (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Max (arg :: Symbol) (arg1 :: Symbol) = Apply (Apply (Max_6989586621679173548Sym0 :: TyFun Symbol (Symbol ~> Symbol) -> Type) arg) arg1
type Min (arg :: Symbol) (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Min (arg :: Symbol) (arg1 :: Symbol) = Apply (Apply (Min_6989586621679173564Sym0 :: TyFun Symbol (Symbol ~> Symbol) -> Type) arg) arg1
type (a :: Symbol) <> (b :: Symbol)
Instance details Defined in Data.Semigroup.Singletons.Internal type (a :: Symbol) <> (b :: Symbol) = AppendSymbol a b
type ShowList (arg1 :: [Symbol]) arg2
Instance details Defined in Text.Show.Singletons type ShowList (arg1 :: [Symbol]) arg2 = Apply (Apply (ShowList_6989586621680095125Sym0 :: TyFun [Symbol] (Symbol ~> Symbol) -> Type) arg1) arg2
type Apply KnownSymbolSym0 (a6989586621679508169 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons type Apply KnownSymbolSym0 (a6989586621679508169 :: Symbol) = KnownSymbol a6989586621679508169
type Apply ShowCommaSpaceSym0 (a6989586621680095012 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply ShowCommaSpaceSym0 (a6989586621680095012 :: Symbol) = ShowCommaSpace a6989586621680095012
type Apply ShowSpaceSym0 (a6989586621680095018 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply ShowSpaceSym0 (a6989586621680095018 :: Symbol) = ShowSpace a6989586621680095018
type ShowsPrec _1 (s :: Symbol) x
Instance details Defined in Text.Show.Singletons type ShowsPrec _1 (s :: Symbol) x = ShowSymbol s x
type Apply (ConsSymbolSym1 a6989586621679511543 :: TyFun Symbol Symbol -> Type) (a6989586621679511544 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons type Apply (ConsSymbolSym1 a6989586621679511543 :: TyFun Symbol Symbol -> Type) (a6989586621679511544 :: Symbol) = ConsSymbol a6989586621679511543 a6989586621679511544
type Apply (ShowCharListSym1 a6989586621680120118 :: TyFun Symbol Symbol -> Type) (a6989586621680120119 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowCharListSym1 a6989586621680120118 :: TyFun Symbol Symbol -> Type) (a6989586621680120119 :: Symbol) = ShowCharList a6989586621680120118 a6989586621680120119
type Apply (ShowCharSym1 a6989586621680095057 :: TyFun Symbol Symbol -> Type) (a6989586621680095058 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowCharSym1 a6989586621680095057 :: TyFun Symbol Symbol -> Type) (a6989586621680095058 :: Symbol) = ShowChar a6989586621680095057 a6989586621680095058
type Apply (ShowLitCharSym1 a6989586621680120065 :: TyFun Symbol Symbol -> Type) (a6989586621680120066 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowLitCharSym1 a6989586621680120065 :: TyFun Symbol Symbol -> Type) (a6989586621680120066 :: Symbol) = ShowLitChar a6989586621680120065 a6989586621680120066
type Apply (ShowLitStringSym1 a6989586621680120054 :: TyFun Symbol Symbol -> Type) (a6989586621680120055 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowLitStringSym1 a6989586621680120054 :: TyFun Symbol Symbol -> Type) (a6989586621680120055 :: Symbol) = ShowLitString a6989586621680120054 a6989586621680120055
type Apply (ShowLitSymbolSym1 a6989586621680120039 :: TyFun Symbol Symbol -> Type) (a6989586621680120040 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowLitSymbolSym1 a6989586621680120039 :: TyFun Symbol Symbol -> Type) (a6989586621680120040 :: Symbol) = ShowLitSymbol a6989586621680120039 a6989586621680120040
type Apply (ShowStringSym1 a6989586621680095046 :: TyFun Symbol Symbol -> Type) (a6989586621680095047 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowStringSym1 a6989586621680095046 :: TyFun Symbol Symbol -> Type) (a6989586621680095047 :: Symbol) = ShowString a6989586621680095046 a6989586621680095047
type Apply (ShowSymbolSym1 a6989586621680120109 :: TyFun Symbol Symbol -> Type) (a6989586621680120110 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowSymbolSym1 a6989586621680120109 :: TyFun Symbol Symbol -> Type) (a6989586621680120110 :: Symbol) = ShowSymbol a6989586621680120109 a6989586621680120110
type Apply (Show_tupleSym1 a6989586621680094997 :: TyFun Symbol Symbol -> Type) (a6989586621680094998 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (Show_tupleSym1 a6989586621680094997 :: TyFun Symbol Symbol -> Type) (a6989586621680094998 :: Symbol) = Show_tuple a6989586621680094997 a6989586621680094998
type Apply (ShowsNatSym1 a6989586621680118200 :: TyFun Symbol Symbol -> Type) (a6989586621680118201 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsNatSym1 a6989586621680118200 :: TyFun Symbol Symbol -> Type) (a6989586621680118201 :: Symbol) = ShowsNat a6989586621680118200 a6989586621680118201
type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (a6989586621680095096 :: a)
Instance details Defined in Text.Show.Singletons type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (a6989586621680095096 :: a) = Show_ a6989586621680095096
type Apply (Show__6989586621680095117Sym0 :: TyFun a Symbol -> Type) (a6989586621680095121 :: a)
Instance details Defined in Text.Show.Singletons type Apply (Show__6989586621680095117Sym0 :: TyFun a Symbol -> Type) (a6989586621680095121 :: a) = Show__6989586621680095117 a6989586621680095121
type Apply (ShowsPrec_6989586621680647397Sym2 a6989586621680647405 a6989586621680647406 :: TyFun Symbol Symbol -> Type) (a6989586621680647407 :: Symbol)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647397Sym2 a6989586621680647405 a6989586621680647406 :: TyFun Symbol Symbol -> Type) (a6989586621680647407 :: Symbol) = ShowsPrec_6989586621680647397 a6989586621680647405 a6989586621680647406 a6989586621680647407
type Apply (ShowsPrec_6989586621680647421Sym2 a6989586621680647429 a6989586621680647430 :: TyFun Symbol Symbol -> Type) (a6989586621680647431 :: Symbol)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647421Sym2 a6989586621680647429 a6989586621680647430 :: TyFun Symbol Symbol -> Type) (a6989586621680647431 :: Symbol) = ShowsPrec_6989586621680647421 a6989586621680647429 a6989586621680647430 a6989586621680647431
type Apply (Lambda_6989586621680095020Sym1 a_69895866216800950146989586621680095019 :: TyFun Symbol Symbol -> Type) (xs6989586621680095022 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (Lambda_6989586621680095020Sym1 a_69895866216800950146989586621680095019 :: TyFun Symbol Symbol -> Type) (xs6989586621680095022 :: Symbol) = Lambda_6989586621680095020 a_69895866216800950146989586621680095019 xs6989586621680095022
type Apply (ProtectEscSym2 a6989586621680120010 a6989586621680120011 :: TyFun Symbol Symbol -> Type) (a6989586621680120012 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ProtectEscSym2 a6989586621680120010 a6989586621680120011 :: TyFun Symbol Symbol -> Type) (a6989586621680120012 :: Symbol) = ProtectEsc a6989586621680120010 a6989586621680120011 a6989586621680120012
type Apply (ShowListSym1 a6989586621680095100 :: TyFun Symbol Symbol -> Type) (a6989586621680095101 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowListSym1 a6989586621680095100 :: TyFun Symbol Symbol -> Type) (a6989586621680095101 :: Symbol) = ShowList a6989586621680095100 a6989586621680095101
type Apply (ShowList_6989586621680095125Sym1 a6989586621680095130 :: TyFun Symbol Symbol -> Type) (a6989586621680095131 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowList_6989586621680095125Sym1 a6989586621680095130 :: TyFun Symbol Symbol -> Type) (a6989586621680095131 :: Symbol) = ShowList_6989586621680095125 a6989586621680095130 a6989586621680095131
type Apply (ShowParenSym2 a6989586621680095030 a6989586621680095031 :: TyFun Symbol Symbol -> Type) (a6989586621680095032 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowParenSym2 a6989586621680095030 a6989586621680095031 :: TyFun Symbol Symbol -> Type) (a6989586621680095032 :: Symbol) = ShowParen a6989586621680095030 a6989586621680095031 a6989586621680095032
type Apply (ShowsCharPrecSym2 a6989586621680120130 a6989586621680120131 :: TyFun Symbol Symbol -> Type) (a6989586621680120132 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsCharPrecSym2 a6989586621680120130 a6989586621680120131 :: TyFun Symbol Symbol -> Type) (a6989586621680120132 :: Symbol) = ShowsCharPrec a6989586621680120130 a6989586621680120131 a6989586621680120132
type Apply (ShowsPrec_6989586621680127424Sym2 a6989586621680127432 a6989586621680127433 :: TyFun Symbol Symbol -> Type) (a6989586621680127434 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127424Sym2 a6989586621680127432 a6989586621680127433 :: TyFun Symbol Symbol -> Type) (a6989586621680127434 :: Symbol) = ShowsPrec_6989586621680127424 a6989586621680127432 a6989586621680127433 a6989586621680127434
type Apply (ShowsPrec_6989586621680127564Sym2 a6989586621680127574 a6989586621680127575 :: TyFun Symbol Symbol -> Type) (a6989586621680127576 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127564Sym2 a6989586621680127574 a6989586621680127575 :: TyFun Symbol Symbol -> Type) (a6989586621680127576 :: Symbol) = ShowsPrec_6989586621680127564 a6989586621680127574 a6989586621680127575 a6989586621680127576
type Apply (ShowsPrec_6989586621680127586Sym2 a6989586621680127598 a6989586621680127599 :: TyFun Symbol Symbol -> Type) (a6989586621680127600 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127586Sym2 a6989586621680127598 a6989586621680127599 :: TyFun Symbol Symbol -> Type) (a6989586621680127600 :: Symbol) = ShowsPrec_6989586621680127586 a6989586621680127598 a6989586621680127599 a6989586621680127600
type Apply (ShowsPrec_6989586621680127614Sym2 a6989586621680127622 a6989586621680127623 :: TyFun Symbol Symbol -> Type) (a6989586621680127624 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127614Sym2 a6989586621680127622 a6989586621680127623 :: TyFun Symbol Symbol -> Type) (a6989586621680127624 :: Symbol) = ShowsPrec_6989586621680127614 a6989586621680127622 a6989586621680127623 a6989586621680127624
type Apply (ShowsSym1 a6989586621680095083 :: TyFun Symbol Symbol -> Type) (a6989586621680095084 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsSym1 a6989586621680095083 :: TyFun Symbol Symbol -> Type) (a6989586621680095084 :: Symbol) = Shows a6989586621680095083 a6989586621680095084
type Apply (ShowsPrec_6989586621680459070Sym2 a6989586621680459078 a6989586621680459079 :: TyFun Symbol Symbol -> Type) (a6989586621680459080 :: Symbol)
Instance details Defined in Data.Functor.Identity.Singletons type Apply (ShowsPrec_6989586621680459070Sym2 a6989586621680459078 a6989586621680459079 :: TyFun Symbol Symbol -> Type) (a6989586621680459080 :: Symbol) = ShowsPrec_6989586621680459070 a6989586621680459078 a6989586621680459079 a6989586621680459080
type Apply (ShowsPrec_6989586621680180948Sym2 a6989586621680180956 a6989586621680180957 :: TyFun Symbol Symbol -> Type) (a6989586621680180958 :: Symbol)
Instance details Defined in Data.Monoid.Singletons type Apply (ShowsPrec_6989586621680180948Sym2 a6989586621680180956 a6989586621680180957 :: TyFun Symbol Symbol -> Type) (a6989586621680180958 :: Symbol) = ShowsPrec_6989586621680180948 a6989586621680180956 a6989586621680180957 a6989586621680180958
type Apply (ShowsPrec_6989586621680180996Sym2 a6989586621680181004 a6989586621680181005 :: TyFun Symbol Symbol -> Type) (a6989586621680181006 :: Symbol)
Instance details Defined in Data.Monoid.Singletons type Apply (ShowsPrec_6989586621680180996Sym2 a6989586621680181004 a6989586621680181005 :: TyFun Symbol Symbol -> Type) (a6989586621680181006 :: Symbol) = ShowsPrec_6989586621680180996 a6989586621680181004 a6989586621680181005 a6989586621680181006
type Apply (ShowsPrec_6989586621680647373Sym2 a6989586621680647381 a6989586621680647382 :: TyFun Symbol Symbol -> Type) (a6989586621680647383 :: Symbol)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647373Sym2 a6989586621680647381 a6989586621680647382 :: TyFun Symbol Symbol -> Type) (a6989586621680647383 :: Symbol) = ShowsPrec_6989586621680647373 a6989586621680647381 a6989586621680647382 a6989586621680647383
type Apply (ShowsPrec_6989586621680647448Sym2 a6989586621680647456 a6989586621680647457 :: TyFun Symbol Symbol -> Type) (a6989586621680647458 :: Symbol)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647448Sym2 a6989586621680647456 a6989586621680647457 :: TyFun Symbol Symbol -> Type) (a6989586621680647458 :: Symbol) = ShowsPrec_6989586621680647448 a6989586621680647456 a6989586621680647457 a6989586621680647458
type Apply (ShowsPrec_6989586621680647475Sym2 a6989586621680647483 a6989586621680647484 :: TyFun Symbol Symbol -> Type) (a6989586621680647485 :: Symbol)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647475Sym2 a6989586621680647483 a6989586621680647484 :: TyFun Symbol Symbol -> Type) (a6989586621680647485 :: Symbol) = ShowsPrec_6989586621680647475 a6989586621680647483 a6989586621680647484 a6989586621680647485
type Apply (ShowsPrec_6989586621680647502Sym2 a6989586621680647510 a6989586621680647511 :: TyFun Symbol Symbol -> Type) (a6989586621680647512 :: Symbol)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647502Sym2 a6989586621680647510 a6989586621680647511 :: TyFun Symbol Symbol -> Type) (a6989586621680647512 :: Symbol) = ShowsPrec_6989586621680647502 a6989586621680647510 a6989586621680647511 a6989586621680647512
type Apply (ShowsPrec_6989586621680647529Sym2 a6989586621680647537 a6989586621680647538 :: TyFun Symbol Symbol -> Type) (a6989586621680647539 :: Symbol)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647529Sym2 a6989586621680647537 a6989586621680647538 :: TyFun Symbol Symbol -> Type) (a6989586621680647539 :: Symbol) = ShowsPrec_6989586621680647529 a6989586621680647537 a6989586621680647538 a6989586621680647539
type Apply (ShowsPrec_6989586621680647556Sym2 a6989586621680647564 a6989586621680647565 :: TyFun Symbol Symbol -> Type) (a6989586621680647566 :: Symbol)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647556Sym2 a6989586621680647564 a6989586621680647565 :: TyFun Symbol Symbol -> Type) (a6989586621680647566 :: Symbol) = ShowsPrec_6989586621680647556 a6989586621680647564 a6989586621680647565 a6989586621680647566
type Apply (ShowsPrec_6989586621680647583Sym2 a6989586621680647591 a6989586621680647592 :: TyFun Symbol Symbol -> Type) (a6989586621680647593 :: Symbol)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647583Sym2 a6989586621680647591 a6989586621680647592 :: TyFun Symbol Symbol -> Type) (a6989586621680647593 :: Symbol) = ShowsPrec_6989586621680647583 a6989586621680647591 a6989586621680647592 a6989586621680647593
type Apply (ShowsPrec_6989586621680647610Sym2 a6989586621680647618 a6989586621680647619 :: TyFun Symbol Symbol -> Type) (a6989586621680647620 :: Symbol)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647610Sym2 a6989586621680647618 a6989586621680647619 :: TyFun Symbol Symbol -> Type) (a6989586621680647620 :: Symbol) = ShowsPrec_6989586621680647610 a6989586621680647618 a6989586621680647619 a6989586621680647620
type Apply (ShowListWithSym2 a6989586621680095065 a6989586621680095066 :: TyFun Symbol Symbol -> Type) (a6989586621680095067 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowListWithSym2 a6989586621680095065 a6989586621680095066 :: TyFun Symbol Symbol -> Type) (a6989586621680095067 :: Symbol) = ShowListWith a6989586621680095065 a6989586621680095066 a6989586621680095067
type Apply (ShowsPrecSym2 a6989586621680095091 a6989586621680095092 :: TyFun Symbol Symbol -> Type) (a6989586621680095093 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrecSym2 a6989586621680095091 a6989586621680095092 :: TyFun Symbol Symbol -> Type) (a6989586621680095093 :: Symbol) = ShowsPrec a6989586621680095091 a6989586621680095092 a6989586621680095093
type Apply (ShowsPrec_6989586621680095105Sym2 a6989586621680095111 a6989586621680095112 :: TyFun Symbol Symbol -> Type) (a6989586621680095113 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095105Sym2 a6989586621680095111 a6989586621680095112 :: TyFun Symbol Symbol -> Type) (a6989586621680095113 :: Symbol) = ShowsPrec_6989586621680095105 a6989586621680095111 a6989586621680095112 a6989586621680095113
type Apply (ShowsPrec_6989586621680095137Sym2 a6989586621680095147 a6989586621680095148 :: TyFun Symbol Symbol -> Type) (a6989586621680095149 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095137Sym2 a6989586621680095147 a6989586621680095148 :: TyFun Symbol Symbol -> Type) (a6989586621680095149 :: Symbol) = ShowsPrec_6989586621680095137 a6989586621680095147 a6989586621680095148 a6989586621680095149
type Apply (ShowsPrec_6989586621680127454Sym2 a6989586621680127464 a6989586621680127465 :: TyFun Symbol Symbol -> Type) (a6989586621680127466 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127454Sym2 a6989586621680127464 a6989586621680127465 :: TyFun Symbol Symbol -> Type) (a6989586621680127466 :: Symbol) = ShowsPrec_6989586621680127454 a6989586621680127464 a6989586621680127465 a6989586621680127466
type Apply (ShowsPrec_6989586621680127540Sym2 a6989586621680127548 a6989586621680127549 :: TyFun Symbol Symbol -> Type) (a6989586621680127550 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127540Sym2 a6989586621680127548 a6989586621680127549 :: TyFun Symbol Symbol -> Type) (a6989586621680127550 :: Symbol) = ShowsPrec_6989586621680127540 a6989586621680127548 a6989586621680127549 a6989586621680127550
type Apply (ShowsPrec_6989586621680230472Sym2 a6989586621680230480 a6989586621680230481 :: TyFun Symbol Symbol -> Type) (a6989586621680230482 :: Symbol)
Instance details Defined in Data.Proxy.Singletons type Apply (ShowsPrec_6989586621680230472Sym2 a6989586621680230480 a6989586621680230481 :: TyFun Symbol Symbol -> Type) (a6989586621680230482 :: Symbol) = ShowsPrec_6989586621680230472 a6989586621680230480 a6989586621680230481 a6989586621680230482
type Apply (ShowsPrec_6989586621680669533Sym2 a6989586621680669541 a6989586621680669542 :: TyFun Symbol Symbol -> Type) (a6989586621680669543 :: Symbol)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680669533Sym2 a6989586621680669541 a6989586621680669542 :: TyFun Symbol Symbol -> Type) (a6989586621680669543 :: Symbol) = ShowsPrec_6989586621680669533 a6989586621680669541 a6989586621680669542 a6989586621680669543
type Apply (ShowsPrec_6989586621680095155Sym2 a6989586621680095161 a6989586621680095162 :: TyFun Symbol Symbol -> Type) (a6989586621680095163 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095155Sym2 a6989586621680095161 a6989586621680095162 :: TyFun Symbol Symbol -> Type) (a6989586621680095163 :: Symbol) = ShowsPrec_6989586621680095155 a6989586621680095161 a6989586621680095162 a6989586621680095163
type Apply (ShowsPrec_6989586621680127504Sym2 a6989586621680127514 a6989586621680127515 :: TyFun Symbol Symbol -> Type) (a6989586621680127516 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127504Sym2 a6989586621680127514 a6989586621680127515 :: TyFun Symbol Symbol -> Type) (a6989586621680127516 :: Symbol) = ShowsPrec_6989586621680127504 a6989586621680127514 a6989586621680127515 a6989586621680127516
type Apply (ShowsPrec_6989586621680494147Sym2 a6989586621680494155 a6989586621680494156 :: TyFun Symbol Symbol -> Type) (a6989586621680494157 :: Symbol)
Instance details Defined in Data.Functor.Const.Singletons type Apply (ShowsPrec_6989586621680494147Sym2 a6989586621680494155 a6989586621680494156 :: TyFun Symbol Symbol -> Type) (a6989586621680494157 :: Symbol) = ShowsPrec_6989586621680494147 a6989586621680494155 a6989586621680494156 a6989586621680494157
type Apply (Let6989586621680120016ContSym3 p6989586621680120013 f6989586621680120014 a_69895866216801200046989586621680120015 :: TyFun Symbol Symbol -> Type) (a6989586621680120017 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680120016ContSym3 p6989586621680120013 f6989586621680120014 a_69895866216801200046989586621680120015 :: TyFun Symbol Symbol -> Type) (a6989586621680120017 :: Symbol) = Let6989586621680120016Cont p6989586621680120013 f6989586621680120014 a_69895866216801200046989586621680120015 a6989586621680120017
type Apply (ShowsPrec_6989586621680095170Sym2 a6989586621680095176 a6989586621680095177 :: TyFun Symbol Symbol -> Type) (a6989586621680095178 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095170Sym2 a6989586621680095176 a6989586621680095177 :: TyFun Symbol Symbol -> Type) (a6989586621680095178 :: Symbol) = ShowsPrec_6989586621680095170 a6989586621680095176 a6989586621680095177 a6989586621680095178
type Apply (ShowsPrec_6989586621680095186Sym2 a6989586621680095192 a6989586621680095193 :: TyFun Symbol Symbol -> Type) (a6989586621680095194 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095186Sym2 a6989586621680095192 a6989586621680095193 :: TyFun Symbol Symbol -> Type) (a6989586621680095194 :: Symbol) = ShowsPrec_6989586621680095186 a6989586621680095192 a6989586621680095193 a6989586621680095194
type Apply (ShowsPrec_6989586621680095203Sym2 a6989586621680095209 a6989586621680095210 :: TyFun Symbol Symbol -> Type) (a6989586621680095211 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095203Sym2 a6989586621680095209 a6989586621680095210 :: TyFun Symbol Symbol -> Type) (a6989586621680095211 :: Symbol) = ShowsPrec_6989586621680095203 a6989586621680095209 a6989586621680095210 a6989586621680095211
type Apply (ShowsPrec_6989586621680095221Sym2 a6989586621680095227 a6989586621680095228 :: TyFun Symbol Symbol -> Type) (a6989586621680095229 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095221Sym2 a6989586621680095227 a6989586621680095228 :: TyFun Symbol Symbol -> Type) (a6989586621680095229 :: Symbol) = ShowsPrec_6989586621680095221 a6989586621680095227 a6989586621680095228 a6989586621680095229
type Apply (ShowsPrec_6989586621680095240Sym2 a6989586621680095246 a6989586621680095247 :: TyFun Symbol Symbol -> Type) (a6989586621680095248 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095240Sym2 a6989586621680095246 a6989586621680095247 :: TyFun Symbol Symbol -> Type) (a6989586621680095248 :: Symbol) = ShowsPrec_6989586621680095240 a6989586621680095246 a6989586621680095247 a6989586621680095248
type Apply UnconsSymbolSym0 (a6989586621679512089 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons type Apply UnconsSymbolSym0 (a6989586621679512089 :: Symbol) = UnconsSymbol a6989586621679512089
type Apply (Let6989586621680120043Scrutinee_6989586621680119971Sym1 sym6989586621680120041 :: TyFun k (Maybe (Char, Symbol)) -> Type) (s6989586621680120042 :: k)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680120043Scrutinee_6989586621680119971Sym1 sym6989586621680120041 :: TyFun k (Maybe (Char, Symbol)) -> Type) (s6989586621680120042 :: k) = Let6989586621680120043Scrutinee_6989586621680119971 sym6989586621680120041 s6989586621680120042
type Apply (Let6989586621680120020Scrutinee_6989586621680119979Sym3 s6989586621680120019 p6989586621680120013 f6989586621680120014 :: TyFun k3 (Maybe (Char, Symbol)) -> Type) (a_69895866216801200046989586621680120015 :: k3)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680120020Scrutinee_6989586621680119979Sym3 s6989586621680120019 p6989586621680120013 f6989586621680120014 :: TyFun k3 (Maybe (Char, Symbol)) -> Type) (a_69895866216801200046989586621680120015 :: k3) = Let6989586621680120020Scrutinee_6989586621680119979 s6989586621680120019 p6989586621680120013 f6989586621680120014 a_69895866216801200046989586621680120015
type Apply ShowsPrec_6989586621680647397Sym0 (a6989586621680647405 :: Natural)
Instance details Defined in Data.Semigroup.Singletons type Apply ShowsPrec_6989586621680647397Sym0 (a6989586621680647405 :: Natural) = ShowsPrec_6989586621680647397Sym1 a6989586621680647405
type Apply ShowsPrec_6989586621680647421Sym0 (a6989586621680647429 :: Natural)
Instance details Defined in Data.Semigroup.Singletons type Apply ShowsPrec_6989586621680647421Sym0 (a6989586621680647429 :: Natural) = ShowsPrec_6989586621680647421Sym1 a6989586621680647429
type Apply ShowsPrec_6989586621680127614Sym0 (a6989586621680127622 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply ShowsPrec_6989586621680127614Sym0 (a6989586621680127622 :: Natural) = ShowsPrec_6989586621680127614Sym1 a6989586621680127622
type Apply ShowsPrec_6989586621680127586Sym0 (a6989586621680127598 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply ShowsPrec_6989586621680127586Sym0 (a6989586621680127598 :: Natural) = ShowsPrec_6989586621680127586Sym1 a6989586621680127598
type Apply ShowsPrec_6989586621680127424Sym0 (a6989586621680127432 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply ShowsPrec_6989586621680127424Sym0 (a6989586621680127432 :: Natural) = ShowsPrec_6989586621680127424Sym1 a6989586621680127432
type Apply ShowsPrec_6989586621680127564Sym0 (a6989586621680127574 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply ShowsPrec_6989586621680127564Sym0 (a6989586621680127574 :: Natural) = ShowsPrec_6989586621680127564Sym1 a6989586621680127574
type Apply ShowsCharPrecSym0 (a6989586621680120130 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply ShowsCharPrecSym0 (a6989586621680120130 :: Natural) = ShowsCharPrecSym1 a6989586621680120130
type Apply ShowsNatSym0 (a6989586621680118200 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply ShowsNatSym0 (a6989586621680118200 :: Natural) = ShowsNatSym1 a6989586621680118200
type Apply ShowParenSym0 (a6989586621680095030 :: Bool)
Instance details Defined in Text.Show.Singletons type Apply ShowParenSym0 (a6989586621680095030 :: Bool) = ShowParenSym1 a6989586621680095030
type Apply ConsSymbolSym0 (a6989586621679511543 :: Char)
Instance details Defined in GHC.TypeLits.Singletons type Apply ConsSymbolSym0 (a6989586621679511543 :: Char) = ConsSymbolSym1 a6989586621679511543
type Apply ShowCharSym0 (a6989586621680095057 :: Char)
Instance details Defined in Text.Show.Singletons type Apply ShowCharSym0 (a6989586621680095057 :: Char) = ShowCharSym1 a6989586621680095057
type Apply ShowLitCharSym0 (a6989586621680120065 :: Char)
Instance details Defined in Text.Show.Singletons type Apply ShowLitCharSym0 (a6989586621680120065 :: Char) = ShowLitCharSym1 a6989586621680120065
type Apply ShowLitSymbolSym0 (a6989586621680120039 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply ShowLitSymbolSym0 (a6989586621680120039 :: Symbol) = ShowLitSymbolSym1 a6989586621680120039
type Apply ShowStringSym0 (a6989586621680095046 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply ShowStringSym0 (a6989586621680095046 :: Symbol) = ShowStringSym1 a6989586621680095046
type Apply ShowSymbolSym0 (a6989586621680120109 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply ShowSymbolSym0 (a6989586621680120109 :: Symbol) = ShowSymbolSym1 a6989586621680120109
type Apply (ShowsPrec_6989586621680647397Sym1 a6989586621680647405 :: TyFun All (Symbol ~> Symbol) -> Type) (a6989586621680647406 :: All)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647397Sym1 a6989586621680647405 :: TyFun All (Symbol ~> Symbol) -> Type) (a6989586621680647406 :: All) = ShowsPrec_6989586621680647397Sym2 a6989586621680647405 a6989586621680647406
type Apply (ShowsPrec_6989586621680647421Sym1 a6989586621680647429 :: TyFun Any (Symbol ~> Symbol) -> Type) (a6989586621680647430 :: Any)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647421Sym1 a6989586621680647429 :: TyFun Any (Symbol ~> Symbol) -> Type) (a6989586621680647430 :: Any) = ShowsPrec_6989586621680647421Sym2 a6989586621680647429 a6989586621680647430
type Apply (ShowsPrec_6989586621680127614Sym1 a6989586621680127622 :: TyFun Void (Symbol ~> Symbol) -> Type) (a6989586621680127623 :: Void)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127614Sym1 a6989586621680127622 :: TyFun Void (Symbol ~> Symbol) -> Type) (a6989586621680127623 :: Void) = ShowsPrec_6989586621680127614Sym2 a6989586621680127622 a6989586621680127623
type Apply (ShowsPrec_6989586621680127586Sym1 a6989586621680127598 :: TyFun Ordering (Symbol ~> Symbol) -> Type) (a6989586621680127599 :: Ordering)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127586Sym1 a6989586621680127598 :: TyFun Ordering (Symbol ~> Symbol) -> Type) (a6989586621680127599 :: Ordering) = ShowsPrec_6989586621680127586Sym2 a6989586621680127598 a6989586621680127599
type Apply (ShowsPrec_6989586621680459070Sym0 :: TyFun Natural (Identity a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680459078 :: Natural)
Instance details Defined in Data.Functor.Identity.Singletons type Apply (ShowsPrec_6989586621680459070Sym0 :: TyFun Natural (Identity a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680459078 :: Natural) = ShowsPrec_6989586621680459070Sym1 a6989586621680459078 :: TyFun (Identity a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680180948Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680180956 :: Natural)
Instance details Defined in Data.Monoid.Singletons type Apply (ShowsPrec_6989586621680180948Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680180956 :: Natural) = ShowsPrec_6989586621680180948Sym1 a6989586621680180956 :: TyFun (First a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680180996Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680181004 :: Natural)
Instance details Defined in Data.Monoid.Singletons type Apply (ShowsPrec_6989586621680180996Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680181004 :: Natural) = ShowsPrec_6989586621680180996Sym1 a6989586621680181004 :: TyFun (Last a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680647556Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647564 :: Natural)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647556Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647564 :: Natural) = ShowsPrec_6989586621680647556Sym1 a6989586621680647564 :: TyFun (First a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680647583Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647591 :: Natural)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647583Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647591 :: Natural) = ShowsPrec_6989586621680647583Sym1 a6989586621680647591 :: TyFun (Last a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680647529Sym0 :: TyFun Natural (Max a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647537 :: Natural)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647529Sym0 :: TyFun Natural (Max a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647537 :: Natural) = ShowsPrec_6989586621680647529Sym1 a6989586621680647537 :: TyFun (Max a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680647502Sym0 :: TyFun Natural (Min a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647510 :: Natural)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647502Sym0 :: TyFun Natural (Min a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647510 :: Natural) = ShowsPrec_6989586621680647502Sym1 a6989586621680647510 :: TyFun (Min a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680647610Sym0 :: TyFun Natural (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647618 :: Natural)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647610Sym0 :: TyFun Natural (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647618 :: Natural) = ShowsPrec_6989586621680647610Sym1 a6989586621680647618 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680647373Sym0 :: TyFun Natural (Dual a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647381 :: Natural)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647373Sym0 :: TyFun Natural (Dual a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647381 :: Natural) = ShowsPrec_6989586621680647373Sym1 a6989586621680647381 :: TyFun (Dual a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680647475Sym0 :: TyFun Natural (Product a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647483 :: Natural)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647475Sym0 :: TyFun Natural (Product a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647483 :: Natural) = ShowsPrec_6989586621680647475Sym1 a6989586621680647483 :: TyFun (Product a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680647448Sym0 :: TyFun Natural (Sum a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647456 :: Natural)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647448Sym0 :: TyFun Natural (Sum a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647456 :: Natural) = ShowsPrec_6989586621680647448Sym1 a6989586621680647456 :: TyFun (Sum a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680127540Sym0 :: TyFun Natural (NonEmpty a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680127548 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127540Sym0 :: TyFun Natural (NonEmpty a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680127548 :: Natural) = ShowsPrec_6989586621680127540Sym1 a6989586621680127548 :: TyFun (NonEmpty a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680127454Sym0 :: TyFun Natural (Maybe a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680127464 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127454Sym0 :: TyFun Natural (Maybe a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680127464 :: Natural) = ShowsPrec_6989586621680127454Sym1 a6989586621680127464 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680095137Sym0 :: TyFun Natural ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095147 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095137Sym0 :: TyFun Natural ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095147 :: Natural) = ShowsPrec_6989586621680095137Sym1 a6989586621680095147 :: TyFun [a] (Symbol ~> Symbol) -> Type
type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095091 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095091 :: Natural) = ShowsPrecSym1 a6989586621680095091 :: TyFun a (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680095105Sym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095111 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095105Sym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095111 :: Natural) = ShowsPrec_6989586621680095105Sym1 a6989586621680095111 :: TyFun a (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680127424Sym1 a6989586621680127432 :: TyFun () (Symbol ~> Symbol) -> Type) (a6989586621680127433 :: ())
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127424Sym1 a6989586621680127432 :: TyFun () (Symbol ~> Symbol) -> Type) (a6989586621680127433 :: ()) = ShowsPrec_6989586621680127424Sym2 a6989586621680127432 a6989586621680127433
type Apply (ShowsPrec_6989586621680127564Sym1 a6989586621680127574 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680127575 :: Bool)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127564Sym1 a6989586621680127574 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680127575 :: Bool) = ShowsPrec_6989586621680127564Sym2 a6989586621680127574 a6989586621680127575
type Apply (ShowsCharPrecSym1 a6989586621680120130 :: TyFun Char (Symbol ~> Symbol) -> Type) (a6989586621680120131 :: Char)
Instance details Defined in Text.Show.Singletons type Apply (ShowsCharPrecSym1 a6989586621680120130 :: TyFun Char (Symbol ~> Symbol) -> Type) (a6989586621680120131 :: Char) = ShowsCharPrecSym2 a6989586621680120130 a6989586621680120131
type Apply (Let6989586621680120043Scrutinee_6989586621680119971Sym0 :: TyFun Symbol (TyFun k (Maybe (Char, Symbol)) -> Type) -> Type) (sym6989586621680120041 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680120043Scrutinee_6989586621680119971Sym0 :: TyFun Symbol (TyFun k (Maybe (Char, Symbol)) -> Type) -> Type) (sym6989586621680120041 :: Symbol) = Let6989586621680120043Scrutinee_6989586621680119971Sym1 sym6989586621680120041 :: TyFun k (Maybe (Char, Symbol)) -> Type
type Apply (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680095083 :: a)
Instance details Defined in Text.Show.Singletons type Apply (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680095083 :: a) = ShowsSym1 a6989586621680095083
type Apply (Lambda_6989586621680095020Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216800950146989586621680095019 :: k)
Instance details Defined in Text.Show.Singletons type Apply (Lambda_6989586621680095020Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216800950146989586621680095019 :: k) = Lambda_6989586621680095020Sym1 a_69895866216800950146989586621680095019
type Apply (ShowsPrec_6989586621680127504Sym0 :: TyFun Natural (Either a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680127514 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127504Sym0 :: TyFun Natural (Either a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680127514 :: Natural) = ShowsPrec_6989586621680127504Sym1 a6989586621680127514 :: TyFun (Either a b) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680230472Sym0 :: TyFun Natural (Proxy s ~> (Symbol ~> Symbol)) -> Type) (a6989586621680230480 :: Natural)
Instance details Defined in Data.Proxy.Singletons type Apply (ShowsPrec_6989586621680230472Sym0 :: TyFun Natural (Proxy s ~> (Symbol ~> Symbol)) -> Type) (a6989586621680230480 :: Natural) = ShowsPrec_6989586621680230472Sym1 a6989586621680230480 :: TyFun (Proxy s) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680669533Sym0 :: TyFun Natural (Arg a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680669541 :: Natural)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680669533Sym0 :: TyFun Natural (Arg a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680669541 :: Natural) = ShowsPrec_6989586621680669533Sym1 a6989586621680669541 :: TyFun (Arg a b) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680095155Sym0 :: TyFun Natural ((a, b) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095161 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095155Sym0 :: TyFun Natural ((a, b) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095161 :: Natural) = ShowsPrec_6989586621680095155Sym1 a6989586621680095161 :: TyFun (a, b) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrecSym1 a6989586621680095091 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680095092 :: a)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrecSym1 a6989586621680095091 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680095092 :: a) = ShowsPrecSym2 a6989586621680095091 a6989586621680095092
type Apply (ShowsPrec_6989586621680095105Sym1 a6989586621680095111 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680095112 :: a)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095105Sym1 a6989586621680095111 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680095112 :: a) = ShowsPrec_6989586621680095105Sym2 a6989586621680095111 a6989586621680095112
type Apply (Let6989586621679766117GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) (w6989586621679766115 :: k1)
Instance details Defined in Data.List.Singletons.Internal type Apply (Let6989586621679766117GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) (w6989586621679766115 :: k1) = Let6989586621679766117GoSym1 w6989586621679766115 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type
type Apply (ShowsPrec_6989586621680494147Sym0 :: TyFun Natural (Const a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680494155 :: Natural)
Instance details Defined in Data.Functor.Const.Singletons type Apply (ShowsPrec_6989586621680494147Sym0 :: TyFun Natural (Const a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680494155 :: Natural) = ShowsPrec_6989586621680494147Sym1 a6989586621680494155 :: TyFun (Const a b) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680095170Sym0 :: TyFun Natural ((a, b, c) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095176 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095170Sym0 :: TyFun Natural ((a, b, c) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095176 :: Natural) = ShowsPrec_6989586621680095170Sym1 a6989586621680095176 :: TyFun (a, b, c) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621680120020Scrutinee_6989586621680119979Sym0 :: TyFun Symbol (TyFun k1 (TyFun k2 (TyFun k3 (Maybe (Char, Symbol)) -> Type) -> Type) -> Type) -> Type) (s6989586621680120019 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680120020Scrutinee_6989586621680119979Sym0 :: TyFun Symbol (TyFun k1 (TyFun k2 (TyFun k3 (Maybe (Char, Symbol)) -> Type) -> Type) -> Type) -> Type) (s6989586621680120019 :: Symbol) = Let6989586621680120020Scrutinee_6989586621680119979Sym1 s6989586621680120019 :: TyFun k1 (TyFun k2 (TyFun k3 (Maybe (Char, Symbol)) -> Type) -> Type) -> Type
type Apply (Let6989586621680120016ContSym1 p6989586621680120013 :: TyFun k1 (TyFun k2 (TyFun Symbol Symbol -> Type) -> Type) -> Type) (f6989586621680120014 :: k1)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680120016ContSym1 p6989586621680120013 :: TyFun k1 (TyFun k2 (TyFun Symbol Symbol -> Type) -> Type) -> Type) (f6989586621680120014 :: k1) = Let6989586621680120016ContSym2 p6989586621680120013 f6989586621680120014 :: TyFun k2 (TyFun Symbol Symbol -> Type) -> Type
type Apply (Let6989586621679766117GoSym1 w6989586621679766115 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) (ws6989586621679766116 :: k2)
Instance details Defined in Data.List.Singletons.Internal type Apply (Let6989586621679766117GoSym1 w6989586621679766115 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) (ws6989586621679766116 :: k2) = Let6989586621679766117GoSym2 w6989586621679766115 ws6989586621679766116
type Apply (ShowsPrec_6989586621680095186Sym0 :: TyFun Natural ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095192 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095186Sym0 :: TyFun Natural ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095192 :: Natural) = ShowsPrec_6989586621680095186Sym1 a6989586621680095192 :: TyFun (a, b, c, d) (Symbol ~> Symbol) -> Type
type Apply (Lambda_6989586621680095001Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) -> Type) (ss6989586621680094999 :: k1)
Instance details Defined in Text.Show.Singletons type Apply (Lambda_6989586621680095001Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) -> Type) (ss6989586621680094999 :: k1) = Lambda_6989586621680095001Sym1 ss6989586621680094999 :: TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type
type Apply (Let6989586621680120020Scrutinee_6989586621680119979Sym1 s6989586621680120019 :: TyFun k1 (TyFun k2 (TyFun k3 (Maybe (Char, Symbol)) -> Type) -> Type) -> Type) (p6989586621680120013 :: k1)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680120020Scrutinee_6989586621680119979Sym1 s6989586621680120019 :: TyFun k1 (TyFun k2 (TyFun k3 (Maybe (Char, Symbol)) -> Type) -> Type) -> Type) (p6989586621680120013 :: k1) = Let6989586621680120020Scrutinee_6989586621680119979Sym2 s6989586621680120019 p6989586621680120013 :: TyFun k2 (TyFun k3 (Maybe (Char, Symbol)) -> Type) -> Type
type Apply (Let6989586621680120016ContSym2 p6989586621680120013 f6989586621680120014 :: TyFun k2 (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216801200046989586621680120015 :: k2)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680120016ContSym2 p6989586621680120013 f6989586621680120014 :: TyFun k2 (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216801200046989586621680120015 :: k2) = Let6989586621680120016ContSym3 p6989586621680120013 f6989586621680120014 a_69895866216801200046989586621680120015
type Apply (Let6989586621680095073ShowlSym1 showx6989586621680095069 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680095070 :: k2)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680095073ShowlSym1 showx6989586621680095069 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680095070 :: k2) = Let6989586621680095073ShowlSym2 showx6989586621680095069 x6989586621680095070 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type
type Apply (ShowsPrec_6989586621680095203Sym0 :: TyFun Natural ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095209 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095203Sym0 :: TyFun Natural ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095209 :: Natural) = ShowsPrec_6989586621680095203Sym1 a6989586621680095209 :: TyFun (a, b, c, d, e) (Symbol ~> Symbol) -> Type
type Apply (Lambda_6989586621680095001Sym1 ss6989586621680094999 :: TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) (a_69895866216800949926989586621680095000 :: k2)
Instance details Defined in Text.Show.Singletons type Apply (Lambda_6989586621680095001Sym1 ss6989586621680094999 :: TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) (a_69895866216800949926989586621680095000 :: k2) = Lambda_6989586621680095001Sym2 ss6989586621680094999 a_69895866216800949926989586621680095000 :: TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type
type Apply (Let6989586621680120020Scrutinee_6989586621680119979Sym2 s6989586621680120019 p6989586621680120013 :: TyFun k2 (TyFun k3 (Maybe (Char, Symbol)) -> Type) -> Type) (f6989586621680120014 :: k2)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680120020Scrutinee_6989586621680119979Sym2 s6989586621680120019 p6989586621680120013 :: TyFun k2 (TyFun k3 (Maybe (Char, Symbol)) -> Type) -> Type) (f6989586621680120014 :: k2) = Let6989586621680120020Scrutinee_6989586621680119979Sym3 s6989586621680120019 p6989586621680120013 f6989586621680120014 :: TyFun k3 (Maybe (Char, Symbol)) -> Type
type Apply (Let6989586621680095073ShowlSym2 showx6989586621680095069 x6989586621680095070 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) (xs6989586621680095071 :: k3)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680095073ShowlSym2 showx6989586621680095069 x6989586621680095070 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) (xs6989586621680095071 :: k3) = Let6989586621680095073ShowlSym3 showx6989586621680095069 x6989586621680095070 xs6989586621680095071
type Apply (ShowsPrec_6989586621680095221Sym0 :: TyFun Natural ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095227 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095221Sym0 :: TyFun Natural ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095227 :: Natural) = ShowsPrec_6989586621680095221Sym1 a6989586621680095227 :: TyFun (a, b, c, d, e, f) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621680095073ShowlSym3 showx6989586621680095069 x6989586621680095070 xs6989586621680095071 :: TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) (s6989586621680095072 :: Symbol)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680095073ShowlSym3 showx6989586621680095069 x6989586621680095070 xs6989586621680095071 :: TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) (s6989586621680095072 :: Symbol) = Let6989586621680095073ShowlSym4 showx6989586621680095069 x6989586621680095070 xs6989586621680095071 s6989586621680095072
type Apply (ShowsPrec_6989586621680095240Sym0 :: TyFun Natural ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095246 :: Natural)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095240Sym0 :: TyFun Natural ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095246 :: Natural) = ShowsPrec_6989586621680095240Sym1 a6989586621680095246 :: TyFun (a, b, c, d, e, f, g) (Symbol ~> Symbol) -> Type
type Rep (ElField '(s, a))
Instance details Defined in Data.Vinyl.Functor type Rep (ElField '(s, a)) = C1 ('MetaCons s 'PrefixI 'False) (Rec0 a)
type Apply UnlinesSym0 (a6989586621679766124 :: [Symbol])
Instance details Defined in Data.List.Singletons.Internal type Apply UnlinesSym0 (a6989586621679766124 :: [Symbol]) = Unlines a6989586621679766124
type Apply UnwordsSym0 (a6989586621679766114 :: [Symbol])
Instance details Defined in Data.List.Singletons.Internal type Apply UnwordsSym0 (a6989586621679766114 :: [Symbol]) = Unwords a6989586621679766114
type Apply (Let6989586621679766117GoSym2 w6989586621679766115 ws6989586621679766116 :: TyFun [Symbol] Symbol -> Type) (a6989586621679766118 :: [Symbol])
Instance details Defined in Data.List.Singletons.Internal type Apply (Let6989586621679766117GoSym2 w6989586621679766115 ws6989586621679766116 :: TyFun [Symbol] Symbol -> Type) (a6989586621679766118 :: [Symbol]) = Let6989586621679766117Go w6989586621679766115 ws6989586621679766116 a6989586621679766118
type Apply (Let6989586621680095073ShowlSym4 showx6989586621680095069 x6989586621680095070 xs6989586621680095071 s6989586621680095072 :: TyFun [k1] Symbol -> Type) (a6989586621680095074 :: [k1])
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680095073ShowlSym4 showx6989586621680095069 x6989586621680095070 xs6989586621680095071 s6989586621680095072 :: TyFun [k1] Symbol -> Type) (a6989586621680095074 :: [k1]) = Let6989586621680095073Showl showx6989586621680095069 x6989586621680095070 xs6989586621680095071 s6989586621680095072 a6989586621680095074
type Apply Show_tupleSym0 (a6989586621680094997 :: [Symbol ~> Symbol])
Instance details Defined in Text.Show.Singletons type Apply Show_tupleSym0 (a6989586621680094997 :: [Symbol ~> Symbol]) = Show_tupleSym1 a6989586621680094997
type Apply ShowCharListSym0 (a6989586621680120118 :: [Char])
Instance details Defined in Text.Show.Singletons type Apply ShowCharListSym0 (a6989586621680120118 :: [Char]) = ShowCharListSym1 a6989586621680120118
type Apply ShowLitStringSym0 (a6989586621680120054 :: [Char])
Instance details Defined in Text.Show.Singletons type Apply ShowLitStringSym0 (a6989586621680120054 :: [Char]) = ShowLitStringSym1 a6989586621680120054
type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680095100 :: [a])
Instance details Defined in Text.Show.Singletons type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680095100 :: [a]) = ShowListSym1 a6989586621680095100
type Apply (ShowList_6989586621680095125Sym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680095130 :: [a])
Instance details Defined in Text.Show.Singletons type Apply (ShowList_6989586621680095125Sym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680095130 :: [a]) = ShowList_6989586621680095125Sym1 a6989586621680095130
type Apply (ShowsPrec_6989586621680459070Sym1 a6989586621680459078 :: TyFun (Identity a) (Symbol ~> Symbol) -> Type) (a6989586621680459079 :: Identity a)
Instance details Defined in Data.Functor.Identity.Singletons type Apply (ShowsPrec_6989586621680459070Sym1 a6989586621680459078 :: TyFun (Identity a) (Symbol ~> Symbol) -> Type) (a6989586621680459079 :: Identity a) = ShowsPrec_6989586621680459070Sym2 a6989586621680459078 a6989586621680459079
type Apply (ShowsPrec_6989586621680180948Sym1 a6989586621680180956 :: TyFun (First a) (Symbol ~> Symbol) -> Type) (a6989586621680180957 :: First a)
Instance details Defined in Data.Monoid.Singletons type Apply (ShowsPrec_6989586621680180948Sym1 a6989586621680180956 :: TyFun (First a) (Symbol ~> Symbol) -> Type) (a6989586621680180957 :: First a) = ShowsPrec_6989586621680180948Sym2 a6989586621680180956 a6989586621680180957
type Apply (ShowsPrec_6989586621680180996Sym1 a6989586621680181004 :: TyFun (Last a) (Symbol ~> Symbol) -> Type) (a6989586621680181005 :: Last a)
Instance details Defined in Data.Monoid.Singletons type Apply (ShowsPrec_6989586621680180996Sym1 a6989586621680181004 :: TyFun (Last a) (Symbol ~> Symbol) -> Type) (a6989586621680181005 :: Last a) = ShowsPrec_6989586621680180996Sym2 a6989586621680181004 a6989586621680181005
type Apply (ShowsPrec_6989586621680647556Sym1 a6989586621680647564 :: TyFun (First a) (Symbol ~> Symbol) -> Type) (a6989586621680647565 :: First a)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647556Sym1 a6989586621680647564 :: TyFun (First a) (Symbol ~> Symbol) -> Type) (a6989586621680647565 :: First a) = ShowsPrec_6989586621680647556Sym2 a6989586621680647564 a6989586621680647565
type Apply (ShowsPrec_6989586621680647583Sym1 a6989586621680647591 :: TyFun (Last a) (Symbol ~> Symbol) -> Type) (a6989586621680647592 :: Last a)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647583Sym1 a6989586621680647591 :: TyFun (Last a) (Symbol ~> Symbol) -> Type) (a6989586621680647592 :: Last a) = ShowsPrec_6989586621680647583Sym2 a6989586621680647591 a6989586621680647592
type Apply (ShowsPrec_6989586621680647529Sym1 a6989586621680647537 :: TyFun (Max a) (Symbol ~> Symbol) -> Type) (a6989586621680647538 :: Max a)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647529Sym1 a6989586621680647537 :: TyFun (Max a) (Symbol ~> Symbol) -> Type) (a6989586621680647538 :: Max a) = ShowsPrec_6989586621680647529Sym2 a6989586621680647537 a6989586621680647538
type Apply (ShowsPrec_6989586621680647502Sym1 a6989586621680647510 :: TyFun (Min a) (Symbol ~> Symbol) -> Type) (a6989586621680647511 :: Min a)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647502Sym1 a6989586621680647510 :: TyFun (Min a) (Symbol ~> Symbol) -> Type) (a6989586621680647511 :: Min a) = ShowsPrec_6989586621680647502Sym2 a6989586621680647510 a6989586621680647511
type Apply (ShowsPrec_6989586621680647610Sym1 a6989586621680647618 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type) (a6989586621680647619 :: WrappedMonoid m)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647610Sym1 a6989586621680647618 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type) (a6989586621680647619 :: WrappedMonoid m) = ShowsPrec_6989586621680647610Sym2 a6989586621680647618 a6989586621680647619
type Apply (ShowsPrec_6989586621680647373Sym1 a6989586621680647381 :: TyFun (Dual a) (Symbol ~> Symbol) -> Type) (a6989586621680647382 :: Dual a)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647373Sym1 a6989586621680647381 :: TyFun (Dual a) (Symbol ~> Symbol) -> Type) (a6989586621680647382 :: Dual a) = ShowsPrec_6989586621680647373Sym2 a6989586621680647381 a6989586621680647382
type Apply (ShowsPrec_6989586621680647475Sym1 a6989586621680647483 :: TyFun (Product a) (Symbol ~> Symbol) -> Type) (a6989586621680647484 :: Product a)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647475Sym1 a6989586621680647483 :: TyFun (Product a) (Symbol ~> Symbol) -> Type) (a6989586621680647484 :: Product a) = ShowsPrec_6989586621680647475Sym2 a6989586621680647483 a6989586621680647484
type Apply (ShowsPrec_6989586621680647448Sym1 a6989586621680647456 :: TyFun (Sum a) (Symbol ~> Symbol) -> Type) (a6989586621680647457 :: Sum a)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680647448Sym1 a6989586621680647456 :: TyFun (Sum a) (Symbol ~> Symbol) -> Type) (a6989586621680647457 :: Sum a) = ShowsPrec_6989586621680647448Sym2 a6989586621680647456 a6989586621680647457
type Apply (ShowsPrec_6989586621680127540Sym1 a6989586621680127548 :: TyFun (NonEmpty a) (Symbol ~> Symbol) -> Type) (a6989586621680127549 :: NonEmpty a)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127540Sym1 a6989586621680127548 :: TyFun (NonEmpty a) (Symbol ~> Symbol) -> Type) (a6989586621680127549 :: NonEmpty a) = ShowsPrec_6989586621680127540Sym2 a6989586621680127548 a6989586621680127549
type Apply (ShowsPrec_6989586621680127454Sym1 a6989586621680127464 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type) (a6989586621680127465 :: Maybe a)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127454Sym1 a6989586621680127464 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type) (a6989586621680127465 :: Maybe a) = ShowsPrec_6989586621680127454Sym2 a6989586621680127464 a6989586621680127465
type Apply (ShowListWithSym1 a6989586621680095065 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680095066 :: [a])
Instance details Defined in Text.Show.Singletons type Apply (ShowListWithSym1 a6989586621680095065 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680095066 :: [a]) = ShowListWithSym2 a6989586621680095065 a6989586621680095066
type Apply (ShowsPrec_6989586621680095137Sym1 a6989586621680095147 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680095148 :: [a])
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095137Sym1 a6989586621680095147 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680095148 :: [a]) = ShowsPrec_6989586621680095137Sym2 a6989586621680095147 a6989586621680095148
type HKD ElField ('(s, a) :: (Symbol, Type))
Instance details Defined in Data.Vinyl.XRec type HKD ElField ('(s, a) :: (Symbol, Type)) = a
type RecElemFCtx (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (f :: (Symbol, Type) -> Type)
Instance details Defined in Data.Vinyl.SRec type RecElemFCtx (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (f :: (Symbol, Type) -> Type) = f ~ ElField
type RecElemFCtx (SRec2 ElField) (f :: (Symbol, Type) -> Type)
Instance details Defined in Data.Vinyl.SRec type RecElemFCtx (SRec2 ElField) (f :: (Symbol, Type) -> Type) = f ~ ElField
type Apply ProtectEscSym0 (a6989586621680120010 :: Char ~> Bool)
Instance details Defined in Text.Show.Singletons type Apply ProtectEscSym0 (a6989586621680120010 :: Char ~> Bool) = ProtectEscSym1 a6989586621680120010
type Apply (ProtectEscSym1 a6989586621680120010 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680120011 :: Symbol ~> Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ProtectEscSym1 a6989586621680120010 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680120011 :: Symbol ~> Symbol) = ProtectEscSym2 a6989586621680120010 a6989586621680120011
type Apply (ShowParenSym1 a6989586621680095030 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680095031 :: Symbol ~> Symbol)
Instance details Defined in Text.Show.Singletons type Apply (ShowParenSym1 a6989586621680095030 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680095031 :: Symbol ~> Symbol) = ShowParenSym2 a6989586621680095030 a6989586621680095031
type Apply (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095065 :: a ~> (Symbol ~> Symbol))
Instance details Defined in Text.Show.Singletons type Apply (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680095065 :: a ~> (Symbol ~> Symbol)) = ShowListWithSym1 a6989586621680095065
type RecSubsetFCtx (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (f :: (Symbol, Type) -> Type)
Instance details Defined in Data.Vinyl.SRec type RecSubsetFCtx (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (f :: (Symbol, Type) -> Type) = f ~ ElField
type Apply (Let6989586621680120016ContSym0 :: TyFun (Char ~> Bool) (TyFun k1 (TyFun k2 (TyFun Symbol Symbol -> Type) -> Type) -> Type) -> Type) (p6989586621680120013 :: Char ~> Bool)
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680120016ContSym0 :: TyFun (Char ~> Bool) (TyFun k1 (TyFun k2 (TyFun Symbol Symbol -> Type) -> Type) -> Type) -> Type) (p6989586621680120013 :: Char ~> Bool) = Let6989586621680120016ContSym1 p6989586621680120013 :: TyFun k1 (TyFun k2 (TyFun Symbol Symbol -> Type) -> Type) -> Type
type RecSubsetFCtx (SRec2 ElField) (f :: (Symbol, Type) -> Type)
Instance details Defined in Data.Vinyl.SRec type RecSubsetFCtx (SRec2 ElField) (f :: (Symbol, Type) -> Type) = f ~ ElField
type Apply (ShowsPrec_6989586621680127504Sym1 a6989586621680127514 :: TyFun (Either a b) (Symbol ~> Symbol) -> Type) (a6989586621680127515 :: Either a b)
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680127504Sym1 a6989586621680127514 :: TyFun (Either a b) (Symbol ~> Symbol) -> Type) (a6989586621680127515 :: Either a b) = ShowsPrec_6989586621680127504Sym2 a6989586621680127514 a6989586621680127515
type Apply (ShowsPrec_6989586621680230472Sym1 a6989586621680230480 :: TyFun (Proxy s) (Symbol ~> Symbol) -> Type) (a6989586621680230481 :: Proxy s)
Instance details Defined in Data.Proxy.Singletons type Apply (ShowsPrec_6989586621680230472Sym1 a6989586621680230480 :: TyFun (Proxy s) (Symbol ~> Symbol) -> Type) (a6989586621680230481 :: Proxy s) = ShowsPrec_6989586621680230472Sym2 a6989586621680230480 a6989586621680230481
type Apply (ShowsPrec_6989586621680669533Sym1 a6989586621680669541 :: TyFun (Arg a b) (Symbol ~> Symbol) -> Type) (a6989586621680669542 :: Arg a b)
Instance details Defined in Data.Semigroup.Singletons type Apply (ShowsPrec_6989586621680669533Sym1 a6989586621680669541 :: TyFun (Arg a b) (Symbol ~> Symbol) -> Type) (a6989586621680669542 :: Arg a b) = ShowsPrec_6989586621680669533Sym2 a6989586621680669541 a6989586621680669542
type Apply (Let6989586621680095073ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) (showx6989586621680095069 :: k1 ~> (Symbol ~> Symbol))
Instance details Defined in Text.Show.Singletons type Apply (Let6989586621680095073ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) (showx6989586621680095069 :: k1 ~> (Symbol ~> Symbol)) = Let6989586621680095073ShowlSym1 showx6989586621680095069 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type
type Apply (ShowsPrec_6989586621680095155Sym1 a6989586621680095161 :: TyFun (a, b) (Symbol ~> Symbol) -> Type) (a6989586621680095162 :: (a, b))
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095155Sym1 a6989586621680095161 :: TyFun (a, b) (Symbol ~> Symbol) -> Type) (a6989586621680095162 :: (a, b)) = ShowsPrec_6989586621680095155Sym2 a6989586621680095161 a6989586621680095162
type Apply (Lambda_6989586621680095001Sym2 ss6989586621680094999 a_69895866216800949926989586621680095000 :: TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) (s6989586621680095003 :: Symbol ~> c)
Instance details Defined in Text.Show.Singletons type Apply (Lambda_6989586621680095001Sym2 ss6989586621680094999 a_69895866216800949926989586621680095000 :: TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) (s6989586621680095003 :: Symbol ~> c) = Lambda_6989586621680095001Sym3 ss6989586621680094999 a_69895866216800949926989586621680095000 s6989586621680095003 :: TyFun (a ~> Symbol) (a ~> c) -> Type
type Apply (Lambda_6989586621680095001Sym3 ss6989586621680094999 a_69895866216800949926989586621680095000 s6989586621680095003 :: TyFun (a ~> Symbol) (a ~> c) -> Type) (r6989586621680095004 :: a ~> Symbol)
Instance details Defined in Text.Show.Singletons type Apply (Lambda_6989586621680095001Sym3 ss6989586621680094999 a_69895866216800949926989586621680095000 s6989586621680095003 :: TyFun (a ~> Symbol) (a ~> c) -> Type) (r6989586621680095004 :: a ~> Symbol) = Lambda_6989586621680095001 ss6989586621680094999 a_69895866216800949926989586621680095000 s6989586621680095003 r6989586621680095004
type Apply (ShowsPrec_6989586621680494147Sym1 a6989586621680494155 :: TyFun (Const a b) (Symbol ~> Symbol) -> Type) (a6989586621680494156 :: Const a b)
Instance details Defined in Data.Functor.Const.Singletons type Apply (ShowsPrec_6989586621680494147Sym1 a6989586621680494155 :: TyFun (Const a b) (Symbol ~> Symbol) -> Type) (a6989586621680494156 :: Const a b) = ShowsPrec_6989586621680494147Sym2 a6989586621680494155 a6989586621680494156
type Apply (ShowsPrec_6989586621680095170Sym1 a6989586621680095176 :: TyFun (a, b, c) (Symbol ~> Symbol) -> Type) (a6989586621680095177 :: (a, b, c))
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095170Sym1 a6989586621680095176 :: TyFun (a, b, c) (Symbol ~> Symbol) -> Type) (a6989586621680095177 :: (a, b, c)) = ShowsPrec_6989586621680095170Sym2 a6989586621680095176 a6989586621680095177
type Apply (ShowsPrec_6989586621680095186Sym1 a6989586621680095192 :: TyFun (a, b, c, d) (Symbol ~> Symbol) -> Type) (a6989586621680095193 :: (a, b, c, d))
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095186Sym1 a6989586621680095192 :: TyFun (a, b, c, d) (Symbol ~> Symbol) -> Type) (a6989586621680095193 :: (a, b, c, d)) = ShowsPrec_6989586621680095186Sym2 a6989586621680095192 a6989586621680095193
type Apply (ShowsPrec_6989586621680095203Sym1 a6989586621680095209 :: TyFun (a, b, c, d, e) (Symbol ~> Symbol) -> Type) (a6989586621680095210 :: (a, b, c, d, e))
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095203Sym1 a6989586621680095209 :: TyFun (a, b, c, d, e) (Symbol ~> Symbol) -> Type) (a6989586621680095210 :: (a, b, c, d, e)) = ShowsPrec_6989586621680095203Sym2 a6989586621680095209 a6989586621680095210
type Apply (ShowsPrec_6989586621680095221Sym1 a6989586621680095227 :: TyFun (a, b, c, d, e, f) (Symbol ~> Symbol) -> Type) (a6989586621680095228 :: (a, b, c, d, e, f))
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095221Sym1 a6989586621680095227 :: TyFun (a, b, c, d, e, f) (Symbol ~> Symbol) -> Type) (a6989586621680095228 :: (a, b, c, d, e, f)) = ShowsPrec_6989586621680095221Sym2 a6989586621680095227 a6989586621680095228
type Apply (ShowsPrec_6989586621680095240Sym1 a6989586621680095246 :: TyFun (a, b, c, d, e, f, g) (Symbol ~> Symbol) -> Type) (a6989586621680095247 :: (a, b, c, d, e, f, g))
Instance details Defined in Text.Show.Singletons type Apply (ShowsPrec_6989586621680095240Sym1 a6989586621680095246 :: TyFun (a, b, c, d, e, f, g) (Symbol ~> Symbol) -> Type) (a6989586621680095247 :: (a, b, c, d, e, f, g)) = ShowsPrec_6989586621680095240Sym2 a6989586621680095246 a6989586621680095247

class KnownSymbol (n :: Symbol) #

This class gives the string associated with a type-level symbol. There are instances of the class for every concrete literal: "hello", etc.

Since: base-4.7.0.0

Minimal complete definition

symbolSing

type family AppendSymbol (a :: Symbol) (b :: Symbol) :: Symbol where ... #

Concatenation of type-level symbols.

Since: base-4.10.0.0

symbolVal :: forall (n :: Symbol) proxy. KnownSymbol n => proxy n -> String #

Since: base-4.7.0.0

symbolValT :: forall s. KnownSymbol s => Proxy s -> Text Source #

symbolValT' :: forall s. KnownSymbol s => Text Source #

type family TypeError (a :: ErrorMessage) :: b where ... #

The type-level equivalent of error.

The polymorphic kind of this type allows it to be used in several settings. For instance, it can be used as a constraint, e.g. to provide a better error message for a non-existent instance,

-- in a context
instance TypeError (Text "Cannot Show functions." :$$:
                    Text "Perhaps there is a missing argument?")
      => Show (a -> b) where
    showsPrec = error "unreachable"

It can also be placed on the right-hand side of a type-level function to provide an error for an invalid case,

type family ByteSize x where
   ByteSize Word16   = 2
   ByteSize Word8    = 1
   ByteSize a        = TypeError (Text "The type " :<>: ShowType a :<>:
                                  Text " is not exportable.")

Since: base-4.9.0.0

data ErrorMessage #

A description of a custom type error.

Constructors

Text Symbol	Show the text as is.
ShowType t	Pretty print the type. `ShowType :: k -> ErrorMessage`
ErrorMessage :<>: ErrorMessage infixl 6	Put two pieces of error message next to each other.
ErrorMessage :$$: ErrorMessage infixl 5	Stack two pieces of error message on top of each other.