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 ...
symbolValT :: forall s. KnownSymbol s => Proxy s -> Text
symbolValT' :: forall s. KnownSymbol s => Text
type family TypeError (a :: ErrorMessage) :: b where ...
data ErrorMessage where
- Text :: forall. Symbol -> ErrorMessage
- ShowType :: forall t. t -> ErrorMessage
- (:<>:) :: forall. ErrorMessage -> ErrorMessage -> ErrorMessage
- (:$$:) :: forall. 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

SingKind Symbol	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type DemoteRep Symbol :: Type Methods fromSing :: Sing a -> DemoteRep Symbol
PIsString Symbol
Instance details Defined in Data.Singletons.Prelude.IsString Associated Types type FromString arg :: a #
SIsString Symbol
Instance details Defined in Data.Singletons.Prelude.IsString Methods sFromString :: Sing t -> Sing (Apply FromStringSym0 t) #
PMonoid Symbol
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a # type Mappend arg arg1 :: a # type Mconcat arg :: a #
SMonoid Symbol
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 # sMappend :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MappendSym0 t1) t2) # sMconcat :: Sing t -> Sing (Apply MconcatSym0 t) #
PShow Symbol
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec arg arg1 arg2 :: Symbol # type Show_ arg :: Symbol # type ShowList arg arg1 :: Symbol #
SShow Symbol
Instance details Defined in Data.Singletons.Prelude.Show Methods sShowsPrec :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) #
PSemigroup Symbol
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg1 :: a # type Sconcat arg :: a #
SSemigroup Symbol
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<>@#@$) t1) t2) # sSconcat :: 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 #
UnpackUParam c ([] :: [EntryPointKind]) Source #
Instance details Defined in Lorentz.UParam Methods unpackUParam :: UParam [] -> Either EntryPointLookupError (MText, ConstrainedSome c) Source #
(KnownSymbol name, UnpackUParam c entries, NiceUnpackedValue arg, c arg) => UnpackUParam c ((name ?: arg) ': entries) Source #
Instance details Defined in Lorentz.UParam Methods unpackUParam :: UParam ((name ?: arg) ': entries) -> Either EntryPointLookupError (MText, ConstrainedSome c) Source #
KnownSymbol l => KnownField (l ::: v :: (Symbol, k))
Instance details Defined in Data.Vinyl.Derived
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 () #
StripFieldNames ([] :: [(Symbol, Type)])
Instance details Defined in Data.Vinyl.Derived Methods stripNames :: Rec ElField [] -> Rec Identity (Unlabeled []) # stripNames' :: Functor f => Rec (f :. ElField) [] -> Rec f (Unlabeled []) # withNames :: Rec Identity (Unlabeled []) -> Rec ElField [] # withNames' :: Functor f => Rec f (Unlabeled []) -> Rec (f :. ElField) [] #
CaseUParam ([] :: [EntryPointKind]) Source #
Instance details Defined in Lorentz.UParam Methods caseUParamUnsafe :: Rec (CaseClauseU inp out) [] -> UParamFallback inp out -> (UParam [] ': inp) :-> out
KnownSymbol s => Show (SField ((,) s t))
Instance details Defined in Data.Vinyl.Derived Methods showsPrec :: Int -> SField (s, t) -> ShowS # show :: SField (s, t) -> String # showList :: [SField (s, t)] -> ShowS #
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_6989586621680280967Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680280994Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsNatSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680262767Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680280816Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680281022Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680865609Sym0
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680865635Sym0
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings KnownSymbolSym0
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowSpaceSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowCommaSpaceSym0
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 ShowSpaceSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowSpaceSym0 #
SingI ShowCommaSpaceSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowCommaSpaceSym0 #
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) :: Type # Methods unHKD :: HKD ElField (s, a) -> ElField (s, a) # toHKD :: ElField (s, a) -> HKD ElField (s, a) #
SuppressUnusedWarnings (ShowsPrec_6989586621680280967Sym1 a6989586621680280964 :: TyFun Bool (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowList_6989586621680262728Sym0 :: TyFun [a6989586621680260735] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621680260735] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280994Sym1 a6989586621680280991 :: TyFun Ordering (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262747Sym0 :: TyFun Nat ([a6989586621680260753] ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280853Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262708Sym0 :: TyFun Nat (a6989586621680260735 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (a6989586621680260735 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865722Sym0 :: TyFun Nat (Min a6989586621679050988 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865751Sym0 :: TyFun Nat (Max a6989586621679050994 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865780Sym0 :: TyFun Nat (First a6989586621679051008 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865809Sym0 :: TyFun Nat (Last a6989586621679051014 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865838Sym0 :: TyFun Nat (WrappedMonoid m6989586621679051020 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865554Sym0 :: TyFun Nat (Option a6989586621679051026 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680676045Sym0 :: TyFun Nat (Identity a6989586621680675536 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680335643Sym0 :: TyFun Nat (First a6989586621679072651 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680335672Sym0 :: TyFun Nat (Last a6989586621679072646 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865583Sym0 :: TyFun Nat (Dual a6989586621679072622 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865664Sym0 :: TyFun Nat (Sum a6989586621679072607 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865693Sym0 :: TyFun Nat (Product a6989586621679072612 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280941Sym0 :: TyFun Nat (NonEmpty a6989586621679055418 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Fail_6989586621679608101Sym0 :: TyFun Symbol [a6989586621679544705] -> Type)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Fail_6989586621679608036Sym0 :: TyFun Symbol (Maybe a6989586621679544705) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowStringSym1 a6989586621680262604 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowCharSym1 a6989586621680262619 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show_tupleSym1 a6989586621680262639 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsNatSym1 a6989586621680280204 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621681196658 -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FromString_6989586621681196707Sym0 :: TyFun Symbol (Identity a6989586621681196663) -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262767Sym1 a6989586621680262764 :: TyFun Symbol (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280816Sym1 a6989586621680280813 :: TyFun () (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621680260720 (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show__6989586621680262717Sym0 :: TyFun a6989586621680260735 Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621680260735 Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680262594Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680281022Sym1 a6989586621680281019 :: TyFun Void (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865609Sym1 a6989586621680865606 :: TyFun All (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865635Sym1 a6989586621680865632 :: TyFun Any (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowParenSym1 a6989586621680262625 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a6989586621680260719 ~> (Symbol ~> Symbol)) ([a6989586621680260719] ~> (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 :: Constraint # 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_6989586621680262747Sym1 a6989586621680262744 a6989586621680260753 :: TyFun [a6989586621680260753] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680262657 :: TyFun [a6989586621680260719] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280853Sym1 a6989586621680280850 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280907Sym0 :: TyFun Nat (Either a6989586621679074205 b6989586621679074206 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262784Sym0 :: TyFun Nat ((a6989586621680260757, b6989586621680260758) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680883004Sym0 :: TyFun Nat (Arg a6989586621680881653 b6989586621680881654 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowParenSym2 a6989586621680262626 a6989586621680262625 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsSym1 a6989586621680262677 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListSym1 arg6989586621680262693 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865609Sym2 a6989586621680865607 a6989586621680865606 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865635Sym2 a6989586621680865633 a6989586621680865632 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowList_6989586621680262728Sym1 a6989586621680262726 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262767Sym2 a6989586621680262765 a6989586621680262764 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280816Sym2 a6989586621680280814 a6989586621680280813 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280967Sym2 a6989586621680280965 a6989586621680280964 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280994Sym2 a6989586621680280992 a6989586621680280991 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680281022Sym2 a6989586621680281020 a6989586621680281019 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680262594Sym1 a_69895866216802625896989586621680262593 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262708Sym1 a6989586621680262705 a6989586621680260735 :: TyFun a6989586621680260735 (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym1 arg6989586621680262685 a6989586621680260735 :: TyFun a6989586621680260735 (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621679949384GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865722Sym1 a6989586621680865719 a6989586621679050988 :: TyFun (Min a6989586621679050988) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865751Sym1 a6989586621680865748 a6989586621679050994 :: TyFun (Max a6989586621679050994) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865780Sym1 a6989586621680865777 a6989586621679051008 :: TyFun (First a6989586621679051008) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865809Sym1 a6989586621680865806 a6989586621679051014 :: TyFun (Last a6989586621679051014) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865838Sym1 a6989586621680865835 m6989586621679051020 :: TyFun (WrappedMonoid m6989586621679051020) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865554Sym1 a6989586621680865551 a6989586621679051026 :: TyFun (Option a6989586621679051026) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680676045Sym1 a6989586621680676042 a6989586621680675536 :: TyFun (Identity a6989586621680675536) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680335643Sym1 a6989586621680335640 a6989586621679072651 :: TyFun (First a6989586621679072651) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680335672Sym1 a6989586621680335669 a6989586621679072646 :: TyFun (Last a6989586621679072646) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865583Sym1 a6989586621680865580 a6989586621679072622 :: TyFun (Dual a6989586621679072622) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865664Sym1 a6989586621680865661 a6989586621679072607 :: TyFun (Sum a6989586621679072607) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865693Sym1 a6989586621680865690 a6989586621679072612 :: TyFun (Product a6989586621679072612) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280941Sym1 a6989586621680280938 a6989586621679055418 :: TyFun (NonEmpty a6989586621679055418) (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 :: Constraint # 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 :: Constraint # Methods rsubsetC :: (Functor g, RecSubsetFCtx SRec f) => (SRec f rs -> g (SRec f rs)) -> SRec f ss -> g (SRec f ss) # rcastC :: RecSubsetFCtx SRec f => SRec f ss -> SRec f rs # rreplaceC :: 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 :: Constraint # Methods rsubsetC :: (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 :: RecSubsetFCtx (SRec2 ElField) f => SRec2 ElField f ss -> SRec2 ElField f rs # rreplaceC :: RecSubsetFCtx (SRec2 ElField) f => SRec2 ElField f rs -> SRec2 ElField f ss -> SRec2 ElField f ss #
SuppressUnusedWarnings (ShowsPrec_6989586621680280907Sym1 a6989586621680280904 a6989586621679074205 b6989586621679074206 :: TyFun (Either a6989586621679074205 b6989586621679074206) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262802Sym0 :: TyFun Nat ((a6989586621680260762, b6989586621680260763, c6989586621680260764) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680711559Sym0 :: TyFun Nat (Const a6989586621680710940 b6989586621680710941 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680262658 a6989586621680262657 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym2 arg6989586621680262686 arg6989586621680262685 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865554Sym2 a6989586621680865552 a6989586621680865551 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865583Sym2 a6989586621680865581 a6989586621680865580 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865664Sym2 a6989586621680865662 a6989586621680865661 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865693Sym2 a6989586621680865691 a6989586621680865690 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865722Sym2 a6989586621680865720 a6989586621680865719 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865751Sym2 a6989586621680865749 a6989586621680865748 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865780Sym2 a6989586621680865778 a6989586621680865777 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865809Sym2 a6989586621680865807 a6989586621680865806 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865838Sym2 a6989586621680865836 a6989586621680865835 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680676045Sym2 a6989586621680676043 a6989586621680676042 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680335643Sym2 a6989586621680335641 a6989586621680335640 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680335672Sym2 a6989586621680335670 a6989586621680335669 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262708Sym2 a6989586621680262706 a6989586621680262705 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262747Sym2 a6989586621680262745 a6989586621680262744 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280853Sym2 a6989586621680280851 a6989586621680280850 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280941Sym2 a6989586621680280939 a6989586621680280938 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Fail_6989586621679545218Sym0 :: TyFun Symbol (m6989586621679544699 a6989586621679544705) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FailSym0 :: TyFun Symbol (m6989586621679544699 a6989586621679544705) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FromString_6989586621681196700Sym0 :: TyFun Symbol (Const a6989586621681196660 b6989586621681196661) -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262784Sym1 a6989586621680262781 a6989586621680260757 b6989586621680260758 :: TyFun (a6989586621680260757, b6989586621680260758) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621679949384GoSym1 w6989586621679949382 :: TyFun k1 (TyFun [Symbol] Symbol -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680883004Sym1 a6989586621680883001 a6989586621680881653 b6989586621680881654 :: TyFun (Arg a6989586621680881653 b6989586621680881654) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680262668ShowlSym0 :: TyFun (k3 ~> (Symbol ~> Symbol)) (TyFun k1 (TyFun k2 (TyFun Symbol (TyFun [k3] 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) #
SMonad m => SingI (FailSym0 :: TyFun Symbol (m a) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing FailSym0 #
SuppressUnusedWarnings (Let6989586621679949384GoSym2 ws6989586621679949383 w6989586621679949382 :: TyFun [Symbol] Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262821Sym0 :: TyFun Nat ((a6989586621680260769, b6989586621680260770, c6989586621680260771, d6989586621680260772) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680883004Sym2 a6989586621680883002 a6989586621680883001 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262784Sym2 a6989586621680262782 a6989586621680262781 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280907Sym2 a6989586621680280905 a6989586621680280904 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262802Sym1 a6989586621680262799 a6989586621680260762 b6989586621680260763 c6989586621680260764 :: TyFun (a6989586621680260762, b6989586621680260763, c6989586621680260764) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680262668ShowlSym1 showx6989586621680262664 :: TyFun k1 (TyFun k2 (TyFun Symbol (TyFun [k3] Symbol -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680262647Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c6989586621679520389) (TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680711559Sym1 a6989586621680711556 a6989586621680710940 b6989586621680710941 :: TyFun (Const a6989586621680710940 b6989586621680710941) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262841Sym0 :: TyFun Nat ((a6989586621680260778, b6989586621680260779, c6989586621680260780, d6989586621680260781, e6989586621680260782) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680711559Sym2 a6989586621680711557 a6989586621680711556 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262802Sym2 a6989586621680262800 a6989586621680262799 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262821Sym1 a6989586621680262818 a6989586621680260769 b6989586621680260770 c6989586621680260771 d6989586621680260772 :: TyFun (a6989586621680260769, b6989586621680260770, c6989586621680260771, d6989586621680260772) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680262668ShowlSym2 x6989586621680262665 showx6989586621680262664 :: TyFun k1 (TyFun Symbol (TyFun [k3] Symbol -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680262647Sym1 ss6989586621680262645 :: TyFun k1 (TyFun (Symbol ~> c6989586621679520389) (TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262862Sym0 :: TyFun Nat ((a6989586621680260789, b6989586621680260790, c6989586621680260791, d6989586621680260792, e6989586621680260793, f6989586621680260794) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680262668ShowlSym3 xs6989586621680262666 x6989586621680262665 showx6989586621680262664 :: TyFun Symbol (TyFun [k3] Symbol -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262821Sym2 a6989586621680262819 a6989586621680262818 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262841Sym1 a6989586621680262838 a6989586621680260778 b6989586621680260779 c6989586621680260780 d6989586621680260781 e6989586621680260782 :: TyFun (a6989586621680260778, b6989586621680260779, c6989586621680260780, d6989586621680260781, e6989586621680260782) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680262647Sym2 a_69895866216802626436989586621680262646 ss6989586621680262645 :: TyFun (Symbol ~> c6989586621679520389) (TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680262668ShowlSym4 s6989586621680262667 xs6989586621680262666 x6989586621680262665 showx6989586621680262664 :: TyFun [k3] Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262884Sym0 :: TyFun Nat ((a6989586621680260802, b6989586621680260803, c6989586621680260804, d6989586621680260805, e6989586621680260806, f6989586621680260807, g6989586621680260808) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262841Sym2 a6989586621680262839 a6989586621680262838 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262862Sym1 a6989586621680262859 a6989586621680260789 b6989586621680260790 c6989586621680260791 d6989586621680260792 e6989586621680260793 f6989586621680260794 :: TyFun (a6989586621680260789, b6989586621680260790, c6989586621680260791, d6989586621680260792, e6989586621680260793, f6989586621680260794) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680262647Sym3 t6989586621680262651 a_69895866216802626436989586621680262646 ss6989586621680262645 :: TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262862Sym2 a6989586621680262860 a6989586621680262859 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262884Sym1 a6989586621680262881 a6989586621680260802 b6989586621680260803 c6989586621680260804 d6989586621680260805 e6989586621680260806 f6989586621680260807 g6989586621680260808 :: TyFun (a6989586621680260802, b6989586621680260803, c6989586621680260804, d6989586621680260805, e6989586621680260806, f6989586621680260807, g6989586621680260808) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262884Sym2 a6989586621680262882 a6989586621680262881 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
(KnownSymbol s, StripFieldNames ts) => StripFieldNames ((,) s t ': ts)
Instance details Defined in Data.Vinyl.Derived Methods stripNames :: Rec ElField ((s, t) ': ts) -> Rec Identity (Unlabeled ((s, t) ': ts)) # stripNames' :: Functor f => Rec (f :. ElField) ((s, t) ': ts) -> Rec f (Unlabeled ((s, t) ': ts)) # withNames :: Rec Identity (Unlabeled ((s, t) ': ts)) -> Rec ElField ((s, t) ': ts) # withNames' :: Functor f => Rec f (Unlabeled ((s, t) ': ts)) -> Rec (f :. ElField) ((s, t) ': ts) #
(KnownSymbol name, CaseUParam entries, NiceUnpackedValue arg) => CaseUParam ((name ?: arg) ': entries) Source #
Instance details Defined in Lorentz.UParam Methods caseUParamUnsafe :: Rec (CaseClauseU inp out) ((name ?: arg) ': entries) -> UParamFallback inp out -> (UParam ((name ?: arg) ': entries) ': inp) :-> out
IsRecord (M1 S (MetaSel (Nothing :: Maybe Symbol) u ss ds) f) False
Instance details Defined in Data.Aeson.Types.Generic
(RequireEmptyDiff d1, t1 ~ t2) => MigrationFinishCheckPosition (MigrationBlocks o n d1 t1 ([] :: [DiffItem]) t2) Source #	This version can be used in `mkUStoreMultiMigration` as the last migration block.
Instance details Defined in Lorentz.UStore.Migration.Blocks Methods migrationFinish :: MigrationBlocks o n d1 t1 [] t2 Source #
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_6989586621680329270Sym0 :: Symbol)
data Sing (n :: Symbol)
Instance details Defined in Data.Singletons.TypeLits.Internal data Sing (n :: Symbol) where SSym :: forall (n :: Symbol). KnownSymbol n => Sing n
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 (arg :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.Monoid type Mconcat (arg :: [Symbol]) = Apply (Mconcat_6989586621680329218Sym0 :: TyFun [Symbol] Symbol -> Type) arg
type Show_ (arg :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Show_ (arg :: Symbol) = Apply (Show__6989586621680262717Sym0 :: TyFun Symbol Symbol -> Type) arg
type Sconcat (arg :: NonEmpty Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sconcat (arg :: NonEmpty Symbol) = Apply (Sconcat_6989586621679810989Sym0 :: TyFun (NonEmpty Symbol) Symbol -> Type) arg
type Mappend (arg1 :: Symbol) (arg2 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monoid type Mappend (arg1 :: Symbol) (arg2 :: Symbol) = Apply (Apply (Mappend_6989586621680329208Sym0 :: 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_6989586621680262728Sym0 :: 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_6989586621679380222Sym0 :: 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_6989586621679380204Sym0 :: 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_6989586621679380186Sym0 :: 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_6989586621679380168Sym0 :: 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_6989586621679380150Sym0 :: 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_6989586621679380132Sym0 :: 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_6989586621680262767Sym0 a1) a2) a3
type Apply KnownSymbolSym0 (n6989586621679467395 :: Symbol)
Instance details Defined in Data.Singletons.TypeLits type Apply KnownSymbolSym0 (n6989586621679467395 :: Symbol) = KnownSymbol n6989586621679467395
type Apply ShowSpaceSym0 (a6989586621680262591 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowSpaceSym0 (a6989586621680262591 :: Symbol) = ShowSpace a6989586621680262591
type Apply ShowCommaSpaceSym0 (a6989586621680262612 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowCommaSpaceSym0 (a6989586621680262612 :: Symbol) = ShowCommaSpace a6989586621680262612
type Apply (ShowStringSym1 a6989586621680262604 :: TyFun Symbol Symbol -> Type) (a6989586621680262605 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowStringSym1 a6989586621680262604 :: TyFun Symbol Symbol -> Type) (a6989586621680262605 :: Symbol) = ShowString a6989586621680262604 a6989586621680262605
type Apply (ShowCharSym1 a6989586621680262619 :: TyFun Symbol Symbol -> Type) (a6989586621680262620 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowCharSym1 a6989586621680262619 :: TyFun Symbol Symbol -> Type) (a6989586621680262620 :: Symbol) = ShowChar a6989586621680262619 a6989586621680262620
type Apply (Show_tupleSym1 a6989586621680262639 :: TyFun Symbol Symbol -> Type) (a6989586621680262640 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show_tupleSym1 a6989586621680262639 :: TyFun Symbol Symbol -> Type) (a6989586621680262640 :: Symbol) = Show_tuple a6989586621680262639 a6989586621680262640
type Apply (ShowsNatSym1 a6989586621680280204 :: TyFun Symbol Symbol -> Type) (a6989586621680280205 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsNatSym1 a6989586621680280204 :: TyFun Symbol Symbol -> Type) (a6989586621680280205 :: Symbol) = ShowsNat a6989586621680280204 a6989586621680280205
type Apply (Show__6989586621680262717Sym0 :: TyFun a Symbol -> Type) (a6989586621680262716 :: a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show__6989586621680262717Sym0 :: TyFun a Symbol -> Type) (a6989586621680262716 :: a) = Show__6989586621680262717 a6989586621680262716
type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (arg6989586621680262691 :: a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (arg6989586621680262691 :: a) = Show_ arg6989586621680262691
type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681196694 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681196694 :: Symbol) = (FromString arg6989586621681196694 :: k2)
type Apply (ShowParenSym2 a6989586621680262626 a6989586621680262625 :: TyFun Symbol Symbol -> Type) (a6989586621680262627 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowParenSym2 a6989586621680262626 a6989586621680262625 :: TyFun Symbol Symbol -> Type) (a6989586621680262627 :: Symbol) = ShowParen a6989586621680262626 a6989586621680262625 a6989586621680262627
type Apply (ShowsSym1 a6989586621680262677 :: TyFun Symbol Symbol -> Type) (a6989586621680262678 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsSym1 a6989586621680262677 :: TyFun Symbol Symbol -> Type) (a6989586621680262678 :: Symbol) = Shows a6989586621680262677 a6989586621680262678
type Apply (ShowListSym1 arg6989586621680262693 :: TyFun Symbol Symbol -> Type) (arg6989586621680262694 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym1 arg6989586621680262693 :: TyFun Symbol Symbol -> Type) (arg6989586621680262694 :: Symbol) = ShowList arg6989586621680262693 arg6989586621680262694
type Apply (ShowsPrec_6989586621680865609Sym2 a6989586621680865607 a6989586621680865606 :: TyFun Symbol Symbol -> Type) (a6989586621680865608 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865609Sym2 a6989586621680865607 a6989586621680865606 :: TyFun Symbol Symbol -> Type) (a6989586621680865608 :: Symbol) = ShowsPrec_6989586621680865609 a6989586621680865607 a6989586621680865606 a6989586621680865608
type Apply (ShowsPrec_6989586621680865635Sym2 a6989586621680865633 a6989586621680865632 :: TyFun Symbol Symbol -> Type) (a6989586621680865634 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865635Sym2 a6989586621680865633 a6989586621680865632 :: TyFun Symbol Symbol -> Type) (a6989586621680865634 :: Symbol) = ShowsPrec_6989586621680865635 a6989586621680865633 a6989586621680865632 a6989586621680865634
type Apply (Lambda_6989586621680262594Sym1 a_69895866216802625896989586621680262593 :: TyFun Symbol Symbol -> Type) (t6989586621680262597 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680262594Sym1 a_69895866216802625896989586621680262593 :: TyFun Symbol Symbol -> Type) (t6989586621680262597 :: Symbol) = Lambda_6989586621680262594 a_69895866216802625896989586621680262593 t6989586621680262597
type Apply (ShowList_6989586621680262728Sym1 a6989586621680262726 :: TyFun Symbol Symbol -> Type) (a6989586621680262727 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowList_6989586621680262728Sym1 a6989586621680262726 :: TyFun Symbol Symbol -> Type) (a6989586621680262727 :: Symbol) = ShowList_6989586621680262728 a6989586621680262726 a6989586621680262727
type Apply (ShowsPrec_6989586621680262767Sym2 a6989586621680262765 a6989586621680262764 :: TyFun Symbol Symbol -> Type) (a6989586621680262766 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262767Sym2 a6989586621680262765 a6989586621680262764 :: TyFun Symbol Symbol -> Type) (a6989586621680262766 :: Symbol) = ShowsPrec_6989586621680262767 a6989586621680262765 a6989586621680262764 a6989586621680262766
type Apply (ShowsPrec_6989586621680280816Sym2 a6989586621680280814 a6989586621680280813 :: TyFun Symbol Symbol -> Type) (a6989586621680280815 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280816Sym2 a6989586621680280814 a6989586621680280813 :: TyFun Symbol Symbol -> Type) (a6989586621680280815 :: Symbol) = ShowsPrec_6989586621680280816 a6989586621680280814 a6989586621680280813 a6989586621680280815
type Apply (ShowsPrec_6989586621680280967Sym2 a6989586621680280965 a6989586621680280964 :: TyFun Symbol Symbol -> Type) (a6989586621680280966 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280967Sym2 a6989586621680280965 a6989586621680280964 :: TyFun Symbol Symbol -> Type) (a6989586621680280966 :: Symbol) = ShowsPrec_6989586621680280967 a6989586621680280965 a6989586621680280964 a6989586621680280966
type Apply (ShowsPrec_6989586621680280994Sym2 a6989586621680280992 a6989586621680280991 :: TyFun Symbol Symbol -> Type) (a6989586621680280993 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280994Sym2 a6989586621680280992 a6989586621680280991 :: TyFun Symbol Symbol -> Type) (a6989586621680280993 :: Symbol) = ShowsPrec_6989586621680280994 a6989586621680280992 a6989586621680280991 a6989586621680280993
type Apply (ShowsPrec_6989586621680281022Sym2 a6989586621680281020 a6989586621680281019 :: TyFun Symbol Symbol -> Type) (a6989586621680281021 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680281022Sym2 a6989586621680281020 a6989586621680281019 :: TyFun Symbol Symbol -> Type) (a6989586621680281021 :: Symbol) = ShowsPrec_6989586621680281022 a6989586621680281020 a6989586621680281019 a6989586621680281021
type Apply (ShowListWithSym2 a6989586621680262658 a6989586621680262657 :: TyFun Symbol Symbol -> Type) (a6989586621680262659 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym2 a6989586621680262658 a6989586621680262657 :: TyFun Symbol Symbol -> Type) (a6989586621680262659 :: Symbol) = ShowListWith a6989586621680262658 a6989586621680262657 a6989586621680262659
type Apply (ShowsPrecSym2 arg6989586621680262686 arg6989586621680262685 :: TyFun Symbol Symbol -> Type) (arg6989586621680262687 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym2 arg6989586621680262686 arg6989586621680262685 :: TyFun Symbol Symbol -> Type) (arg6989586621680262687 :: Symbol) = ShowsPrec arg6989586621680262686 arg6989586621680262685 arg6989586621680262687
type Apply (ShowsPrec_6989586621680865554Sym2 a6989586621680865552 a6989586621680865551 :: TyFun Symbol Symbol -> Type) (a6989586621680865553 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865554Sym2 a6989586621680865552 a6989586621680865551 :: TyFun Symbol Symbol -> Type) (a6989586621680865553 :: Symbol) = ShowsPrec_6989586621680865554 a6989586621680865552 a6989586621680865551 a6989586621680865553
type Apply (ShowsPrec_6989586621680865583Sym2 a6989586621680865581 a6989586621680865580 :: TyFun Symbol Symbol -> Type) (a6989586621680865582 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865583Sym2 a6989586621680865581 a6989586621680865580 :: TyFun Symbol Symbol -> Type) (a6989586621680865582 :: Symbol) = ShowsPrec_6989586621680865583 a6989586621680865581 a6989586621680865580 a6989586621680865582
type Apply (ShowsPrec_6989586621680865664Sym2 a6989586621680865662 a6989586621680865661 :: TyFun Symbol Symbol -> Type) (a6989586621680865663 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865664Sym2 a6989586621680865662 a6989586621680865661 :: TyFun Symbol Symbol -> Type) (a6989586621680865663 :: Symbol) = ShowsPrec_6989586621680865664 a6989586621680865662 a6989586621680865661 a6989586621680865663
type Apply (ShowsPrec_6989586621680865693Sym2 a6989586621680865691 a6989586621680865690 :: TyFun Symbol Symbol -> Type) (a6989586621680865692 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865693Sym2 a6989586621680865691 a6989586621680865690 :: TyFun Symbol Symbol -> Type) (a6989586621680865692 :: Symbol) = ShowsPrec_6989586621680865693 a6989586621680865691 a6989586621680865690 a6989586621680865692
type Apply (ShowsPrec_6989586621680865722Sym2 a6989586621680865720 a6989586621680865719 :: TyFun Symbol Symbol -> Type) (a6989586621680865721 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865722Sym2 a6989586621680865720 a6989586621680865719 :: TyFun Symbol Symbol -> Type) (a6989586621680865721 :: Symbol) = ShowsPrec_6989586621680865722 a6989586621680865720 a6989586621680865719 a6989586621680865721
type Apply (ShowsPrec_6989586621680865751Sym2 a6989586621680865749 a6989586621680865748 :: TyFun Symbol Symbol -> Type) (a6989586621680865750 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865751Sym2 a6989586621680865749 a6989586621680865748 :: TyFun Symbol Symbol -> Type) (a6989586621680865750 :: Symbol) = ShowsPrec_6989586621680865751 a6989586621680865749 a6989586621680865748 a6989586621680865750
type Apply (ShowsPrec_6989586621680865780Sym2 a6989586621680865778 a6989586621680865777 :: TyFun Symbol Symbol -> Type) (a6989586621680865779 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865780Sym2 a6989586621680865778 a6989586621680865777 :: TyFun Symbol Symbol -> Type) (a6989586621680865779 :: Symbol) = ShowsPrec_6989586621680865780 a6989586621680865778 a6989586621680865777 a6989586621680865779
type Apply (ShowsPrec_6989586621680865809Sym2 a6989586621680865807 a6989586621680865806 :: TyFun Symbol Symbol -> Type) (a6989586621680865808 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865809Sym2 a6989586621680865807 a6989586621680865806 :: TyFun Symbol Symbol -> Type) (a6989586621680865808 :: Symbol) = ShowsPrec_6989586621680865809 a6989586621680865807 a6989586621680865806 a6989586621680865808
type Apply (ShowsPrec_6989586621680865838Sym2 a6989586621680865836 a6989586621680865835 :: TyFun Symbol Symbol -> Type) (a6989586621680865837 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865838Sym2 a6989586621680865836 a6989586621680865835 :: TyFun Symbol Symbol -> Type) (a6989586621680865837 :: Symbol) = ShowsPrec_6989586621680865838 a6989586621680865836 a6989586621680865835 a6989586621680865837
type Apply (ShowsPrec_6989586621680676045Sym2 a6989586621680676043 a6989586621680676042 :: TyFun Symbol Symbol -> Type) (a6989586621680676044 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Identity type Apply (ShowsPrec_6989586621680676045Sym2 a6989586621680676043 a6989586621680676042 :: TyFun Symbol Symbol -> Type) (a6989586621680676044 :: Symbol) = ShowsPrec_6989586621680676045 a6989586621680676043 a6989586621680676042 a6989586621680676044
type Apply (ShowsPrec_6989586621680335643Sym2 a6989586621680335641 a6989586621680335640 :: TyFun Symbol Symbol -> Type) (a6989586621680335642 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680335643Sym2 a6989586621680335641 a6989586621680335640 :: TyFun Symbol Symbol -> Type) (a6989586621680335642 :: Symbol) = ShowsPrec_6989586621680335643 a6989586621680335641 a6989586621680335640 a6989586621680335642
type Apply (ShowsPrec_6989586621680335672Sym2 a6989586621680335670 a6989586621680335669 :: TyFun Symbol Symbol -> Type) (a6989586621680335671 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680335672Sym2 a6989586621680335670 a6989586621680335669 :: TyFun Symbol Symbol -> Type) (a6989586621680335671 :: Symbol) = ShowsPrec_6989586621680335672 a6989586621680335670 a6989586621680335669 a6989586621680335671
type Apply (ShowsPrec_6989586621680262708Sym2 a6989586621680262706 a6989586621680262705 :: TyFun Symbol Symbol -> Type) (a6989586621680262707 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262708Sym2 a6989586621680262706 a6989586621680262705 :: TyFun Symbol Symbol -> Type) (a6989586621680262707 :: Symbol) = ShowsPrec_6989586621680262708 a6989586621680262706 a6989586621680262705 a6989586621680262707
type Apply (ShowsPrec_6989586621680262747Sym2 a6989586621680262745 a6989586621680262744 :: TyFun Symbol Symbol -> Type) (a6989586621680262746 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262747Sym2 a6989586621680262745 a6989586621680262744 :: TyFun Symbol Symbol -> Type) (a6989586621680262746 :: Symbol) = ShowsPrec_6989586621680262747 a6989586621680262745 a6989586621680262744 a6989586621680262746
type Apply (ShowsPrec_6989586621680280853Sym2 a6989586621680280851 a6989586621680280850 :: TyFun Symbol Symbol -> Type) (a6989586621680280852 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280853Sym2 a6989586621680280851 a6989586621680280850 :: TyFun Symbol Symbol -> Type) (a6989586621680280852 :: Symbol) = ShowsPrec_6989586621680280853 a6989586621680280851 a6989586621680280850 a6989586621680280852
type Apply (ShowsPrec_6989586621680280941Sym2 a6989586621680280939 a6989586621680280938 :: TyFun Symbol Symbol -> Type) (a6989586621680280940 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280941Sym2 a6989586621680280939 a6989586621680280938 :: TyFun Symbol Symbol -> Type) (a6989586621680280940 :: Symbol) = ShowsPrec_6989586621680280941 a6989586621680280939 a6989586621680280938 a6989586621680280940
type Apply (ShowsPrec_6989586621680883004Sym2 a6989586621680883002 a6989586621680883001 :: TyFun Symbol Symbol -> Type) (a6989586621680883003 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680883004Sym2 a6989586621680883002 a6989586621680883001 :: TyFun Symbol Symbol -> Type) (a6989586621680883003 :: Symbol) = ShowsPrec_6989586621680883004 a6989586621680883002 a6989586621680883001 a6989586621680883003
type Apply (ShowsPrec_6989586621680262784Sym2 a6989586621680262782 a6989586621680262781 :: TyFun Symbol Symbol -> Type) (a6989586621680262783 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262784Sym2 a6989586621680262782 a6989586621680262781 :: TyFun Symbol Symbol -> Type) (a6989586621680262783 :: Symbol) = ShowsPrec_6989586621680262784 a6989586621680262782 a6989586621680262781 a6989586621680262783
type Apply (ShowsPrec_6989586621680280907Sym2 a6989586621680280905 a6989586621680280904 :: TyFun Symbol Symbol -> Type) (a6989586621680280906 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280907Sym2 a6989586621680280905 a6989586621680280904 :: TyFun Symbol Symbol -> Type) (a6989586621680280906 :: Symbol) = ShowsPrec_6989586621680280907 a6989586621680280905 a6989586621680280904 a6989586621680280906
type Apply (ShowsPrec_6989586621680711559Sym2 a6989586621680711557 a6989586621680711556 :: TyFun Symbol Symbol -> Type) (a6989586621680711558 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Const type Apply (ShowsPrec_6989586621680711559Sym2 a6989586621680711557 a6989586621680711556 :: TyFun Symbol Symbol -> Type) (a6989586621680711558 :: Symbol) = ShowsPrec_6989586621680711559 a6989586621680711557 a6989586621680711556 a6989586621680711558
type Apply (ShowsPrec_6989586621680262802Sym2 a6989586621680262800 a6989586621680262799 :: TyFun Symbol Symbol -> Type) (a6989586621680262801 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262802Sym2 a6989586621680262800 a6989586621680262799 :: TyFun Symbol Symbol -> Type) (a6989586621680262801 :: Symbol) = ShowsPrec_6989586621680262802 a6989586621680262800 a6989586621680262799 a6989586621680262801
type Apply (ShowsPrec_6989586621680262821Sym2 a6989586621680262819 a6989586621680262818 :: TyFun Symbol Symbol -> Type) (a6989586621680262820 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262821Sym2 a6989586621680262819 a6989586621680262818 :: TyFun Symbol Symbol -> Type) (a6989586621680262820 :: Symbol) = ShowsPrec_6989586621680262821 a6989586621680262819 a6989586621680262818 a6989586621680262820
type Apply (ShowsPrec_6989586621680262841Sym2 a6989586621680262839 a6989586621680262838 :: TyFun Symbol Symbol -> Type) (a6989586621680262840 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262841Sym2 a6989586621680262839 a6989586621680262838 :: TyFun Symbol Symbol -> Type) (a6989586621680262840 :: Symbol) = ShowsPrec_6989586621680262841 a6989586621680262839 a6989586621680262838 a6989586621680262840
type Apply (ShowsPrec_6989586621680262862Sym2 a6989586621680262860 a6989586621680262859 :: TyFun Symbol Symbol -> Type) (a6989586621680262861 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262862Sym2 a6989586621680262860 a6989586621680262859 :: TyFun Symbol Symbol -> Type) (a6989586621680262861 :: Symbol) = ShowsPrec_6989586621680262862 a6989586621680262860 a6989586621680262859 a6989586621680262861
type Apply (ShowsPrec_6989586621680262884Sym2 a6989586621680262882 a6989586621680262881 :: TyFun Symbol Symbol -> Type) (a6989586621680262883 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262884Sym2 a6989586621680262882 a6989586621680262881 :: TyFun Symbol Symbol -> Type) (a6989586621680262883 :: Symbol) = ShowsPrec_6989586621680262884 a6989586621680262882 a6989586621680262881 a6989586621680262883
type Apply UnwordsSym0 (a6989586621679949380 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply UnwordsSym0 (a6989586621679949380 :: [Symbol]) = Unwords a6989586621679949380
type Apply UnlinesSym0 (a6989586621679949391 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply UnlinesSym0 (a6989586621679949391 :: [Symbol]) = Unlines a6989586621679949391
type Apply (Let6989586621679949384GoSym2 ws6989586621679949383 w6989586621679949382 :: TyFun [Symbol] Symbol -> Type) (a6989586621679949385 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949384GoSym2 ws6989586621679949383 w6989586621679949382 :: TyFun [Symbol] Symbol -> Type) (a6989586621679949385 :: [Symbol]) = Let6989586621679949384Go ws6989586621679949383 w6989586621679949382 a6989586621679949385
type Apply (Let6989586621680262668ShowlSym4 s6989586621680262667 xs6989586621680262666 x6989586621680262665 showx6989586621680262664 :: TyFun [k2] Symbol -> Type) (a6989586621680262669 :: [k2])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680262668ShowlSym4 s6989586621680262667 xs6989586621680262666 x6989586621680262665 showx6989586621680262664 :: TyFun [k2] Symbol -> Type) (a6989586621680262669 :: [k2]) = Let6989586621680262668Showl s6989586621680262667 xs6989586621680262666 x6989586621680262665 showx6989586621680262664 a6989586621680262669
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 (Fail_6989586621679608101Sym0 :: TyFun Symbol [a6989586621679544705] -> Type) (a6989586621679608100 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (Fail_6989586621679608101Sym0 :: TyFun Symbol [a6989586621679544705] -> Type) (a6989586621679608100 :: Symbol) = (Fail_6989586621679608101 a6989586621679608100 :: [a6989586621679544705])
type Apply (Fail_6989586621679608036Sym0 :: TyFun Symbol (Maybe a6989586621679544705) -> Type) (a6989586621679608035 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (Fail_6989586621679608036Sym0 :: TyFun Symbol (Maybe a6989586621679544705) -> Type) (a6989586621679608035 :: Symbol) = (Fail_6989586621679608036 a6989586621679608035 :: Maybe a6989586621679544705)
type Apply (FromString_6989586621681196707Sym0 :: TyFun Symbol (Identity a6989586621681196663) -> Type) (a6989586621681196706 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromString_6989586621681196707Sym0 :: TyFun Symbol (Identity a6989586621681196663) -> Type) (a6989586621681196706 :: Symbol) = (FromString_6989586621681196707 a6989586621681196706 :: Identity a6989586621681196663)
type Apply (Fail_6989586621679545218Sym0 :: TyFun Symbol (m6989586621679544699 a6989586621679544705) -> Type) (a6989586621679545217 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (Fail_6989586621679545218Sym0 :: TyFun Symbol (m6989586621679544699 a6989586621679544705) -> Type) (a6989586621679545217 :: Symbol) = (Fail_6989586621679545218 a6989586621679545217 :: m6989586621679544699 a6989586621679544705)
type Apply (FailSym0 :: TyFun Symbol (m6989586621679544699 a6989586621679544705) -> Type) (arg6989586621679545181 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (FailSym0 :: TyFun Symbol (m6989586621679544699 a6989586621679544705) -> Type) (arg6989586621679545181 :: Symbol) = (Fail arg6989586621679545181 :: m6989586621679544699 a6989586621679544705)
type Eval (LinearizeUStoreF template :: [FieldInfo] -> Type) Source #
Instance details Defined in Lorentz.UStore.Migration.Diff type Eval (LinearizeUStoreF template :: [FieldInfo] -> Type) = LinearizeUStore template
type Apply ShowsPrec_6989586621680280967Sym0 (a6989586621680280964 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680280967Sym0 (a6989586621680280964 :: Nat) = ShowsPrec_6989586621680280967Sym1 a6989586621680280964
type Apply ShowsPrec_6989586621680280994Sym0 (a6989586621680280991 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680280994Sym0 (a6989586621680280991 :: Nat) = ShowsPrec_6989586621680280994Sym1 a6989586621680280991
type Apply ShowsNatSym0 (a6989586621680280204 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsNatSym0 (a6989586621680280204 :: Nat) = ShowsNatSym1 a6989586621680280204
type Apply ShowStringSym0 (a6989586621680262604 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowStringSym0 (a6989586621680262604 :: Symbol) = ShowStringSym1 a6989586621680262604
type Apply ShowCharSym0 (a6989586621680262619 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowCharSym0 (a6989586621680262619 :: Symbol) = ShowCharSym1 a6989586621680262619
type Apply ShowsPrec_6989586621680262767Sym0 (a6989586621680262764 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680262767Sym0 (a6989586621680262764 :: Nat) = ShowsPrec_6989586621680262767Sym1 a6989586621680262764
type Apply ShowsPrec_6989586621680280816Sym0 (a6989586621680280813 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680280816Sym0 (a6989586621680280813 :: Nat) = ShowsPrec_6989586621680280816Sym1 a6989586621680280813
type Apply ShowsPrec_6989586621680281022Sym0 (a6989586621680281019 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680281022Sym0 (a6989586621680281019 :: Nat) = ShowsPrec_6989586621680281022Sym1 a6989586621680281019
type Apply ShowsPrec_6989586621680865609Sym0 (a6989586621680865606 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply ShowsPrec_6989586621680865609Sym0 (a6989586621680865606 :: Nat) = ShowsPrec_6989586621680865609Sym1 a6989586621680865606
type Apply ShowsPrec_6989586621680865635Sym0 (a6989586621680865632 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply ShowsPrec_6989586621680865635Sym0 (a6989586621680865632 :: Nat) = ShowsPrec_6989586621680865635Sym1 a6989586621680865632
type Apply ShowParenSym0 (a6989586621680262625 :: Bool)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowParenSym0 (a6989586621680262625 :: Bool) = ShowParenSym1 a6989586621680262625
type Apply (Lambda_6989586621680262594Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216802625896989586621680262593 :: k)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680262594Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216802625896989586621680262593 :: k) = Lambda_6989586621680262594Sym1 a_69895866216802625896989586621680262593
type Apply (ShowsPrec_6989586621680262747Sym0 :: TyFun Nat ([a6989586621680260753] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262744 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262747Sym0 :: TyFun Nat ([a6989586621680260753] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262744 :: Nat) = (ShowsPrec_6989586621680262747Sym1 a6989586621680262744 a6989586621680260753 :: TyFun [a6989586621680260753] (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680280853Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280850 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280853Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280850 :: Nat) = (ShowsPrec_6989586621680280853Sym1 a6989586621680280850 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680280967Sym1 a6989586621680280964 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680280965 :: Bool)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280967Sym1 a6989586621680280964 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680280965 :: Bool) = ShowsPrec_6989586621680280967Sym2 a6989586621680280964 a6989586621680280965
type Apply (ShowsPrec_6989586621680280994Sym1 a6989586621680280991 :: TyFun Ordering (Symbol ~> Symbol) -> Type) (a6989586621680280992 :: Ordering)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280994Sym1 a6989586621680280991 :: TyFun Ordering (Symbol ~> Symbol) -> Type) (a6989586621680280992 :: Ordering) = ShowsPrec_6989586621680280994Sym2 a6989586621680280991 a6989586621680280992
type Apply (ShowsPrec_6989586621680262767Sym1 a6989586621680262764 :: TyFun Symbol (Symbol ~> Symbol) -> Type) (a6989586621680262765 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262767Sym1 a6989586621680262764 :: TyFun Symbol (Symbol ~> Symbol) -> Type) (a6989586621680262765 :: Symbol) = ShowsPrec_6989586621680262767Sym2 a6989586621680262764 a6989586621680262765
type Apply (ShowsPrec_6989586621680280816Sym1 a6989586621680280813 :: TyFun () (Symbol ~> Symbol) -> Type) (a6989586621680280814 :: ())
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280816Sym1 a6989586621680280813 :: TyFun () (Symbol ~> Symbol) -> Type) (a6989586621680280814 :: ()) = ShowsPrec_6989586621680280816Sym2 a6989586621680280813 a6989586621680280814
type Apply (ShowsSym0 :: TyFun a6989586621680260720 (Symbol ~> Symbol) -> Type) (a6989586621680262677 :: a6989586621680260720)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsSym0 :: TyFun a6989586621680260720 (Symbol ~> Symbol) -> Type) (a6989586621680262677 :: a6989586621680260720) = ShowsSym1 a6989586621680262677
type Apply (ShowsPrec_6989586621680281022Sym1 a6989586621680281019 :: TyFun Void (Symbol ~> Symbol) -> Type) (a6989586621680281020 :: Void)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680281022Sym1 a6989586621680281019 :: TyFun Void (Symbol ~> Symbol) -> Type) (a6989586621680281020 :: Void) = ShowsPrec_6989586621680281022Sym2 a6989586621680281019 a6989586621680281020
type Apply (ShowsPrec_6989586621680865609Sym1 a6989586621680865606 :: TyFun All (Symbol ~> Symbol) -> Type) (a6989586621680865607 :: All)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865609Sym1 a6989586621680865606 :: TyFun All (Symbol ~> Symbol) -> Type) (a6989586621680865607 :: All) = ShowsPrec_6989586621680865609Sym2 a6989586621680865606 a6989586621680865607
type Apply (ShowsPrec_6989586621680865635Sym1 a6989586621680865632 :: TyFun Any (Symbol ~> Symbol) -> Type) (a6989586621680865633 :: Any)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865635Sym1 a6989586621680865632 :: TyFun Any (Symbol ~> Symbol) -> Type) (a6989586621680865633 :: Any) = ShowsPrec_6989586621680865635Sym2 a6989586621680865632 a6989586621680865633
type Apply (ShowsPrec_6989586621680262708Sym0 :: TyFun Nat (a6989586621680260735 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262705 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262708Sym0 :: TyFun Nat (a6989586621680260735 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262705 :: Nat) = (ShowsPrec_6989586621680262708Sym1 a6989586621680262705 a6989586621680260735 :: TyFun a6989586621680260735 (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrecSym0 :: TyFun Nat (a6989586621680260735 ~> (Symbol ~> Symbol)) -> Type) (arg6989586621680262685 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym0 :: TyFun Nat (a6989586621680260735 ~> (Symbol ~> Symbol)) -> Type) (arg6989586621680262685 :: Nat) = (ShowsPrecSym1 arg6989586621680262685 a6989586621680260735 :: TyFun a6989586621680260735 (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865722Sym0 :: TyFun Nat (Min a6989586621679050988 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865719 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865722Sym0 :: TyFun Nat (Min a6989586621679050988 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865719 :: Nat) = (ShowsPrec_6989586621680865722Sym1 a6989586621680865719 a6989586621679050988 :: TyFun (Min a6989586621679050988) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865751Sym0 :: TyFun Nat (Max a6989586621679050994 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865748 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865751Sym0 :: TyFun Nat (Max a6989586621679050994 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865748 :: Nat) = (ShowsPrec_6989586621680865751Sym1 a6989586621680865748 a6989586621679050994 :: TyFun (Max a6989586621679050994) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865780Sym0 :: TyFun Nat (First a6989586621679051008 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865777 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865780Sym0 :: TyFun Nat (First a6989586621679051008 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865777 :: Nat) = (ShowsPrec_6989586621680865780Sym1 a6989586621680865777 a6989586621679051008 :: TyFun (First a6989586621679051008) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865809Sym0 :: TyFun Nat (Last a6989586621679051014 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865806 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865809Sym0 :: TyFun Nat (Last a6989586621679051014 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865806 :: Nat) = (ShowsPrec_6989586621680865809Sym1 a6989586621680865806 a6989586621679051014 :: TyFun (Last a6989586621679051014) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865838Sym0 :: TyFun Nat (WrappedMonoid m6989586621679051020 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865835 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865838Sym0 :: TyFun Nat (WrappedMonoid m6989586621679051020 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865835 :: Nat) = (ShowsPrec_6989586621680865838Sym1 a6989586621680865835 m6989586621679051020 :: TyFun (WrappedMonoid m6989586621679051020) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865554Sym0 :: TyFun Nat (Option a6989586621679051026 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865551 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865554Sym0 :: TyFun Nat (Option a6989586621679051026 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865551 :: Nat) = (ShowsPrec_6989586621680865554Sym1 a6989586621680865551 a6989586621679051026 :: TyFun (Option a6989586621679051026) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680676045Sym0 :: TyFun Nat (Identity a6989586621680675536 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680676042 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Identity type Apply (ShowsPrec_6989586621680676045Sym0 :: TyFun Nat (Identity a6989586621680675536 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680676042 :: Nat) = (ShowsPrec_6989586621680676045Sym1 a6989586621680676042 a6989586621680675536 :: TyFun (Identity a6989586621680675536) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680335643Sym0 :: TyFun Nat (First a6989586621679072651 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680335640 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680335643Sym0 :: TyFun Nat (First a6989586621679072651 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680335640 :: Nat) = (ShowsPrec_6989586621680335643Sym1 a6989586621680335640 a6989586621679072651 :: TyFun (First a6989586621679072651) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680335672Sym0 :: TyFun Nat (Last a6989586621679072646 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680335669 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680335672Sym0 :: TyFun Nat (Last a6989586621679072646 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680335669 :: Nat) = (ShowsPrec_6989586621680335672Sym1 a6989586621680335669 a6989586621679072646 :: TyFun (Last a6989586621679072646) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865583Sym0 :: TyFun Nat (Dual a6989586621679072622 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865580 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865583Sym0 :: TyFun Nat (Dual a6989586621679072622 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865580 :: Nat) = (ShowsPrec_6989586621680865583Sym1 a6989586621680865580 a6989586621679072622 :: TyFun (Dual a6989586621679072622) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865664Sym0 :: TyFun Nat (Sum a6989586621679072607 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865661 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865664Sym0 :: TyFun Nat (Sum a6989586621679072607 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865661 :: Nat) = (ShowsPrec_6989586621680865664Sym1 a6989586621680865661 a6989586621679072607 :: TyFun (Sum a6989586621679072607) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865693Sym0 :: TyFun Nat (Product a6989586621679072612 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865690 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865693Sym0 :: TyFun Nat (Product a6989586621679072612 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865690 :: Nat) = (ShowsPrec_6989586621680865693Sym1 a6989586621680865690 a6989586621679072612 :: TyFun (Product a6989586621679072612) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680280941Sym0 :: TyFun Nat (NonEmpty a6989586621679055418 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280938 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280941Sym0 :: TyFun Nat (NonEmpty a6989586621679055418 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280938 :: Nat) = (ShowsPrec_6989586621680280941Sym1 a6989586621680280938 a6989586621679055418 :: TyFun (NonEmpty a6989586621679055418) (Symbol ~> Symbol) -> Type)
type Apply (Let6989586621679949384GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) (w6989586621679949382 :: k1)
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949384GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) (w6989586621679949382 :: k1) = (Let6989586621679949384GoSym1 w6989586621679949382 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type)
type Apply (ShowsPrec_6989586621680280907Sym0 :: TyFun Nat (Either a6989586621679074205 b6989586621679074206 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280904 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280907Sym0 :: TyFun Nat (Either a6989586621679074205 b6989586621679074206 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280904 :: Nat) = (ShowsPrec_6989586621680280907Sym1 a6989586621680280904 a6989586621679074205 b6989586621679074206 :: TyFun (Either a6989586621679074205 b6989586621679074206) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680262708Sym1 a6989586621680262705 a6989586621680260735 :: TyFun a6989586621680260735 (Symbol ~> Symbol) -> Type) (a6989586621680262706 :: a6989586621680260735)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262708Sym1 a6989586621680262705 a6989586621680260735 :: TyFun a6989586621680260735 (Symbol ~> Symbol) -> Type) (a6989586621680262706 :: a6989586621680260735) = ShowsPrec_6989586621680262708Sym2 a6989586621680262705 a6989586621680262706
type Apply (ShowsPrecSym1 arg6989586621680262685 a6989586621680260735 :: TyFun a6989586621680260735 (Symbol ~> Symbol) -> Type) (arg6989586621680262686 :: a6989586621680260735)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym1 arg6989586621680262685 a6989586621680260735 :: TyFun a6989586621680260735 (Symbol ~> Symbol) -> Type) (arg6989586621680262686 :: a6989586621680260735) = ShowsPrecSym2 arg6989586621680262685 arg6989586621680262686
type Apply (ShowsPrec_6989586621680262784Sym0 :: TyFun Nat ((a6989586621680260757, b6989586621680260758) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262781 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262784Sym0 :: TyFun Nat ((a6989586621680260757, b6989586621680260758) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262781 :: Nat) = (ShowsPrec_6989586621680262784Sym1 a6989586621680262781 a6989586621680260757 b6989586621680260758 :: TyFun (a6989586621680260757, b6989586621680260758) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680883004Sym0 :: TyFun Nat (Arg a6989586621680881653 b6989586621680881654 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680883001 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680883004Sym0 :: TyFun Nat (Arg a6989586621680881653 b6989586621680881654 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680883001 :: Nat) = (ShowsPrec_6989586621680883004Sym1 a6989586621680883001 a6989586621680881653 b6989586621680881654 :: TyFun (Arg a6989586621680881653 b6989586621680881654) (Symbol ~> Symbol) -> Type)
type Apply (Let6989586621679949384GoSym1 w6989586621679949382 :: TyFun k1 (TyFun [Symbol] Symbol -> Type) -> Type) (ws6989586621679949383 :: k1)
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679949384GoSym1 w6989586621679949382 :: TyFun k1 (TyFun [Symbol] Symbol -> Type) -> Type) (ws6989586621679949383 :: k1) = Let6989586621679949384GoSym2 w6989586621679949382 ws6989586621679949383
type Apply (ShowsPrec_6989586621680262802Sym0 :: TyFun Nat ((a6989586621680260762, b6989586621680260763, c6989586621680260764) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262799 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262802Sym0 :: TyFun Nat ((a6989586621680260762, b6989586621680260763, c6989586621680260764) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262799 :: Nat) = (ShowsPrec_6989586621680262802Sym1 a6989586621680262799 a6989586621680260762 b6989586621680260763 c6989586621680260764 :: TyFun (a6989586621680260762, b6989586621680260763, c6989586621680260764) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680711559Sym0 :: TyFun Nat (Const a6989586621680710940 b6989586621680710941 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680711556 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Const type Apply (ShowsPrec_6989586621680711559Sym0 :: TyFun Nat (Const a6989586621680710940 b6989586621680710941 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680711556 :: Nat) = (ShowsPrec_6989586621680711559Sym1 a6989586621680711556 a6989586621680710940 b6989586621680710941 :: TyFun (Const a6989586621680710940 b6989586621680710941) (Symbol ~> Symbol) -> Type)
type HKD ElField ((,) s a :: (Symbol, Type))
Instance details Defined in Data.Vinyl.XRec type HKD ElField ((,) s a :: (Symbol, Type)) = a
type Apply (Let6989586621680262668ShowlSym1 showx6989586621680262664 :: TyFun k1 (TyFun k3 (TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680262665 :: k1)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680262668ShowlSym1 showx6989586621680262664 :: TyFun k1 (TyFun k3 (TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680262665 :: k1) = (Let6989586621680262668ShowlSym2 showx6989586621680262664 x6989586621680262665 :: TyFun k3 (TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) -> Type)
type Apply (Lambda_6989586621680262647Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c6989586621679520389) (TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) -> Type) -> Type) -> Type) (ss6989586621680262645 :: k1)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680262647Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c6989586621679520389) (TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) -> Type) -> Type) -> Type) (ss6989586621680262645 :: k1) = (Lambda_6989586621680262647Sym1 ss6989586621680262645 :: TyFun k2 (TyFun (Symbol ~> c6989586621679520389) (TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) -> Type) -> Type)
type Apply (ShowsPrec_6989586621680262821Sym0 :: TyFun Nat ((a6989586621680260769, b6989586621680260770, c6989586621680260771, d6989586621680260772) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262818 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262821Sym0 :: TyFun Nat ((a6989586621680260769, b6989586621680260770, c6989586621680260771, d6989586621680260772) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262818 :: Nat) = (ShowsPrec_6989586621680262821Sym1 a6989586621680262818 a6989586621680260769 b6989586621680260770 c6989586621680260771 d6989586621680260772 :: TyFun (a6989586621680260769, b6989586621680260770, c6989586621680260771, d6989586621680260772) (Symbol ~> Symbol) -> Type)
type Apply (Let6989586621680262668ShowlSym2 x6989586621680262665 showx6989586621680262664 :: TyFun k3 (TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) -> Type) (xs6989586621680262666 :: k3)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680262668ShowlSym2 x6989586621680262665 showx6989586621680262664 :: TyFun k3 (TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) -> Type) (xs6989586621680262666 :: k3) = Let6989586621680262668ShowlSym3 x6989586621680262665 showx6989586621680262664 xs6989586621680262666
type Apply (Lambda_6989586621680262647Sym1 ss6989586621680262645 :: TyFun k1 (TyFun (Symbol ~> c6989586621679520389) (TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) -> Type) -> Type) (a_69895866216802626436989586621680262646 :: k1)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680262647Sym1 ss6989586621680262645 :: TyFun k1 (TyFun (Symbol ~> c6989586621679520389) (TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) -> Type) -> Type) (a_69895866216802626436989586621680262646 :: k1) = (Lambda_6989586621680262647Sym2 ss6989586621680262645 a_69895866216802626436989586621680262646 :: TyFun (Symbol ~> c6989586621679520389) (TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) -> Type)
type Apply (ShowsPrec_6989586621680262841Sym0 :: TyFun Nat ((a6989586621680260778, b6989586621680260779, c6989586621680260780, d6989586621680260781, e6989586621680260782) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262838 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262841Sym0 :: TyFun Nat ((a6989586621680260778, b6989586621680260779, c6989586621680260780, d6989586621680260781, e6989586621680260782) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262838 :: Nat) = (ShowsPrec_6989586621680262841Sym1 a6989586621680262838 a6989586621680260778 b6989586621680260779 c6989586621680260780 d6989586621680260781 e6989586621680260782 :: TyFun (a6989586621680260778, b6989586621680260779, c6989586621680260780, d6989586621680260781, e6989586621680260782) (Symbol ~> Symbol) -> Type)
type Apply (Let6989586621680262668ShowlSym3 xs6989586621680262666 x6989586621680262665 showx6989586621680262664 :: TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) (s6989586621680262667 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680262668ShowlSym3 xs6989586621680262666 x6989586621680262665 showx6989586621680262664 :: TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) (s6989586621680262667 :: Symbol) = Let6989586621680262668ShowlSym4 xs6989586621680262666 x6989586621680262665 showx6989586621680262664 s6989586621680262667
type Apply (ShowsPrec_6989586621680262862Sym0 :: TyFun Nat ((a6989586621680260789, b6989586621680260790, c6989586621680260791, d6989586621680260792, e6989586621680260793, f6989586621680260794) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262859 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262862Sym0 :: TyFun Nat ((a6989586621680260789, b6989586621680260790, c6989586621680260791, d6989586621680260792, e6989586621680260793, f6989586621680260794) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262859 :: Nat) = (ShowsPrec_6989586621680262862Sym1 a6989586621680262859 a6989586621680260789 b6989586621680260790 c6989586621680260791 d6989586621680260792 e6989586621680260793 f6989586621680260794 :: TyFun (a6989586621680260789, b6989586621680260790, c6989586621680260791, d6989586621680260792, e6989586621680260793, f6989586621680260794) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680262884Sym0 :: TyFun Nat ((a6989586621680260802, b6989586621680260803, c6989586621680260804, d6989586621680260805, e6989586621680260806, f6989586621680260807, g6989586621680260808) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262881 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262884Sym0 :: TyFun Nat ((a6989586621680260802, b6989586621680260803, c6989586621680260804, d6989586621680260805, e6989586621680260806, f6989586621680260807, g6989586621680260808) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262881 :: Nat) = (ShowsPrec_6989586621680262884Sym1 a6989586621680262881 a6989586621680260802 b6989586621680260803 c6989586621680260804 d6989586621680260805 e6989586621680260806 f6989586621680260807 g6989586621680260808 :: TyFun (a6989586621680260802, b6989586621680260803, c6989586621680260804, d6989586621680260805, e6989586621680260806, f6989586621680260807, g6989586621680260808) (Symbol ~> Symbol) -> Type)
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 Apply Show_tupleSym0 (a6989586621680262639 :: [Symbol ~> Symbol])
Instance details Defined in Data.Singletons.Prelude.Show type Apply Show_tupleSym0 (a6989586621680262639 :: [Symbol ~> Symbol]) = Show_tupleSym1 a6989586621680262639
type Apply (ShowList_6989586621680262728Sym0 :: TyFun [a6989586621680260735] (Symbol ~> Symbol) -> Type) (a6989586621680262726 :: [a6989586621680260735])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowList_6989586621680262728Sym0 :: TyFun [a6989586621680260735] (Symbol ~> Symbol) -> Type) (a6989586621680262726 :: [a6989586621680260735]) = ShowList_6989586621680262728Sym1 a6989586621680262726
type Apply (ShowListSym0 :: TyFun [a6989586621680260735] (Symbol ~> Symbol) -> Type) (arg6989586621680262693 :: [a6989586621680260735])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym0 :: TyFun [a6989586621680260735] (Symbol ~> Symbol) -> Type) (arg6989586621680262693 :: [a6989586621680260735]) = ShowListSym1 arg6989586621680262693
type Apply (ShowListWithSym1 a6989586621680262657 :: TyFun [a6989586621680260719] (Symbol ~> Symbol) -> Type) (a6989586621680262658 :: [a6989586621680260719])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym1 a6989586621680262657 :: TyFun [a6989586621680260719] (Symbol ~> Symbol) -> Type) (a6989586621680262658 :: [a6989586621680260719]) = ShowListWithSym2 a6989586621680262657 a6989586621680262658
type Apply (ShowsPrec_6989586621680262747Sym1 a6989586621680262744 a6989586621680260753 :: TyFun [a6989586621680260753] (Symbol ~> Symbol) -> Type) (a6989586621680262745 :: [a6989586621680260753])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262747Sym1 a6989586621680262744 a6989586621680260753 :: TyFun [a6989586621680260753] (Symbol ~> Symbol) -> Type) (a6989586621680262745 :: [a6989586621680260753]) = ShowsPrec_6989586621680262747Sym2 a6989586621680262744 a6989586621680262745
type Apply (ShowsPrec_6989586621680280853Sym1 a6989586621680280850 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) (a6989586621680280851 :: Maybe a3530822107858468865)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280853Sym1 a6989586621680280850 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) (a6989586621680280851 :: Maybe a3530822107858468865) = ShowsPrec_6989586621680280853Sym2 a6989586621680280850 a6989586621680280851
type Apply (ShowsPrec_6989586621680865722Sym1 a6989586621680865719 a6989586621679050988 :: TyFun (Min a6989586621679050988) (Symbol ~> Symbol) -> Type) (a6989586621680865720 :: Min a6989586621679050988)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865722Sym1 a6989586621680865719 a6989586621679050988 :: TyFun (Min a6989586621679050988) (Symbol ~> Symbol) -> Type) (a6989586621680865720 :: Min a6989586621679050988) = ShowsPrec_6989586621680865722Sym2 a6989586621680865719 a6989586621680865720
type Apply (ShowsPrec_6989586621680865751Sym1 a6989586621680865748 a6989586621679050994 :: TyFun (Max a6989586621679050994) (Symbol ~> Symbol) -> Type) (a6989586621680865749 :: Max a6989586621679050994)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865751Sym1 a6989586621680865748 a6989586621679050994 :: TyFun (Max a6989586621679050994) (Symbol ~> Symbol) -> Type) (a6989586621680865749 :: Max a6989586621679050994) = ShowsPrec_6989586621680865751Sym2 a6989586621680865748 a6989586621680865749
type Apply (ShowsPrec_6989586621680865780Sym1 a6989586621680865777 a6989586621679051008 :: TyFun (First a6989586621679051008) (Symbol ~> Symbol) -> Type) (a6989586621680865778 :: First a6989586621679051008)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865780Sym1 a6989586621680865777 a6989586621679051008 :: TyFun (First a6989586621679051008) (Symbol ~> Symbol) -> Type) (a6989586621680865778 :: First a6989586621679051008) = ShowsPrec_6989586621680865780Sym2 a6989586621680865777 a6989586621680865778
type Apply (ShowsPrec_6989586621680865809Sym1 a6989586621680865806 a6989586621679051014 :: TyFun (Last a6989586621679051014) (Symbol ~> Symbol) -> Type) (a6989586621680865807 :: Last a6989586621679051014)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865809Sym1 a6989586621680865806 a6989586621679051014 :: TyFun (Last a6989586621679051014) (Symbol ~> Symbol) -> Type) (a6989586621680865807 :: Last a6989586621679051014) = ShowsPrec_6989586621680865809Sym2 a6989586621680865806 a6989586621680865807
type Apply (ShowsPrec_6989586621680865838Sym1 a6989586621680865835 m6989586621679051020 :: TyFun (WrappedMonoid m6989586621679051020) (Symbol ~> Symbol) -> Type) (a6989586621680865836 :: WrappedMonoid m6989586621679051020)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865838Sym1 a6989586621680865835 m6989586621679051020 :: TyFun (WrappedMonoid m6989586621679051020) (Symbol ~> Symbol) -> Type) (a6989586621680865836 :: WrappedMonoid m6989586621679051020) = ShowsPrec_6989586621680865838Sym2 a6989586621680865835 a6989586621680865836
type Apply (ShowsPrec_6989586621680865554Sym1 a6989586621680865551 a6989586621679051026 :: TyFun (Option a6989586621679051026) (Symbol ~> Symbol) -> Type) (a6989586621680865552 :: Option a6989586621679051026)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865554Sym1 a6989586621680865551 a6989586621679051026 :: TyFun (Option a6989586621679051026) (Symbol ~> Symbol) -> Type) (a6989586621680865552 :: Option a6989586621679051026) = ShowsPrec_6989586621680865554Sym2 a6989586621680865551 a6989586621680865552
type Apply (ShowsPrec_6989586621680676045Sym1 a6989586621680676042 a6989586621680675536 :: TyFun (Identity a6989586621680675536) (Symbol ~> Symbol) -> Type) (a6989586621680676043 :: Identity a6989586621680675536)
Instance details Defined in Data.Singletons.Prelude.Identity type Apply (ShowsPrec_6989586621680676045Sym1 a6989586621680676042 a6989586621680675536 :: TyFun (Identity a6989586621680675536) (Symbol ~> Symbol) -> Type) (a6989586621680676043 :: Identity a6989586621680675536) = ShowsPrec_6989586621680676045Sym2 a6989586621680676042 a6989586621680676043
type Apply (ShowsPrec_6989586621680335643Sym1 a6989586621680335640 a6989586621679072651 :: TyFun (First a6989586621679072651) (Symbol ~> Symbol) -> Type) (a6989586621680335641 :: First a6989586621679072651)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680335643Sym1 a6989586621680335640 a6989586621679072651 :: TyFun (First a6989586621679072651) (Symbol ~> Symbol) -> Type) (a6989586621680335641 :: First a6989586621679072651) = ShowsPrec_6989586621680335643Sym2 a6989586621680335640 a6989586621680335641
type Apply (ShowsPrec_6989586621680335672Sym1 a6989586621680335669 a6989586621679072646 :: TyFun (Last a6989586621679072646) (Symbol ~> Symbol) -> Type) (a6989586621680335670 :: Last a6989586621679072646)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680335672Sym1 a6989586621680335669 a6989586621679072646 :: TyFun (Last a6989586621679072646) (Symbol ~> Symbol) -> Type) (a6989586621680335670 :: Last a6989586621679072646) = ShowsPrec_6989586621680335672Sym2 a6989586621680335669 a6989586621680335670
type Apply (ShowsPrec_6989586621680865583Sym1 a6989586621680865580 a6989586621679072622 :: TyFun (Dual a6989586621679072622) (Symbol ~> Symbol) -> Type) (a6989586621680865581 :: Dual a6989586621679072622)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865583Sym1 a6989586621680865580 a6989586621679072622 :: TyFun (Dual a6989586621679072622) (Symbol ~> Symbol) -> Type) (a6989586621680865581 :: Dual a6989586621679072622) = ShowsPrec_6989586621680865583Sym2 a6989586621680865580 a6989586621680865581
type Apply (ShowsPrec_6989586621680865664Sym1 a6989586621680865661 a6989586621679072607 :: TyFun (Sum a6989586621679072607) (Symbol ~> Symbol) -> Type) (a6989586621680865662 :: Sum a6989586621679072607)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865664Sym1 a6989586621680865661 a6989586621679072607 :: TyFun (Sum a6989586621679072607) (Symbol ~> Symbol) -> Type) (a6989586621680865662 :: Sum a6989586621679072607) = ShowsPrec_6989586621680865664Sym2 a6989586621680865661 a6989586621680865662
type Apply (ShowsPrec_6989586621680865693Sym1 a6989586621680865690 a6989586621679072612 :: TyFun (Product a6989586621679072612) (Symbol ~> Symbol) -> Type) (a6989586621680865691 :: Product a6989586621679072612)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865693Sym1 a6989586621680865690 a6989586621679072612 :: TyFun (Product a6989586621679072612) (Symbol ~> Symbol) -> Type) (a6989586621680865691 :: Product a6989586621679072612) = ShowsPrec_6989586621680865693Sym2 a6989586621680865690 a6989586621680865691
type Apply (ShowsPrec_6989586621680280941Sym1 a6989586621680280938 a6989586621679055418 :: TyFun (NonEmpty a6989586621679055418) (Symbol ~> Symbol) -> Type) (a6989586621680280939 :: NonEmpty a6989586621679055418)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280941Sym1 a6989586621680280938 a6989586621679055418 :: TyFun (NonEmpty a6989586621679055418) (Symbol ~> Symbol) -> Type) (a6989586621680280939 :: NonEmpty a6989586621679055418) = ShowsPrec_6989586621680280941Sym2 a6989586621680280938 a6989586621680280939
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 (ShowListWithSym0 :: TyFun (a6989586621680260719 ~> (Symbol ~> Symbol)) ([a6989586621680260719] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262657 :: a6989586621680260719 ~> (Symbol ~> Symbol))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym0 :: TyFun (a6989586621680260719 ~> (Symbol ~> Symbol)) ([a6989586621680260719] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262657 :: a6989586621680260719 ~> (Symbol ~> Symbol)) = ShowListWithSym1 a6989586621680262657
type Apply (ShowParenSym1 a6989586621680262625 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680262626 :: Symbol ~> Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowParenSym1 a6989586621680262625 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680262626 :: Symbol ~> Symbol) = ShowParenSym2 a6989586621680262625 a6989586621680262626
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 (Let6989586621680262668ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) (showx6989586621680262664 :: k1 ~> (Symbol ~> Symbol))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680262668ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) (showx6989586621680262664 :: k1 ~> (Symbol ~> Symbol)) = (Let6989586621680262668ShowlSym1 showx6989586621680262664 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type)
type Apply (ShowsPrec_6989586621680280907Sym1 a6989586621680280904 a6989586621679074205 b6989586621679074206 :: TyFun (Either a6989586621679074205 b6989586621679074206) (Symbol ~> Symbol) -> Type) (a6989586621680280905 :: Either a6989586621679074205 b6989586621679074206)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280907Sym1 a6989586621680280904 a6989586621679074205 b6989586621679074206 :: TyFun (Either a6989586621679074205 b6989586621679074206) (Symbol ~> Symbol) -> Type) (a6989586621680280905 :: Either a6989586621679074205 b6989586621679074206) = ShowsPrec_6989586621680280907Sym2 a6989586621680280904 a6989586621680280905
type Apply (ShowsPrec_6989586621680262784Sym1 a6989586621680262781 a6989586621680260757 b6989586621680260758 :: TyFun (a6989586621680260757, b6989586621680260758) (Symbol ~> Symbol) -> Type) (a6989586621680262782 :: (a6989586621680260757, b6989586621680260758))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262784Sym1 a6989586621680262781 a6989586621680260757 b6989586621680260758 :: TyFun (a6989586621680260757, b6989586621680260758) (Symbol ~> Symbol) -> Type) (a6989586621680262782 :: (a6989586621680260757, b6989586621680260758)) = ShowsPrec_6989586621680262784Sym2 a6989586621680262781 a6989586621680262782
type Apply (ShowsPrec_6989586621680883004Sym1 a6989586621680883001 a6989586621680881653 b6989586621680881654 :: TyFun (Arg a6989586621680881653 b6989586621680881654) (Symbol ~> Symbol) -> Type) (a6989586621680883002 :: Arg a6989586621680881653 b6989586621680881654)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680883004Sym1 a6989586621680883001 a6989586621680881653 b6989586621680881654 :: TyFun (Arg a6989586621680881653 b6989586621680881654) (Symbol ~> Symbol) -> Type) (a6989586621680883002 :: Arg a6989586621680881653 b6989586621680881654) = ShowsPrec_6989586621680883004Sym2 a6989586621680883001 a6989586621680883002
type Apply (Lambda_6989586621680262647Sym2 a_69895866216802626436989586621680262646 ss6989586621680262645 :: TyFun (Symbol ~> c6989586621679520389) (TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) -> Type) (t6989586621680262651 :: Symbol ~> c6989586621679520389)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680262647Sym2 a_69895866216802626436989586621680262646 ss6989586621680262645 :: TyFun (Symbol ~> c6989586621679520389) (TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) -> Type) (t6989586621680262651 :: Symbol ~> c6989586621679520389) = (Lambda_6989586621680262647Sym3 a_69895866216802626436989586621680262646 ss6989586621680262645 t6989586621680262651 :: TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type)
type Apply (Lambda_6989586621680262647Sym3 t6989586621680262651 a_69895866216802626436989586621680262646 ss6989586621680262645 :: TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) (t6989586621680262652 :: a6989586621679520390 ~> Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680262647Sym3 t6989586621680262651 a_69895866216802626436989586621680262646 ss6989586621680262645 :: TyFun (a6989586621679520390 ~> Symbol) (TyFun a6989586621679520390 c6989586621679520389 -> Type) -> Type) (t6989586621680262652 :: a6989586621679520390 ~> Symbol) = Lambda_6989586621680262647 t6989586621680262651 a_69895866216802626436989586621680262646 ss6989586621680262645 t6989586621680262652
type Apply (ShowsPrec_6989586621680262802Sym1 a6989586621680262799 a6989586621680260762 b6989586621680260763 c6989586621680260764 :: TyFun (a6989586621680260762, b6989586621680260763, c6989586621680260764) (Symbol ~> Symbol) -> Type) (a6989586621680262800 :: (a6989586621680260762, b6989586621680260763, c6989586621680260764))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262802Sym1 a6989586621680262799 a6989586621680260762 b6989586621680260763 c6989586621680260764 :: TyFun (a6989586621680260762, b6989586621680260763, c6989586621680260764) (Symbol ~> Symbol) -> Type) (a6989586621680262800 :: (a6989586621680260762, b6989586621680260763, c6989586621680260764)) = ShowsPrec_6989586621680262802Sym2 a6989586621680262799 a6989586621680262800
type Apply (ShowsPrec_6989586621680711559Sym1 a6989586621680711556 a6989586621680710940 b6989586621680710941 :: TyFun (Const a6989586621680710940 b6989586621680710941) (Symbol ~> Symbol) -> Type) (a6989586621680711557 :: Const a6989586621680710940 b6989586621680710941)
Instance details Defined in Data.Singletons.Prelude.Const type Apply (ShowsPrec_6989586621680711559Sym1 a6989586621680711556 a6989586621680710940 b6989586621680710941 :: TyFun (Const a6989586621680710940 b6989586621680710941) (Symbol ~> Symbol) -> Type) (a6989586621680711557 :: Const a6989586621680710940 b6989586621680710941) = ShowsPrec_6989586621680711559Sym2 a6989586621680711556 a6989586621680711557
type Apply (ShowsPrec_6989586621680262821Sym1 a6989586621680262818 a6989586621680260769 b6989586621680260770 c6989586621680260771 d6989586621680260772 :: TyFun (a6989586621680260769, b6989586621680260770, c6989586621680260771, d6989586621680260772) (Symbol ~> Symbol) -> Type) (a6989586621680262819 :: (a6989586621680260769, b6989586621680260770, c6989586621680260771, d6989586621680260772))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262821Sym1 a6989586621680262818 a6989586621680260769 b6989586621680260770 c6989586621680260771 d6989586621680260772 :: TyFun (a6989586621680260769, b6989586621680260770, c6989586621680260771, d6989586621680260772) (Symbol ~> Symbol) -> Type) (a6989586621680262819 :: (a6989586621680260769, b6989586621680260770, c6989586621680260771, d6989586621680260772)) = ShowsPrec_6989586621680262821Sym2 a6989586621680262818 a6989586621680262819
type Apply (ShowsPrec_6989586621680262841Sym1 a6989586621680262838 a6989586621680260778 b6989586621680260779 c6989586621680260780 d6989586621680260781 e6989586621680260782 :: TyFun (a6989586621680260778, b6989586621680260779, c6989586621680260780, d6989586621680260781, e6989586621680260782) (Symbol ~> Symbol) -> Type) (a6989586621680262839 :: (a6989586621680260778, b6989586621680260779, c6989586621680260780, d6989586621680260781, e6989586621680260782))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262841Sym1 a6989586621680262838 a6989586621680260778 b6989586621680260779 c6989586621680260780 d6989586621680260781 e6989586621680260782 :: TyFun (a6989586621680260778, b6989586621680260779, c6989586621680260780, d6989586621680260781, e6989586621680260782) (Symbol ~> Symbol) -> Type) (a6989586621680262839 :: (a6989586621680260778, b6989586621680260779, c6989586621680260780, d6989586621680260781, e6989586621680260782)) = ShowsPrec_6989586621680262841Sym2 a6989586621680262838 a6989586621680262839
type Apply (ShowsPrec_6989586621680262862Sym1 a6989586621680262859 a6989586621680260789 b6989586621680260790 c6989586621680260791 d6989586621680260792 e6989586621680260793 f6989586621680260794 :: TyFun (a6989586621680260789, b6989586621680260790, c6989586621680260791, d6989586621680260792, e6989586621680260793, f6989586621680260794) (Symbol ~> Symbol) -> Type) (a6989586621680262860 :: (a6989586621680260789, b6989586621680260790, c6989586621680260791, d6989586621680260792, e6989586621680260793, f6989586621680260794))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262862Sym1 a6989586621680262859 a6989586621680260789 b6989586621680260790 c6989586621680260791 d6989586621680260792 e6989586621680260793 f6989586621680260794 :: TyFun (a6989586621680260789, b6989586621680260790, c6989586621680260791, d6989586621680260792, e6989586621680260793, f6989586621680260794) (Symbol ~> Symbol) -> Type) (a6989586621680262860 :: (a6989586621680260789, b6989586621680260790, c6989586621680260791, d6989586621680260792, e6989586621680260793, f6989586621680260794)) = ShowsPrec_6989586621680262862Sym2 a6989586621680262859 a6989586621680262860
type Apply (ShowsPrec_6989586621680262884Sym1 a6989586621680262881 a6989586621680260802 b6989586621680260803 c6989586621680260804 d6989586621680260805 e6989586621680260806 f6989586621680260807 g6989586621680260808 :: TyFun (a6989586621680260802, b6989586621680260803, c6989586621680260804, d6989586621680260805, e6989586621680260806, f6989586621680260807, g6989586621680260808) (Symbol ~> Symbol) -> Type) (a6989586621680262882 :: (a6989586621680260802, b6989586621680260803, c6989586621680260804, d6989586621680260805, e6989586621680260806, f6989586621680260807, g6989586621680260808))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262884Sym1 a6989586621680262881 a6989586621680260802 b6989586621680260803 c6989586621680260804 d6989586621680260805 e6989586621680260806 f6989586621680260807 g6989586621680260808 :: TyFun (a6989586621680260802, b6989586621680260803, c6989586621680260804, d6989586621680260805, e6989586621680260806, f6989586621680260807, g6989586621680260808) (Symbol ~> Symbol) -> Type) (a6989586621680262882 :: (a6989586621680260802, b6989586621680260803, c6989586621680260804, d6989586621680260805, e6989586621680260806, f6989586621680260807, g6989586621680260808)) = ShowsPrec_6989586621680262884Sym2 a6989586621680262881 a6989586621680262882
type Apply (FromString_6989586621681196700Sym0 :: TyFun Symbol (Const a6989586621681196660 b6989586621681196661) -> Type) (a6989586621681196699 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromString_6989586621681196700Sym0 :: TyFun Symbol (Const a6989586621681196660 b6989586621681196661) -> Type) (a6989586621681196699 :: Symbol) = (FromString_6989586621681196700 a6989586621681196699 :: Const a6989586621681196660 b6989586621681196661)

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

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 where #

A description of a custom type error.

Constructors

Text :: forall. Symbol -> ErrorMessage	Show the text as is.
ShowType :: forall t. t -> ErrorMessage	Pretty print the type. `ShowType :: k -> ErrorMessage`
(:<>:) :: forall. ErrorMessage -> ErrorMessage -> ErrorMessage infixl 6	Put two pieces of error message next to each other.
(:$$:) :: forall. ErrorMessage -> 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.