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_6989586621680280441Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680280468Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsNatSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680262241Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680280290Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680280496Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680865083Sym0
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680865109Sym0
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_6989586621680280441Sym1 a6989586621680280438 :: TyFun Bool (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowList_6989586621680262202Sym0 :: TyFun [a6989586621680260209] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621680260209] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280468Sym1 a6989586621680280465 :: TyFun Ordering (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262221Sym0 :: TyFun Nat ([a6989586621680260227] ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280327Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262182Sym0 :: TyFun Nat (a6989586621680260209 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (a6989586621680260209 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865196Sym0 :: TyFun Nat (Min a6989586621679050970 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865225Sym0 :: TyFun Nat (Max a6989586621679050976 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865254Sym0 :: TyFun Nat (First a6989586621679050990 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865283Sym0 :: TyFun Nat (Last a6989586621679050996 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865312Sym0 :: TyFun Nat (WrappedMonoid m6989586621679051002 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865028Sym0 :: TyFun Nat (Option a6989586621679051008 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680675519Sym0 :: TyFun Nat (Identity a6989586621680675010 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680335117Sym0 :: TyFun Nat (First a6989586621679072633 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680335146Sym0 :: TyFun Nat (Last a6989586621679072628 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865057Sym0 :: TyFun Nat (Dual a6989586621679072604 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865138Sym0 :: TyFun Nat (Sum a6989586621679072589 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865167Sym0 :: TyFun Nat (Product a6989586621679072594 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280415Sym0 :: TyFun Nat (NonEmpty a6989586621679055400 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Fail_6989586621679607575Sym0 :: TyFun Symbol [a6989586621679544179] -> Type)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Fail_6989586621679607510Sym0 :: TyFun Symbol (Maybe a6989586621679544179) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowStringSym1 a6989586621680262078 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowCharSym1 a6989586621680262093 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show_tupleSym1 a6989586621680262113 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsNatSym1 a6989586621680279678 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621681196132 -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FromString_6989586621681196181Sym0 :: TyFun Symbol (Identity a6989586621681196137) -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262241Sym1 a6989586621680262238 :: TyFun Symbol (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280290Sym1 a6989586621680280287 :: TyFun () (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621680260194 (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show__6989586621680262191Sym0 :: TyFun a6989586621680260209 Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621680260209 Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680262068Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280496Sym1 a6989586621680280493 :: TyFun Void (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865083Sym1 a6989586621680865080 :: TyFun All (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865109Sym1 a6989586621680865106 :: TyFun Any (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowParenSym1 a6989586621680262099 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a6989586621680260193 ~> (Symbol ~> Symbol)) ([a6989586621680260193] ~> (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_6989586621680262221Sym1 a6989586621680262218 a6989586621680260227 :: TyFun [a6989586621680260227] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680262131 :: TyFun [a6989586621680260193] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280327Sym1 a6989586621680280324 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280381Sym0 :: TyFun Nat (Either a6989586621679073700 b6989586621679073701 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262258Sym0 :: TyFun Nat ((a6989586621680260231, b6989586621680260232) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680882478Sym0 :: TyFun Nat (Arg a6989586621680881127 b6989586621680881128 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowParenSym2 a6989586621680262100 a6989586621680262099 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsSym1 a6989586621680262151 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListSym1 arg6989586621680262167 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865083Sym2 a6989586621680865081 a6989586621680865080 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865109Sym2 a6989586621680865107 a6989586621680865106 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowList_6989586621680262202Sym1 a6989586621680262200 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262241Sym2 a6989586621680262239 a6989586621680262238 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280290Sym2 a6989586621680280288 a6989586621680280287 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280441Sym2 a6989586621680280439 a6989586621680280438 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280468Sym2 a6989586621680280466 a6989586621680280465 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280496Sym2 a6989586621680280494 a6989586621680280493 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680262068Sym1 a_69895866216802620636989586621680262067 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262182Sym1 a6989586621680262179 a6989586621680260209 :: TyFun a6989586621680260209 (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym1 arg6989586621680262159 a6989586621680260209 :: TyFun a6989586621680260209 (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621679948858GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865196Sym1 a6989586621680865193 a6989586621679050970 :: TyFun (Min a6989586621679050970) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865225Sym1 a6989586621680865222 a6989586621679050976 :: TyFun (Max a6989586621679050976) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865254Sym1 a6989586621680865251 a6989586621679050990 :: TyFun (First a6989586621679050990) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865283Sym1 a6989586621680865280 a6989586621679050996 :: TyFun (Last a6989586621679050996) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865312Sym1 a6989586621680865309 m6989586621679051002 :: TyFun (WrappedMonoid m6989586621679051002) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865028Sym1 a6989586621680865025 a6989586621679051008 :: TyFun (Option a6989586621679051008) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680675519Sym1 a6989586621680675516 a6989586621680675010 :: TyFun (Identity a6989586621680675010) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680335117Sym1 a6989586621680335114 a6989586621679072633 :: TyFun (First a6989586621679072633) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680335146Sym1 a6989586621680335143 a6989586621679072628 :: TyFun (Last a6989586621679072628) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865057Sym1 a6989586621680865054 a6989586621679072604 :: TyFun (Dual a6989586621679072604) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865138Sym1 a6989586621680865135 a6989586621679072589 :: TyFun (Sum a6989586621679072589) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865167Sym1 a6989586621680865164 a6989586621679072594 :: TyFun (Product a6989586621679072594) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280415Sym1 a6989586621680280412 a6989586621679055400 :: TyFun (NonEmpty a6989586621679055400) (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_6989586621680280381Sym1 a6989586621680280378 a6989586621679073700 b6989586621679073701 :: TyFun (Either a6989586621679073700 b6989586621679073701) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262276Sym0 :: TyFun Nat ((a6989586621680260236, b6989586621680260237, c6989586621680260238) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680711033Sym0 :: TyFun Nat (Const a6989586621680710414 b6989586621680710415 ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680262132 a6989586621680262131 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym2 arg6989586621680262160 arg6989586621680262159 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865028Sym2 a6989586621680865026 a6989586621680865025 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865057Sym2 a6989586621680865055 a6989586621680865054 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865138Sym2 a6989586621680865136 a6989586621680865135 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865167Sym2 a6989586621680865165 a6989586621680865164 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865196Sym2 a6989586621680865194 a6989586621680865193 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865225Sym2 a6989586621680865223 a6989586621680865222 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865254Sym2 a6989586621680865252 a6989586621680865251 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865283Sym2 a6989586621680865281 a6989586621680865280 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680865312Sym2 a6989586621680865310 a6989586621680865309 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680675519Sym2 a6989586621680675517 a6989586621680675516 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680335117Sym2 a6989586621680335115 a6989586621680335114 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680335146Sym2 a6989586621680335144 a6989586621680335143 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262182Sym2 a6989586621680262180 a6989586621680262179 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262221Sym2 a6989586621680262219 a6989586621680262218 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280327Sym2 a6989586621680280325 a6989586621680280324 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280415Sym2 a6989586621680280413 a6989586621680280412 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Fail_6989586621679544692Sym0 :: TyFun Symbol (m6989586621679544173 a6989586621679544179) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FailSym0 :: TyFun Symbol (m6989586621679544173 a6989586621679544179) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FromString_6989586621681196174Sym0 :: TyFun Symbol (Const a6989586621681196134 b6989586621681196135) -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262258Sym1 a6989586621680262255 a6989586621680260231 b6989586621680260232 :: TyFun (a6989586621680260231, b6989586621680260232) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621679948858GoSym1 w6989586621679948856 :: TyFun k1 (TyFun [Symbol] Symbol -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680882478Sym1 a6989586621680882475 a6989586621680881127 b6989586621680881128 :: TyFun (Arg a6989586621680881127 b6989586621680881128) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680262142ShowlSym0 :: 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 (Let6989586621679948858GoSym2 ws6989586621679948857 w6989586621679948856 :: TyFun [Symbol] Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262295Sym0 :: TyFun Nat ((a6989586621680260243, b6989586621680260244, c6989586621680260245, d6989586621680260246) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680882478Sym2 a6989586621680882476 a6989586621680882475 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262258Sym2 a6989586621680262256 a6989586621680262255 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680280381Sym2 a6989586621680280379 a6989586621680280378 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262276Sym1 a6989586621680262273 a6989586621680260236 b6989586621680260237 c6989586621680260238 :: TyFun (a6989586621680260236, b6989586621680260237, c6989586621680260238) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680262142ShowlSym1 showx6989586621680262138 :: 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_6989586621680262121Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680711033Sym1 a6989586621680711030 a6989586621680710414 b6989586621680710415 :: TyFun (Const a6989586621680710414 b6989586621680710415) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262315Sym0 :: TyFun Nat ((a6989586621680260252, b6989586621680260253, c6989586621680260254, d6989586621680260255, e6989586621680260256) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680711033Sym2 a6989586621680711031 a6989586621680711030 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262276Sym2 a6989586621680262274 a6989586621680262273 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262295Sym1 a6989586621680262292 a6989586621680260243 b6989586621680260244 c6989586621680260245 d6989586621680260246 :: TyFun (a6989586621680260243, b6989586621680260244, c6989586621680260245, d6989586621680260246) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680262142ShowlSym2 x6989586621680262139 showx6989586621680262138 :: TyFun k1 (TyFun Symbol (TyFun [k3] Symbol -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680262121Sym1 ss6989586621680262119 :: TyFun k1 (TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262336Sym0 :: TyFun Nat ((a6989586621680260263, b6989586621680260264, c6989586621680260265, d6989586621680260266, e6989586621680260267, f6989586621680260268) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680262142ShowlSym3 xs6989586621680262140 x6989586621680262139 showx6989586621680262138 :: TyFun Symbol (TyFun [k3] Symbol -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262295Sym2 a6989586621680262293 a6989586621680262292 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262315Sym1 a6989586621680262312 a6989586621680260252 b6989586621680260253 c6989586621680260254 d6989586621680260255 e6989586621680260256 :: TyFun (a6989586621680260252, b6989586621680260253, c6989586621680260254, d6989586621680260255, e6989586621680260256) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680262121Sym2 a_69895866216802621176989586621680262120 ss6989586621680262119 :: TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680262142ShowlSym4 s6989586621680262141 xs6989586621680262140 x6989586621680262139 showx6989586621680262138 :: TyFun [k3] Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262358Sym0 :: TyFun Nat ((a6989586621680260276, b6989586621680260277, c6989586621680260278, d6989586621680260279, e6989586621680260280, f6989586621680260281, g6989586621680260282) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262315Sym2 a6989586621680262313 a6989586621680262312 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262336Sym1 a6989586621680262333 a6989586621680260263 b6989586621680260264 c6989586621680260265 d6989586621680260266 e6989586621680260267 f6989586621680260268 :: TyFun (a6989586621680260263, b6989586621680260264, c6989586621680260265, d6989586621680260266, e6989586621680260267, f6989586621680260268) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680262121Sym3 t6989586621680262125 a_69895866216802621176989586621680262120 ss6989586621680262119 :: TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262336Sym2 a6989586621680262334 a6989586621680262333 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262358Sym1 a6989586621680262355 a6989586621680260276 b6989586621680260277 c6989586621680260278 d6989586621680260279 e6989586621680260280 f6989586621680260281 g6989586621680260282 :: TyFun (a6989586621680260276, b6989586621680260277, c6989586621680260278, d6989586621680260279, e6989586621680260280, f6989586621680260281, g6989586621680260282) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680262358Sym2 a6989586621680262356 a6989586621680262355 :: 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_6989586621680328744Sym0 :: 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_6989586621680328692Sym0 :: TyFun [Symbol] Symbol -> Type) arg
type Show_ (arg :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Show_ (arg :: Symbol) = Apply (Show__6989586621680262191Sym0 :: 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_6989586621679810463Sym0 :: 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_6989586621680328682Sym0 :: 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_6989586621680262202Sym0 :: 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_6989586621679379696Sym0 :: 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_6989586621679379678Sym0 :: 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_6989586621679379660Sym0 :: 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_6989586621679379642Sym0 :: 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_6989586621679379624Sym0 :: 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_6989586621679379606Sym0 :: 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_6989586621680262241Sym0 a1) a2) a3
type Apply KnownSymbolSym0 (n6989586621679466869 :: Symbol)
Instance details Defined in Data.Singletons.TypeLits type Apply KnownSymbolSym0 (n6989586621679466869 :: Symbol) = KnownSymbol n6989586621679466869
type Apply ShowSpaceSym0 (a6989586621680262065 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowSpaceSym0 (a6989586621680262065 :: Symbol) = ShowSpace a6989586621680262065
type Apply ShowCommaSpaceSym0 (a6989586621680262086 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowCommaSpaceSym0 (a6989586621680262086 :: Symbol) = ShowCommaSpace a6989586621680262086
type Apply (ShowStringSym1 a6989586621680262078 :: TyFun Symbol Symbol -> Type) (a6989586621680262079 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowStringSym1 a6989586621680262078 :: TyFun Symbol Symbol -> Type) (a6989586621680262079 :: Symbol) = ShowString a6989586621680262078 a6989586621680262079
type Apply (ShowCharSym1 a6989586621680262093 :: TyFun Symbol Symbol -> Type) (a6989586621680262094 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowCharSym1 a6989586621680262093 :: TyFun Symbol Symbol -> Type) (a6989586621680262094 :: Symbol) = ShowChar a6989586621680262093 a6989586621680262094
type Apply (Show_tupleSym1 a6989586621680262113 :: TyFun Symbol Symbol -> Type) (a6989586621680262114 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show_tupleSym1 a6989586621680262113 :: TyFun Symbol Symbol -> Type) (a6989586621680262114 :: Symbol) = Show_tuple a6989586621680262113 a6989586621680262114
type Apply (ShowsNatSym1 a6989586621680279678 :: TyFun Symbol Symbol -> Type) (a6989586621680279679 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsNatSym1 a6989586621680279678 :: TyFun Symbol Symbol -> Type) (a6989586621680279679 :: Symbol) = ShowsNat a6989586621680279678 a6989586621680279679
type Apply (Show__6989586621680262191Sym0 :: TyFun a Symbol -> Type) (a6989586621680262190 :: a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show__6989586621680262191Sym0 :: TyFun a Symbol -> Type) (a6989586621680262190 :: a) = Show__6989586621680262191 a6989586621680262190
type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (arg6989586621680262165 :: a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (arg6989586621680262165 :: a) = Show_ arg6989586621680262165
type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681196168 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681196168 :: Symbol) = (FromString arg6989586621681196168 :: k2)
type Apply (ShowParenSym2 a6989586621680262100 a6989586621680262099 :: TyFun Symbol Symbol -> Type) (a6989586621680262101 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowParenSym2 a6989586621680262100 a6989586621680262099 :: TyFun Symbol Symbol -> Type) (a6989586621680262101 :: Symbol) = ShowParen a6989586621680262100 a6989586621680262099 a6989586621680262101
type Apply (ShowsSym1 a6989586621680262151 :: TyFun Symbol Symbol -> Type) (a6989586621680262152 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsSym1 a6989586621680262151 :: TyFun Symbol Symbol -> Type) (a6989586621680262152 :: Symbol) = Shows a6989586621680262151 a6989586621680262152
type Apply (ShowListSym1 arg6989586621680262167 :: TyFun Symbol Symbol -> Type) (arg6989586621680262168 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym1 arg6989586621680262167 :: TyFun Symbol Symbol -> Type) (arg6989586621680262168 :: Symbol) = ShowList arg6989586621680262167 arg6989586621680262168
type Apply (ShowsPrec_6989586621680865083Sym2 a6989586621680865081 a6989586621680865080 :: TyFun Symbol Symbol -> Type) (a6989586621680865082 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865083Sym2 a6989586621680865081 a6989586621680865080 :: TyFun Symbol Symbol -> Type) (a6989586621680865082 :: Symbol) = ShowsPrec_6989586621680865083 a6989586621680865081 a6989586621680865080 a6989586621680865082
type Apply (ShowsPrec_6989586621680865109Sym2 a6989586621680865107 a6989586621680865106 :: TyFun Symbol Symbol -> Type) (a6989586621680865108 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865109Sym2 a6989586621680865107 a6989586621680865106 :: TyFun Symbol Symbol -> Type) (a6989586621680865108 :: Symbol) = ShowsPrec_6989586621680865109 a6989586621680865107 a6989586621680865106 a6989586621680865108
type Apply (Lambda_6989586621680262068Sym1 a_69895866216802620636989586621680262067 :: TyFun Symbol Symbol -> Type) (t6989586621680262071 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680262068Sym1 a_69895866216802620636989586621680262067 :: TyFun Symbol Symbol -> Type) (t6989586621680262071 :: Symbol) = Lambda_6989586621680262068 a_69895866216802620636989586621680262067 t6989586621680262071
type Apply (ShowList_6989586621680262202Sym1 a6989586621680262200 :: TyFun Symbol Symbol -> Type) (a6989586621680262201 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowList_6989586621680262202Sym1 a6989586621680262200 :: TyFun Symbol Symbol -> Type) (a6989586621680262201 :: Symbol) = ShowList_6989586621680262202 a6989586621680262200 a6989586621680262201
type Apply (ShowsPrec_6989586621680262241Sym2 a6989586621680262239 a6989586621680262238 :: TyFun Symbol Symbol -> Type) (a6989586621680262240 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262241Sym2 a6989586621680262239 a6989586621680262238 :: TyFun Symbol Symbol -> Type) (a6989586621680262240 :: Symbol) = ShowsPrec_6989586621680262241 a6989586621680262239 a6989586621680262238 a6989586621680262240
type Apply (ShowsPrec_6989586621680280290Sym2 a6989586621680280288 a6989586621680280287 :: TyFun Symbol Symbol -> Type) (a6989586621680280289 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280290Sym2 a6989586621680280288 a6989586621680280287 :: TyFun Symbol Symbol -> Type) (a6989586621680280289 :: Symbol) = ShowsPrec_6989586621680280290 a6989586621680280288 a6989586621680280287 a6989586621680280289
type Apply (ShowsPrec_6989586621680280441Sym2 a6989586621680280439 a6989586621680280438 :: TyFun Symbol Symbol -> Type) (a6989586621680280440 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280441Sym2 a6989586621680280439 a6989586621680280438 :: TyFun Symbol Symbol -> Type) (a6989586621680280440 :: Symbol) = ShowsPrec_6989586621680280441 a6989586621680280439 a6989586621680280438 a6989586621680280440
type Apply (ShowsPrec_6989586621680280468Sym2 a6989586621680280466 a6989586621680280465 :: TyFun Symbol Symbol -> Type) (a6989586621680280467 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280468Sym2 a6989586621680280466 a6989586621680280465 :: TyFun Symbol Symbol -> Type) (a6989586621680280467 :: Symbol) = ShowsPrec_6989586621680280468 a6989586621680280466 a6989586621680280465 a6989586621680280467
type Apply (ShowsPrec_6989586621680280496Sym2 a6989586621680280494 a6989586621680280493 :: TyFun Symbol Symbol -> Type) (a6989586621680280495 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280496Sym2 a6989586621680280494 a6989586621680280493 :: TyFun Symbol Symbol -> Type) (a6989586621680280495 :: Symbol) = ShowsPrec_6989586621680280496 a6989586621680280494 a6989586621680280493 a6989586621680280495
type Apply (ShowListWithSym2 a6989586621680262132 a6989586621680262131 :: TyFun Symbol Symbol -> Type) (a6989586621680262133 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym2 a6989586621680262132 a6989586621680262131 :: TyFun Symbol Symbol -> Type) (a6989586621680262133 :: Symbol) = ShowListWith a6989586621680262132 a6989586621680262131 a6989586621680262133
type Apply (ShowsPrecSym2 arg6989586621680262160 arg6989586621680262159 :: TyFun Symbol Symbol -> Type) (arg6989586621680262161 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym2 arg6989586621680262160 arg6989586621680262159 :: TyFun Symbol Symbol -> Type) (arg6989586621680262161 :: Symbol) = ShowsPrec arg6989586621680262160 arg6989586621680262159 arg6989586621680262161
type Apply (ShowsPrec_6989586621680865028Sym2 a6989586621680865026 a6989586621680865025 :: TyFun Symbol Symbol -> Type) (a6989586621680865027 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865028Sym2 a6989586621680865026 a6989586621680865025 :: TyFun Symbol Symbol -> Type) (a6989586621680865027 :: Symbol) = ShowsPrec_6989586621680865028 a6989586621680865026 a6989586621680865025 a6989586621680865027
type Apply (ShowsPrec_6989586621680865057Sym2 a6989586621680865055 a6989586621680865054 :: TyFun Symbol Symbol -> Type) (a6989586621680865056 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865057Sym2 a6989586621680865055 a6989586621680865054 :: TyFun Symbol Symbol -> Type) (a6989586621680865056 :: Symbol) = ShowsPrec_6989586621680865057 a6989586621680865055 a6989586621680865054 a6989586621680865056
type Apply (ShowsPrec_6989586621680865138Sym2 a6989586621680865136 a6989586621680865135 :: TyFun Symbol Symbol -> Type) (a6989586621680865137 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865138Sym2 a6989586621680865136 a6989586621680865135 :: TyFun Symbol Symbol -> Type) (a6989586621680865137 :: Symbol) = ShowsPrec_6989586621680865138 a6989586621680865136 a6989586621680865135 a6989586621680865137
type Apply (ShowsPrec_6989586621680865167Sym2 a6989586621680865165 a6989586621680865164 :: TyFun Symbol Symbol -> Type) (a6989586621680865166 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865167Sym2 a6989586621680865165 a6989586621680865164 :: TyFun Symbol Symbol -> Type) (a6989586621680865166 :: Symbol) = ShowsPrec_6989586621680865167 a6989586621680865165 a6989586621680865164 a6989586621680865166
type Apply (ShowsPrec_6989586621680865196Sym2 a6989586621680865194 a6989586621680865193 :: TyFun Symbol Symbol -> Type) (a6989586621680865195 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865196Sym2 a6989586621680865194 a6989586621680865193 :: TyFun Symbol Symbol -> Type) (a6989586621680865195 :: Symbol) = ShowsPrec_6989586621680865196 a6989586621680865194 a6989586621680865193 a6989586621680865195
type Apply (ShowsPrec_6989586621680865225Sym2 a6989586621680865223 a6989586621680865222 :: TyFun Symbol Symbol -> Type) (a6989586621680865224 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865225Sym2 a6989586621680865223 a6989586621680865222 :: TyFun Symbol Symbol -> Type) (a6989586621680865224 :: Symbol) = ShowsPrec_6989586621680865225 a6989586621680865223 a6989586621680865222 a6989586621680865224
type Apply (ShowsPrec_6989586621680865254Sym2 a6989586621680865252 a6989586621680865251 :: TyFun Symbol Symbol -> Type) (a6989586621680865253 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865254Sym2 a6989586621680865252 a6989586621680865251 :: TyFun Symbol Symbol -> Type) (a6989586621680865253 :: Symbol) = ShowsPrec_6989586621680865254 a6989586621680865252 a6989586621680865251 a6989586621680865253
type Apply (ShowsPrec_6989586621680865283Sym2 a6989586621680865281 a6989586621680865280 :: TyFun Symbol Symbol -> Type) (a6989586621680865282 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865283Sym2 a6989586621680865281 a6989586621680865280 :: TyFun Symbol Symbol -> Type) (a6989586621680865282 :: Symbol) = ShowsPrec_6989586621680865283 a6989586621680865281 a6989586621680865280 a6989586621680865282
type Apply (ShowsPrec_6989586621680865312Sym2 a6989586621680865310 a6989586621680865309 :: TyFun Symbol Symbol -> Type) (a6989586621680865311 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865312Sym2 a6989586621680865310 a6989586621680865309 :: TyFun Symbol Symbol -> Type) (a6989586621680865311 :: Symbol) = ShowsPrec_6989586621680865312 a6989586621680865310 a6989586621680865309 a6989586621680865311
type Apply (ShowsPrec_6989586621680675519Sym2 a6989586621680675517 a6989586621680675516 :: TyFun Symbol Symbol -> Type) (a6989586621680675518 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Identity type Apply (ShowsPrec_6989586621680675519Sym2 a6989586621680675517 a6989586621680675516 :: TyFun Symbol Symbol -> Type) (a6989586621680675518 :: Symbol) = ShowsPrec_6989586621680675519 a6989586621680675517 a6989586621680675516 a6989586621680675518
type Apply (ShowsPrec_6989586621680335117Sym2 a6989586621680335115 a6989586621680335114 :: TyFun Symbol Symbol -> Type) (a6989586621680335116 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680335117Sym2 a6989586621680335115 a6989586621680335114 :: TyFun Symbol Symbol -> Type) (a6989586621680335116 :: Symbol) = ShowsPrec_6989586621680335117 a6989586621680335115 a6989586621680335114 a6989586621680335116
type Apply (ShowsPrec_6989586621680335146Sym2 a6989586621680335144 a6989586621680335143 :: TyFun Symbol Symbol -> Type) (a6989586621680335145 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680335146Sym2 a6989586621680335144 a6989586621680335143 :: TyFun Symbol Symbol -> Type) (a6989586621680335145 :: Symbol) = ShowsPrec_6989586621680335146 a6989586621680335144 a6989586621680335143 a6989586621680335145
type Apply (ShowsPrec_6989586621680262182Sym2 a6989586621680262180 a6989586621680262179 :: TyFun Symbol Symbol -> Type) (a6989586621680262181 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262182Sym2 a6989586621680262180 a6989586621680262179 :: TyFun Symbol Symbol -> Type) (a6989586621680262181 :: Symbol) = ShowsPrec_6989586621680262182 a6989586621680262180 a6989586621680262179 a6989586621680262181
type Apply (ShowsPrec_6989586621680262221Sym2 a6989586621680262219 a6989586621680262218 :: TyFun Symbol Symbol -> Type) (a6989586621680262220 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262221Sym2 a6989586621680262219 a6989586621680262218 :: TyFun Symbol Symbol -> Type) (a6989586621680262220 :: Symbol) = ShowsPrec_6989586621680262221 a6989586621680262219 a6989586621680262218 a6989586621680262220
type Apply (ShowsPrec_6989586621680280327Sym2 a6989586621680280325 a6989586621680280324 :: TyFun Symbol Symbol -> Type) (a6989586621680280326 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280327Sym2 a6989586621680280325 a6989586621680280324 :: TyFun Symbol Symbol -> Type) (a6989586621680280326 :: Symbol) = ShowsPrec_6989586621680280327 a6989586621680280325 a6989586621680280324 a6989586621680280326
type Apply (ShowsPrec_6989586621680280415Sym2 a6989586621680280413 a6989586621680280412 :: TyFun Symbol Symbol -> Type) (a6989586621680280414 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280415Sym2 a6989586621680280413 a6989586621680280412 :: TyFun Symbol Symbol -> Type) (a6989586621680280414 :: Symbol) = ShowsPrec_6989586621680280415 a6989586621680280413 a6989586621680280412 a6989586621680280414
type Apply (ShowsPrec_6989586621680882478Sym2 a6989586621680882476 a6989586621680882475 :: TyFun Symbol Symbol -> Type) (a6989586621680882477 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680882478Sym2 a6989586621680882476 a6989586621680882475 :: TyFun Symbol Symbol -> Type) (a6989586621680882477 :: Symbol) = ShowsPrec_6989586621680882478 a6989586621680882476 a6989586621680882475 a6989586621680882477
type Apply (ShowsPrec_6989586621680262258Sym2 a6989586621680262256 a6989586621680262255 :: TyFun Symbol Symbol -> Type) (a6989586621680262257 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262258Sym2 a6989586621680262256 a6989586621680262255 :: TyFun Symbol Symbol -> Type) (a6989586621680262257 :: Symbol) = ShowsPrec_6989586621680262258 a6989586621680262256 a6989586621680262255 a6989586621680262257
type Apply (ShowsPrec_6989586621680280381Sym2 a6989586621680280379 a6989586621680280378 :: TyFun Symbol Symbol -> Type) (a6989586621680280380 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280381Sym2 a6989586621680280379 a6989586621680280378 :: TyFun Symbol Symbol -> Type) (a6989586621680280380 :: Symbol) = ShowsPrec_6989586621680280381 a6989586621680280379 a6989586621680280378 a6989586621680280380
type Apply (ShowsPrec_6989586621680711033Sym2 a6989586621680711031 a6989586621680711030 :: TyFun Symbol Symbol -> Type) (a6989586621680711032 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Const type Apply (ShowsPrec_6989586621680711033Sym2 a6989586621680711031 a6989586621680711030 :: TyFun Symbol Symbol -> Type) (a6989586621680711032 :: Symbol) = ShowsPrec_6989586621680711033 a6989586621680711031 a6989586621680711030 a6989586621680711032
type Apply (ShowsPrec_6989586621680262276Sym2 a6989586621680262274 a6989586621680262273 :: TyFun Symbol Symbol -> Type) (a6989586621680262275 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262276Sym2 a6989586621680262274 a6989586621680262273 :: TyFun Symbol Symbol -> Type) (a6989586621680262275 :: Symbol) = ShowsPrec_6989586621680262276 a6989586621680262274 a6989586621680262273 a6989586621680262275
type Apply (ShowsPrec_6989586621680262295Sym2 a6989586621680262293 a6989586621680262292 :: TyFun Symbol Symbol -> Type) (a6989586621680262294 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262295Sym2 a6989586621680262293 a6989586621680262292 :: TyFun Symbol Symbol -> Type) (a6989586621680262294 :: Symbol) = ShowsPrec_6989586621680262295 a6989586621680262293 a6989586621680262292 a6989586621680262294
type Apply (ShowsPrec_6989586621680262315Sym2 a6989586621680262313 a6989586621680262312 :: TyFun Symbol Symbol -> Type) (a6989586621680262314 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262315Sym2 a6989586621680262313 a6989586621680262312 :: TyFun Symbol Symbol -> Type) (a6989586621680262314 :: Symbol) = ShowsPrec_6989586621680262315 a6989586621680262313 a6989586621680262312 a6989586621680262314
type Apply (ShowsPrec_6989586621680262336Sym2 a6989586621680262334 a6989586621680262333 :: TyFun Symbol Symbol -> Type) (a6989586621680262335 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262336Sym2 a6989586621680262334 a6989586621680262333 :: TyFun Symbol Symbol -> Type) (a6989586621680262335 :: Symbol) = ShowsPrec_6989586621680262336 a6989586621680262334 a6989586621680262333 a6989586621680262335
type Apply (ShowsPrec_6989586621680262358Sym2 a6989586621680262356 a6989586621680262355 :: TyFun Symbol Symbol -> Type) (a6989586621680262357 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262358Sym2 a6989586621680262356 a6989586621680262355 :: TyFun Symbol Symbol -> Type) (a6989586621680262357 :: Symbol) = ShowsPrec_6989586621680262358 a6989586621680262356 a6989586621680262355 a6989586621680262357
type Apply UnwordsSym0 (a6989586621679948854 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply UnwordsSym0 (a6989586621679948854 :: [Symbol]) = Unwords a6989586621679948854
type Apply UnlinesSym0 (a6989586621679948865 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply UnlinesSym0 (a6989586621679948865 :: [Symbol]) = Unlines a6989586621679948865
type Apply (Let6989586621679948858GoSym2 ws6989586621679948857 w6989586621679948856 :: TyFun [Symbol] Symbol -> Type) (a6989586621679948859 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948858GoSym2 ws6989586621679948857 w6989586621679948856 :: TyFun [Symbol] Symbol -> Type) (a6989586621679948859 :: [Symbol]) = Let6989586621679948858Go ws6989586621679948857 w6989586621679948856 a6989586621679948859
type Apply (Let6989586621680262142ShowlSym4 s6989586621680262141 xs6989586621680262140 x6989586621680262139 showx6989586621680262138 :: TyFun [k2] Symbol -> Type) (a6989586621680262143 :: [k2])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680262142ShowlSym4 s6989586621680262141 xs6989586621680262140 x6989586621680262139 showx6989586621680262138 :: TyFun [k2] Symbol -> Type) (a6989586621680262143 :: [k2]) = Let6989586621680262142Showl s6989586621680262141 xs6989586621680262140 x6989586621680262139 showx6989586621680262138 a6989586621680262143
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_6989586621679607575Sym0 :: TyFun Symbol [a6989586621679544179] -> Type) (a6989586621679607574 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (Fail_6989586621679607575Sym0 :: TyFun Symbol [a6989586621679544179] -> Type) (a6989586621679607574 :: Symbol) = (Fail_6989586621679607575 a6989586621679607574 :: [a6989586621679544179])
type Apply (Fail_6989586621679607510Sym0 :: TyFun Symbol (Maybe a6989586621679544179) -> Type) (a6989586621679607509 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (Fail_6989586621679607510Sym0 :: TyFun Symbol (Maybe a6989586621679544179) -> Type) (a6989586621679607509 :: Symbol) = (Fail_6989586621679607510 a6989586621679607509 :: Maybe a6989586621679544179)
type Apply (FromString_6989586621681196181Sym0 :: TyFun Symbol (Identity a6989586621681196137) -> Type) (a6989586621681196180 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromString_6989586621681196181Sym0 :: TyFun Symbol (Identity a6989586621681196137) -> Type) (a6989586621681196180 :: Symbol) = (FromString_6989586621681196181 a6989586621681196180 :: Identity a6989586621681196137)
type Apply (Fail_6989586621679544692Sym0 :: TyFun Symbol (m6989586621679544173 a6989586621679544179) -> Type) (a6989586621679544691 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (Fail_6989586621679544692Sym0 :: TyFun Symbol (m6989586621679544173 a6989586621679544179) -> Type) (a6989586621679544691 :: Symbol) = (Fail_6989586621679544692 a6989586621679544691 :: m6989586621679544173 a6989586621679544179)
type Apply (FailSym0 :: TyFun Symbol (m6989586621679544173 a6989586621679544179) -> Type) (arg6989586621679544655 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (FailSym0 :: TyFun Symbol (m6989586621679544173 a6989586621679544179) -> Type) (arg6989586621679544655 :: Symbol) = (Fail arg6989586621679544655 :: m6989586621679544173 a6989586621679544179)
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_6989586621680280441Sym0 (a6989586621680280438 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680280441Sym0 (a6989586621680280438 :: Nat) = ShowsPrec_6989586621680280441Sym1 a6989586621680280438
type Apply ShowsPrec_6989586621680280468Sym0 (a6989586621680280465 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680280468Sym0 (a6989586621680280465 :: Nat) = ShowsPrec_6989586621680280468Sym1 a6989586621680280465
type Apply ShowsNatSym0 (a6989586621680279678 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsNatSym0 (a6989586621680279678 :: Nat) = ShowsNatSym1 a6989586621680279678
type Apply ShowStringSym0 (a6989586621680262078 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowStringSym0 (a6989586621680262078 :: Symbol) = ShowStringSym1 a6989586621680262078
type Apply ShowCharSym0 (a6989586621680262093 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowCharSym0 (a6989586621680262093 :: Symbol) = ShowCharSym1 a6989586621680262093
type Apply ShowsPrec_6989586621680262241Sym0 (a6989586621680262238 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680262241Sym0 (a6989586621680262238 :: Nat) = ShowsPrec_6989586621680262241Sym1 a6989586621680262238
type Apply ShowsPrec_6989586621680280290Sym0 (a6989586621680280287 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680280290Sym0 (a6989586621680280287 :: Nat) = ShowsPrec_6989586621680280290Sym1 a6989586621680280287
type Apply ShowsPrec_6989586621680280496Sym0 (a6989586621680280493 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680280496Sym0 (a6989586621680280493 :: Nat) = ShowsPrec_6989586621680280496Sym1 a6989586621680280493
type Apply ShowsPrec_6989586621680865083Sym0 (a6989586621680865080 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply ShowsPrec_6989586621680865083Sym0 (a6989586621680865080 :: Nat) = ShowsPrec_6989586621680865083Sym1 a6989586621680865080
type Apply ShowsPrec_6989586621680865109Sym0 (a6989586621680865106 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply ShowsPrec_6989586621680865109Sym0 (a6989586621680865106 :: Nat) = ShowsPrec_6989586621680865109Sym1 a6989586621680865106
type Apply ShowParenSym0 (a6989586621680262099 :: Bool)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowParenSym0 (a6989586621680262099 :: Bool) = ShowParenSym1 a6989586621680262099
type Apply (Lambda_6989586621680262068Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216802620636989586621680262067 :: k)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680262068Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216802620636989586621680262067 :: k) = Lambda_6989586621680262068Sym1 a_69895866216802620636989586621680262067
type Apply (ShowsPrec_6989586621680262221Sym0 :: TyFun Nat ([a6989586621680260227] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262218 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262221Sym0 :: TyFun Nat ([a6989586621680260227] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262218 :: Nat) = (ShowsPrec_6989586621680262221Sym1 a6989586621680262218 a6989586621680260227 :: TyFun [a6989586621680260227] (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680280327Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280324 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280327Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280324 :: Nat) = (ShowsPrec_6989586621680280327Sym1 a6989586621680280324 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680280441Sym1 a6989586621680280438 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680280439 :: Bool)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280441Sym1 a6989586621680280438 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680280439 :: Bool) = ShowsPrec_6989586621680280441Sym2 a6989586621680280438 a6989586621680280439
type Apply (ShowsPrec_6989586621680280468Sym1 a6989586621680280465 :: TyFun Ordering (Symbol ~> Symbol) -> Type) (a6989586621680280466 :: Ordering)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280468Sym1 a6989586621680280465 :: TyFun Ordering (Symbol ~> Symbol) -> Type) (a6989586621680280466 :: Ordering) = ShowsPrec_6989586621680280468Sym2 a6989586621680280465 a6989586621680280466
type Apply (ShowsPrec_6989586621680262241Sym1 a6989586621680262238 :: TyFun Symbol (Symbol ~> Symbol) -> Type) (a6989586621680262239 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262241Sym1 a6989586621680262238 :: TyFun Symbol (Symbol ~> Symbol) -> Type) (a6989586621680262239 :: Symbol) = ShowsPrec_6989586621680262241Sym2 a6989586621680262238 a6989586621680262239
type Apply (ShowsPrec_6989586621680280290Sym1 a6989586621680280287 :: TyFun () (Symbol ~> Symbol) -> Type) (a6989586621680280288 :: ())
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280290Sym1 a6989586621680280287 :: TyFun () (Symbol ~> Symbol) -> Type) (a6989586621680280288 :: ()) = ShowsPrec_6989586621680280290Sym2 a6989586621680280287 a6989586621680280288
type Apply (ShowsSym0 :: TyFun a6989586621680260194 (Symbol ~> Symbol) -> Type) (a6989586621680262151 :: a6989586621680260194)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsSym0 :: TyFun a6989586621680260194 (Symbol ~> Symbol) -> Type) (a6989586621680262151 :: a6989586621680260194) = ShowsSym1 a6989586621680262151
type Apply (ShowsPrec_6989586621680280496Sym1 a6989586621680280493 :: TyFun Void (Symbol ~> Symbol) -> Type) (a6989586621680280494 :: Void)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280496Sym1 a6989586621680280493 :: TyFun Void (Symbol ~> Symbol) -> Type) (a6989586621680280494 :: Void) = ShowsPrec_6989586621680280496Sym2 a6989586621680280493 a6989586621680280494
type Apply (ShowsPrec_6989586621680865083Sym1 a6989586621680865080 :: TyFun All (Symbol ~> Symbol) -> Type) (a6989586621680865081 :: All)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865083Sym1 a6989586621680865080 :: TyFun All (Symbol ~> Symbol) -> Type) (a6989586621680865081 :: All) = ShowsPrec_6989586621680865083Sym2 a6989586621680865080 a6989586621680865081
type Apply (ShowsPrec_6989586621680865109Sym1 a6989586621680865106 :: TyFun Any (Symbol ~> Symbol) -> Type) (a6989586621680865107 :: Any)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865109Sym1 a6989586621680865106 :: TyFun Any (Symbol ~> Symbol) -> Type) (a6989586621680865107 :: Any) = ShowsPrec_6989586621680865109Sym2 a6989586621680865106 a6989586621680865107
type Apply (ShowsPrec_6989586621680262182Sym0 :: TyFun Nat (a6989586621680260209 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262179 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262182Sym0 :: TyFun Nat (a6989586621680260209 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262179 :: Nat) = (ShowsPrec_6989586621680262182Sym1 a6989586621680262179 a6989586621680260209 :: TyFun a6989586621680260209 (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrecSym0 :: TyFun Nat (a6989586621680260209 ~> (Symbol ~> Symbol)) -> Type) (arg6989586621680262159 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym0 :: TyFun Nat (a6989586621680260209 ~> (Symbol ~> Symbol)) -> Type) (arg6989586621680262159 :: Nat) = (ShowsPrecSym1 arg6989586621680262159 a6989586621680260209 :: TyFun a6989586621680260209 (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865196Sym0 :: TyFun Nat (Min a6989586621679050970 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865193 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865196Sym0 :: TyFun Nat (Min a6989586621679050970 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865193 :: Nat) = (ShowsPrec_6989586621680865196Sym1 a6989586621680865193 a6989586621679050970 :: TyFun (Min a6989586621679050970) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865225Sym0 :: TyFun Nat (Max a6989586621679050976 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865222 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865225Sym0 :: TyFun Nat (Max a6989586621679050976 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865222 :: Nat) = (ShowsPrec_6989586621680865225Sym1 a6989586621680865222 a6989586621679050976 :: TyFun (Max a6989586621679050976) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865254Sym0 :: TyFun Nat (First a6989586621679050990 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865251 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865254Sym0 :: TyFun Nat (First a6989586621679050990 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865251 :: Nat) = (ShowsPrec_6989586621680865254Sym1 a6989586621680865251 a6989586621679050990 :: TyFun (First a6989586621679050990) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865283Sym0 :: TyFun Nat (Last a6989586621679050996 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865280 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865283Sym0 :: TyFun Nat (Last a6989586621679050996 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865280 :: Nat) = (ShowsPrec_6989586621680865283Sym1 a6989586621680865280 a6989586621679050996 :: TyFun (Last a6989586621679050996) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865312Sym0 :: TyFun Nat (WrappedMonoid m6989586621679051002 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865309 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865312Sym0 :: TyFun Nat (WrappedMonoid m6989586621679051002 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865309 :: Nat) = (ShowsPrec_6989586621680865312Sym1 a6989586621680865309 m6989586621679051002 :: TyFun (WrappedMonoid m6989586621679051002) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865028Sym0 :: TyFun Nat (Option a6989586621679051008 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865025 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865028Sym0 :: TyFun Nat (Option a6989586621679051008 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865025 :: Nat) = (ShowsPrec_6989586621680865028Sym1 a6989586621680865025 a6989586621679051008 :: TyFun (Option a6989586621679051008) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680675519Sym0 :: TyFun Nat (Identity a6989586621680675010 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680675516 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Identity type Apply (ShowsPrec_6989586621680675519Sym0 :: TyFun Nat (Identity a6989586621680675010 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680675516 :: Nat) = (ShowsPrec_6989586621680675519Sym1 a6989586621680675516 a6989586621680675010 :: TyFun (Identity a6989586621680675010) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680335117Sym0 :: TyFun Nat (First a6989586621679072633 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680335114 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680335117Sym0 :: TyFun Nat (First a6989586621679072633 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680335114 :: Nat) = (ShowsPrec_6989586621680335117Sym1 a6989586621680335114 a6989586621679072633 :: TyFun (First a6989586621679072633) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680335146Sym0 :: TyFun Nat (Last a6989586621679072628 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680335143 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680335146Sym0 :: TyFun Nat (Last a6989586621679072628 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680335143 :: Nat) = (ShowsPrec_6989586621680335146Sym1 a6989586621680335143 a6989586621679072628 :: TyFun (Last a6989586621679072628) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865057Sym0 :: TyFun Nat (Dual a6989586621679072604 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865054 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865057Sym0 :: TyFun Nat (Dual a6989586621679072604 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865054 :: Nat) = (ShowsPrec_6989586621680865057Sym1 a6989586621680865054 a6989586621679072604 :: TyFun (Dual a6989586621679072604) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865138Sym0 :: TyFun Nat (Sum a6989586621679072589 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865135 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865138Sym0 :: TyFun Nat (Sum a6989586621679072589 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865135 :: Nat) = (ShowsPrec_6989586621680865138Sym1 a6989586621680865135 a6989586621679072589 :: TyFun (Sum a6989586621679072589) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680865167Sym0 :: TyFun Nat (Product a6989586621679072594 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865164 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865167Sym0 :: TyFun Nat (Product a6989586621679072594 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865164 :: Nat) = (ShowsPrec_6989586621680865167Sym1 a6989586621680865164 a6989586621679072594 :: TyFun (Product a6989586621679072594) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680280415Sym0 :: TyFun Nat (NonEmpty a6989586621679055400 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280412 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280415Sym0 :: TyFun Nat (NonEmpty a6989586621679055400 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280412 :: Nat) = (ShowsPrec_6989586621680280415Sym1 a6989586621680280412 a6989586621679055400 :: TyFun (NonEmpty a6989586621679055400) (Symbol ~> Symbol) -> Type)
type Apply (Let6989586621679948858GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) (w6989586621679948856 :: k1)
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948858GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) (w6989586621679948856 :: k1) = (Let6989586621679948858GoSym1 w6989586621679948856 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type)
type Apply (ShowsPrec_6989586621680280381Sym0 :: TyFun Nat (Either a6989586621679073700 b6989586621679073701 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280378 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280381Sym0 :: TyFun Nat (Either a6989586621679073700 b6989586621679073701 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280378 :: Nat) = (ShowsPrec_6989586621680280381Sym1 a6989586621680280378 a6989586621679073700 b6989586621679073701 :: TyFun (Either a6989586621679073700 b6989586621679073701) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680262182Sym1 a6989586621680262179 a6989586621680260209 :: TyFun a6989586621680260209 (Symbol ~> Symbol) -> Type) (a6989586621680262180 :: a6989586621680260209)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262182Sym1 a6989586621680262179 a6989586621680260209 :: TyFun a6989586621680260209 (Symbol ~> Symbol) -> Type) (a6989586621680262180 :: a6989586621680260209) = ShowsPrec_6989586621680262182Sym2 a6989586621680262179 a6989586621680262180
type Apply (ShowsPrecSym1 arg6989586621680262159 a6989586621680260209 :: TyFun a6989586621680260209 (Symbol ~> Symbol) -> Type) (arg6989586621680262160 :: a6989586621680260209)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym1 arg6989586621680262159 a6989586621680260209 :: TyFun a6989586621680260209 (Symbol ~> Symbol) -> Type) (arg6989586621680262160 :: a6989586621680260209) = ShowsPrecSym2 arg6989586621680262159 arg6989586621680262160
type Apply (ShowsPrec_6989586621680262258Sym0 :: TyFun Nat ((a6989586621680260231, b6989586621680260232) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262255 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262258Sym0 :: TyFun Nat ((a6989586621680260231, b6989586621680260232) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262255 :: Nat) = (ShowsPrec_6989586621680262258Sym1 a6989586621680262255 a6989586621680260231 b6989586621680260232 :: TyFun (a6989586621680260231, b6989586621680260232) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680882478Sym0 :: TyFun Nat (Arg a6989586621680881127 b6989586621680881128 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680882475 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680882478Sym0 :: TyFun Nat (Arg a6989586621680881127 b6989586621680881128 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680882475 :: Nat) = (ShowsPrec_6989586621680882478Sym1 a6989586621680882475 a6989586621680881127 b6989586621680881128 :: TyFun (Arg a6989586621680881127 b6989586621680881128) (Symbol ~> Symbol) -> Type)
type Apply (Let6989586621679948858GoSym1 w6989586621679948856 :: TyFun k1 (TyFun [Symbol] Symbol -> Type) -> Type) (ws6989586621679948857 :: k1)
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621679948858GoSym1 w6989586621679948856 :: TyFun k1 (TyFun [Symbol] Symbol -> Type) -> Type) (ws6989586621679948857 :: k1) = Let6989586621679948858GoSym2 w6989586621679948856 ws6989586621679948857
type Apply (ShowsPrec_6989586621680262276Sym0 :: TyFun Nat ((a6989586621680260236, b6989586621680260237, c6989586621680260238) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262273 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262276Sym0 :: TyFun Nat ((a6989586621680260236, b6989586621680260237, c6989586621680260238) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262273 :: Nat) = (ShowsPrec_6989586621680262276Sym1 a6989586621680262273 a6989586621680260236 b6989586621680260237 c6989586621680260238 :: TyFun (a6989586621680260236, b6989586621680260237, c6989586621680260238) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680711033Sym0 :: TyFun Nat (Const a6989586621680710414 b6989586621680710415 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680711030 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Const type Apply (ShowsPrec_6989586621680711033Sym0 :: TyFun Nat (Const a6989586621680710414 b6989586621680710415 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680711030 :: Nat) = (ShowsPrec_6989586621680711033Sym1 a6989586621680711030 a6989586621680710414 b6989586621680710415 :: TyFun (Const a6989586621680710414 b6989586621680710415) (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 (Let6989586621680262142ShowlSym1 showx6989586621680262138 :: TyFun k1 (TyFun k3 (TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680262139 :: k1)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680262142ShowlSym1 showx6989586621680262138 :: TyFun k1 (TyFun k3 (TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680262139 :: k1) = (Let6989586621680262142ShowlSym2 showx6989586621680262138 x6989586621680262139 :: TyFun k3 (TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) -> Type)
type Apply (Lambda_6989586621680262121Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type) -> Type) -> Type) (ss6989586621680262119 :: k1)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680262121Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type) -> Type) -> Type) (ss6989586621680262119 :: k1) = (Lambda_6989586621680262121Sym1 ss6989586621680262119 :: TyFun k2 (TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type) -> Type)
type Apply (ShowsPrec_6989586621680262295Sym0 :: TyFun Nat ((a6989586621680260243, b6989586621680260244, c6989586621680260245, d6989586621680260246) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262292 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262295Sym0 :: TyFun Nat ((a6989586621680260243, b6989586621680260244, c6989586621680260245, d6989586621680260246) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262292 :: Nat) = (ShowsPrec_6989586621680262295Sym1 a6989586621680262292 a6989586621680260243 b6989586621680260244 c6989586621680260245 d6989586621680260246 :: TyFun (a6989586621680260243, b6989586621680260244, c6989586621680260245, d6989586621680260246) (Symbol ~> Symbol) -> Type)
type Apply (Let6989586621680262142ShowlSym2 x6989586621680262139 showx6989586621680262138 :: TyFun k3 (TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) -> Type) (xs6989586621680262140 :: k3)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680262142ShowlSym2 x6989586621680262139 showx6989586621680262138 :: TyFun k3 (TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) -> Type) (xs6989586621680262140 :: k3) = Let6989586621680262142ShowlSym3 x6989586621680262139 showx6989586621680262138 xs6989586621680262140
type Apply (Lambda_6989586621680262121Sym1 ss6989586621680262119 :: TyFun k1 (TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type) -> Type) (a_69895866216802621176989586621680262120 :: k1)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680262121Sym1 ss6989586621680262119 :: TyFun k1 (TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type) -> Type) (a_69895866216802621176989586621680262120 :: k1) = (Lambda_6989586621680262121Sym2 ss6989586621680262119 a_69895866216802621176989586621680262120 :: TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type)
type Apply (ShowsPrec_6989586621680262315Sym0 :: TyFun Nat ((a6989586621680260252, b6989586621680260253, c6989586621680260254, d6989586621680260255, e6989586621680260256) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262312 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262315Sym0 :: TyFun Nat ((a6989586621680260252, b6989586621680260253, c6989586621680260254, d6989586621680260255, e6989586621680260256) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262312 :: Nat) = (ShowsPrec_6989586621680262315Sym1 a6989586621680262312 a6989586621680260252 b6989586621680260253 c6989586621680260254 d6989586621680260255 e6989586621680260256 :: TyFun (a6989586621680260252, b6989586621680260253, c6989586621680260254, d6989586621680260255, e6989586621680260256) (Symbol ~> Symbol) -> Type)
type Apply (Let6989586621680262142ShowlSym3 xs6989586621680262140 x6989586621680262139 showx6989586621680262138 :: TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) (s6989586621680262141 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680262142ShowlSym3 xs6989586621680262140 x6989586621680262139 showx6989586621680262138 :: TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) (s6989586621680262141 :: Symbol) = Let6989586621680262142ShowlSym4 xs6989586621680262140 x6989586621680262139 showx6989586621680262138 s6989586621680262141
type Apply (ShowsPrec_6989586621680262336Sym0 :: TyFun Nat ((a6989586621680260263, b6989586621680260264, c6989586621680260265, d6989586621680260266, e6989586621680260267, f6989586621680260268) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262333 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262336Sym0 :: TyFun Nat ((a6989586621680260263, b6989586621680260264, c6989586621680260265, d6989586621680260266, e6989586621680260267, f6989586621680260268) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262333 :: Nat) = (ShowsPrec_6989586621680262336Sym1 a6989586621680262333 a6989586621680260263 b6989586621680260264 c6989586621680260265 d6989586621680260266 e6989586621680260267 f6989586621680260268 :: TyFun (a6989586621680260263, b6989586621680260264, c6989586621680260265, d6989586621680260266, e6989586621680260267, f6989586621680260268) (Symbol ~> Symbol) -> Type)
type Apply (ShowsPrec_6989586621680262358Sym0 :: TyFun Nat ((a6989586621680260276, b6989586621680260277, c6989586621680260278, d6989586621680260279, e6989586621680260280, f6989586621680260281, g6989586621680260282) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262355 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262358Sym0 :: TyFun Nat ((a6989586621680260276, b6989586621680260277, c6989586621680260278, d6989586621680260279, e6989586621680260280, f6989586621680260281, g6989586621680260282) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262355 :: Nat) = (ShowsPrec_6989586621680262358Sym1 a6989586621680262355 a6989586621680260276 b6989586621680260277 c6989586621680260278 d6989586621680260279 e6989586621680260280 f6989586621680260281 g6989586621680260282 :: TyFun (a6989586621680260276, b6989586621680260277, c6989586621680260278, d6989586621680260279, e6989586621680260280, f6989586621680260281, g6989586621680260282) (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 (a6989586621680262113 :: [Symbol ~> Symbol])
Instance details Defined in Data.Singletons.Prelude.Show type Apply Show_tupleSym0 (a6989586621680262113 :: [Symbol ~> Symbol]) = Show_tupleSym1 a6989586621680262113
type Apply (ShowList_6989586621680262202Sym0 :: TyFun [a6989586621680260209] (Symbol ~> Symbol) -> Type) (a6989586621680262200 :: [a6989586621680260209])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowList_6989586621680262202Sym0 :: TyFun [a6989586621680260209] (Symbol ~> Symbol) -> Type) (a6989586621680262200 :: [a6989586621680260209]) = ShowList_6989586621680262202Sym1 a6989586621680262200
type Apply (ShowListSym0 :: TyFun [a6989586621680260209] (Symbol ~> Symbol) -> Type) (arg6989586621680262167 :: [a6989586621680260209])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym0 :: TyFun [a6989586621680260209] (Symbol ~> Symbol) -> Type) (arg6989586621680262167 :: [a6989586621680260209]) = ShowListSym1 arg6989586621680262167
type Apply (ShowListWithSym1 a6989586621680262131 :: TyFun [a6989586621680260193] (Symbol ~> Symbol) -> Type) (a6989586621680262132 :: [a6989586621680260193])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym1 a6989586621680262131 :: TyFun [a6989586621680260193] (Symbol ~> Symbol) -> Type) (a6989586621680262132 :: [a6989586621680260193]) = ShowListWithSym2 a6989586621680262131 a6989586621680262132
type Apply (ShowsPrec_6989586621680262221Sym1 a6989586621680262218 a6989586621680260227 :: TyFun [a6989586621680260227] (Symbol ~> Symbol) -> Type) (a6989586621680262219 :: [a6989586621680260227])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262221Sym1 a6989586621680262218 a6989586621680260227 :: TyFun [a6989586621680260227] (Symbol ~> Symbol) -> Type) (a6989586621680262219 :: [a6989586621680260227]) = ShowsPrec_6989586621680262221Sym2 a6989586621680262218 a6989586621680262219
type Apply (ShowsPrec_6989586621680280327Sym1 a6989586621680280324 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) (a6989586621680280325 :: Maybe a3530822107858468865)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280327Sym1 a6989586621680280324 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) (a6989586621680280325 :: Maybe a3530822107858468865) = ShowsPrec_6989586621680280327Sym2 a6989586621680280324 a6989586621680280325
type Apply (ShowsPrec_6989586621680865196Sym1 a6989586621680865193 a6989586621679050970 :: TyFun (Min a6989586621679050970) (Symbol ~> Symbol) -> Type) (a6989586621680865194 :: Min a6989586621679050970)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865196Sym1 a6989586621680865193 a6989586621679050970 :: TyFun (Min a6989586621679050970) (Symbol ~> Symbol) -> Type) (a6989586621680865194 :: Min a6989586621679050970) = ShowsPrec_6989586621680865196Sym2 a6989586621680865193 a6989586621680865194
type Apply (ShowsPrec_6989586621680865225Sym1 a6989586621680865222 a6989586621679050976 :: TyFun (Max a6989586621679050976) (Symbol ~> Symbol) -> Type) (a6989586621680865223 :: Max a6989586621679050976)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865225Sym1 a6989586621680865222 a6989586621679050976 :: TyFun (Max a6989586621679050976) (Symbol ~> Symbol) -> Type) (a6989586621680865223 :: Max a6989586621679050976) = ShowsPrec_6989586621680865225Sym2 a6989586621680865222 a6989586621680865223
type Apply (ShowsPrec_6989586621680865254Sym1 a6989586621680865251 a6989586621679050990 :: TyFun (First a6989586621679050990) (Symbol ~> Symbol) -> Type) (a6989586621680865252 :: First a6989586621679050990)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865254Sym1 a6989586621680865251 a6989586621679050990 :: TyFun (First a6989586621679050990) (Symbol ~> Symbol) -> Type) (a6989586621680865252 :: First a6989586621679050990) = ShowsPrec_6989586621680865254Sym2 a6989586621680865251 a6989586621680865252
type Apply (ShowsPrec_6989586621680865283Sym1 a6989586621680865280 a6989586621679050996 :: TyFun (Last a6989586621679050996) (Symbol ~> Symbol) -> Type) (a6989586621680865281 :: Last a6989586621679050996)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865283Sym1 a6989586621680865280 a6989586621679050996 :: TyFun (Last a6989586621679050996) (Symbol ~> Symbol) -> Type) (a6989586621680865281 :: Last a6989586621679050996) = ShowsPrec_6989586621680865283Sym2 a6989586621680865280 a6989586621680865281
type Apply (ShowsPrec_6989586621680865312Sym1 a6989586621680865309 m6989586621679051002 :: TyFun (WrappedMonoid m6989586621679051002) (Symbol ~> Symbol) -> Type) (a6989586621680865310 :: WrappedMonoid m6989586621679051002)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865312Sym1 a6989586621680865309 m6989586621679051002 :: TyFun (WrappedMonoid m6989586621679051002) (Symbol ~> Symbol) -> Type) (a6989586621680865310 :: WrappedMonoid m6989586621679051002) = ShowsPrec_6989586621680865312Sym2 a6989586621680865309 a6989586621680865310
type Apply (ShowsPrec_6989586621680865028Sym1 a6989586621680865025 a6989586621679051008 :: TyFun (Option a6989586621679051008) (Symbol ~> Symbol) -> Type) (a6989586621680865026 :: Option a6989586621679051008)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865028Sym1 a6989586621680865025 a6989586621679051008 :: TyFun (Option a6989586621679051008) (Symbol ~> Symbol) -> Type) (a6989586621680865026 :: Option a6989586621679051008) = ShowsPrec_6989586621680865028Sym2 a6989586621680865025 a6989586621680865026
type Apply (ShowsPrec_6989586621680675519Sym1 a6989586621680675516 a6989586621680675010 :: TyFun (Identity a6989586621680675010) (Symbol ~> Symbol) -> Type) (a6989586621680675517 :: Identity a6989586621680675010)
Instance details Defined in Data.Singletons.Prelude.Identity type Apply (ShowsPrec_6989586621680675519Sym1 a6989586621680675516 a6989586621680675010 :: TyFun (Identity a6989586621680675010) (Symbol ~> Symbol) -> Type) (a6989586621680675517 :: Identity a6989586621680675010) = ShowsPrec_6989586621680675519Sym2 a6989586621680675516 a6989586621680675517
type Apply (ShowsPrec_6989586621680335117Sym1 a6989586621680335114 a6989586621679072633 :: TyFun (First a6989586621679072633) (Symbol ~> Symbol) -> Type) (a6989586621680335115 :: First a6989586621679072633)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680335117Sym1 a6989586621680335114 a6989586621679072633 :: TyFun (First a6989586621679072633) (Symbol ~> Symbol) -> Type) (a6989586621680335115 :: First a6989586621679072633) = ShowsPrec_6989586621680335117Sym2 a6989586621680335114 a6989586621680335115
type Apply (ShowsPrec_6989586621680335146Sym1 a6989586621680335143 a6989586621679072628 :: TyFun (Last a6989586621679072628) (Symbol ~> Symbol) -> Type) (a6989586621680335144 :: Last a6989586621679072628)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680335146Sym1 a6989586621680335143 a6989586621679072628 :: TyFun (Last a6989586621679072628) (Symbol ~> Symbol) -> Type) (a6989586621680335144 :: Last a6989586621679072628) = ShowsPrec_6989586621680335146Sym2 a6989586621680335143 a6989586621680335144
type Apply (ShowsPrec_6989586621680865057Sym1 a6989586621680865054 a6989586621679072604 :: TyFun (Dual a6989586621679072604) (Symbol ~> Symbol) -> Type) (a6989586621680865055 :: Dual a6989586621679072604)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865057Sym1 a6989586621680865054 a6989586621679072604 :: TyFun (Dual a6989586621679072604) (Symbol ~> Symbol) -> Type) (a6989586621680865055 :: Dual a6989586621679072604) = ShowsPrec_6989586621680865057Sym2 a6989586621680865054 a6989586621680865055
type Apply (ShowsPrec_6989586621680865138Sym1 a6989586621680865135 a6989586621679072589 :: TyFun (Sum a6989586621679072589) (Symbol ~> Symbol) -> Type) (a6989586621680865136 :: Sum a6989586621679072589)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865138Sym1 a6989586621680865135 a6989586621679072589 :: TyFun (Sum a6989586621679072589) (Symbol ~> Symbol) -> Type) (a6989586621680865136 :: Sum a6989586621679072589) = ShowsPrec_6989586621680865138Sym2 a6989586621680865135 a6989586621680865136
type Apply (ShowsPrec_6989586621680865167Sym1 a6989586621680865164 a6989586621679072594 :: TyFun (Product a6989586621679072594) (Symbol ~> Symbol) -> Type) (a6989586621680865165 :: Product a6989586621679072594)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680865167Sym1 a6989586621680865164 a6989586621679072594 :: TyFun (Product a6989586621679072594) (Symbol ~> Symbol) -> Type) (a6989586621680865165 :: Product a6989586621679072594) = ShowsPrec_6989586621680865167Sym2 a6989586621680865164 a6989586621680865165
type Apply (ShowsPrec_6989586621680280415Sym1 a6989586621680280412 a6989586621679055400 :: TyFun (NonEmpty a6989586621679055400) (Symbol ~> Symbol) -> Type) (a6989586621680280413 :: NonEmpty a6989586621679055400)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280415Sym1 a6989586621680280412 a6989586621679055400 :: TyFun (NonEmpty a6989586621679055400) (Symbol ~> Symbol) -> Type) (a6989586621680280413 :: NonEmpty a6989586621679055400) = ShowsPrec_6989586621680280415Sym2 a6989586621680280412 a6989586621680280413
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 (a6989586621680260193 ~> (Symbol ~> Symbol)) ([a6989586621680260193] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262131 :: a6989586621680260193 ~> (Symbol ~> Symbol))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym0 :: TyFun (a6989586621680260193 ~> (Symbol ~> Symbol)) ([a6989586621680260193] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262131 :: a6989586621680260193 ~> (Symbol ~> Symbol)) = ShowListWithSym1 a6989586621680262131
type Apply (ShowParenSym1 a6989586621680262099 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680262100 :: Symbol ~> Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowParenSym1 a6989586621680262099 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680262100 :: Symbol ~> Symbol) = ShowParenSym2 a6989586621680262099 a6989586621680262100
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 (Let6989586621680262142ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) (showx6989586621680262138 :: k1 ~> (Symbol ~> Symbol))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680262142ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) (showx6989586621680262138 :: k1 ~> (Symbol ~> Symbol)) = (Let6989586621680262142ShowlSym1 showx6989586621680262138 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type)
type Apply (ShowsPrec_6989586621680280381Sym1 a6989586621680280378 a6989586621679073700 b6989586621679073701 :: TyFun (Either a6989586621679073700 b6989586621679073701) (Symbol ~> Symbol) -> Type) (a6989586621680280379 :: Either a6989586621679073700 b6989586621679073701)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680280381Sym1 a6989586621680280378 a6989586621679073700 b6989586621679073701 :: TyFun (Either a6989586621679073700 b6989586621679073701) (Symbol ~> Symbol) -> Type) (a6989586621680280379 :: Either a6989586621679073700 b6989586621679073701) = ShowsPrec_6989586621680280381Sym2 a6989586621680280378 a6989586621680280379
type Apply (ShowsPrec_6989586621680262258Sym1 a6989586621680262255 a6989586621680260231 b6989586621680260232 :: TyFun (a6989586621680260231, b6989586621680260232) (Symbol ~> Symbol) -> Type) (a6989586621680262256 :: (a6989586621680260231, b6989586621680260232))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262258Sym1 a6989586621680262255 a6989586621680260231 b6989586621680260232 :: TyFun (a6989586621680260231, b6989586621680260232) (Symbol ~> Symbol) -> Type) (a6989586621680262256 :: (a6989586621680260231, b6989586621680260232)) = ShowsPrec_6989586621680262258Sym2 a6989586621680262255 a6989586621680262256
type Apply (ShowsPrec_6989586621680882478Sym1 a6989586621680882475 a6989586621680881127 b6989586621680881128 :: TyFun (Arg a6989586621680881127 b6989586621680881128) (Symbol ~> Symbol) -> Type) (a6989586621680882476 :: Arg a6989586621680881127 b6989586621680881128)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621680882478Sym1 a6989586621680882475 a6989586621680881127 b6989586621680881128 :: TyFun (Arg a6989586621680881127 b6989586621680881128) (Symbol ~> Symbol) -> Type) (a6989586621680882476 :: Arg a6989586621680881127 b6989586621680881128) = ShowsPrec_6989586621680882478Sym2 a6989586621680882475 a6989586621680882476
type Apply (Lambda_6989586621680262121Sym2 a_69895866216802621176989586621680262120 ss6989586621680262119 :: TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type) (t6989586621680262125 :: Symbol ~> c6989586621679519863)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680262121Sym2 a_69895866216802621176989586621680262120 ss6989586621680262119 :: TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type) (t6989586621680262125 :: Symbol ~> c6989586621679519863) = (Lambda_6989586621680262121Sym3 a_69895866216802621176989586621680262120 ss6989586621680262119 t6989586621680262125 :: TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type)
type Apply (Lambda_6989586621680262121Sym3 t6989586621680262125 a_69895866216802621176989586621680262120 ss6989586621680262119 :: TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) (t6989586621680262126 :: a6989586621679519864 ~> Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680262121Sym3 t6989586621680262125 a_69895866216802621176989586621680262120 ss6989586621680262119 :: TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) (t6989586621680262126 :: a6989586621679519864 ~> Symbol) = Lambda_6989586621680262121 t6989586621680262125 a_69895866216802621176989586621680262120 ss6989586621680262119 t6989586621680262126
type Apply (ShowsPrec_6989586621680262276Sym1 a6989586621680262273 a6989586621680260236 b6989586621680260237 c6989586621680260238 :: TyFun (a6989586621680260236, b6989586621680260237, c6989586621680260238) (Symbol ~> Symbol) -> Type) (a6989586621680262274 :: (a6989586621680260236, b6989586621680260237, c6989586621680260238))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262276Sym1 a6989586621680262273 a6989586621680260236 b6989586621680260237 c6989586621680260238 :: TyFun (a6989586621680260236, b6989586621680260237, c6989586621680260238) (Symbol ~> Symbol) -> Type) (a6989586621680262274 :: (a6989586621680260236, b6989586621680260237, c6989586621680260238)) = ShowsPrec_6989586621680262276Sym2 a6989586621680262273 a6989586621680262274
type Apply (ShowsPrec_6989586621680711033Sym1 a6989586621680711030 a6989586621680710414 b6989586621680710415 :: TyFun (Const a6989586621680710414 b6989586621680710415) (Symbol ~> Symbol) -> Type) (a6989586621680711031 :: Const a6989586621680710414 b6989586621680710415)
Instance details Defined in Data.Singletons.Prelude.Const type Apply (ShowsPrec_6989586621680711033Sym1 a6989586621680711030 a6989586621680710414 b6989586621680710415 :: TyFun (Const a6989586621680710414 b6989586621680710415) (Symbol ~> Symbol) -> Type) (a6989586621680711031 :: Const a6989586621680710414 b6989586621680710415) = ShowsPrec_6989586621680711033Sym2 a6989586621680711030 a6989586621680711031
type Apply (ShowsPrec_6989586621680262295Sym1 a6989586621680262292 a6989586621680260243 b6989586621680260244 c6989586621680260245 d6989586621680260246 :: TyFun (a6989586621680260243, b6989586621680260244, c6989586621680260245, d6989586621680260246) (Symbol ~> Symbol) -> Type) (a6989586621680262293 :: (a6989586621680260243, b6989586621680260244, c6989586621680260245, d6989586621680260246))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262295Sym1 a6989586621680262292 a6989586621680260243 b6989586621680260244 c6989586621680260245 d6989586621680260246 :: TyFun (a6989586621680260243, b6989586621680260244, c6989586621680260245, d6989586621680260246) (Symbol ~> Symbol) -> Type) (a6989586621680262293 :: (a6989586621680260243, b6989586621680260244, c6989586621680260245, d6989586621680260246)) = ShowsPrec_6989586621680262295Sym2 a6989586621680262292 a6989586621680262293
type Apply (ShowsPrec_6989586621680262315Sym1 a6989586621680262312 a6989586621680260252 b6989586621680260253 c6989586621680260254 d6989586621680260255 e6989586621680260256 :: TyFun (a6989586621680260252, b6989586621680260253, c6989586621680260254, d6989586621680260255, e6989586621680260256) (Symbol ~> Symbol) -> Type) (a6989586621680262313 :: (a6989586621680260252, b6989586621680260253, c6989586621680260254, d6989586621680260255, e6989586621680260256))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262315Sym1 a6989586621680262312 a6989586621680260252 b6989586621680260253 c6989586621680260254 d6989586621680260255 e6989586621680260256 :: TyFun (a6989586621680260252, b6989586621680260253, c6989586621680260254, d6989586621680260255, e6989586621680260256) (Symbol ~> Symbol) -> Type) (a6989586621680262313 :: (a6989586621680260252, b6989586621680260253, c6989586621680260254, d6989586621680260255, e6989586621680260256)) = ShowsPrec_6989586621680262315Sym2 a6989586621680262312 a6989586621680262313
type Apply (ShowsPrec_6989586621680262336Sym1 a6989586621680262333 a6989586621680260263 b6989586621680260264 c6989586621680260265 d6989586621680260266 e6989586621680260267 f6989586621680260268 :: TyFun (a6989586621680260263, b6989586621680260264, c6989586621680260265, d6989586621680260266, e6989586621680260267, f6989586621680260268) (Symbol ~> Symbol) -> Type) (a6989586621680262334 :: (a6989586621680260263, b6989586621680260264, c6989586621680260265, d6989586621680260266, e6989586621680260267, f6989586621680260268))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262336Sym1 a6989586621680262333 a6989586621680260263 b6989586621680260264 c6989586621680260265 d6989586621680260266 e6989586621680260267 f6989586621680260268 :: TyFun (a6989586621680260263, b6989586621680260264, c6989586621680260265, d6989586621680260266, e6989586621680260267, f6989586621680260268) (Symbol ~> Symbol) -> Type) (a6989586621680262334 :: (a6989586621680260263, b6989586621680260264, c6989586621680260265, d6989586621680260266, e6989586621680260267, f6989586621680260268)) = ShowsPrec_6989586621680262336Sym2 a6989586621680262333 a6989586621680262334
type Apply (ShowsPrec_6989586621680262358Sym1 a6989586621680262355 a6989586621680260276 b6989586621680260277 c6989586621680260278 d6989586621680260279 e6989586621680260280 f6989586621680260281 g6989586621680260282 :: TyFun (a6989586621680260276, b6989586621680260277, c6989586621680260278, d6989586621680260279, e6989586621680260280, f6989586621680260281, g6989586621680260282) (Symbol ~> Symbol) -> Type) (a6989586621680262356 :: (a6989586621680260276, b6989586621680260277, c6989586621680260278, d6989586621680260279, e6989586621680260280, f6989586621680260281, g6989586621680260282))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680262358Sym1 a6989586621680262355 a6989586621680260276 b6989586621680260277 c6989586621680260278 d6989586621680260279 e6989586621680260280 f6989586621680260281 g6989586621680260282 :: TyFun (a6989586621680260276, b6989586621680260277, c6989586621680260278, d6989586621680260279, e6989586621680260280, f6989586621680260281, g6989586621680260282) (Symbol ~> Symbol) -> Type) (a6989586621680262356 :: (a6989586621680260276, b6989586621680260277, c6989586621680260278, d6989586621680260279, e6989586621680260280, f6989586621680260281, g6989586621680260282)) = ShowsPrec_6989586621680262358Sym2 a6989586621680262355 a6989586621680262356
type Apply (FromString_6989586621681196174Sym0 :: TyFun Symbol (Const a6989586621681196134 b6989586621681196135) -> Type) (a6989586621681196173 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromString_6989586621681196174Sym0 :: TyFun Symbol (Const a6989586621681196134 b6989586621681196135) -> Type) (a6989586621681196173 :: Symbol) = (FromString_6989586621681196174 a6989586621681196173 :: Const a6989586621681196134 b6989586621681196135)

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.