Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
(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 |
PIsString Symbol | |
Defined in Data.Singletons.Prelude.IsString type FromString arg :: a # | |
SIsString Symbol | |
Defined in Data.Singletons.Prelude.IsString sFromString :: Sing t -> Sing (Apply FromStringSym0 t) # | |
PMonoid Symbol | |
SMonoid Symbol | |
Defined in Data.Singletons.Prelude.Monoid | |
PShow Symbol | |
SShow Symbol | |
PSemigroup Symbol | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SSemigroup Symbol | |
KnownSymbol a => SingI (a :: Symbol) | Since: base-4.9.0.0 |
Defined in GHC.Generics sing :: Sing a | |
KnownSymbol s => Showtype (s :: Symbol) | |
Defined in Type.Showtype | |
KnownSymbol n => Reifies (n :: Symbol) String | |
Defined in Data.Reflection | |
UnpackUParam c ([] :: [EntryPointKind]) Source # | |
Defined in Lorentz.UParam unpackUParam :: UParam [] -> Either EntryPointLookupError (MText, ConstrainedSome c) Source # | |
(KnownSymbol name, UnpackUParam c entries, NiceUnpackedValue arg, c arg) => UnpackUParam c ((name ?: arg) ': entries) Source # | |
Defined in Lorentz.UParam unpackUParam :: UParam ((name ?: arg) ': entries) -> Either EntryPointLookupError (MText, ConstrainedSome c) Source # | |
KnownSymbol l => KnownField (l ::: v :: (Symbol, k)) | |
Defined in Data.Vinyl.Derived | |
Eq t => Eq (ElField ((,) s t)) | |
(Floating t, KnownSymbol s) => Floating (ElField ((,) s t)) | |
Defined in Data.Vinyl.Functor 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) # | |
(Fractional t, KnownSymbol s) => Fractional (ElField ((,) s t)) | |
(Num t, KnownSymbol s) => Num (ElField ((,) s t)) | |
Defined in Data.Vinyl.Functor (+) :: 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)) | |
Defined in Data.Vinyl.Functor 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 # | |
(Real t, KnownSymbol s) => Real (ElField ((,) s t)) | |
Defined in Data.Vinyl.Functor toRational :: ElField (s, t) -> Rational # | |
(RealFrac t, KnownSymbol s) => RealFrac (ElField ((,) s t)) | |
(Show t, KnownSymbol s) => Show (ElField ((,) s t)) | |
KnownSymbol s => Generic (ElField ((,) s a)) | |
Semigroup t => Semigroup (ElField ((,) s t)) | |
(KnownSymbol s, Monoid t) => Monoid (ElField ((,) s t)) | |
(KnownSymbol s, Storable t) => Storable (ElField ((,) s t)) | |
Defined in Data.Vinyl.Functor 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 () # | |
StripFieldNames ([] :: [(Symbol, Type)]) | |
Defined in Data.Vinyl.Derived | |
CaseUParam ([] :: [EntryPointKind]) Source # | |
Defined in Lorentz.UParam caseUParamUnsafe :: Rec (CaseClauseU inp out) [] -> UParamFallback inp out -> (UParam [] ': inp) :-> out | |
KnownSymbol s => Show (SField ((,) s t)) | |
SuppressUnusedWarnings ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings UnwordsSym0 | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings UnlinesSym0 | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings Show_tupleSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680280441Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680280468Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsNatSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680262241Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680280290Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680280496Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680865083Sym0 | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680865109Sym0 | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings KnownSymbolSym0 | |
Defined in Data.Singletons.TypeLits suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowSpaceSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowCommaSpaceSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowStringSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowCharSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SingI ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowParenSym0 # | |
SingI UnwordsSym0 | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing UnwordsSym0 # | |
SingI UnlinesSym0 | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing UnlinesSym0 # | |
SingI Show_tupleSym0 | |
Defined in Data.Singletons.Prelude.Show | |
SingI ShowSpaceSym0 | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowSpaceSym0 # | |
SingI ShowCommaSpaceSym0 | |
Defined in Data.Singletons.Prelude.Show | |
SingI ShowStringSym0 | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowStringSym0 # | |
SingI ShowCharSym0 | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowCharSym0 # | |
KnownSymbol s => IsoHKD ElField ((,) s a :: (Symbol, Type)) | Work with values of type |
SuppressUnusedWarnings (ShowsPrec_6989586621680280441Sym1 a6989586621680280438 :: TyFun Bool (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowList_6989586621680262202Sym0 :: TyFun [a6989586621680260209] (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621680260209] (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280468Sym1 a6989586621680280465 :: TyFun Ordering (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262221Sym0 :: TyFun Nat ([a6989586621680260227] ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280327Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262182Sym0 :: TyFun Nat (a6989586621680260209 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (a6989586621680260209 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865196Sym0 :: TyFun Nat (Min a6989586621679050970 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865225Sym0 :: TyFun Nat (Max a6989586621679050976 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865254Sym0 :: TyFun Nat (First a6989586621679050990 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865283Sym0 :: TyFun Nat (Last a6989586621679050996 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865312Sym0 :: TyFun Nat (WrappedMonoid m6989586621679051002 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865028Sym0 :: TyFun Nat (Option a6989586621679051008 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680675519Sym0 :: TyFun Nat (Identity a6989586621680675010 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680335117Sym0 :: TyFun Nat (First a6989586621679072633 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680335146Sym0 :: TyFun Nat (Last a6989586621679072628 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865057Sym0 :: TyFun Nat (Dual a6989586621679072604 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865138Sym0 :: TyFun Nat (Sum a6989586621679072589 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865167Sym0 :: TyFun Nat (Product a6989586621679072594 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280415Sym0 :: TyFun Nat (NonEmpty a6989586621679055400 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fail_6989586621679607575Sym0 :: TyFun Symbol [a6989586621679544179] -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fail_6989586621679607510Sym0 :: TyFun Symbol (Maybe a6989586621679544179) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowStringSym1 a6989586621680262078 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowCharSym1 a6989586621680262093 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Show_tupleSym1 a6989586621680262113 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsNatSym1 a6989586621680279678 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a6989586621681196132 -> Type) | |
Defined in Data.Singletons.Prelude.IsString suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromString_6989586621681196181Sym0 :: TyFun Symbol (Identity a6989586621681196137) -> Type) | |
Defined in Data.Singletons.Prelude.IsString suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262241Sym1 a6989586621680262238 :: TyFun Symbol (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280290Sym1 a6989586621680280287 :: TyFun () (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621680260194 (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Show__6989586621680262191Sym0 :: TyFun a6989586621680260209 Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621680260209 Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680262068Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280496Sym1 a6989586621680280493 :: TyFun Void (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865083Sym1 a6989586621680865080 :: TyFun All (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865109Sym1 a6989586621680865106 :: TyFun Any (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowParenSym1 a6989586621680262099 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a6989586621680260193 ~> (Symbol ~> Symbol)) ([a6989586621680260193] ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SShow a => SingI (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowListSym0 # | |
SShow a => SingI (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowsPrecSym0 # | |
SingI d => SingI (ShowStringSym1 d :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowStringSym1 d) # | |
SingI d => SingI (ShowCharSym1 d :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowCharSym1 d) # | |
SingI d => SingI (Show_tupleSym1 d :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show | |
SIsString a => SingI (FromStringSym0 :: TyFun Symbol a -> Type) | |
Defined in Data.Singletons.Prelude.IsString sing :: Sing FromStringSym0 # | |
SShow a => SingI (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show | |
SShow a => SingI (Show_Sym0 :: TyFun a Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show | |
SingI d => SingI (ShowParenSym1 d :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowParenSym1 d) # | |
SingI (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show | |
(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 | |
Defined in Data.Vinyl.SRec type RecElemFCtx SRec f :: Constraint # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262221Sym1 a6989586621680262218 a6989586621680260227 :: TyFun [a6989586621680260227] (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680262131 :: TyFun [a6989586621680260193] (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280327Sym1 a6989586621680280324 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280381Sym0 :: TyFun Nat (Either a6989586621679073700 b6989586621679073701 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262258Sym0 :: TyFun Nat ((a6989586621680260231, b6989586621680260232) ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680882478Sym0 :: TyFun Nat (Arg a6989586621680881127 b6989586621680881128 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowParenSym2 a6989586621680262100 a6989586621680262099 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsSym1 a6989586621680262151 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowListSym1 arg6989586621680262167 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865083Sym2 a6989586621680865081 a6989586621680865080 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865109Sym2 a6989586621680865107 a6989586621680865106 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowList_6989586621680262202Sym1 a6989586621680262200 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262241Sym2 a6989586621680262239 a6989586621680262238 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280290Sym2 a6989586621680280288 a6989586621680280287 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280441Sym2 a6989586621680280439 a6989586621680280438 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280468Sym2 a6989586621680280466 a6989586621680280465 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280496Sym2 a6989586621680280494 a6989586621680280493 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680262068Sym1 a_69895866216802620636989586621680262067 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262182Sym1 a6989586621680262179 a6989586621680260209 :: TyFun a6989586621680260209 (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrecSym1 arg6989586621680262159 a6989586621680260209 :: TyFun a6989586621680260209 (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948858GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865196Sym1 a6989586621680865193 a6989586621679050970 :: TyFun (Min a6989586621679050970) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865225Sym1 a6989586621680865222 a6989586621679050976 :: TyFun (Max a6989586621679050976) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865254Sym1 a6989586621680865251 a6989586621679050990 :: TyFun (First a6989586621679050990) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865283Sym1 a6989586621680865280 a6989586621679050996 :: TyFun (Last a6989586621679050996) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865312Sym1 a6989586621680865309 m6989586621679051002 :: TyFun (WrappedMonoid m6989586621679051002) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865028Sym1 a6989586621680865025 a6989586621679051008 :: TyFun (Option a6989586621679051008) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680675519Sym1 a6989586621680675516 a6989586621680675010 :: TyFun (Identity a6989586621680675010) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680335117Sym1 a6989586621680335114 a6989586621679072633 :: TyFun (First a6989586621679072633) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680335146Sym1 a6989586621680335143 a6989586621679072628 :: TyFun (Last a6989586621679072628) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865057Sym1 a6989586621680865054 a6989586621679072604 :: TyFun (Dual a6989586621679072604) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865138Sym1 a6989586621680865135 a6989586621679072589 :: TyFun (Sum a6989586621679072589) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865167Sym1 a6989586621680865164 a6989586621679072594 :: TyFun (Product a6989586621679072594) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280415Sym1 a6989586621680280412 a6989586621679055400 :: TyFun (NonEmpty a6989586621679055400) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SingI d => SingI (ShowListWithSym1 d :: TyFun [a] (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowListWithSym1 d) # | |
(SingI d1, SingI d2) => SingI (ShowParenSym2 d1 d2 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowParenSym2 d1 d2) # | |
(SShow a, SingI d) => SingI (ShowsSym1 d :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show | |
(SShow a, SingI d) => SingI (ShowListSym1 d :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowListSym1 d) # | |
SingI (ErrorWithoutStackTraceSym0 :: TyFun Symbol a -> Type) | |
Defined in Data.Singletons.TypeLits.Internal | |
SingI (ErrorSym0 :: TyFun Symbol a -> Type) | |
Defined in Data.Singletons.TypeLits.Internal | |
(SShow a, SingI d) => SingI (ShowsPrecSym1 d a :: TyFun a (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show 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 |
Defined in Data.Vinyl.SRec type RecElemFCtx (SRec2 ElField) f :: Constraint # | |
(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 | |
Defined in Data.Vinyl.SRec type RecSubsetFCtx SRec f :: Constraint # | |
(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 | |
Defined in Data.Vinyl.SRec type RecSubsetFCtx (SRec2 ElField) f :: Constraint # 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) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262276Sym0 :: TyFun Nat ((a6989586621680260236, b6989586621680260237, c6989586621680260238) ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680711033Sym0 :: TyFun Nat (Const a6989586621680710414 b6989586621680710415 ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Const suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680262132 a6989586621680262131 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrecSym2 arg6989586621680262160 arg6989586621680262159 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865028Sym2 a6989586621680865026 a6989586621680865025 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865057Sym2 a6989586621680865055 a6989586621680865054 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865138Sym2 a6989586621680865136 a6989586621680865135 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865167Sym2 a6989586621680865165 a6989586621680865164 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865196Sym2 a6989586621680865194 a6989586621680865193 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865225Sym2 a6989586621680865223 a6989586621680865222 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865254Sym2 a6989586621680865252 a6989586621680865251 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865283Sym2 a6989586621680865281 a6989586621680865280 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680865312Sym2 a6989586621680865310 a6989586621680865309 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680675519Sym2 a6989586621680675517 a6989586621680675516 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680335117Sym2 a6989586621680335115 a6989586621680335114 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680335146Sym2 a6989586621680335144 a6989586621680335143 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262182Sym2 a6989586621680262180 a6989586621680262179 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262221Sym2 a6989586621680262219 a6989586621680262218 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280327Sym2 a6989586621680280325 a6989586621680280324 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280415Sym2 a6989586621680280413 a6989586621680280412 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fail_6989586621679544692Sym0 :: TyFun Symbol (m6989586621679544173 a6989586621679544179) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FailSym0 :: TyFun Symbol (m6989586621679544173 a6989586621679544179) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromString_6989586621681196174Sym0 :: TyFun Symbol (Const a6989586621681196134 b6989586621681196135) -> Type) | |
Defined in Data.Singletons.Prelude.IsString suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262258Sym1 a6989586621680262255 a6989586621680260231 b6989586621680260232 :: TyFun (a6989586621680260231, b6989586621680260232) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679948858GoSym1 w6989586621679948856 :: TyFun k1 (TyFun [Symbol] Symbol -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680882478Sym1 a6989586621680882475 a6989586621680881127 b6989586621680881128 :: TyFun (Arg a6989586621680881127 b6989586621680881128) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680262142ShowlSym0 :: TyFun (k3 ~> (Symbol ~> Symbol)) (TyFun k1 (TyFun k2 (TyFun Symbol (TyFun [k3] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
(SingI d1, SingI d2) => SingI (ShowListWithSym2 d1 d2 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowListWithSym2 d1 d2) # | |
(SShow a, SingI d1, SingI d2) => SingI (ShowsPrecSym2 d1 d2 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowsPrecSym2 d1 d2) # | |
SMonad m => SingI (FailSym0 :: TyFun Symbol (m a) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SuppressUnusedWarnings (Let6989586621679948858GoSym2 ws6989586621679948857 w6989586621679948856 :: TyFun [Symbol] Symbol -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262295Sym0 :: TyFun Nat ((a6989586621680260243, b6989586621680260244, c6989586621680260245, d6989586621680260246) ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680882478Sym2 a6989586621680882476 a6989586621680882475 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262258Sym2 a6989586621680262256 a6989586621680262255 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680280381Sym2 a6989586621680280379 a6989586621680280378 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262276Sym1 a6989586621680262273 a6989586621680260236 b6989586621680260237 c6989586621680260238 :: TyFun (a6989586621680260236, b6989586621680260237, c6989586621680260238) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680262142ShowlSym1 showx6989586621680262138 :: TyFun k1 (TyFun k2 (TyFun Symbol (TyFun [k3] Symbol -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680262121Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680711033Sym1 a6989586621680711030 a6989586621680710414 b6989586621680710415 :: TyFun (Const a6989586621680710414 b6989586621680710415) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Const suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262315Sym0 :: TyFun Nat ((a6989586621680260252, b6989586621680260253, c6989586621680260254, d6989586621680260255, e6989586621680260256) ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680711033Sym2 a6989586621680711031 a6989586621680711030 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Const suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262276Sym2 a6989586621680262274 a6989586621680262273 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262295Sym1 a6989586621680262292 a6989586621680260243 b6989586621680260244 c6989586621680260245 d6989586621680260246 :: TyFun (a6989586621680260243, b6989586621680260244, c6989586621680260245, d6989586621680260246) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680262142ShowlSym2 x6989586621680262139 showx6989586621680262138 :: TyFun k1 (TyFun Symbol (TyFun [k3] Symbol -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680262121Sym1 ss6989586621680262119 :: TyFun k1 (TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262336Sym0 :: TyFun Nat ((a6989586621680260263, b6989586621680260264, c6989586621680260265, d6989586621680260266, e6989586621680260267, f6989586621680260268) ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680262142ShowlSym3 xs6989586621680262140 x6989586621680262139 showx6989586621680262138 :: TyFun Symbol (TyFun [k3] Symbol -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262295Sym2 a6989586621680262293 a6989586621680262292 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262315Sym1 a6989586621680262312 a6989586621680260252 b6989586621680260253 c6989586621680260254 d6989586621680260255 e6989586621680260256 :: TyFun (a6989586621680260252, b6989586621680260253, c6989586621680260254, d6989586621680260255, e6989586621680260256) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680262121Sym2 a_69895866216802621176989586621680262120 ss6989586621680262119 :: TyFun (Symbol ~> c6989586621679519863) (TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680262142ShowlSym4 s6989586621680262141 xs6989586621680262140 x6989586621680262139 showx6989586621680262138 :: TyFun [k3] Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262358Sym0 :: TyFun Nat ((a6989586621680260276, b6989586621680260277, c6989586621680260278, d6989586621680260279, e6989586621680260280, f6989586621680260281, g6989586621680260282) ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262315Sym2 a6989586621680262313 a6989586621680262312 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262336Sym1 a6989586621680262333 a6989586621680260263 b6989586621680260264 c6989586621680260265 d6989586621680260266 e6989586621680260267 f6989586621680260268 :: TyFun (a6989586621680260263, b6989586621680260264, c6989586621680260265, d6989586621680260266, e6989586621680260267, f6989586621680260268) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680262121Sym3 t6989586621680262125 a_69895866216802621176989586621680262120 ss6989586621680262119 :: TyFun (a6989586621679519864 ~> Symbol) (TyFun a6989586621679519864 c6989586621679519863 -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262336Sym2 a6989586621680262334 a6989586621680262333 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262358Sym1 a6989586621680262355 a6989586621680260276 b6989586621680260277 c6989586621680260278 d6989586621680260279 e6989586621680260280 f6989586621680260281 g6989586621680260282 :: TyFun (a6989586621680260276, b6989586621680260277, c6989586621680260278, d6989586621680260279, e6989586621680260280, f6989586621680260281, g6989586621680260282) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680262358Sym2 a6989586621680262356 a6989586621680262355 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
(KnownSymbol s, StripFieldNames ts) => StripFieldNames ((,) s t ': ts) | |
Defined in Data.Vinyl.Derived 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 # | |
Defined in Lorentz.UParam 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 | |
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 |
Defined in Lorentz.UStore.Migration.Blocks migrationFinish :: MigrationBlocks o n d1 t1 [] t2 Source # | |
data Sing (s :: Symbol) | |
Defined in GHC.Generics | |
type DemoteRep Symbol | |
Defined in GHC.Generics | |
type Mempty | |
Defined in Data.Singletons.Prelude.Monoid | |
data Sing (n :: Symbol) | |
Defined in Data.Singletons.TypeLits.Internal | |
type Demote Symbol | |
Defined in Data.Singletons.TypeLits.Internal | |
type FromString a | |
Defined in Data.Singletons.Prelude.IsString type FromString a = a | |
type Mconcat (arg :: [Symbol]) | |
type Show_ (arg :: Symbol) | |
type Sconcat (arg :: NonEmpty Symbol) | |
type Mappend (arg1 :: Symbol) (arg2 :: Symbol) | |
type ShowList (arg1 :: [Symbol]) arg2 | |
type (a :: Symbol) <> (b :: Symbol) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Min (arg1 :: Symbol) (arg2 :: Symbol) | |
type Max (arg1 :: Symbol) (arg2 :: Symbol) | |
type (arg1 :: Symbol) >= (arg2 :: Symbol) | |
type (arg1 :: Symbol) > (arg2 :: Symbol) | |
type (arg1 :: Symbol) <= (arg2 :: Symbol) | |
type (arg1 :: Symbol) < (arg2 :: Symbol) | |
type Compare (a :: Symbol) (b :: Symbol) | |
Defined in Data.Singletons.TypeLits.Internal | |
type (x :: Symbol) /= (y :: Symbol) | |
type (x :: Symbol) == (y :: Symbol) | |
Defined in Data.Singletons.TypeLits.Internal | |
type ShowsPrec a1 (a2 :: Symbol) a3 | |
type Apply KnownSymbolSym0 (n6989586621679466869 :: Symbol) | |
Defined in Data.Singletons.TypeLits | |
type Apply ShowSpaceSym0 (a6989586621680262065 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowCommaSpaceSym0 (a6989586621680262086 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show type Apply ShowCommaSpaceSym0 (a6989586621680262086 :: Symbol) = ShowCommaSpace a6989586621680262086 | |
type Apply (ShowStringSym1 a6989586621680262078 :: TyFun Symbol Symbol -> Type) (a6989586621680262079 :: Symbol) | |
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) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (Show_tupleSym1 a6989586621680262113 :: TyFun Symbol Symbol -> Type) (a6989586621680262114 :: Symbol) | |
type Apply (ShowsNatSym1 a6989586621680279678 :: TyFun Symbol Symbol -> Type) (a6989586621680279679 :: Symbol) | |
type Apply (Show__6989586621680262191Sym0 :: TyFun a Symbol -> Type) (a6989586621680262190 :: a) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (arg6989586621680262165 :: a) | |
type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (arg6989586621681196168 :: Symbol) | |
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) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowsSym1 a6989586621680262151 :: TyFun Symbol Symbol -> Type) (a6989586621680262152 :: Symbol) | |
type Apply (ShowListSym1 arg6989586621680262167 :: TyFun Symbol Symbol -> Type) (arg6989586621680262168 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowsPrec_6989586621680865083Sym2 a6989586621680865081 a6989586621680865080 :: TyFun Symbol Symbol -> Type) (a6989586621680865082 :: Symbol) | |
type Apply (ShowsPrec_6989586621680865109Sym2 a6989586621680865107 a6989586621680865106 :: TyFun Symbol Symbol -> Type) (a6989586621680865108 :: Symbol) | |
type Apply (Lambda_6989586621680262068Sym1 a_69895866216802620636989586621680262067 :: TyFun Symbol Symbol -> Type) (t6989586621680262071 :: Symbol) | |
type Apply (ShowList_6989586621680262202Sym1 a6989586621680262200 :: TyFun Symbol Symbol -> Type) (a6989586621680262201 :: Symbol) | |
type Apply (ShowsPrec_6989586621680262241Sym2 a6989586621680262239 a6989586621680262238 :: TyFun Symbol Symbol -> Type) (a6989586621680262240 :: Symbol) | |
type Apply (ShowsPrec_6989586621680280290Sym2 a6989586621680280288 a6989586621680280287 :: TyFun Symbol Symbol -> Type) (a6989586621680280289 :: Symbol) | |
type Apply (ShowsPrec_6989586621680280441Sym2 a6989586621680280439 a6989586621680280438 :: TyFun Symbol Symbol -> Type) (a6989586621680280440 :: Symbol) | |
type Apply (ShowsPrec_6989586621680280468Sym2 a6989586621680280466 a6989586621680280465 :: TyFun Symbol Symbol -> Type) (a6989586621680280467 :: Symbol) | |
type Apply (ShowsPrec_6989586621680280496Sym2 a6989586621680280494 a6989586621680280493 :: TyFun Symbol Symbol -> Type) (a6989586621680280495 :: Symbol) | |
type Apply (ShowListWithSym2 a6989586621680262132 a6989586621680262131 :: TyFun Symbol Symbol -> Type) (a6989586621680262133 :: Symbol) | |
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) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowsPrec_6989586621680865028Sym2 a6989586621680865026 a6989586621680865025 :: TyFun Symbol Symbol -> Type) (a6989586621680865027 :: Symbol) | |
type Apply (ShowsPrec_6989586621680865057Sym2 a6989586621680865055 a6989586621680865054 :: TyFun Symbol Symbol -> Type) (a6989586621680865056 :: Symbol) | |
type Apply (ShowsPrec_6989586621680865138Sym2 a6989586621680865136 a6989586621680865135 :: TyFun Symbol Symbol -> Type) (a6989586621680865137 :: Symbol) | |
type Apply (ShowsPrec_6989586621680865167Sym2 a6989586621680865165 a6989586621680865164 :: TyFun Symbol Symbol -> Type) (a6989586621680865166 :: Symbol) | |
type Apply (ShowsPrec_6989586621680865196Sym2 a6989586621680865194 a6989586621680865193 :: TyFun Symbol Symbol -> Type) (a6989586621680865195 :: Symbol) | |
type Apply (ShowsPrec_6989586621680865225Sym2 a6989586621680865223 a6989586621680865222 :: TyFun Symbol Symbol -> Type) (a6989586621680865224 :: Symbol) | |
type Apply (ShowsPrec_6989586621680865254Sym2 a6989586621680865252 a6989586621680865251 :: TyFun Symbol Symbol -> Type) (a6989586621680865253 :: Symbol) | |
type Apply (ShowsPrec_6989586621680865283Sym2 a6989586621680865281 a6989586621680865280 :: TyFun Symbol Symbol -> Type) (a6989586621680865282 :: Symbol) | |
type Apply (ShowsPrec_6989586621680865312Sym2 a6989586621680865310 a6989586621680865309 :: TyFun Symbol Symbol -> Type) (a6989586621680865311 :: Symbol) | |
type Apply (ShowsPrec_6989586621680675519Sym2 a6989586621680675517 a6989586621680675516 :: TyFun Symbol Symbol -> Type) (a6989586621680675518 :: Symbol) | |
type Apply (ShowsPrec_6989586621680335117Sym2 a6989586621680335115 a6989586621680335114 :: TyFun Symbol Symbol -> Type) (a6989586621680335116 :: Symbol) | |
type Apply (ShowsPrec_6989586621680335146Sym2 a6989586621680335144 a6989586621680335143 :: TyFun Symbol Symbol -> Type) (a6989586621680335145 :: Symbol) | |
type Apply (ShowsPrec_6989586621680262182Sym2 a6989586621680262180 a6989586621680262179 :: TyFun Symbol Symbol -> Type) (a6989586621680262181 :: Symbol) | |
type Apply (ShowsPrec_6989586621680262221Sym2 a6989586621680262219 a6989586621680262218 :: TyFun Symbol Symbol -> Type) (a6989586621680262220 :: Symbol) | |
type Apply (ShowsPrec_6989586621680280327Sym2 a6989586621680280325 a6989586621680280324 :: TyFun Symbol Symbol -> Type) (a6989586621680280326 :: Symbol) | |
type Apply (ShowsPrec_6989586621680280415Sym2 a6989586621680280413 a6989586621680280412 :: TyFun Symbol Symbol -> Type) (a6989586621680280414 :: Symbol) | |
type Apply (ShowsPrec_6989586621680882478Sym2 a6989586621680882476 a6989586621680882475 :: TyFun Symbol Symbol -> Type) (a6989586621680882477 :: Symbol) | |
type Apply (ShowsPrec_6989586621680262258Sym2 a6989586621680262256 a6989586621680262255 :: TyFun Symbol Symbol -> Type) (a6989586621680262257 :: Symbol) | |
type Apply (ShowsPrec_6989586621680280381Sym2 a6989586621680280379 a6989586621680280378 :: TyFun Symbol Symbol -> Type) (a6989586621680280380 :: Symbol) | |
type Apply (ShowsPrec_6989586621680711033Sym2 a6989586621680711031 a6989586621680711030 :: TyFun Symbol Symbol -> Type) (a6989586621680711032 :: Symbol) | |
type Apply (ShowsPrec_6989586621680262276Sym2 a6989586621680262274 a6989586621680262273 :: TyFun Symbol Symbol -> Type) (a6989586621680262275 :: Symbol) | |
type Apply (ShowsPrec_6989586621680262295Sym2 a6989586621680262293 a6989586621680262292 :: TyFun Symbol Symbol -> Type) (a6989586621680262294 :: Symbol) | |
type Apply (ShowsPrec_6989586621680262315Sym2 a6989586621680262313 a6989586621680262312 :: TyFun Symbol Symbol -> Type) (a6989586621680262314 :: Symbol) | |
type Apply (ShowsPrec_6989586621680262336Sym2 a6989586621680262334 a6989586621680262333 :: TyFun Symbol Symbol -> Type) (a6989586621680262335 :: Symbol) | |
type Apply (ShowsPrec_6989586621680262358Sym2 a6989586621680262356 a6989586621680262355 :: TyFun Symbol Symbol -> Type) (a6989586621680262357 :: Symbol) | |
type Apply UnwordsSym0 (a6989586621679948854 :: [Symbol]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply UnlinesSym0 (a6989586621679948865 :: [Symbol]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621679948858GoSym2 ws6989586621679948857 w6989586621679948856 :: TyFun [Symbol] Symbol -> Type) (a6989586621679948859 :: [Symbol]) | |
type Apply (Let6989586621680262142ShowlSym4 s6989586621680262141 xs6989586621680262140 x6989586621680262139 showx6989586621680262138 :: TyFun [k2] Symbol -> Type) (a6989586621680262143 :: [k2]) | |
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)) | |
type Apply (Fail_6989586621679607575Sym0 :: TyFun Symbol [a6989586621679544179] -> Type) (a6989586621679607574 :: Symbol) | |
type Apply (Fail_6989586621679607510Sym0 :: TyFun Symbol (Maybe a6989586621679544179) -> Type) (a6989586621679607509 :: Symbol) | |
type Apply (FromString_6989586621681196181Sym0 :: TyFun Symbol (Identity a6989586621681196137) -> Type) (a6989586621681196180 :: Symbol) | |
type Apply (Fail_6989586621679544692Sym0 :: TyFun Symbol (m6989586621679544173 a6989586621679544179) -> Type) (a6989586621679544691 :: Symbol) | |
type Apply (FailSym0 :: TyFun Symbol (m6989586621679544173 a6989586621679544179) -> Type) (arg6989586621679544655 :: Symbol) | |
type Eval (LinearizeUStoreF template :: [FieldInfo] -> Type) Source # | |
Defined in Lorentz.UStore.Migration.Diff | |
type Apply ShowsPrec_6989586621680280441Sym0 (a6989586621680280438 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsPrec_6989586621680280468Sym0 (a6989586621680280465 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsNatSym0 (a6989586621680279678 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowStringSym0 (a6989586621680262078 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowCharSym0 (a6989586621680262093 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsPrec_6989586621680262241Sym0 (a6989586621680262238 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsPrec_6989586621680280290Sym0 (a6989586621680280287 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsPrec_6989586621680280496Sym0 (a6989586621680280493 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsPrec_6989586621680865083Sym0 (a6989586621680865080 :: Nat) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply ShowsPrec_6989586621680865109Sym0 (a6989586621680865106 :: Nat) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply ShowParenSym0 (a6989586621680262099 :: Bool) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (Lambda_6989586621680262068Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216802620636989586621680262067 :: k) | |
type Apply (ShowsPrec_6989586621680262221Sym0 :: TyFun Nat ([a6989586621680260227] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262218 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowsPrec_6989586621680280327Sym0 :: TyFun Nat (Maybe a3530822107858468865 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280324 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowsPrec_6989586621680280441Sym1 a6989586621680280438 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680280439 :: Bool) | |
type Apply (ShowsPrec_6989586621680280468Sym1 a6989586621680280465 :: TyFun Ordering (Symbol ~> Symbol) -> Type) (a6989586621680280466 :: Ordering) | |
type Apply (ShowsPrec_6989586621680262241Sym1 a6989586621680262238 :: TyFun Symbol (Symbol ~> Symbol) -> Type) (a6989586621680262239 :: Symbol) | |
type Apply (ShowsPrec_6989586621680280290Sym1 a6989586621680280287 :: TyFun () (Symbol ~> Symbol) -> Type) (a6989586621680280288 :: ()) | |
type Apply (ShowsSym0 :: TyFun a6989586621680260194 (Symbol ~> Symbol) -> Type) (a6989586621680262151 :: a6989586621680260194) | |
type Apply (ShowsPrec_6989586621680280496Sym1 a6989586621680280493 :: TyFun Void (Symbol ~> Symbol) -> Type) (a6989586621680280494 :: Void) | |
type Apply (ShowsPrec_6989586621680865083Sym1 a6989586621680865080 :: TyFun All (Symbol ~> Symbol) -> Type) (a6989586621680865081 :: All) | |
type Apply (ShowsPrec_6989586621680865109Sym1 a6989586621680865106 :: TyFun Any (Symbol ~> Symbol) -> Type) (a6989586621680865107 :: Any) | |
type Apply (ShowsPrec_6989586621680262182Sym0 :: TyFun Nat (a6989586621680260209 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262179 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowsPrecSym0 :: TyFun Nat (a6989586621680260209 ~> (Symbol ~> Symbol)) -> Type) (arg6989586621680262159 :: Nat) | |
type Apply (ShowsPrec_6989586621680865196Sym0 :: TyFun Nat (Min a6989586621679050970 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865193 :: Nat) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680865225Sym0 :: TyFun Nat (Max a6989586621679050976 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865222 :: Nat) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680865254Sym0 :: TyFun Nat (First a6989586621679050990 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865251 :: Nat) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680865283Sym0 :: TyFun Nat (Last a6989586621679050996 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865280 :: Nat) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680865312Sym0 :: TyFun Nat (WrappedMonoid m6989586621679051002 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865309 :: Nat) | |
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) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680675519Sym0 :: TyFun Nat (Identity a6989586621680675010 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680675516 :: Nat) | |
Defined in Data.Singletons.Prelude.Identity | |
type Apply (ShowsPrec_6989586621680335117Sym0 :: TyFun Nat (First a6989586621679072633 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680335114 :: Nat) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (ShowsPrec_6989586621680335146Sym0 :: TyFun Nat (Last a6989586621679072628 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680335143 :: Nat) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (ShowsPrec_6989586621680865057Sym0 :: TyFun Nat (Dual a6989586621679072604 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865054 :: Nat) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680865138Sym0 :: TyFun Nat (Sum a6989586621679072589 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865135 :: Nat) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680865167Sym0 :: TyFun Nat (Product a6989586621679072594 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680865164 :: Nat) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680280415Sym0 :: TyFun Nat (NonEmpty a6989586621679055400 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280412 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (Let6989586621679948858GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) (w6989586621679948856 :: k1) | |
type Apply (ShowsPrec_6989586621680280381Sym0 :: TyFun Nat (Either a6989586621679073700 b6989586621679073701 ~> (Symbol ~> Symbol)) -> Type) (a6989586621680280378 :: Nat) | |
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) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowsPrecSym1 arg6989586621680262159 a6989586621680260209 :: TyFun a6989586621680260209 (Symbol ~> Symbol) -> Type) (arg6989586621680262160 :: a6989586621680260209) | |
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) | |
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) | |
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) | |
type Apply (ShowsPrec_6989586621680262276Sym0 :: TyFun Nat ((a6989586621680260236, b6989586621680260237, c6989586621680260238) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262273 :: Nat) | |
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) | |
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)) | |
type Apply (Let6989586621680262142ShowlSym1 showx6989586621680262138 :: TyFun k1 (TyFun k3 (TyFun Symbol (TyFun [k2] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680262139 :: k1) | |
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) | |
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) | |
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) | |
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) | |
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) | |
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) | |
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) | |
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) | |
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) | |
type Apply Show_tupleSym0 (a6989586621680262113 :: [Symbol ~> Symbol]) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowList_6989586621680262202Sym0 :: TyFun [a6989586621680260209] (Symbol ~> Symbol) -> Type) (a6989586621680262200 :: [a6989586621680260209]) | |
type Apply (ShowListSym0 :: TyFun [a6989586621680260209] (Symbol ~> Symbol) -> Type) (arg6989586621680262167 :: [a6989586621680260209]) | |
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]) | |
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]) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowsPrec_6989586621680280327Sym1 a6989586621680280324 a3530822107858468865 :: TyFun (Maybe a3530822107858468865) (Symbol ~> Symbol) -> Type) (a6989586621680280325 :: Maybe a3530822107858468865) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowsPrec_6989586621680865196Sym1 a6989586621680865193 a6989586621679050970 :: TyFun (Min a6989586621679050970) (Symbol ~> Symbol) -> Type) (a6989586621680865194 :: Min a6989586621679050970) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680865225Sym1 a6989586621680865222 a6989586621679050976 :: TyFun (Max a6989586621679050976) (Symbol ~> Symbol) -> Type) (a6989586621680865223 :: Max a6989586621679050976) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680865254Sym1 a6989586621680865251 a6989586621679050990 :: TyFun (First a6989586621679050990) (Symbol ~> Symbol) -> Type) (a6989586621680865252 :: First a6989586621679050990) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680865283Sym1 a6989586621680865280 a6989586621679050996 :: TyFun (Last a6989586621679050996) (Symbol ~> Symbol) -> Type) (a6989586621680865281 :: Last a6989586621679050996) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680865312Sym1 a6989586621680865309 m6989586621679051002 :: TyFun (WrappedMonoid m6989586621679051002) (Symbol ~> Symbol) -> Type) (a6989586621680865310 :: WrappedMonoid m6989586621679051002) | |
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) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680675519Sym1 a6989586621680675516 a6989586621680675010 :: TyFun (Identity a6989586621680675010) (Symbol ~> Symbol) -> Type) (a6989586621680675517 :: Identity a6989586621680675010) | |
Defined in Data.Singletons.Prelude.Identity | |
type Apply (ShowsPrec_6989586621680335117Sym1 a6989586621680335114 a6989586621679072633 :: TyFun (First a6989586621679072633) (Symbol ~> Symbol) -> Type) (a6989586621680335115 :: First a6989586621679072633) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (ShowsPrec_6989586621680335146Sym1 a6989586621680335143 a6989586621679072628 :: TyFun (Last a6989586621679072628) (Symbol ~> Symbol) -> Type) (a6989586621680335144 :: Last a6989586621679072628) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (ShowsPrec_6989586621680865057Sym1 a6989586621680865054 a6989586621679072604 :: TyFun (Dual a6989586621679072604) (Symbol ~> Symbol) -> Type) (a6989586621680865055 :: Dual a6989586621679072604) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680865138Sym1 a6989586621680865135 a6989586621679072589 :: TyFun (Sum a6989586621679072589) (Symbol ~> Symbol) -> Type) (a6989586621680865136 :: Sum a6989586621679072589) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680865167Sym1 a6989586621680865164 a6989586621679072594 :: TyFun (Product a6989586621679072594) (Symbol ~> Symbol) -> Type) (a6989586621680865165 :: Product a6989586621679072594) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply (ShowsPrec_6989586621680280415Sym1 a6989586621680280412 a6989586621679055400 :: TyFun (NonEmpty a6989586621679055400) (Symbol ~> Symbol) -> Type) (a6989586621680280413 :: NonEmpty a6989586621679055400) | |
Defined in Data.Singletons.Prelude.Show | |
type RecElemFCtx (SRec2 ElField) (f :: (Symbol, Type) -> Type) | |
Defined in Data.Vinyl.SRec | |
type Apply (ShowListWithSym0 :: TyFun (a6989586621680260193 ~> (Symbol ~> Symbol)) ([a6989586621680260193] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680262131 :: a6989586621680260193 ~> (Symbol ~> Symbol)) | |
type Apply (ShowParenSym1 a6989586621680262099 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680262100 :: Symbol ~> Symbol) | |
Defined in Data.Singletons.Prelude.Show | |
type RecSubsetFCtx (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (f :: (Symbol, Type) -> Type) | |
type RecSubsetFCtx (SRec2 ElField) (f :: (Symbol, Type) -> Type) | |
Defined in Data.Vinyl.SRec | |
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)) | |
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) | |
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)) | |
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) | |
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) | |
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) | |
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)) | |
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) | |
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)) | |
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)) | |
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)) | |
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)) | |
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) | |
Defined in Data.Singletons.Prelude.IsString |
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
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.
Text :: forall. Symbol -> ErrorMessage | Show the text as is. |
ShowType :: forall t. t -> ErrorMessage | Pretty print the type.
|
(:<>:) :: 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.
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.