Safe Haskell	None
Language	Haskell2010

Util.TypeLits

Description

Re-exports 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
type family TypeErrorUnless (cond :: Bool) (err :: ErrorMessage) :: Constraint where ...
inTypeErrorUnless :: forall cond err a. TypeErrorUnless cond err => (cond ~ 'True => a) -> a

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
PIsString Symbol
Instance details Defined in Data.Singletons.Prelude.IsString Associated Types type FromString arg0 :: a0 #
SIsString Symbol
Instance details Defined in Data.Singletons.Prelude.IsString Methods sFromString :: forall (t :: Symbol). Sing t -> Sing (Apply FromStringSym0 t) #
PMonoid Symbol
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a0 # type Mappend arg0 arg1 :: a0 # type Mconcat arg0 :: a0 #
SMonoid Symbol
Instance details Defined in Data.Singletons.Prelude.Monoid 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) #
PShow Symbol
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg0 arg1 arg2 :: Symbol # type Show_ arg0 :: Symbol # type ShowList arg0 arg1 :: Symbol #
SShow Symbol
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: forall (t1 :: Nat) (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) #
PSemigroup Symbol
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg0 <> arg1 :: a0 # type Sconcat arg0 :: a0 #
SSemigroup Symbol
Instance details Defined in Data.Singletons.Prelude.Semigroup.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) #
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)
Instance details Defined in Type.Showtype Methods showtype :: proxy s -> String # showtypesPrec :: Int -> proxy s -> String -> String #
KnownSymbol n => Reifies (n :: Symbol) String
Instance details Defined in Data.Reflection Methods reflect :: proxy n -> String #
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 #
(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) #
(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) #
(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) #
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) #
(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 #
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) #
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) #
(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) #
(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 () #
SuppressUnusedWarnings ShowParenSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings UnwordsSym0
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings UnlinesSym0
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings Show_tupleSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680595859Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680595883Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsNatSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680577887Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680595701Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680595913Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621681091249Sym0
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621681091277Sym0
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings KnownSymbolSym0
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowCommaSpaceSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowSpaceSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowStringSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowCharSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SingI ShowParenSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowParenSym0 #
SingI UnwordsSym0
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing UnwordsSym0 #
SingI UnlinesSym0
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing UnlinesSym0 #
SingI Show_tupleSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing Show_tupleSym0 #
SingI ShowCommaSpaceSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowCommaSpaceSym0 #
SingI ShowSpaceSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowSpaceSym0 #
SingI ShowStringSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowStringSym0 #
SingI ShowCharSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowCharSym0 #
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) #
SuppressUnusedWarnings (ShowsPrec_6989586621680595859Sym1 a6989586621680595856 :: TyFun Bool (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowList_6989586621680577854Sym0 :: TyFun [a6989586621680577379] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621680577379] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595883Sym1 a6989586621680595880 :: TyFun Ordering (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577867Sym0 :: TyFun Nat ([a6989586621680577397] ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595735Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577832Sym0 :: TyFun Nat (a6989586621680577379 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (a6989586621680577379 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091370Sym0 :: TyFun Nat (Min a6989586621679060068 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091401Sym0 :: TyFun Nat (Max a6989586621679060073 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091432Sym0 :: TyFun Nat (First a6989586621679060083 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091463Sym0 :: TyFun Nat (Last a6989586621679060078 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091494Sym0 :: TyFun Nat (WrappedMonoid m6989586621679090730 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091190Sym0 :: TyFun Nat (Option a6989586621679060063 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680921156Sym0 :: TyFun Nat (Identity a6989586621680920937 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680637780Sym0 :: TyFun Nat (First a6989586621679087424 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680637811Sym0 :: TyFun Nat (Last a6989586621679087417 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091221Sym0 :: TyFun Nat (Dual a6989586621679087483 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091308Sym0 :: TyFun Nat (Sum a6989586621679087460 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091339Sym0 :: TyFun Nat (Product a6989586621679087468 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595833Sym0 :: TyFun Nat (NonEmpty a6989586621679060149 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowStringSym1 a6989586621680577773 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowCharSym1 a6989586621680577783 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show_tupleSym1 a6989586621680577721 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsNatSym1 a6989586621680595199 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621681391343 -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FromString_6989586621681391379Sym0 :: TyFun Symbol (Identity a6989586621681391348) -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577887Sym1 a6989586621680577884 :: TyFun Symbol (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595701Sym1 a6989586621680595698 :: TyFun () (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621680577364 (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show__6989586621680577846Sym0 :: TyFun a6989586621680577379 Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621680577379 Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680577749Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595913Sym1 a6989586621680595910 :: TyFun Void (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091249Sym1 a6989586621681091246 :: TyFun All (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091277Sym1 a6989586621681091274 :: TyFun Any (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowParenSym1 a6989586621680577755 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a6989586621680577363 ~> (Symbol ~> Symbol)) ([a6989586621680577363] ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SShow a => SingI (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowListSym0 #
SShow a => SingI (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowsPrecSym0 #
SingI d => SingI (ShowStringSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowStringSym1 d) #
SingI d => SingI (ShowCharSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowCharSym1 d) #
SingI d => SingI (Show_tupleSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (Show_tupleSym1 d) #
SIsString a => SingI (FromStringSym0 :: TyFun Symbol a -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods sing :: Sing FromStringSym0 #
SShow a => SingI (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowsSym0 #
SShow a => SingI (Show_Sym0 :: TyFun a Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing Show_Sym0 #
SingI d => SingI (ShowParenSym1 d :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowParenSym1 d) #
SingI (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowListWithSym0 #
(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 #
SuppressUnusedWarnings (ShowsPrec_6989586621680577867Sym1 a6989586621680577864 a6989586621680577397 :: TyFun [a6989586621680577397] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680577789 :: TyFun [a6989586621680577363] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595735Sym1 a6989586621680595732 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595791Sym0 :: TyFun Nat (Either a6989586621679091038 b6989586621679091039 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577907Sym0 :: TyFun Nat ((a6989586621680577401, b6989586621680577402) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681108423Sym0 :: TyFun Nat (Arg a6989586621681107140 b6989586621681107141 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowParenSym2 a6989586621680577756 a6989586621680577755 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsSym1 a6989586621680577809 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListSym1 arg6989586621680577825 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091249Sym2 a6989586621681091247 a6989586621681091246 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091277Sym2 a6989586621681091275 a6989586621681091274 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowList_6989586621680577854Sym1 a6989586621680577852 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577887Sym2 a6989586621680577885 a6989586621680577884 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595701Sym2 a6989586621680595699 a6989586621680595698 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595859Sym2 a6989586621680595857 a6989586621680595856 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595883Sym2 a6989586621680595881 a6989586621680595880 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595913Sym2 a6989586621680595911 a6989586621680595910 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680577749Sym1 a_69895866216805777446989586621680577748 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577832Sym1 a6989586621680577829 a6989586621680577379 :: TyFun a6989586621680577379 (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym1 arg6989586621680577817 a6989586621680577379 :: TyFun a6989586621680577379 (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680321068GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091370Sym1 a6989586621681091367 a6989586621679060068 :: TyFun (Min a6989586621679060068) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091401Sym1 a6989586621681091398 a6989586621679060073 :: TyFun (Max a6989586621679060073) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091432Sym1 a6989586621681091429 a6989586621679060083 :: TyFun (First a6989586621679060083) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091463Sym1 a6989586621681091460 a6989586621679060078 :: TyFun (Last a6989586621679060078) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091494Sym1 a6989586621681091491 m6989586621679090730 :: TyFun (WrappedMonoid m6989586621679090730) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091190Sym1 a6989586621681091187 a6989586621679060063 :: TyFun (Option a6989586621679060063) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680921156Sym1 a6989586621680921153 a6989586621680920937 :: TyFun (Identity a6989586621680920937) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680637780Sym1 a6989586621680637777 a6989586621679087424 :: TyFun (First a6989586621679087424) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680637811Sym1 a6989586621680637808 a6989586621679087417 :: TyFun (Last a6989586621679087417) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091221Sym1 a6989586621681091218 a6989586621679087483 :: TyFun (Dual a6989586621679087483) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091308Sym1 a6989586621681091305 a6989586621679087460 :: TyFun (Sum a6989586621679087460) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091339Sym1 a6989586621681091336 a6989586621679087468 :: TyFun (Product a6989586621679087468) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595833Sym1 a6989586621680595830 a6989586621679060149 :: TyFun (NonEmpty a6989586621679060149) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SingI d => SingI (ShowListWithSym1 d :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowListWithSym1 d) #
(SingI d1, SingI d2) => SingI (ShowParenSym2 d1 d2 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowParenSym2 d1 d2) #
(SShow a, SingI d) => SingI (ShowsSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowsSym1 d) #
(SShow a, SingI d) => SingI (ShowListSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowListSym1 d) #
SingI (ErrorWithoutStackTraceSym0 :: TyFun Symbol a -> Type)
Instance details Defined in Data.Singletons.TypeLits.Internal Methods sing :: Sing ErrorWithoutStackTraceSym0 #
SingI (ErrorSym0 :: TyFun Symbol a -> Type)
Instance details Defined in Data.Singletons.TypeLits.Internal Methods sing :: Sing ErrorSym0 #
(SShow a, SingI d) => SingI (ShowsPrecSym1 d a :: TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowsPrecSym1 d a) #
(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 #
(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 #
SuppressUnusedWarnings (ShowsPrec_6989586621680595791Sym1 a6989586621680595788 a6989586621679091038 b6989586621679091039 :: TyFun (Either a6989586621679091038 b6989586621679091039) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577924Sym0 :: TyFun Nat ((a6989586621680577406, b6989586621680577407, c6989586621680577408) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680953655Sym0 :: TyFun Nat (Const a6989586621680952798 b6989586621680952799 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680577790 a6989586621680577789 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym2 arg6989586621680577818 arg6989586621680577817 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091190Sym2 a6989586621681091188 a6989586621681091187 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091221Sym2 a6989586621681091219 a6989586621681091218 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091308Sym2 a6989586621681091306 a6989586621681091305 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091339Sym2 a6989586621681091337 a6989586621681091336 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091370Sym2 a6989586621681091368 a6989586621681091367 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091401Sym2 a6989586621681091399 a6989586621681091398 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091432Sym2 a6989586621681091430 a6989586621681091429 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091463Sym2 a6989586621681091461 a6989586621681091460 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681091494Sym2 a6989586621681091492 a6989586621681091491 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680921156Sym2 a6989586621680921154 a6989586621680921153 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680637780Sym2 a6989586621680637778 a6989586621680637777 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680637811Sym2 a6989586621680637809 a6989586621680637808 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577832Sym2 a6989586621680577830 a6989586621680577829 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577867Sym2 a6989586621680577865 a6989586621680577864 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595735Sym2 a6989586621680595733 a6989586621680595732 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595833Sym2 a6989586621680595831 a6989586621680595830 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FromString_6989586621681391372Sym0 :: TyFun Symbol (Const a6989586621681391345 b6989586621681391346) -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577907Sym1 a6989586621680577904 a6989586621680577401 b6989586621680577402 :: TyFun (a6989586621680577401, b6989586621680577402) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680321068GoSym1 w6989586621680321066 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681108423Sym1 a6989586621681108420 a6989586621681107140 b6989586621681107141 :: TyFun (Arg a6989586621681107140 b6989586621681107141) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680577800ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
(SingI d1, SingI d2) => SingI (ShowListWithSym2 d1 d2 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowListWithSym2 d1 d2) #
(SShow a, SingI d1, SingI d2) => SingI (ShowsPrecSym2 d1 d2 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowsPrecSym2 d1 d2) #
SuppressUnusedWarnings (Let6989586621680321068GoSym2 ws6989586621680321067 w6989586621680321066 :: TyFun [Symbol] Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577942Sym0 :: TyFun Nat ((a6989586621680577413, b6989586621680577414, c6989586621680577415, d6989586621680577416) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681108423Sym2 a6989586621681108421 a6989586621681108420 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577907Sym2 a6989586621680577905 a6989586621680577904 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680595791Sym2 a6989586621680595789 a6989586621680595788 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577924Sym1 a6989586621680577921 a6989586621680577406 b6989586621680577407 c6989586621680577408 :: TyFun (a6989586621680577406, b6989586621680577407, c6989586621680577408) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680577800ShowlSym1 showx6989586621680577796 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680577729Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c6989586621679941603) (TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680953655Sym1 a6989586621680953652 a6989586621680952798 b6989586621680952799 :: TyFun (Const a6989586621680952798 b6989586621680952799) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577961Sym0 :: TyFun Nat ((a6989586621680577422, b6989586621680577423, c6989586621680577424, d6989586621680577425, e6989586621680577426) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680953655Sym2 a6989586621680953653 a6989586621680953652 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577924Sym2 a6989586621680577922 a6989586621680577921 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577942Sym1 a6989586621680577939 a6989586621680577413 b6989586621680577414 c6989586621680577415 d6989586621680577416 :: TyFun (a6989586621680577413, b6989586621680577414, c6989586621680577415, d6989586621680577416) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680577800ShowlSym2 x6989586621680577797 showx6989586621680577796 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680577729Sym1 ss6989586621680577727 :: TyFun k2 (TyFun (Symbol ~> c6989586621679941603) (TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577981Sym0 :: TyFun Nat ((a6989586621680577433, b6989586621680577434, c6989586621680577435, d6989586621680577436, e6989586621680577437, f6989586621680577438) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680577800ShowlSym3 xs6989586621680577798 x6989586621680577797 showx6989586621680577796 :: TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577942Sym2 a6989586621680577940 a6989586621680577939 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577961Sym1 a6989586621680577958 a6989586621680577422 b6989586621680577423 c6989586621680577424 d6989586621680577425 e6989586621680577426 :: TyFun (a6989586621680577422, b6989586621680577423, c6989586621680577424, d6989586621680577425, e6989586621680577426) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680577729Sym2 a_69895866216805777256989586621680577728 ss6989586621680577727 :: TyFun (Symbol ~> c6989586621679941603) (TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680577800ShowlSym4 s6989586621680577799 xs6989586621680577798 x6989586621680577797 showx6989586621680577796 :: TyFun [k1] Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680578002Sym0 :: TyFun Nat ((a6989586621680577446, b6989586621680577447, c6989586621680577448, d6989586621680577449, e6989586621680577450, f6989586621680577451, g6989586621680577452) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577961Sym2 a6989586621680577959 a6989586621680577958 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577981Sym1 a6989586621680577978 a6989586621680577433 b6989586621680577434 c6989586621680577435 d6989586621680577436 e6989586621680577437 f6989586621680577438 :: TyFun (a6989586621680577433, b6989586621680577434, c6989586621680577435, d6989586621680577436, e6989586621680577437, f6989586621680577438) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680577729Sym3 t6989586621680577733 a_69895866216805777256989586621680577728 ss6989586621680577727 :: TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680577981Sym2 a6989586621680577979 a6989586621680577978 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680578002Sym1 a6989586621680577999 a6989586621680577446 b6989586621680577447 c6989586621680577448 d6989586621680577449 e6989586621680577450 f6989586621680577451 g6989586621680577452 :: TyFun (a6989586621680577446, b6989586621680577447, c6989586621680577448, d6989586621680577449, e6989586621680577450, f6989586621680577451, g6989586621680577452) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680578002Sym2 a6989586621680578000 a6989586621680577999 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
data Sing (s :: Symbol)
Instance details Defined in GHC.Generics data Sing (s :: Symbol) where SSym :: forall (s :: Symbol). KnownSymbol s => Sing s
type DemoteRep Symbol
Instance details Defined in GHC.Generics type DemoteRep Symbol = String
type Mempty
Instance details Defined in Data.Singletons.Prelude.Monoid type Mempty = Mempty_6989586621680631386Sym0 :: Symbol
type Sing
Instance details Defined in Data.Singletons.TypeLits.Internal type Sing = SSymbol
type Demote Symbol
Instance details Defined in Data.Singletons.TypeLits.Internal type Demote Symbol = Text
type FromString a
Instance details Defined in Data.Singletons.Prelude.IsString type FromString a = a
type Mconcat (arg0 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.Monoid type Mconcat (arg0 :: [Symbol]) = Apply (Mconcat_6989586621680631303Sym0 :: TyFun [Symbol] Symbol -> Type) arg0
type Show_ (arg0 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Show_ (arg0 :: Symbol) = Apply (Show__6989586621680577846Sym0 :: TyFun Symbol Symbol -> Type) arg0
type Sconcat (arg0 :: NonEmpty Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sconcat (arg0 :: NonEmpty Symbol) = Apply (Sconcat_6989586621680187691Sym0 :: TyFun (NonEmpty Symbol) Symbol -> Type) arg0
type Mappend (arg1 :: Symbol) (arg2 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monoid type Mappend (arg1 :: Symbol) (arg2 :: Symbol) = Apply (Apply (Mappend_6989586621680631288Sym0 :: TyFun Symbol (Symbol ~> Symbol) -> Type) arg1) arg2
type ShowList (arg1 :: [Symbol]) arg2
Instance details Defined in Data.Singletons.Prelude.Show type ShowList (arg1 :: [Symbol]) arg2 = Apply (Apply (ShowList_6989586621680577854Sym0 :: TyFun [Symbol] (Symbol ~> Symbol) -> Type) arg1) arg2
type (a :: Symbol) <> (b :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type (a :: Symbol) <> (b :: Symbol) = AppendSymbol a b
type Min (arg1 :: Symbol) (arg2 :: Symbol)
Instance details Defined in Data.Singletons.TypeLits.Internal type Min (arg1 :: Symbol) (arg2 :: Symbol) = Apply (Apply (Min_6989586621679792614Sym0 :: TyFun Symbol (Symbol ~> Symbol) -> Type) arg1) arg2
type Max (arg1 :: Symbol) (arg2 :: Symbol)
Instance details Defined in Data.Singletons.TypeLits.Internal type Max (arg1 :: Symbol) (arg2 :: Symbol) = Apply (Apply (Max_6989586621679792596Sym0 :: TyFun Symbol (Symbol ~> Symbol) -> Type) arg1) arg2
type (arg1 :: Symbol) >= (arg2 :: Symbol)
Instance details Defined in Data.Singletons.TypeLits.Internal type (arg1 :: Symbol) >= (arg2 :: Symbol) = Apply (Apply (TFHelper_6989586621679792578Sym0 :: TyFun Symbol (Symbol ~> Bool) -> Type) arg1) arg2
type (arg1 :: Symbol) > (arg2 :: Symbol)
Instance details Defined in Data.Singletons.TypeLits.Internal type (arg1 :: Symbol) > (arg2 :: Symbol) = Apply (Apply (TFHelper_6989586621679792560Sym0 :: TyFun Symbol (Symbol ~> Bool) -> Type) arg1) arg2
type (arg1 :: Symbol) <= (arg2 :: Symbol)
Instance details Defined in Data.Singletons.TypeLits.Internal type (arg1 :: Symbol) <= (arg2 :: Symbol) = Apply (Apply (TFHelper_6989586621679792542Sym0 :: TyFun Symbol (Symbol ~> Bool) -> Type) arg1) arg2
type (arg1 :: Symbol) < (arg2 :: Symbol)
Instance details Defined in Data.Singletons.TypeLits.Internal type (arg1 :: Symbol) < (arg2 :: Symbol) = Apply (Apply (TFHelper_6989586621679792524Sym0 :: TyFun Symbol (Symbol ~> Bool) -> Type) arg1) arg2
type Compare (a :: Symbol) (b :: Symbol)
Instance details Defined in Data.Singletons.TypeLits.Internal type Compare (a :: Symbol) (b :: Symbol) = CmpSymbol a b
type (x :: Symbol) /= (y :: Symbol)
Instance details Defined in Data.Singletons.TypeLits.Internal type (x :: Symbol) /= (y :: Symbol) = Not (x == y)
type (x :: Symbol) == (y :: Symbol)
Instance details Defined in Data.Singletons.TypeLits.Internal type (x :: Symbol) == (y :: Symbol) = DefaultEq x y
type ShowsPrec a1 (a2 :: Symbol) a3
Instance details Defined in Data.Singletons.Prelude.Show type ShowsPrec a1 (a2 :: Symbol) a3 = Apply (Apply (Apply ShowsPrec_6989586621680577887Sym0 a1) a2) a3
type Apply KnownSymbolSym0 (n6989586621679863484 :: Symbol)
Instance details Defined in Data.Singletons.TypeLits type Apply KnownSymbolSym0 (n6989586621679863484 :: Symbol) = KnownSymbol n6989586621679863484
type Apply ShowCommaSpaceSym0 (a6989586621680577741 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowCommaSpaceSym0 (a6989586621680577741 :: Symbol) = ShowCommaSpace a6989586621680577741
type Apply ShowSpaceSym0 (a6989586621680577746 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowSpaceSym0 (a6989586621680577746 :: Symbol) = ShowSpace a6989586621680577746
type Apply (ShowStringSym1 a6989586621680577773 :: TyFun Symbol Symbol -> Type) (a6989586621680577774 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowStringSym1 a6989586621680577773 :: TyFun Symbol Symbol -> Type) (a6989586621680577774 :: Symbol) = ShowString a6989586621680577773 a6989586621680577774
type Apply (ShowCharSym1 a6989586621680577783 :: TyFun Symbol Symbol -> Type) (a6989586621680577784 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowCharSym1 a6989586621680577783 :: TyFun Symbol Symbol -> Type) (a6989586621680577784 :: Symbol) = ShowChar a6989586621680577783 a6989586621680577784
type Apply (Show_tupleSym1 a6989586621680577721 :: TyFun Symbol Symbol -> Type) (a6989586621680577722 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show_tupleSym1 a6989586621680577721 :: TyFun Symbol Symbol -> Type) (a6989586621680577722 :: Symbol) = Show_tuple a6989586621680577721 a6989586621680577722
type Apply (ShowsNatSym1 a6989586621680595199 :: TyFun Symbol Symbol -> Type) (a6989586621680595200 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsNatSym1 a6989586621680595199 :: TyFun Symbol Symbol -> Type) (a6989586621680595200 :: Symbol) = ShowsNat a6989586621680595199 a6989586621680595200
type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681391369 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681391369 :: Symbol) = FromString arg6989586621681391369 :: k2
type Apply (Show__6989586621680577846Sym0 :: TyFun a Symbol -> Type) (a6989586621680577845 :: a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show__6989586621680577846Sym0 :: TyFun a Symbol -> Type) (a6989586621680577845 :: a) = Show__6989586621680577846 a6989586621680577845
type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (arg6989586621680577823 :: a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (arg6989586621680577823 :: a) = Show_ arg6989586621680577823
type Apply (ShowParenSym2 a6989586621680577756 a6989586621680577755 :: TyFun Symbol Symbol -> Type) (a6989586621680577757 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowParenSym2 a6989586621680577756 a6989586621680577755 :: TyFun Symbol Symbol -> Type) (a6989586621680577757 :: Symbol) = ShowParen a6989586621680577756 a6989586621680577755 a6989586621680577757
type Apply (ShowsSym1 a6989586621680577809 :: TyFun Symbol Symbol -> Type) (a6989586621680577810 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsSym1 a6989586621680577809 :: TyFun Symbol Symbol -> Type) (a6989586621680577810 :: Symbol) = Shows a6989586621680577809 a6989586621680577810
type Apply (ShowListSym1 arg6989586621680577825 :: TyFun Symbol Symbol -> Type) (arg6989586621680577826 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym1 arg6989586621680577825 :: TyFun Symbol Symbol -> Type) (arg6989586621680577826 :: Symbol) = ShowList arg6989586621680577825 arg6989586621680577826
type Apply (ShowsPrec_6989586621681091249Sym2 a6989586621681091247 a6989586621681091246 :: TyFun Symbol Symbol -> Type) (a6989586621681091248 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091249Sym2 a6989586621681091247 a6989586621681091246 :: TyFun Symbol Symbol -> Type) (a6989586621681091248 :: Symbol) = ShowsPrec_6989586621681091249 a6989586621681091247 a6989586621681091246 a6989586621681091248
type Apply (ShowsPrec_6989586621681091277Sym2 a6989586621681091275 a6989586621681091274 :: TyFun Symbol Symbol -> Type) (a6989586621681091276 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091277Sym2 a6989586621681091275 a6989586621681091274 :: TyFun Symbol Symbol -> Type) (a6989586621681091276 :: Symbol) = ShowsPrec_6989586621681091277 a6989586621681091275 a6989586621681091274 a6989586621681091276
type Apply (Lambda_6989586621680577749Sym1 a_69895866216805777446989586621680577748 :: TyFun Symbol Symbol -> Type) (t6989586621680577752 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680577749Sym1 a_69895866216805777446989586621680577748 :: TyFun Symbol Symbol -> Type) (t6989586621680577752 :: Symbol) = Lambda_6989586621680577749 a_69895866216805777446989586621680577748 t6989586621680577752
type Apply (ShowList_6989586621680577854Sym1 a6989586621680577852 :: TyFun Symbol Symbol -> Type) (a6989586621680577853 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowList_6989586621680577854Sym1 a6989586621680577852 :: TyFun Symbol Symbol -> Type) (a6989586621680577853 :: Symbol) = ShowList_6989586621680577854 a6989586621680577852 a6989586621680577853
type Apply (ShowsPrec_6989586621680577887Sym2 a6989586621680577885 a6989586621680577884 :: TyFun Symbol Symbol -> Type) (a6989586621680577886 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577887Sym2 a6989586621680577885 a6989586621680577884 :: TyFun Symbol Symbol -> Type) (a6989586621680577886 :: Symbol) = ShowsPrec_6989586621680577887 a6989586621680577885 a6989586621680577884 a6989586621680577886
type Apply (ShowsPrec_6989586621680595701Sym2 a6989586621680595699 a6989586621680595698 :: TyFun Symbol Symbol -> Type) (a6989586621680595700 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595701Sym2 a6989586621680595699 a6989586621680595698 :: TyFun Symbol Symbol -> Type) (a6989586621680595700 :: Symbol) = ShowsPrec_6989586621680595701 a6989586621680595699 a6989586621680595698 a6989586621680595700
type Apply (ShowsPrec_6989586621680595859Sym2 a6989586621680595857 a6989586621680595856 :: TyFun Symbol Symbol -> Type) (a6989586621680595858 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595859Sym2 a6989586621680595857 a6989586621680595856 :: TyFun Symbol Symbol -> Type) (a6989586621680595858 :: Symbol) = ShowsPrec_6989586621680595859 a6989586621680595857 a6989586621680595856 a6989586621680595858
type Apply (ShowsPrec_6989586621680595883Sym2 a6989586621680595881 a6989586621680595880 :: TyFun Symbol Symbol -> Type) (a6989586621680595882 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595883Sym2 a6989586621680595881 a6989586621680595880 :: TyFun Symbol Symbol -> Type) (a6989586621680595882 :: Symbol) = ShowsPrec_6989586621680595883 a6989586621680595881 a6989586621680595880 a6989586621680595882
type Apply (ShowsPrec_6989586621680595913Sym2 a6989586621680595911 a6989586621680595910 :: TyFun Symbol Symbol -> Type) (a6989586621680595912 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595913Sym2 a6989586621680595911 a6989586621680595910 :: TyFun Symbol Symbol -> Type) (a6989586621680595912 :: Symbol) = ShowsPrec_6989586621680595913 a6989586621680595911 a6989586621680595910 a6989586621680595912
type Apply (ShowListWithSym2 a6989586621680577790 a6989586621680577789 :: TyFun Symbol Symbol -> Type) (a6989586621680577791 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym2 a6989586621680577790 a6989586621680577789 :: TyFun Symbol Symbol -> Type) (a6989586621680577791 :: Symbol) = ShowListWith a6989586621680577790 a6989586621680577789 a6989586621680577791
type Apply (ShowsPrecSym2 arg6989586621680577818 arg6989586621680577817 :: TyFun Symbol Symbol -> Type) (arg6989586621680577819 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym2 arg6989586621680577818 arg6989586621680577817 :: TyFun Symbol Symbol -> Type) (arg6989586621680577819 :: Symbol) = ShowsPrec arg6989586621680577818 arg6989586621680577817 arg6989586621680577819
type Apply (ShowsPrec_6989586621681091190Sym2 a6989586621681091188 a6989586621681091187 :: TyFun Symbol Symbol -> Type) (a6989586621681091189 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091190Sym2 a6989586621681091188 a6989586621681091187 :: TyFun Symbol Symbol -> Type) (a6989586621681091189 :: Symbol) = ShowsPrec_6989586621681091190 a6989586621681091188 a6989586621681091187 a6989586621681091189
type Apply (ShowsPrec_6989586621681091221Sym2 a6989586621681091219 a6989586621681091218 :: TyFun Symbol Symbol -> Type) (a6989586621681091220 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091221Sym2 a6989586621681091219 a6989586621681091218 :: TyFun Symbol Symbol -> Type) (a6989586621681091220 :: Symbol) = ShowsPrec_6989586621681091221 a6989586621681091219 a6989586621681091218 a6989586621681091220
type Apply (ShowsPrec_6989586621681091308Sym2 a6989586621681091306 a6989586621681091305 :: TyFun Symbol Symbol -> Type) (a6989586621681091307 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091308Sym2 a6989586621681091306 a6989586621681091305 :: TyFun Symbol Symbol -> Type) (a6989586621681091307 :: Symbol) = ShowsPrec_6989586621681091308 a6989586621681091306 a6989586621681091305 a6989586621681091307
type Apply (ShowsPrec_6989586621681091339Sym2 a6989586621681091337 a6989586621681091336 :: TyFun Symbol Symbol -> Type) (a6989586621681091338 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091339Sym2 a6989586621681091337 a6989586621681091336 :: TyFun Symbol Symbol -> Type) (a6989586621681091338 :: Symbol) = ShowsPrec_6989586621681091339 a6989586621681091337 a6989586621681091336 a6989586621681091338
type Apply (ShowsPrec_6989586621681091370Sym2 a6989586621681091368 a6989586621681091367 :: TyFun Symbol Symbol -> Type) (a6989586621681091369 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091370Sym2 a6989586621681091368 a6989586621681091367 :: TyFun Symbol Symbol -> Type) (a6989586621681091369 :: Symbol) = ShowsPrec_6989586621681091370 a6989586621681091368 a6989586621681091367 a6989586621681091369
type Apply (ShowsPrec_6989586621681091401Sym2 a6989586621681091399 a6989586621681091398 :: TyFun Symbol Symbol -> Type) (a6989586621681091400 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091401Sym2 a6989586621681091399 a6989586621681091398 :: TyFun Symbol Symbol -> Type) (a6989586621681091400 :: Symbol) = ShowsPrec_6989586621681091401 a6989586621681091399 a6989586621681091398 a6989586621681091400
type Apply (ShowsPrec_6989586621681091432Sym2 a6989586621681091430 a6989586621681091429 :: TyFun Symbol Symbol -> Type) (a6989586621681091431 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091432Sym2 a6989586621681091430 a6989586621681091429 :: TyFun Symbol Symbol -> Type) (a6989586621681091431 :: Symbol) = ShowsPrec_6989586621681091432 a6989586621681091430 a6989586621681091429 a6989586621681091431
type Apply (ShowsPrec_6989586621681091463Sym2 a6989586621681091461 a6989586621681091460 :: TyFun Symbol Symbol -> Type) (a6989586621681091462 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091463Sym2 a6989586621681091461 a6989586621681091460 :: TyFun Symbol Symbol -> Type) (a6989586621681091462 :: Symbol) = ShowsPrec_6989586621681091463 a6989586621681091461 a6989586621681091460 a6989586621681091462
type Apply (ShowsPrec_6989586621681091494Sym2 a6989586621681091492 a6989586621681091491 :: TyFun Symbol Symbol -> Type) (a6989586621681091493 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091494Sym2 a6989586621681091492 a6989586621681091491 :: TyFun Symbol Symbol -> Type) (a6989586621681091493 :: Symbol) = ShowsPrec_6989586621681091494 a6989586621681091492 a6989586621681091491 a6989586621681091493
type Apply (ShowsPrec_6989586621680921156Sym2 a6989586621680921154 a6989586621680921153 :: TyFun Symbol Symbol -> Type) (a6989586621680921155 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Identity type Apply (ShowsPrec_6989586621680921156Sym2 a6989586621680921154 a6989586621680921153 :: TyFun Symbol Symbol -> Type) (a6989586621680921155 :: Symbol) = ShowsPrec_6989586621680921156 a6989586621680921154 a6989586621680921153 a6989586621680921155
type Apply (ShowsPrec_6989586621680637780Sym2 a6989586621680637778 a6989586621680637777 :: TyFun Symbol Symbol -> Type) (a6989586621680637779 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680637780Sym2 a6989586621680637778 a6989586621680637777 :: TyFun Symbol Symbol -> Type) (a6989586621680637779 :: Symbol) = ShowsPrec_6989586621680637780 a6989586621680637778 a6989586621680637777 a6989586621680637779
type Apply (ShowsPrec_6989586621680637811Sym2 a6989586621680637809 a6989586621680637808 :: TyFun Symbol Symbol -> Type) (a6989586621680637810 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680637811Sym2 a6989586621680637809 a6989586621680637808 :: TyFun Symbol Symbol -> Type) (a6989586621680637810 :: Symbol) = ShowsPrec_6989586621680637811 a6989586621680637809 a6989586621680637808 a6989586621680637810
type Apply (ShowsPrec_6989586621680577832Sym2 a6989586621680577830 a6989586621680577829 :: TyFun Symbol Symbol -> Type) (a6989586621680577831 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577832Sym2 a6989586621680577830 a6989586621680577829 :: TyFun Symbol Symbol -> Type) (a6989586621680577831 :: Symbol) = ShowsPrec_6989586621680577832 a6989586621680577830 a6989586621680577829 a6989586621680577831
type Apply (ShowsPrec_6989586621680577867Sym2 a6989586621680577865 a6989586621680577864 :: TyFun Symbol Symbol -> Type) (a6989586621680577866 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577867Sym2 a6989586621680577865 a6989586621680577864 :: TyFun Symbol Symbol -> Type) (a6989586621680577866 :: Symbol) = ShowsPrec_6989586621680577867 a6989586621680577865 a6989586621680577864 a6989586621680577866
type Apply (ShowsPrec_6989586621680595735Sym2 a6989586621680595733 a6989586621680595732 :: TyFun Symbol Symbol -> Type) (a6989586621680595734 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595735Sym2 a6989586621680595733 a6989586621680595732 :: TyFun Symbol Symbol -> Type) (a6989586621680595734 :: Symbol) = ShowsPrec_6989586621680595735 a6989586621680595733 a6989586621680595732 a6989586621680595734
type Apply (ShowsPrec_6989586621680595833Sym2 a6989586621680595831 a6989586621680595830 :: TyFun Symbol Symbol -> Type) (a6989586621680595832 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595833Sym2 a6989586621680595831 a6989586621680595830 :: TyFun Symbol Symbol -> Type) (a6989586621680595832 :: Symbol) = ShowsPrec_6989586621680595833 a6989586621680595831 a6989586621680595830 a6989586621680595832
type Apply (ShowsPrec_6989586621681108423Sym2 a6989586621681108421 a6989586621681108420 :: TyFun Symbol Symbol -> Type) (a6989586621681108422 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681108423Sym2 a6989586621681108421 a6989586621681108420 :: TyFun Symbol Symbol -> Type) (a6989586621681108422 :: Symbol) = ShowsPrec_6989586621681108423 a6989586621681108421 a6989586621681108420 a6989586621681108422
type Apply (ShowsPrec_6989586621680577907Sym2 a6989586621680577905 a6989586621680577904 :: TyFun Symbol Symbol -> Type) (a6989586621680577906 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577907Sym2 a6989586621680577905 a6989586621680577904 :: TyFun Symbol Symbol -> Type) (a6989586621680577906 :: Symbol) = ShowsPrec_6989586621680577907 a6989586621680577905 a6989586621680577904 a6989586621680577906
type Apply (ShowsPrec_6989586621680595791Sym2 a6989586621680595789 a6989586621680595788 :: TyFun Symbol Symbol -> Type) (a6989586621680595790 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595791Sym2 a6989586621680595789 a6989586621680595788 :: TyFun Symbol Symbol -> Type) (a6989586621680595790 :: Symbol) = ShowsPrec_6989586621680595791 a6989586621680595789 a6989586621680595788 a6989586621680595790
type Apply (ShowsPrec_6989586621680953655Sym2 a6989586621680953653 a6989586621680953652 :: TyFun Symbol Symbol -> Type) (a6989586621680953654 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Const type Apply (ShowsPrec_6989586621680953655Sym2 a6989586621680953653 a6989586621680953652 :: TyFun Symbol Symbol -> Type) (a6989586621680953654 :: Symbol) = ShowsPrec_6989586621680953655 a6989586621680953653 a6989586621680953652 a6989586621680953654
type Apply (ShowsPrec_6989586621680577924Sym2 a6989586621680577922 a6989586621680577921 :: TyFun Symbol Symbol -> Type) (a6989586621680577923 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577924Sym2 a6989586621680577922 a6989586621680577921 :: TyFun Symbol Symbol -> Type) (a6989586621680577923 :: Symbol) = ShowsPrec_6989586621680577924 a6989586621680577922 a6989586621680577921 a6989586621680577923
type Apply (ShowsPrec_6989586621680577942Sym2 a6989586621680577940 a6989586621680577939 :: TyFun Symbol Symbol -> Type) (a6989586621680577941 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577942Sym2 a6989586621680577940 a6989586621680577939 :: TyFun Symbol Symbol -> Type) (a6989586621680577941 :: Symbol) = ShowsPrec_6989586621680577942 a6989586621680577940 a6989586621680577939 a6989586621680577941
type Apply (ShowsPrec_6989586621680577961Sym2 a6989586621680577959 a6989586621680577958 :: TyFun Symbol Symbol -> Type) (a6989586621680577960 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577961Sym2 a6989586621680577959 a6989586621680577958 :: TyFun Symbol Symbol -> Type) (a6989586621680577960 :: Symbol) = ShowsPrec_6989586621680577961 a6989586621680577959 a6989586621680577958 a6989586621680577960
type Apply (ShowsPrec_6989586621680577981Sym2 a6989586621680577979 a6989586621680577978 :: TyFun Symbol Symbol -> Type) (a6989586621680577980 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577981Sym2 a6989586621680577979 a6989586621680577978 :: TyFun Symbol Symbol -> Type) (a6989586621680577980 :: Symbol) = ShowsPrec_6989586621680577981 a6989586621680577979 a6989586621680577978 a6989586621680577980
type Apply (ShowsPrec_6989586621680578002Sym2 a6989586621680578000 a6989586621680577999 :: TyFun Symbol Symbol -> Type) (a6989586621680578001 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680578002Sym2 a6989586621680578000 a6989586621680577999 :: TyFun Symbol Symbol -> Type) (a6989586621680578001 :: Symbol) = ShowsPrec_6989586621680578002 a6989586621680578000 a6989586621680577999 a6989586621680578001
type Apply (FromString_6989586621681391379Sym0 :: TyFun Symbol (Identity a6989586621681391348) -> Type) (a6989586621681391378 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromString_6989586621681391379Sym0 :: TyFun Symbol (Identity a6989586621681391348) -> Type) (a6989586621681391378 :: Symbol) = FromString_6989586621681391379 a6989586621681391378 :: Identity a6989586621681391348
type Apply ShowParenSym0 (a6989586621680577755 :: Bool)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowParenSym0 (a6989586621680577755 :: Bool) = ShowParenSym1 a6989586621680577755
type Apply ShowsPrec_6989586621680595859Sym0 (a6989586621680595856 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680595859Sym0 (a6989586621680595856 :: Nat) = ShowsPrec_6989586621680595859Sym1 a6989586621680595856
type Apply ShowsPrec_6989586621680595883Sym0 (a6989586621680595880 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680595883Sym0 (a6989586621680595880 :: Nat) = ShowsPrec_6989586621680595883Sym1 a6989586621680595880
type Apply ShowsNatSym0 (a6989586621680595199 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsNatSym0 (a6989586621680595199 :: Nat) = ShowsNatSym1 a6989586621680595199
type Apply ShowsPrec_6989586621680577887Sym0 (a6989586621680577884 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680577887Sym0 (a6989586621680577884 :: Nat) = ShowsPrec_6989586621680577887Sym1 a6989586621680577884
type Apply ShowsPrec_6989586621680595701Sym0 (a6989586621680595698 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680595701Sym0 (a6989586621680595698 :: Nat) = ShowsPrec_6989586621680595701Sym1 a6989586621680595698
type Apply ShowsPrec_6989586621680595913Sym0 (a6989586621680595910 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680595913Sym0 (a6989586621680595910 :: Nat) = ShowsPrec_6989586621680595913Sym1 a6989586621680595910
type Apply ShowsPrec_6989586621681091249Sym0 (a6989586621681091246 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply ShowsPrec_6989586621681091249Sym0 (a6989586621681091246 :: Nat) = ShowsPrec_6989586621681091249Sym1 a6989586621681091246
type Apply ShowsPrec_6989586621681091277Sym0 (a6989586621681091274 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply ShowsPrec_6989586621681091277Sym0 (a6989586621681091274 :: Nat) = ShowsPrec_6989586621681091277Sym1 a6989586621681091274
type Apply ShowStringSym0 (a6989586621680577773 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowStringSym0 (a6989586621680577773 :: Symbol) = ShowStringSym1 a6989586621680577773
type Apply ShowCharSym0 (a6989586621680577783 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowCharSym0 (a6989586621680577783 :: Symbol) = ShowCharSym1 a6989586621680577783
type Apply (ShowsPrec_6989586621680595859Sym1 a6989586621680595856 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680595857 :: Bool)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595859Sym1 a6989586621680595856 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680595857 :: Bool) = ShowsPrec_6989586621680595859Sym2 a6989586621680595856 a6989586621680595857
type Apply (ShowsPrec_6989586621680595883Sym1 a6989586621680595880 :: TyFun Ordering (Symbol ~> Symbol) -> Type) (a6989586621680595881 :: Ordering)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595883Sym1 a6989586621680595880 :: TyFun Ordering (Symbol ~> Symbol) -> Type) (a6989586621680595881 :: Ordering) = ShowsPrec_6989586621680595883Sym2 a6989586621680595880 a6989586621680595881
type Apply (ShowsPrec_6989586621680577867Sym0 :: TyFun Nat ([a6989586621680577397] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577864 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577867Sym0 :: TyFun Nat ([a6989586621680577397] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577864 :: Nat) = ShowsPrec_6989586621680577867Sym1 a6989586621680577864 a6989586621680577397 :: TyFun [a6989586621680577397] (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680595735Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680595732 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595735Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680595732 :: Nat) = ShowsPrec_6989586621680595735Sym1 a6989586621680595732 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680577832Sym0 :: TyFun Nat (a6989586621680577379 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577829 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577832Sym0 :: TyFun Nat (a6989586621680577379 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577829 :: Nat) = ShowsPrec_6989586621680577832Sym1 a6989586621680577829 a6989586621680577379 :: TyFun a6989586621680577379 (Symbol ~> Symbol) -> Type
type Apply (ShowsPrecSym0 :: TyFun Nat (a6989586621680577379 ~> (Symbol ~> Symbol)) -> Type) (arg6989586621680577817 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym0 :: TyFun Nat (a6989586621680577379 ~> (Symbol ~> Symbol)) -> Type) (arg6989586621680577817 :: Nat) = ShowsPrecSym1 arg6989586621680577817 a6989586621680577379 :: TyFun a6989586621680577379 (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681091370Sym0 :: TyFun Nat (Min a6989586621679060068 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091367 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091370Sym0 :: TyFun Nat (Min a6989586621679060068 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091367 :: Nat) = ShowsPrec_6989586621681091370Sym1 a6989586621681091367 a6989586621679060068 :: TyFun (Min a6989586621679060068) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681091401Sym0 :: TyFun Nat (Max a6989586621679060073 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091398 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091401Sym0 :: TyFun Nat (Max a6989586621679060073 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091398 :: Nat) = ShowsPrec_6989586621681091401Sym1 a6989586621681091398 a6989586621679060073 :: TyFun (Max a6989586621679060073) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681091432Sym0 :: TyFun Nat (First a6989586621679060083 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091429 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091432Sym0 :: TyFun Nat (First a6989586621679060083 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091429 :: Nat) = ShowsPrec_6989586621681091432Sym1 a6989586621681091429 a6989586621679060083 :: TyFun (First a6989586621679060083) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681091463Sym0 :: TyFun Nat (Last a6989586621679060078 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091460 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091463Sym0 :: TyFun Nat (Last a6989586621679060078 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091460 :: Nat) = ShowsPrec_6989586621681091463Sym1 a6989586621681091460 a6989586621679060078 :: TyFun (Last a6989586621679060078) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681091494Sym0 :: TyFun Nat (WrappedMonoid m6989586621679090730 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091491 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091494Sym0 :: TyFun Nat (WrappedMonoid m6989586621679090730 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091491 :: Nat) = ShowsPrec_6989586621681091494Sym1 a6989586621681091491 m6989586621679090730 :: TyFun (WrappedMonoid m6989586621679090730) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681091190Sym0 :: TyFun Nat (Option a6989586621679060063 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091187 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091190Sym0 :: TyFun Nat (Option a6989586621679060063 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091187 :: Nat) = ShowsPrec_6989586621681091190Sym1 a6989586621681091187 a6989586621679060063 :: TyFun (Option a6989586621679060063) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680921156Sym0 :: TyFun Nat (Identity a6989586621680920937 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680921153 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Identity type Apply (ShowsPrec_6989586621680921156Sym0 :: TyFun Nat (Identity a6989586621680920937 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680921153 :: Nat) = ShowsPrec_6989586621680921156Sym1 a6989586621680921153 a6989586621680920937 :: TyFun (Identity a6989586621680920937) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680637780Sym0 :: TyFun Nat (First a6989586621679087424 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680637777 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680637780Sym0 :: TyFun Nat (First a6989586621679087424 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680637777 :: Nat) = ShowsPrec_6989586621680637780Sym1 a6989586621680637777 a6989586621679087424 :: TyFun (First a6989586621679087424) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680637811Sym0 :: TyFun Nat (Last a6989586621679087417 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680637808 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680637811Sym0 :: TyFun Nat (Last a6989586621679087417 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680637808 :: Nat) = ShowsPrec_6989586621680637811Sym1 a6989586621680637808 a6989586621679087417 :: TyFun (Last a6989586621679087417) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681091221Sym0 :: TyFun Nat (Dual a6989586621679087483 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091218 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091221Sym0 :: TyFun Nat (Dual a6989586621679087483 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091218 :: Nat) = ShowsPrec_6989586621681091221Sym1 a6989586621681091218 a6989586621679087483 :: TyFun (Dual a6989586621679087483) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681091308Sym0 :: TyFun Nat (Sum a6989586621679087460 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091305 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091308Sym0 :: TyFun Nat (Sum a6989586621679087460 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091305 :: Nat) = ShowsPrec_6989586621681091308Sym1 a6989586621681091305 a6989586621679087460 :: TyFun (Sum a6989586621679087460) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681091339Sym0 :: TyFun Nat (Product a6989586621679087468 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091336 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091339Sym0 :: TyFun Nat (Product a6989586621679087468 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681091336 :: Nat) = ShowsPrec_6989586621681091339Sym1 a6989586621681091336 a6989586621679087468 :: TyFun (Product a6989586621679087468) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680595833Sym0 :: TyFun Nat (NonEmpty a6989586621679060149 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680595830 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595833Sym0 :: TyFun Nat (NonEmpty a6989586621679060149 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680595830 :: Nat) = ShowsPrec_6989586621680595833Sym1 a6989586621680595830 a6989586621679060149 :: TyFun (NonEmpty a6989586621679060149) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680577887Sym1 a6989586621680577884 :: TyFun Symbol (Symbol ~> Symbol) -> Type) (a6989586621680577885 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577887Sym1 a6989586621680577884 :: TyFun Symbol (Symbol ~> Symbol) -> Type) (a6989586621680577885 :: Symbol) = ShowsPrec_6989586621680577887Sym2 a6989586621680577884 a6989586621680577885
type Apply (ShowsPrec_6989586621680595701Sym1 a6989586621680595698 :: TyFun () (Symbol ~> Symbol) -> Type) (a6989586621680595699 :: ())
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595701Sym1 a6989586621680595698 :: TyFun () (Symbol ~> Symbol) -> Type) (a6989586621680595699 :: ()) = ShowsPrec_6989586621680595701Sym2 a6989586621680595698 a6989586621680595699
type Apply (Lambda_6989586621680577749Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216805777446989586621680577748 :: k)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680577749Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216805777446989586621680577748 :: k) = Lambda_6989586621680577749Sym1 a_69895866216805777446989586621680577748
type Apply (ShowsSym0 :: TyFun a6989586621680577364 (Symbol ~> Symbol) -> Type) (a6989586621680577809 :: a6989586621680577364)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsSym0 :: TyFun a6989586621680577364 (Symbol ~> Symbol) -> Type) (a6989586621680577809 :: a6989586621680577364) = ShowsSym1 a6989586621680577809
type Apply (ShowsPrec_6989586621680595913Sym1 a6989586621680595910 :: TyFun Void (Symbol ~> Symbol) -> Type) (a6989586621680595911 :: Void)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595913Sym1 a6989586621680595910 :: TyFun Void (Symbol ~> Symbol) -> Type) (a6989586621680595911 :: Void) = ShowsPrec_6989586621680595913Sym2 a6989586621680595910 a6989586621680595911
type Apply (ShowsPrec_6989586621681091249Sym1 a6989586621681091246 :: TyFun All (Symbol ~> Symbol) -> Type) (a6989586621681091247 :: All)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091249Sym1 a6989586621681091246 :: TyFun All (Symbol ~> Symbol) -> Type) (a6989586621681091247 :: All) = ShowsPrec_6989586621681091249Sym2 a6989586621681091246 a6989586621681091247
type Apply (ShowsPrec_6989586621681091277Sym1 a6989586621681091274 :: TyFun Any (Symbol ~> Symbol) -> Type) (a6989586621681091275 :: Any)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091277Sym1 a6989586621681091274 :: TyFun Any (Symbol ~> Symbol) -> Type) (a6989586621681091275 :: Any) = ShowsPrec_6989586621681091277Sym2 a6989586621681091274 a6989586621681091275
type Apply (ShowsPrec_6989586621680595791Sym0 :: TyFun Nat (Either a6989586621679091038 b6989586621679091039 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680595788 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595791Sym0 :: TyFun Nat (Either a6989586621679091038 b6989586621679091039 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680595788 :: Nat) = ShowsPrec_6989586621680595791Sym1 a6989586621680595788 a6989586621679091038 b6989586621679091039 :: TyFun (Either a6989586621679091038 b6989586621679091039) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680577907Sym0 :: TyFun Nat ((a6989586621680577401, b6989586621680577402) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577904 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577907Sym0 :: TyFun Nat ((a6989586621680577401, b6989586621680577402) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577904 :: Nat) = ShowsPrec_6989586621680577907Sym1 a6989586621680577904 a6989586621680577401 b6989586621680577402 :: TyFun (a6989586621680577401, b6989586621680577402) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681108423Sym0 :: TyFun Nat (Arg a6989586621681107140 b6989586621681107141 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681108420 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681108423Sym0 :: TyFun Nat (Arg a6989586621681107140 b6989586621681107141 ~> (Symbol ~> Symbol)) -> Type) (a6989586621681108420 :: Nat) = ShowsPrec_6989586621681108423Sym1 a6989586621681108420 a6989586621681107140 b6989586621681107141 :: TyFun (Arg a6989586621681107140 b6989586621681107141) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680577832Sym1 a6989586621680577829 a6989586621680577379 :: TyFun a6989586621680577379 (Symbol ~> Symbol) -> Type) (a6989586621680577830 :: a6989586621680577379)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577832Sym1 a6989586621680577829 a6989586621680577379 :: TyFun a6989586621680577379 (Symbol ~> Symbol) -> Type) (a6989586621680577830 :: a6989586621680577379) = ShowsPrec_6989586621680577832Sym2 a6989586621680577829 a6989586621680577830
type Apply (ShowsPrecSym1 arg6989586621680577817 a6989586621680577379 :: TyFun a6989586621680577379 (Symbol ~> Symbol) -> Type) (arg6989586621680577818 :: a6989586621680577379)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym1 arg6989586621680577817 a6989586621680577379 :: TyFun a6989586621680577379 (Symbol ~> Symbol) -> Type) (arg6989586621680577818 :: a6989586621680577379) = ShowsPrecSym2 arg6989586621680577817 arg6989586621680577818
type Apply (Let6989586621680321068GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) (w6989586621680321066 :: k1)
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680321068GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) (w6989586621680321066 :: k1) = Let6989586621680321068GoSym1 w6989586621680321066 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type
type Apply (ShowsPrec_6989586621680577924Sym0 :: TyFun Nat ((a6989586621680577406, b6989586621680577407, c6989586621680577408) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577921 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577924Sym0 :: TyFun Nat ((a6989586621680577406, b6989586621680577407, c6989586621680577408) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577921 :: Nat) = ShowsPrec_6989586621680577924Sym1 a6989586621680577921 a6989586621680577406 b6989586621680577407 c6989586621680577408 :: TyFun (a6989586621680577406, b6989586621680577407, c6989586621680577408) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680953655Sym0 :: TyFun Nat (Const a6989586621680952798 b6989586621680952799 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680953652 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Const type Apply (ShowsPrec_6989586621680953655Sym0 :: TyFun Nat (Const a6989586621680952798 b6989586621680952799 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680953652 :: Nat) = ShowsPrec_6989586621680953655Sym1 a6989586621680953652 a6989586621680952798 b6989586621680952799 :: TyFun (Const a6989586621680952798 b6989586621680952799) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621680321068GoSym1 w6989586621680321066 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) (ws6989586621680321067 :: k2)
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680321068GoSym1 w6989586621680321066 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) (ws6989586621680321067 :: k2) = Let6989586621680321068GoSym2 w6989586621680321066 ws6989586621680321067
type Apply (ShowsPrec_6989586621680577942Sym0 :: TyFun Nat ((a6989586621680577413, b6989586621680577414, c6989586621680577415, d6989586621680577416) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577939 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577942Sym0 :: TyFun Nat ((a6989586621680577413, b6989586621680577414, c6989586621680577415, d6989586621680577416) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577939 :: Nat) = ShowsPrec_6989586621680577942Sym1 a6989586621680577939 a6989586621680577413 b6989586621680577414 c6989586621680577415 d6989586621680577416 :: TyFun (a6989586621680577413, b6989586621680577414, c6989586621680577415, d6989586621680577416) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621680577800ShowlSym1 showx6989586621680577796 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680577797 :: k2)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680577800ShowlSym1 showx6989586621680577796 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680577797 :: k2) = Let6989586621680577800ShowlSym2 showx6989586621680577796 x6989586621680577797 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type
type Apply (Lambda_6989586621680577729Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c6989586621679941603) (TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) -> Type) -> Type) -> Type) (ss6989586621680577727 :: k1)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680577729Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c6989586621679941603) (TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) -> Type) -> Type) -> Type) (ss6989586621680577727 :: k1) = Lambda_6989586621680577729Sym1 ss6989586621680577727 :: TyFun k2 (TyFun (Symbol ~> c6989586621679941603) (TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) -> Type) -> Type
type Apply (ShowsPrec_6989586621680577961Sym0 :: TyFun Nat ((a6989586621680577422, b6989586621680577423, c6989586621680577424, d6989586621680577425, e6989586621680577426) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577958 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577961Sym0 :: TyFun Nat ((a6989586621680577422, b6989586621680577423, c6989586621680577424, d6989586621680577425, e6989586621680577426) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577958 :: Nat) = ShowsPrec_6989586621680577961Sym1 a6989586621680577958 a6989586621680577422 b6989586621680577423 c6989586621680577424 d6989586621680577425 e6989586621680577426 :: TyFun (a6989586621680577422, b6989586621680577423, c6989586621680577424, d6989586621680577425, e6989586621680577426) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621680577800ShowlSym2 x6989586621680577797 showx6989586621680577796 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) (xs6989586621680577798 :: k3)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680577800ShowlSym2 x6989586621680577797 showx6989586621680577796 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) (xs6989586621680577798 :: k3) = Let6989586621680577800ShowlSym3 x6989586621680577797 showx6989586621680577796 xs6989586621680577798
type Apply (Lambda_6989586621680577729Sym1 ss6989586621680577727 :: TyFun k2 (TyFun (Symbol ~> c6989586621679941603) (TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) -> Type) -> Type) (a_69895866216805777256989586621680577728 :: k2)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680577729Sym1 ss6989586621680577727 :: TyFun k2 (TyFun (Symbol ~> c6989586621679941603) (TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) -> Type) -> Type) (a_69895866216805777256989586621680577728 :: k2) = Lambda_6989586621680577729Sym2 ss6989586621680577727 a_69895866216805777256989586621680577728 :: TyFun (Symbol ~> c6989586621679941603) (TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) -> Type
type Apply (ShowsPrec_6989586621680577981Sym0 :: TyFun Nat ((a6989586621680577433, b6989586621680577434, c6989586621680577435, d6989586621680577436, e6989586621680577437, f6989586621680577438) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577978 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577981Sym0 :: TyFun Nat ((a6989586621680577433, b6989586621680577434, c6989586621680577435, d6989586621680577436, e6989586621680577437, f6989586621680577438) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577978 :: Nat) = ShowsPrec_6989586621680577981Sym1 a6989586621680577978 a6989586621680577433 b6989586621680577434 c6989586621680577435 d6989586621680577436 e6989586621680577437 f6989586621680577438 :: TyFun (a6989586621680577433, b6989586621680577434, c6989586621680577435, d6989586621680577436, e6989586621680577437, f6989586621680577438) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621680577800ShowlSym3 xs6989586621680577798 x6989586621680577797 showx6989586621680577796 :: TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) (s6989586621680577799 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680577800ShowlSym3 xs6989586621680577798 x6989586621680577797 showx6989586621680577796 :: TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) (s6989586621680577799 :: Symbol) = Let6989586621680577800ShowlSym4 xs6989586621680577798 x6989586621680577797 showx6989586621680577796 s6989586621680577799
type Apply (ShowsPrec_6989586621680578002Sym0 :: TyFun Nat ((a6989586621680577446, b6989586621680577447, c6989586621680577448, d6989586621680577449, e6989586621680577450, f6989586621680577451, g6989586621680577452) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577999 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680578002Sym0 :: TyFun Nat ((a6989586621680577446, b6989586621680577447, c6989586621680577448, d6989586621680577449, e6989586621680577450, f6989586621680577451, g6989586621680577452) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577999 :: Nat) = ShowsPrec_6989586621680578002Sym1 a6989586621680577999 a6989586621680577446 b6989586621680577447 c6989586621680577448 d6989586621680577449 e6989586621680577450 f6989586621680577451 g6989586621680577452 :: TyFun (a6989586621680577446, b6989586621680577447, c6989586621680577448, d6989586621680577449, e6989586621680577450, f6989586621680577451, g6989586621680577452) (Symbol ~> Symbol) -> Type
type Apply (FromString_6989586621681391372Sym0 :: TyFun Symbol (Const a6989586621681391345 b6989586621681391346) -> Type) (a6989586621681391371 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromString_6989586621681391372Sym0 :: TyFun Symbol (Const a6989586621681391345 b6989586621681391346) -> Type) (a6989586621681391371 :: Symbol) = FromString_6989586621681391372 a6989586621681391371 :: Const a6989586621681391345 b6989586621681391346
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 UnwordsSym0 (a6989586621680321064 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply UnwordsSym0 (a6989586621680321064 :: [Symbol]) = Unwords a6989586621680321064
type Apply UnlinesSym0 (a6989586621680321075 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply UnlinesSym0 (a6989586621680321075 :: [Symbol]) = Unlines a6989586621680321075
type Apply (Let6989586621680321068GoSym2 ws6989586621680321067 w6989586621680321066 :: TyFun [Symbol] Symbol -> Type) (a6989586621680321069 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680321068GoSym2 ws6989586621680321067 w6989586621680321066 :: TyFun [Symbol] Symbol -> Type) (a6989586621680321069 :: [Symbol]) = Let6989586621680321068Go ws6989586621680321067 w6989586621680321066 a6989586621680321069
type Apply (Let6989586621680577800ShowlSym4 s6989586621680577799 xs6989586621680577798 x6989586621680577797 showx6989586621680577796 :: TyFun [k1] Symbol -> Type) (a6989586621680577801 :: [k1])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680577800ShowlSym4 s6989586621680577799 xs6989586621680577798 x6989586621680577797 showx6989586621680577796 :: TyFun [k1] Symbol -> Type) (a6989586621680577801 :: [k1]) = Let6989586621680577800Showl s6989586621680577799 xs6989586621680577798 x6989586621680577797 showx6989586621680577796 a6989586621680577801
type Apply Show_tupleSym0 (a6989586621680577721 :: [Symbol ~> Symbol])
Instance details Defined in Data.Singletons.Prelude.Show type Apply Show_tupleSym0 (a6989586621680577721 :: [Symbol ~> Symbol]) = Show_tupleSym1 a6989586621680577721
type Apply (ShowList_6989586621680577854Sym0 :: TyFun [a6989586621680577379] (Symbol ~> Symbol) -> Type) (a6989586621680577852 :: [a6989586621680577379])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowList_6989586621680577854Sym0 :: TyFun [a6989586621680577379] (Symbol ~> Symbol) -> Type) (a6989586621680577852 :: [a6989586621680577379]) = ShowList_6989586621680577854Sym1 a6989586621680577852
type Apply (ShowListSym0 :: TyFun [a6989586621680577379] (Symbol ~> Symbol) -> Type) (arg6989586621680577825 :: [a6989586621680577379])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym0 :: TyFun [a6989586621680577379] (Symbol ~> Symbol) -> Type) (arg6989586621680577825 :: [a6989586621680577379]) = ShowListSym1 arg6989586621680577825
type Apply (ShowListWithSym1 a6989586621680577789 :: TyFun [a6989586621680577363] (Symbol ~> Symbol) -> Type) (a6989586621680577790 :: [a6989586621680577363])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym1 a6989586621680577789 :: TyFun [a6989586621680577363] (Symbol ~> Symbol) -> Type) (a6989586621680577790 :: [a6989586621680577363]) = ShowListWithSym2 a6989586621680577789 a6989586621680577790
type Apply (ShowsPrec_6989586621680577867Sym1 a6989586621680577864 a6989586621680577397 :: TyFun [a6989586621680577397] (Symbol ~> Symbol) -> Type) (a6989586621680577865 :: [a6989586621680577397])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577867Sym1 a6989586621680577864 a6989586621680577397 :: TyFun [a6989586621680577397] (Symbol ~> Symbol) -> Type) (a6989586621680577865 :: [a6989586621680577397]) = ShowsPrec_6989586621680577867Sym2 a6989586621680577864 a6989586621680577865
type Apply (ShowsPrec_6989586621680595735Sym1 a6989586621680595732 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) (a6989586621680595733 :: Maybe a3530822107858468865)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595735Sym1 a6989586621680595732 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) (a6989586621680595733 :: Maybe a3530822107858468865) = ShowsPrec_6989586621680595735Sym2 a6989586621680595732 a6989586621680595733
type Apply (ShowsPrec_6989586621681091370Sym1 a6989586621681091367 a6989586621679060068 :: TyFun (Min a6989586621679060068) (Symbol ~> Symbol) -> Type) (a6989586621681091368 :: Min a6989586621679060068)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091370Sym1 a6989586621681091367 a6989586621679060068 :: TyFun (Min a6989586621679060068) (Symbol ~> Symbol) -> Type) (a6989586621681091368 :: Min a6989586621679060068) = ShowsPrec_6989586621681091370Sym2 a6989586621681091367 a6989586621681091368
type Apply (ShowsPrec_6989586621681091401Sym1 a6989586621681091398 a6989586621679060073 :: TyFun (Max a6989586621679060073) (Symbol ~> Symbol) -> Type) (a6989586621681091399 :: Max a6989586621679060073)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091401Sym1 a6989586621681091398 a6989586621679060073 :: TyFun (Max a6989586621679060073) (Symbol ~> Symbol) -> Type) (a6989586621681091399 :: Max a6989586621679060073) = ShowsPrec_6989586621681091401Sym2 a6989586621681091398 a6989586621681091399
type Apply (ShowsPrec_6989586621681091432Sym1 a6989586621681091429 a6989586621679060083 :: TyFun (First a6989586621679060083) (Symbol ~> Symbol) -> Type) (a6989586621681091430 :: First a6989586621679060083)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091432Sym1 a6989586621681091429 a6989586621679060083 :: TyFun (First a6989586621679060083) (Symbol ~> Symbol) -> Type) (a6989586621681091430 :: First a6989586621679060083) = ShowsPrec_6989586621681091432Sym2 a6989586621681091429 a6989586621681091430
type Apply (ShowsPrec_6989586621681091463Sym1 a6989586621681091460 a6989586621679060078 :: TyFun (Last a6989586621679060078) (Symbol ~> Symbol) -> Type) (a6989586621681091461 :: Last a6989586621679060078)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091463Sym1 a6989586621681091460 a6989586621679060078 :: TyFun (Last a6989586621679060078) (Symbol ~> Symbol) -> Type) (a6989586621681091461 :: Last a6989586621679060078) = ShowsPrec_6989586621681091463Sym2 a6989586621681091460 a6989586621681091461
type Apply (ShowsPrec_6989586621681091494Sym1 a6989586621681091491 m6989586621679090730 :: TyFun (WrappedMonoid m6989586621679090730) (Symbol ~> Symbol) -> Type) (a6989586621681091492 :: WrappedMonoid m6989586621679090730)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091494Sym1 a6989586621681091491 m6989586621679090730 :: TyFun (WrappedMonoid m6989586621679090730) (Symbol ~> Symbol) -> Type) (a6989586621681091492 :: WrappedMonoid m6989586621679090730) = ShowsPrec_6989586621681091494Sym2 a6989586621681091491 a6989586621681091492
type Apply (ShowsPrec_6989586621681091190Sym1 a6989586621681091187 a6989586621679060063 :: TyFun (Option a6989586621679060063) (Symbol ~> Symbol) -> Type) (a6989586621681091188 :: Option a6989586621679060063)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091190Sym1 a6989586621681091187 a6989586621679060063 :: TyFun (Option a6989586621679060063) (Symbol ~> Symbol) -> Type) (a6989586621681091188 :: Option a6989586621679060063) = ShowsPrec_6989586621681091190Sym2 a6989586621681091187 a6989586621681091188
type Apply (ShowsPrec_6989586621680921156Sym1 a6989586621680921153 a6989586621680920937 :: TyFun (Identity a6989586621680920937) (Symbol ~> Symbol) -> Type) (a6989586621680921154 :: Identity a6989586621680920937)
Instance details Defined in Data.Singletons.Prelude.Identity type Apply (ShowsPrec_6989586621680921156Sym1 a6989586621680921153 a6989586621680920937 :: TyFun (Identity a6989586621680920937) (Symbol ~> Symbol) -> Type) (a6989586621680921154 :: Identity a6989586621680920937) = ShowsPrec_6989586621680921156Sym2 a6989586621680921153 a6989586621680921154
type Apply (ShowsPrec_6989586621680637780Sym1 a6989586621680637777 a6989586621679087424 :: TyFun (First a6989586621679087424) (Symbol ~> Symbol) -> Type) (a6989586621680637778 :: First a6989586621679087424)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680637780Sym1 a6989586621680637777 a6989586621679087424 :: TyFun (First a6989586621679087424) (Symbol ~> Symbol) -> Type) (a6989586621680637778 :: First a6989586621679087424) = ShowsPrec_6989586621680637780Sym2 a6989586621680637777 a6989586621680637778
type Apply (ShowsPrec_6989586621680637811Sym1 a6989586621680637808 a6989586621679087417 :: TyFun (Last a6989586621679087417) (Symbol ~> Symbol) -> Type) (a6989586621680637809 :: Last a6989586621679087417)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680637811Sym1 a6989586621680637808 a6989586621679087417 :: TyFun (Last a6989586621679087417) (Symbol ~> Symbol) -> Type) (a6989586621680637809 :: Last a6989586621679087417) = ShowsPrec_6989586621680637811Sym2 a6989586621680637808 a6989586621680637809
type Apply (ShowsPrec_6989586621681091221Sym1 a6989586621681091218 a6989586621679087483 :: TyFun (Dual a6989586621679087483) (Symbol ~> Symbol) -> Type) (a6989586621681091219 :: Dual a6989586621679087483)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091221Sym1 a6989586621681091218 a6989586621679087483 :: TyFun (Dual a6989586621679087483) (Symbol ~> Symbol) -> Type) (a6989586621681091219 :: Dual a6989586621679087483) = ShowsPrec_6989586621681091221Sym2 a6989586621681091218 a6989586621681091219
type Apply (ShowsPrec_6989586621681091308Sym1 a6989586621681091305 a6989586621679087460 :: TyFun (Sum a6989586621679087460) (Symbol ~> Symbol) -> Type) (a6989586621681091306 :: Sum a6989586621679087460)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091308Sym1 a6989586621681091305 a6989586621679087460 :: TyFun (Sum a6989586621679087460) (Symbol ~> Symbol) -> Type) (a6989586621681091306 :: Sum a6989586621679087460) = ShowsPrec_6989586621681091308Sym2 a6989586621681091305 a6989586621681091306
type Apply (ShowsPrec_6989586621681091339Sym1 a6989586621681091336 a6989586621679087468 :: TyFun (Product a6989586621679087468) (Symbol ~> Symbol) -> Type) (a6989586621681091337 :: Product a6989586621679087468)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681091339Sym1 a6989586621681091336 a6989586621679087468 :: TyFun (Product a6989586621679087468) (Symbol ~> Symbol) -> Type) (a6989586621681091337 :: Product a6989586621679087468) = ShowsPrec_6989586621681091339Sym2 a6989586621681091336 a6989586621681091337
type Apply (ShowsPrec_6989586621680595833Sym1 a6989586621680595830 a6989586621679060149 :: TyFun (NonEmpty a6989586621679060149) (Symbol ~> Symbol) -> Type) (a6989586621680595831 :: NonEmpty a6989586621679060149)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595833Sym1 a6989586621680595830 a6989586621679060149 :: TyFun (NonEmpty a6989586621679060149) (Symbol ~> Symbol) -> Type) (a6989586621680595831 :: NonEmpty a6989586621679060149) = ShowsPrec_6989586621680595833Sym2 a6989586621680595830 a6989586621680595831
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 (ShowParenSym1 a6989586621680577755 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680577756 :: Symbol ~> Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowParenSym1 a6989586621680577755 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680577756 :: Symbol ~> Symbol) = ShowParenSym2 a6989586621680577755 a6989586621680577756
type Apply (ShowListWithSym0 :: TyFun (a6989586621680577363 ~> (Symbol ~> Symbol)) ([a6989586621680577363] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577789 :: a6989586621680577363 ~> (Symbol ~> Symbol))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym0 :: TyFun (a6989586621680577363 ~> (Symbol ~> Symbol)) ([a6989586621680577363] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680577789 :: a6989586621680577363 ~> (Symbol ~> Symbol)) = ShowListWithSym1 a6989586621680577789
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 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_6989586621680595791Sym1 a6989586621680595788 a6989586621679091038 b6989586621679091039 :: TyFun (Either a6989586621679091038 b6989586621679091039) (Symbol ~> Symbol) -> Type) (a6989586621680595789 :: Either a6989586621679091038 b6989586621679091039)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680595791Sym1 a6989586621680595788 a6989586621679091038 b6989586621679091039 :: TyFun (Either a6989586621679091038 b6989586621679091039) (Symbol ~> Symbol) -> Type) (a6989586621680595789 :: Either a6989586621679091038 b6989586621679091039) = ShowsPrec_6989586621680595791Sym2 a6989586621680595788 a6989586621680595789
type Apply (ShowsPrec_6989586621680577907Sym1 a6989586621680577904 a6989586621680577401 b6989586621680577402 :: TyFun (a6989586621680577401, b6989586621680577402) (Symbol ~> Symbol) -> Type) (a6989586621680577905 :: (a6989586621680577401, b6989586621680577402))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577907Sym1 a6989586621680577904 a6989586621680577401 b6989586621680577402 :: TyFun (a6989586621680577401, b6989586621680577402) (Symbol ~> Symbol) -> Type) (a6989586621680577905 :: (a6989586621680577401, b6989586621680577402)) = ShowsPrec_6989586621680577907Sym2 a6989586621680577904 a6989586621680577905
type Apply (ShowsPrec_6989586621681108423Sym1 a6989586621681108420 a6989586621681107140 b6989586621681107141 :: TyFun (Arg a6989586621681107140 b6989586621681107141) (Symbol ~> Symbol) -> Type) (a6989586621681108421 :: Arg a6989586621681107140 b6989586621681107141)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681108423Sym1 a6989586621681108420 a6989586621681107140 b6989586621681107141 :: TyFun (Arg a6989586621681107140 b6989586621681107141) (Symbol ~> Symbol) -> Type) (a6989586621681108421 :: Arg a6989586621681107140 b6989586621681107141) = ShowsPrec_6989586621681108423Sym2 a6989586621681108420 a6989586621681108421
type Apply (Let6989586621680577800ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) (showx6989586621680577796 :: k1 ~> (Symbol ~> Symbol))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680577800ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) (showx6989586621680577796 :: k1 ~> (Symbol ~> Symbol)) = Let6989586621680577800ShowlSym1 showx6989586621680577796 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type
type Apply (Lambda_6989586621680577729Sym2 a_69895866216805777256989586621680577728 ss6989586621680577727 :: TyFun (Symbol ~> c6989586621679941603) (TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) -> Type) (t6989586621680577733 :: Symbol ~> c6989586621679941603)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680577729Sym2 a_69895866216805777256989586621680577728 ss6989586621680577727 :: TyFun (Symbol ~> c6989586621679941603) (TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) -> Type) (t6989586621680577733 :: Symbol ~> c6989586621679941603) = Lambda_6989586621680577729Sym3 a_69895866216805777256989586621680577728 ss6989586621680577727 t6989586621680577733 :: TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type
type Apply (Lambda_6989586621680577729Sym3 t6989586621680577733 a_69895866216805777256989586621680577728 ss6989586621680577727 :: TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) (t6989586621680577734 :: a6989586621679941604 ~> Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680577729Sym3 t6989586621680577733 a_69895866216805777256989586621680577728 ss6989586621680577727 :: TyFun (a6989586621679941604 ~> Symbol) (TyFun a6989586621679941604 c6989586621679941603 -> Type) -> Type) (t6989586621680577734 :: a6989586621679941604 ~> Symbol) = Lambda_6989586621680577729 t6989586621680577733 a_69895866216805777256989586621680577728 ss6989586621680577727 t6989586621680577734
type Apply (ShowsPrec_6989586621680577924Sym1 a6989586621680577921 a6989586621680577406 b6989586621680577407 c6989586621680577408 :: TyFun (a6989586621680577406, b6989586621680577407, c6989586621680577408) (Symbol ~> Symbol) -> Type) (a6989586621680577922 :: (a6989586621680577406, b6989586621680577407, c6989586621680577408))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577924Sym1 a6989586621680577921 a6989586621680577406 b6989586621680577407 c6989586621680577408 :: TyFun (a6989586621680577406, b6989586621680577407, c6989586621680577408) (Symbol ~> Symbol) -> Type) (a6989586621680577922 :: (a6989586621680577406, b6989586621680577407, c6989586621680577408)) = ShowsPrec_6989586621680577924Sym2 a6989586621680577921 a6989586621680577922
type Apply (ShowsPrec_6989586621680953655Sym1 a6989586621680953652 a6989586621680952798 b6989586621680952799 :: TyFun (Const a6989586621680952798 b6989586621680952799) (Symbol ~> Symbol) -> Type) (a6989586621680953653 :: Const a6989586621680952798 b6989586621680952799)
Instance details Defined in Data.Singletons.Prelude.Const type Apply (ShowsPrec_6989586621680953655Sym1 a6989586621680953652 a6989586621680952798 b6989586621680952799 :: TyFun (Const a6989586621680952798 b6989586621680952799) (Symbol ~> Symbol) -> Type) (a6989586621680953653 :: Const a6989586621680952798 b6989586621680952799) = ShowsPrec_6989586621680953655Sym2 a6989586621680953652 a6989586621680953653
type Apply (ShowsPrec_6989586621680577942Sym1 a6989586621680577939 a6989586621680577413 b6989586621680577414 c6989586621680577415 d6989586621680577416 :: TyFun (a6989586621680577413, b6989586621680577414, c6989586621680577415, d6989586621680577416) (Symbol ~> Symbol) -> Type) (a6989586621680577940 :: (a6989586621680577413, b6989586621680577414, c6989586621680577415, d6989586621680577416))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577942Sym1 a6989586621680577939 a6989586621680577413 b6989586621680577414 c6989586621680577415 d6989586621680577416 :: TyFun (a6989586621680577413, b6989586621680577414, c6989586621680577415, d6989586621680577416) (Symbol ~> Symbol) -> Type) (a6989586621680577940 :: (a6989586621680577413, b6989586621680577414, c6989586621680577415, d6989586621680577416)) = ShowsPrec_6989586621680577942Sym2 a6989586621680577939 a6989586621680577940
type Apply (ShowsPrec_6989586621680577961Sym1 a6989586621680577958 a6989586621680577422 b6989586621680577423 c6989586621680577424 d6989586621680577425 e6989586621680577426 :: TyFun (a6989586621680577422, b6989586621680577423, c6989586621680577424, d6989586621680577425, e6989586621680577426) (Symbol ~> Symbol) -> Type) (a6989586621680577959 :: (a6989586621680577422, b6989586621680577423, c6989586621680577424, d6989586621680577425, e6989586621680577426))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577961Sym1 a6989586621680577958 a6989586621680577422 b6989586621680577423 c6989586621680577424 d6989586621680577425 e6989586621680577426 :: TyFun (a6989586621680577422, b6989586621680577423, c6989586621680577424, d6989586621680577425, e6989586621680577426) (Symbol ~> Symbol) -> Type) (a6989586621680577959 :: (a6989586621680577422, b6989586621680577423, c6989586621680577424, d6989586621680577425, e6989586621680577426)) = ShowsPrec_6989586621680577961Sym2 a6989586621680577958 a6989586621680577959
type Apply (ShowsPrec_6989586621680577981Sym1 a6989586621680577978 a6989586621680577433 b6989586621680577434 c6989586621680577435 d6989586621680577436 e6989586621680577437 f6989586621680577438 :: TyFun (a6989586621680577433, b6989586621680577434, c6989586621680577435, d6989586621680577436, e6989586621680577437, f6989586621680577438) (Symbol ~> Symbol) -> Type) (a6989586621680577979 :: (a6989586621680577433, b6989586621680577434, c6989586621680577435, d6989586621680577436, e6989586621680577437, f6989586621680577438))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680577981Sym1 a6989586621680577978 a6989586621680577433 b6989586621680577434 c6989586621680577435 d6989586621680577436 e6989586621680577437 f6989586621680577438 :: TyFun (a6989586621680577433, b6989586621680577434, c6989586621680577435, d6989586621680577436, e6989586621680577437, f6989586621680577438) (Symbol ~> Symbol) -> Type) (a6989586621680577979 :: (a6989586621680577433, b6989586621680577434, c6989586621680577435, d6989586621680577436, e6989586621680577437, f6989586621680577438)) = ShowsPrec_6989586621680577981Sym2 a6989586621680577978 a6989586621680577979
type Apply (ShowsPrec_6989586621680578002Sym1 a6989586621680577999 a6989586621680577446 b6989586621680577447 c6989586621680577448 d6989586621680577449 e6989586621680577450 f6989586621680577451 g6989586621680577452 :: TyFun (a6989586621680577446, b6989586621680577447, c6989586621680577448, d6989586621680577449, e6989586621680577450, f6989586621680577451, g6989586621680577452) (Symbol ~> Symbol) -> Type) (a6989586621680578000 :: (a6989586621680577446, b6989586621680577447, c6989586621680577448, d6989586621680577449, e6989586621680577450, f6989586621680577451, g6989586621680577452))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680578002Sym1 a6989586621680577999 a6989586621680577446 b6989586621680577447 c6989586621680577448 d6989586621680577449 e6989586621680577450 f6989586621680577451 g6989586621680577452 :: TyFun (a6989586621680577446, b6989586621680577447, c6989586621680577448, d6989586621680577449, e6989586621680577450, f6989586621680577451, g6989586621680577452) (Symbol ~> Symbol) -> Type) (a6989586621680578000 :: (a6989586621680577446, b6989586621680577447, c6989586621680577448, d6989586621680577449, e6989586621680577450, f6989586621680577451, g6989586621680577452)) = ShowsPrec_6989586621680578002Sym2 a6989586621680577999 a6989586621680578000

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.

type family TypeErrorUnless (cond :: Bool) (err :: ErrorMessage) :: Constraint where ... Source #

Conditional type error.

Note that TypeErrorUnless cond err is the same as If cond () (TypeError err), but does not produce type-level error when one of its arguments cannot be deduced.

Equations

TypeErrorUnless 'True _ = ()
TypeErrorUnless 'False err = TypeError err

inTypeErrorUnless :: forall cond err a. TypeErrorUnless cond err => (cond ~ 'True => a) -> a Source #

Reify the fact that condition under TypeErrorUnless constraint can be assumed to always hold.