Safe Haskell	None
Language	Haskell2010

Morley.Util.TypeLits

Description

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

Synopsis

data Symbol
class KnownSymbol (n :: Symbol)
type family AppendSymbol (a :: Symbol) (b :: Symbol) :: Symbol where ...
symbolVal :: forall (n :: Symbol) proxy. KnownSymbol n => proxy n -> String
symbolValT :: forall s. KnownSymbol s => Proxy s -> Text
symbolValT' :: forall s. KnownSymbol s => Text
type family TypeError (a :: ErrorMessage) :: b where ...
data ErrorMessage
- = Text Symbol
- | ShowType t
- | ErrorMessage :<>: ErrorMessage
- | ErrorMessage :$$: ErrorMessage
type TypeErrorUnless (cond :: Bool) (err :: ErrorMessage) = (TypeErrorUnlessHelper cond err, cond ~ 'True)
type AssertTypesEqual a b (err :: ErrorMessage) = (TypeErrorUnlessHelper (a == b) err, a ~ b)

Documentation

data Symbol #

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

Instances

Instances details

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 :: forall (t :: Symbol). 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 :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply MappendSym0 t1) t2) # sMconcat :: forall (t :: [Symbol]). Sing t -> Sing (Apply MconcatSym0 t) #
PShow Symbol
Instance details Defined in Data.Singletons.Prelude.Show Associated Types type ShowsPrec 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 :: forall (t1 :: Nat) (t2 :: Symbol) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) # sShow_ :: forall (t :: Symbol). Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: forall (t1 :: [Symbol]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) #
PSemigroup Symbol
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg1 :: a # type Sconcat arg :: a #
SSemigroup Symbol
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<>@#@$) t1) t2) # sSconcat :: forall (t :: NonEmpty Symbol). Sing t -> Sing (Apply SconcatSym0 t) #
SingKind Symbol	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type DemoteRep Symbol Methods fromSing :: forall (a :: Symbol). Sing a -> DemoteRep Symbol
KnownSymbol s => Showtype (s :: Symbol)
Instance details Defined in Type.Showtype Methods showtype :: proxy s -> String # showtypesPrec :: Int -> proxy s -> String -> String #
KnownSymbol a => SingI (a :: Symbol)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing :: Sing a
KnownSymbol n => Reifies (n :: Symbol) String
Instance details Defined in Data.Reflection Methods reflect :: proxy n -> String #
Eq t => Eq (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods (==) :: ElField '(s, t) -> ElField '(s, t) -> Bool # (/=) :: ElField '(s, t) -> ElField '(s, t) -> Bool #
(Floating t, KnownSymbol s) => Floating (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods pi :: ElField '(s, t) # exp :: ElField '(s, t) -> ElField '(s, t) # log :: ElField '(s, t) -> ElField '(s, t) # sqrt :: ElField '(s, t) -> ElField '(s, t) # (**) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # logBase :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # sin :: ElField '(s, t) -> ElField '(s, t) # cos :: ElField '(s, t) -> ElField '(s, t) # tan :: ElField '(s, t) -> ElField '(s, t) # asin :: ElField '(s, t) -> ElField '(s, t) # acos :: ElField '(s, t) -> ElField '(s, t) # atan :: ElField '(s, t) -> ElField '(s, t) # sinh :: ElField '(s, t) -> ElField '(s, t) # cosh :: ElField '(s, t) -> ElField '(s, t) # tanh :: ElField '(s, t) -> ElField '(s, t) # asinh :: ElField '(s, t) -> ElField '(s, t) # acosh :: ElField '(s, t) -> ElField '(s, t) # atanh :: ElField '(s, t) -> ElField '(s, t) # log1p :: ElField '(s, t) -> ElField '(s, t) # expm1 :: ElField '(s, t) -> ElField '(s, t) # log1pexp :: ElField '(s, t) -> ElField '(s, t) # log1mexp :: ElField '(s, t) -> ElField '(s, t) #
(Fractional t, KnownSymbol s) => Fractional (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods (/) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # recip :: ElField '(s, t) -> ElField '(s, t) # fromRational :: Rational -> ElField '(s, t) #
(Num t, KnownSymbol s) => Num (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods (+) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # (-) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # (*) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # negate :: ElField '(s, t) -> ElField '(s, t) # abs :: ElField '(s, t) -> ElField '(s, t) # signum :: ElField '(s, t) -> ElField '(s, t) # fromInteger :: Integer -> ElField '(s, t) #
Ord t => Ord (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods compare :: ElField '(s, t) -> ElField '(s, t) -> Ordering # (<) :: ElField '(s, t) -> ElField '(s, t) -> Bool # (<=) :: ElField '(s, t) -> ElField '(s, t) -> Bool # (>) :: ElField '(s, t) -> ElField '(s, t) -> Bool # (>=) :: ElField '(s, t) -> ElField '(s, t) -> Bool # max :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # min :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) #
(Real t, KnownSymbol s) => Real (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods toRational :: ElField '(s, t) -> Rational #
(RealFrac t, KnownSymbol s) => RealFrac (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods properFraction :: Integral b => ElField '(s, t) -> (b, ElField '(s, t)) # truncate :: Integral b => ElField '(s, t) -> b # round :: Integral b => ElField '(s, t) -> b # ceiling :: Integral b => ElField '(s, t) -> b # floor :: Integral b => ElField '(s, t) -> b #
(Show t, KnownSymbol s) => Show (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods showsPrec :: Int -> ElField '(s, t) -> ShowS # show :: ElField '(s, t) -> String # showList :: [ElField '(s, t)] -> ShowS #
KnownSymbol s => Generic (ElField '(s, a))
Instance details Defined in Data.Vinyl.Functor Associated Types type Rep (ElField '(s, a)) :: Type -> Type # Methods from :: ElField '(s, a) -> Rep (ElField '(s, a)) x # to :: Rep (ElField '(s, a)) x -> ElField '(s, a) #
Semigroup t => Semigroup (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods (<>) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # sconcat :: NonEmpty (ElField '(s, t)) -> ElField '(s, t) # stimes :: Integral b => b -> ElField '(s, t) -> ElField '(s, t) #
(KnownSymbol s, Monoid t) => Monoid (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods mempty :: ElField '(s, t) # mappend :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # mconcat :: [ElField '(s, t)] -> ElField '(s, t) #
(KnownSymbol s, Storable t) => Storable (ElField '(s, t))
Instance details Defined in Data.Vinyl.Functor Methods sizeOf :: ElField '(s, t) -> Int # alignment :: ElField '(s, t) -> Int # peekElemOff :: Ptr (ElField '(s, t)) -> Int -> IO (ElField '(s, t)) # pokeElemOff :: Ptr (ElField '(s, t)) -> Int -> ElField '(s, t) -> IO () # peekByteOff :: Ptr b -> Int -> IO (ElField '(s, t)) # pokeByteOff :: Ptr b -> Int -> ElField '(s, t) -> IO () # peek :: Ptr (ElField '(s, t)) -> IO (ElField '(s, t)) # poke :: Ptr (ElField '(s, t)) -> ElField '(s, t) -> IO () #
SuppressUnusedWarnings ShowParenSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings UnwordsSym0
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings UnlinesSym0
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings Show_tupleSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680654022Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680654044Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsNatSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680636784Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680653872Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621681187221Sym0
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621681187195Sym0
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowsPrec_6989586621680654072Sym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings KnownSymbolSym0
Instance details Defined in Data.Singletons.TypeLits Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowCommaSpaceSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowSpaceSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowStringSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings ShowCharSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SingI ShowParenSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowParenSym0 #
SingI UnwordsSym0
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing UnwordsSym0 #
SingI UnlinesSym0
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods sing :: Sing UnlinesSym0 #
SingI Show_tupleSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing Show_tupleSym0 #
SingI ShowCommaSpaceSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowCommaSpaceSym0 #
SingI ShowSpaceSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowSpaceSym0 #
SingI ShowStringSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowStringSym0 #
SingI ShowCharSym0
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowCharSym0 #
KnownSymbol s => IsoHKD ElField ('(s, a) :: (Symbol, Type))	Work with values of type `ElField` `'(s,a)` as if they were of type `a`.
Instance details Defined in Data.Vinyl.XRec Associated Types type HKD ElField '(s, a) # Methods unHKD :: HKD ElField '(s, a) -> ElField '(s, a) # toHKD :: ElField '(s, a) -> HKD ElField '(s, a) #
SuppressUnusedWarnings (ShowsPrec_6989586621680654022Sym1 a6989586621680654032 :: TyFun Bool (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowList_6989586621680636754Sym0 :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680654044Sym1 a6989586621680654056 :: TyFun Ordering (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636766Sym0 :: TyFun Nat ([a] ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680653904Sym0 :: TyFun Nat (Maybe a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636734Sym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187366Sym0 :: TyFun Nat (First a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187395Sym0 :: TyFun Nat (Last a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680653998Sym0 :: TyFun Nat (NonEmpty a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681012465Sym0 :: TyFun Nat (Identity a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187308Sym0 :: TyFun Nat (Min a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187337Sym0 :: TyFun Nat (Max a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187424Sym0 :: TyFun Nat (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187140Sym0 :: TyFun Nat (Option a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680697988Sym0 :: TyFun Nat (First a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680698017Sym0 :: TyFun Nat (Last a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187169Sym0 :: TyFun Nat (Dual a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187250Sym0 :: TyFun Nat (Sum a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187279Sym0 :: TyFun Nat (Product a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowStringSym1 a6989586621680636675 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowCharSym1 a6989586621680636686 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show_tupleSym1 a6989586621680636626 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsNatSym1 a6989586621680653400 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FromString_6989586621681490515Sym0 :: TyFun Symbol (Identity a) -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636784Sym1 a6989586621680636794 :: TyFun Symbol (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680653872Sym1 a6989586621680653880 :: TyFun () (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show__6989586621680636746Sym0 :: TyFun a Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Show_Sym0 :: TyFun a Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680636649Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187221Sym1 a6989586621681187229 :: TyFun Any (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187195Sym1 a6989586621681187203 :: TyFun All (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680654072Sym1 a6989586621680654080 :: TyFun Void (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowParenSym1 a6989586621680636659 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SShow a => SingI (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowListSym0 #
SShow a => SingI (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowsPrecSym0 #
SingI d => SingI (ShowStringSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowStringSym1 d) #
SingI d => SingI (ShowCharSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowCharSym1 d) #
SingI d => SingI (Show_tupleSym1 d :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (Show_tupleSym1 d) #
SIsString a => SingI (FromStringSym0 :: TyFun Symbol a -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods sing :: Sing FromStringSym0 #
SShow a => SingI (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowsSym0 #
SShow a => SingI (Show_Sym0 :: TyFun a Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing Show_Sym0 #
SingI d => SingI (ShowParenSym1 d :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowParenSym1 d) #
SingI (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing ShowListWithSym0 #
(i ~ RIndex t ts, NatToInt i, FieldOffset ElField ts t, Storable (Rec ElField ts), AllConstrained (FieldOffset ElField ts) ts) => RecElem (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (t :: (Symbol, Type)) (t :: (Symbol, Type)) (ts :: [(Symbol, Type)]) (ts :: [(Symbol, Type)]) i
Instance details Defined in Data.Vinyl.SRec Associated Types type RecElemFCtx SRec f # Methods rlensC :: (Functor g, RecElemFCtx SRec f) => (f t -> g (f t)) -> SRec f ts -> g (SRec f ts) # rgetC :: (RecElemFCtx SRec f, t ~ t) => SRec f ts -> f t # rputC :: RecElemFCtx SRec f => f t -> SRec f ts -> SRec f ts #
SuppressUnusedWarnings (ShowsPrec_6989586621680636766Sym1 a6989586621680636776 :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680636694 :: TyFun [a] (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680653904Sym1 a6989586621680653914 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680653958Sym0 :: TyFun Nat (Either a b ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636802Sym0 :: TyFun Nat ((a, b) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680787193Sym0 :: TyFun Nat (Proxy s ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Proxy Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681203670Sym0 :: TyFun Nat (Arg a b ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowParenSym2 a6989586621680636659 a6989586621680636660 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsSym1 a6989586621680636712 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListSym1 a6989586621680636729 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187195Sym2 a6989586621681187203 a6989586621681187204 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187221Sym2 a6989586621681187229 a6989586621681187230 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowList_6989586621680636754Sym1 a6989586621680636759 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636784Sym2 a6989586621680636794 a6989586621680636795 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680653872Sym2 a6989586621680653880 a6989586621680653881 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680654022Sym2 a6989586621680654032 a6989586621680654033 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680654044Sym2 a6989586621680654056 a6989586621680654057 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680654072Sym2 a6989586621680654080 a6989586621680654081 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680636649Sym1 a_69895866216806366436989586621680636648 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680379784GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636734Sym1 a6989586621680636740 :: TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym1 a6989586621680636720 :: TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187366Sym1 a6989586621681187374 :: TyFun (First a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187395Sym1 a6989586621681187403 :: TyFun (Last a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680653998Sym1 a6989586621680654006 :: TyFun (NonEmpty a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681012465Sym1 a6989586621681012473 :: TyFun (Identity a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187308Sym1 a6989586621681187316 :: TyFun (Min a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187337Sym1 a6989586621681187345 :: TyFun (Max a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187424Sym1 a6989586621681187432 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187140Sym1 a6989586621681187148 :: TyFun (Option a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680697988Sym1 a6989586621680697996 :: TyFun (First a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680698017Sym1 a6989586621680698025 :: TyFun (Last a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187169Sym1 a6989586621681187177 :: TyFun (Dual a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187250Sym1 a6989586621681187258 :: TyFun (Sum a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187279Sym1 a6989586621681187287 :: TyFun (Product a) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup 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 :: TyFun a (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowsPrecSym1 d) #
(i ~ RIndex t ts, NatToInt i, FieldOffset ElField ts t, Storable (Rec ElField ts), AllConstrained (FieldOffset ElField ts) ts) => RecElem (SRec2 ElField) (t :: (Symbol, Type)) (t :: (Symbol, Type)) (ts :: [(Symbol, Type)]) (ts :: [(Symbol, Type)]) i	Field accessors for `SRec2` specialized to `ElField` as the functor.
Instance details Defined in Data.Vinyl.SRec Associated Types type RecElemFCtx (SRec2 ElField) f # Methods rlensC :: (Functor g, RecElemFCtx (SRec2 ElField) f) => (f t -> g (f t)) -> SRec2 ElField f ts -> g (SRec2 ElField f ts) # rgetC :: (RecElemFCtx (SRec2 ElField) f, t ~ t) => SRec2 ElField f ts -> f t # rputC :: RecElemFCtx (SRec2 ElField) f => f t -> SRec2 ElField f ts -> SRec2 ElField f ts #
(is ~ RImage rs ss, RecSubset (Rec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) rs ss is, Storable (Rec ElField rs), Storable (Rec ElField ss), RPureConstrained (FieldOffset ElField ss) rs, RPureConstrained (FieldOffset ElField rs) rs, RFoldMap rs, RMap rs, RApply rs) => RecSubset (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (rs :: [(Symbol, Type)]) (ss :: [(Symbol, Type)]) is
Instance details Defined in Data.Vinyl.SRec Associated Types type RecSubsetFCtx SRec f # Methods rsubsetC :: forall g (f :: k -> Type). (Functor g, RecSubsetFCtx SRec f) => (SRec f rs -> g (SRec f rs)) -> SRec f ss -> g (SRec f ss) # rcastC :: forall (f :: k -> Type). RecSubsetFCtx SRec f => SRec f ss -> SRec f rs # rreplaceC :: forall (f :: k -> Type). RecSubsetFCtx SRec f => SRec f rs -> SRec f ss -> SRec f ss #
(is ~ RImage rs ss, RecSubset (Rec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) rs ss is, Storable (Rec ElField rs), Storable (Rec ElField ss), RPureConstrained (FieldOffset ElField ss) rs, RPureConstrained (FieldOffset ElField rs) rs, RFoldMap rs, RMap rs, RApply rs) => RecSubset (SRec2 ElField) (rs :: [(Symbol, Type)]) (ss :: [(Symbol, Type)]) is
Instance details Defined in Data.Vinyl.SRec Associated Types type RecSubsetFCtx (SRec2 ElField) f # Methods rsubsetC :: forall g (f :: k -> Type). (Functor g, RecSubsetFCtx (SRec2 ElField) f) => (SRec2 ElField f rs -> g (SRec2 ElField f rs)) -> SRec2 ElField f ss -> g (SRec2 ElField f ss) # rcastC :: forall (f :: k -> Type). RecSubsetFCtx (SRec2 ElField) f => SRec2 ElField f ss -> SRec2 ElField f rs # rreplaceC :: forall (f :: k -> Type). RecSubsetFCtx (SRec2 ElField) f => SRec2 ElField f rs -> SRec2 ElField f ss -> SRec2 ElField f ss #
SuppressUnusedWarnings (ShowsPrec_6989586621680653958Sym1 a6989586621680653968 :: TyFun (Either a b) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636817Sym0 :: TyFun Nat ((a, b, c) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681044623Sym0 :: TyFun Nat (Const a b ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680636694 a6989586621680636695 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrecSym2 a6989586621680636720 a6989586621680636721 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187140Sym2 a6989586621681187148 a6989586621681187149 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187169Sym2 a6989586621681187177 a6989586621681187178 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187250Sym2 a6989586621681187258 a6989586621681187259 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187279Sym2 a6989586621681187287 a6989586621681187288 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187308Sym2 a6989586621681187316 a6989586621681187317 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187337Sym2 a6989586621681187345 a6989586621681187346 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187366Sym2 a6989586621681187374 a6989586621681187375 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187395Sym2 a6989586621681187403 a6989586621681187404 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681187424Sym2 a6989586621681187432 a6989586621681187433 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681012465Sym2 a6989586621681012473 a6989586621681012474 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Identity Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680697988Sym2 a6989586621680697996 a6989586621680697997 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680698017Sym2 a6989586621680698025 a6989586621680698026 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636734Sym2 a6989586621680636740 a6989586621680636741 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636766Sym2 a6989586621680636776 a6989586621680636777 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680653904Sym2 a6989586621680653914 a6989586621680653915 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680653998Sym2 a6989586621680654006 a6989586621680654007 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (FromString_6989586621681490508Sym0 :: TyFun Symbol (Const a b) -> Type)
Instance details Defined in Data.Singletons.Prelude.IsString Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636802Sym1 a6989586621680636808 :: TyFun (a, b) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680379784GoSym1 w6989586621680379782 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680787193Sym1 a6989586621680787201 :: TyFun (Proxy s) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Proxy Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681203670Sym1 a6989586621681203678 :: TyFun (Arg a b) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680636702ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
(SingI d1, SingI d2) => SingI (ShowListWithSym2 d1 d2 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowListWithSym2 d1 d2) #
(SShow a, SingI d1, SingI d2) => SingI (ShowsPrecSym2 d1 d2 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods sing :: Sing (ShowsPrecSym2 d1 d2) #
SuppressUnusedWarnings (Let6989586621680379784GoSym2 w6989586621680379782 ws6989586621680379783 :: TyFun [Symbol] Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.List.Internal Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636833Sym0 :: TyFun Nat ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681203670Sym2 a6989586621681203678 a6989586621681203679 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680787193Sym2 a6989586621680787201 a6989586621680787202 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Proxy Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636802Sym2 a6989586621680636808 a6989586621680636809 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680653958Sym2 a6989586621680653968 a6989586621680653969 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636817Sym1 a6989586621680636823 :: TyFun (a, b, c) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680636702ShowlSym1 showx6989586621680636698 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680636630Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681044623Sym1 a6989586621681044631 :: TyFun (Const a b) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636850Sym0 :: TyFun Nat ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621681044623Sym2 a6989586621681044631 a6989586621681044632 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636817Sym2 a6989586621680636823 a6989586621680636824 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636833Sym1 a6989586621680636839 :: TyFun (a, b, c, d) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680636702ShowlSym2 showx6989586621680636698 x6989586621680636699 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680636630Sym1 ss6989586621680636628 :: TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636868Sym0 :: TyFun Nat ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680636702ShowlSym3 showx6989586621680636698 x6989586621680636699 xs6989586621680636700 :: TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636833Sym2 a6989586621680636839 a6989586621680636840 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636850Sym1 a6989586621680636856 :: TyFun (a, b, c, d, e) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680636630Sym2 ss6989586621680636628 a_69895866216806366216989586621680636629 :: TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Let6989586621680636702ShowlSym4 showx6989586621680636698 x6989586621680636699 xs6989586621680636700 s6989586621680636701 :: TyFun [k1] Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636887Sym0 :: TyFun Nat ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636850Sym2 a6989586621680636856 a6989586621680636857 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636868Sym1 a6989586621680636874 :: TyFun (a, b, c, d, e, f) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (Lambda_6989586621680636630Sym3 ss6989586621680636628 a_69895866216806366216989586621680636629 s6989586621680636632 :: TyFun (a ~> Symbol) (a ~> c) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636868Sym2 a6989586621680636874 a6989586621680636875 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636887Sym1 a6989586621680636893 :: TyFun (a, b, c, d, e, f, g) (Symbol ~> Symbol) -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
SuppressUnusedWarnings (ShowsPrec_6989586621680636887Sym2 a6989586621680636893 a6989586621680636894 :: TyFun Symbol Symbol -> Type)
Instance details Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () #
TypeHasDoc a => GProductHasDoc (S1 ('MetaSel ('Nothing :: Maybe Symbol) _1 _2 _3) (Rec0 a)) Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Doc Methods gProductDocHaskellRep :: [(Text, Text)] -> [FieldRep SomeTypeWithDoc]
(TypeHasDoc a, KnownSymbol field) => GProductHasDoc (S1 ('MetaSel ('Just field) _1 _2 _3) (Rec0 a)) Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Doc Methods gProductDocHaskellRep :: [(Text, Text)] -> [FieldRep SomeTypeWithDoc]
type MEmpty
Instance details Defined in Fcf.Class.Monoid type MEmpty = ""
type Mempty
Instance details Defined in Data.Singletons.Prelude.Monoid type Mempty = Mempty_6989586621680691395Sym0
type Sing
Instance details Defined in Data.Singletons.TypeLits.Internal type Sing = SSymbol
type Demote Symbol
Instance details Defined in Data.Singletons.TypeLits.Internal type Demote Symbol = Text
type DemoteRep Symbol
Instance details Defined in GHC.Generics type DemoteRep Symbol = String
data Sing (s :: Symbol)
Instance details Defined in GHC.Generics data Sing (s :: Symbol) where SSym :: forall (s :: Symbol). KnownSymbol s => Sing s
type 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_6989586621680691345Sym0 :: TyFun [Symbol] Symbol -> Type) arg
type Show_ (arg :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Show_ (arg :: Symbol) = Apply (Show__6989586621680636746Sym0 :: 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_6989586621680240642Sym0 :: TyFun (NonEmpty Symbol) Symbol -> Type) arg
type (x :: Symbol) <> (y :: Symbol)	With base >= 4.10.0.0.
Instance details Defined in Fcf.Class.Monoid type (x :: Symbol) <> (y :: Symbol) = AppendSymbol x y
type Mappend (arg1 :: Symbol) (arg2 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monoid type Mappend (arg1 :: Symbol) (arg2 :: Symbol) = Apply (Apply (Mappend_6989586621680691331Sym0 :: 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_6989586621680636754Sym0 :: 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_6989586621679837487Sym0 :: 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_6989586621679837471Sym0 :: 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_6989586621679837455Sym0 :: 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_6989586621679837439Sym0 :: 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_6989586621679837423Sym0 :: 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_6989586621679837407Sym0 :: 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_6989586621680636784Sym0 a1) a2) a3
type Apply KnownSymbolSym0 (a6989586621679946830 :: Symbol)
Instance details Defined in Data.Singletons.TypeLits type Apply KnownSymbolSym0 (a6989586621679946830 :: Symbol) = KnownSymbolSym1 a6989586621679946830
type Apply ShowCommaSpaceSym0 (a6989586621680636641 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowCommaSpaceSym0 (a6989586621680636641 :: Symbol) = ShowCommaSpaceSym1 a6989586621680636641
type Apply ShowSpaceSym0 (a6989586621680636647 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowSpaceSym0 (a6989586621680636647 :: Symbol) = ShowSpaceSym1 a6989586621680636647
type Apply (ShowStringSym1 a6989586621680636675 :: TyFun Symbol Symbol -> Type) (a6989586621680636676 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowStringSym1 a6989586621680636675 :: TyFun Symbol Symbol -> Type) (a6989586621680636676 :: Symbol) = ShowStringSym2 a6989586621680636675 a6989586621680636676
type Apply (ShowCharSym1 a6989586621680636686 :: TyFun Symbol Symbol -> Type) (a6989586621680636687 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowCharSym1 a6989586621680636686 :: TyFun Symbol Symbol -> Type) (a6989586621680636687 :: Symbol) = ShowCharSym2 a6989586621680636686 a6989586621680636687
type Apply (Show_tupleSym1 a6989586621680636626 :: TyFun Symbol Symbol -> Type) (a6989586621680636627 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show_tupleSym1 a6989586621680636626 :: TyFun Symbol Symbol -> Type) (a6989586621680636627 :: Symbol) = Show_tupleSym2 a6989586621680636626 a6989586621680636627
type Apply (ShowsNatSym1 a6989586621680653400 :: TyFun Symbol Symbol -> Type) (a6989586621680653401 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsNatSym1 a6989586621680653400 :: TyFun Symbol Symbol -> Type) (a6989586621680653401 :: Symbol) = ShowsNatSym2 a6989586621680653400 a6989586621680653401
type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (a6989586621681490506 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (a6989586621681490506 :: Symbol) = FromStringSym1 a6989586621681490506 :: k2
type Apply (Show__6989586621680636746Sym0 :: TyFun a Symbol -> Type) (a6989586621680636750 :: a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show__6989586621680636746Sym0 :: TyFun a Symbol -> Type) (a6989586621680636750 :: a) = Show__6989586621680636746Sym1 a6989586621680636750
type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (a6989586621680636725 :: a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (a6989586621680636725 :: a) = Show_Sym1 a6989586621680636725
type Apply (ShowParenSym2 a6989586621680636659 a6989586621680636660 :: TyFun Symbol Symbol -> Type) (a6989586621680636661 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowParenSym2 a6989586621680636659 a6989586621680636660 :: TyFun Symbol Symbol -> Type) (a6989586621680636661 :: Symbol) = ShowParenSym3 a6989586621680636659 a6989586621680636660 a6989586621680636661
type Apply (ShowsSym1 a6989586621680636712 :: TyFun Symbol Symbol -> Type) (a6989586621680636713 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsSym1 a6989586621680636712 :: TyFun Symbol Symbol -> Type) (a6989586621680636713 :: Symbol) = ShowsSym2 a6989586621680636712 a6989586621680636713
type Apply (ShowListSym1 a6989586621680636729 :: TyFun Symbol Symbol -> Type) (a6989586621680636730 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym1 a6989586621680636729 :: TyFun Symbol Symbol -> Type) (a6989586621680636730 :: Symbol) = ShowListSym2 a6989586621680636729 a6989586621680636730
type Apply (ShowsPrec_6989586621681187195Sym2 a6989586621681187203 a6989586621681187204 :: TyFun Symbol Symbol -> Type) (a6989586621681187205 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187195Sym2 a6989586621681187203 a6989586621681187204 :: TyFun Symbol Symbol -> Type) (a6989586621681187205 :: Symbol) = ShowsPrec_6989586621681187195Sym3 a6989586621681187203 a6989586621681187204 a6989586621681187205
type Apply (ShowsPrec_6989586621681187221Sym2 a6989586621681187229 a6989586621681187230 :: TyFun Symbol Symbol -> Type) (a6989586621681187231 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187221Sym2 a6989586621681187229 a6989586621681187230 :: TyFun Symbol Symbol -> Type) (a6989586621681187231 :: Symbol) = ShowsPrec_6989586621681187221Sym3 a6989586621681187229 a6989586621681187230 a6989586621681187231
type Apply (Lambda_6989586621680636649Sym1 a_69895866216806366436989586621680636648 :: TyFun Symbol Symbol -> Type) (xs6989586621680636651 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680636649Sym1 a_69895866216806366436989586621680636648 :: TyFun Symbol Symbol -> Type) (xs6989586621680636651 :: Symbol) = Lambda_6989586621680636649Sym2 a_69895866216806366436989586621680636648 xs6989586621680636651
type Apply (ShowList_6989586621680636754Sym1 a6989586621680636759 :: TyFun Symbol Symbol -> Type) (a6989586621680636760 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowList_6989586621680636754Sym1 a6989586621680636759 :: TyFun Symbol Symbol -> Type) (a6989586621680636760 :: Symbol) = ShowList_6989586621680636754Sym2 a6989586621680636759 a6989586621680636760
type Apply (ShowsPrec_6989586621680636784Sym2 a6989586621680636794 a6989586621680636795 :: TyFun Symbol Symbol -> Type) (a6989586621680636796 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636784Sym2 a6989586621680636794 a6989586621680636795 :: TyFun Symbol Symbol -> Type) (a6989586621680636796 :: Symbol) = ShowsPrec_6989586621680636784Sym3 a6989586621680636794 a6989586621680636795 a6989586621680636796
type Apply (ShowsPrec_6989586621680653872Sym2 a6989586621680653880 a6989586621680653881 :: TyFun Symbol Symbol -> Type) (a6989586621680653882 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680653872Sym2 a6989586621680653880 a6989586621680653881 :: TyFun Symbol Symbol -> Type) (a6989586621680653882 :: Symbol) = ShowsPrec_6989586621680653872Sym3 a6989586621680653880 a6989586621680653881 a6989586621680653882
type Apply (ShowsPrec_6989586621680654022Sym2 a6989586621680654032 a6989586621680654033 :: TyFun Symbol Symbol -> Type) (a6989586621680654034 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680654022Sym2 a6989586621680654032 a6989586621680654033 :: TyFun Symbol Symbol -> Type) (a6989586621680654034 :: Symbol) = ShowsPrec_6989586621680654022Sym3 a6989586621680654032 a6989586621680654033 a6989586621680654034
type Apply (ShowsPrec_6989586621680654044Sym2 a6989586621680654056 a6989586621680654057 :: TyFun Symbol Symbol -> Type) (a6989586621680654058 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680654044Sym2 a6989586621680654056 a6989586621680654057 :: TyFun Symbol Symbol -> Type) (a6989586621680654058 :: Symbol) = ShowsPrec_6989586621680654044Sym3 a6989586621680654056 a6989586621680654057 a6989586621680654058
type Apply (ShowsPrec_6989586621680654072Sym2 a6989586621680654080 a6989586621680654081 :: TyFun Symbol Symbol -> Type) (a6989586621680654082 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680654072Sym2 a6989586621680654080 a6989586621680654081 :: TyFun Symbol Symbol -> Type) (a6989586621680654082 :: Symbol) = ShowsPrec_6989586621680654072Sym3 a6989586621680654080 a6989586621680654081 a6989586621680654082
type Apply (ShowListWithSym2 a6989586621680636694 a6989586621680636695 :: TyFun Symbol Symbol -> Type) (a6989586621680636696 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym2 a6989586621680636694 a6989586621680636695 :: TyFun Symbol Symbol -> Type) (a6989586621680636696 :: Symbol) = ShowListWithSym3 a6989586621680636694 a6989586621680636695 a6989586621680636696
type Apply (ShowsPrecSym2 a6989586621680636720 a6989586621680636721 :: TyFun Symbol Symbol -> Type) (a6989586621680636722 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym2 a6989586621680636720 a6989586621680636721 :: TyFun Symbol Symbol -> Type) (a6989586621680636722 :: Symbol) = ShowsPrecSym3 a6989586621680636720 a6989586621680636721 a6989586621680636722
type Apply (ShowsPrec_6989586621681187140Sym2 a6989586621681187148 a6989586621681187149 :: TyFun Symbol Symbol -> Type) (a6989586621681187150 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187140Sym2 a6989586621681187148 a6989586621681187149 :: TyFun Symbol Symbol -> Type) (a6989586621681187150 :: Symbol) = ShowsPrec_6989586621681187140Sym3 a6989586621681187148 a6989586621681187149 a6989586621681187150
type Apply (ShowsPrec_6989586621681187169Sym2 a6989586621681187177 a6989586621681187178 :: TyFun Symbol Symbol -> Type) (a6989586621681187179 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187169Sym2 a6989586621681187177 a6989586621681187178 :: TyFun Symbol Symbol -> Type) (a6989586621681187179 :: Symbol) = ShowsPrec_6989586621681187169Sym3 a6989586621681187177 a6989586621681187178 a6989586621681187179
type Apply (ShowsPrec_6989586621681187250Sym2 a6989586621681187258 a6989586621681187259 :: TyFun Symbol Symbol -> Type) (a6989586621681187260 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187250Sym2 a6989586621681187258 a6989586621681187259 :: TyFun Symbol Symbol -> Type) (a6989586621681187260 :: Symbol) = ShowsPrec_6989586621681187250Sym3 a6989586621681187258 a6989586621681187259 a6989586621681187260
type Apply (ShowsPrec_6989586621681187279Sym2 a6989586621681187287 a6989586621681187288 :: TyFun Symbol Symbol -> Type) (a6989586621681187289 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187279Sym2 a6989586621681187287 a6989586621681187288 :: TyFun Symbol Symbol -> Type) (a6989586621681187289 :: Symbol) = ShowsPrec_6989586621681187279Sym3 a6989586621681187287 a6989586621681187288 a6989586621681187289
type Apply (ShowsPrec_6989586621681187308Sym2 a6989586621681187316 a6989586621681187317 :: TyFun Symbol Symbol -> Type) (a6989586621681187318 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187308Sym2 a6989586621681187316 a6989586621681187317 :: TyFun Symbol Symbol -> Type) (a6989586621681187318 :: Symbol) = ShowsPrec_6989586621681187308Sym3 a6989586621681187316 a6989586621681187317 a6989586621681187318
type Apply (ShowsPrec_6989586621681187337Sym2 a6989586621681187345 a6989586621681187346 :: TyFun Symbol Symbol -> Type) (a6989586621681187347 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187337Sym2 a6989586621681187345 a6989586621681187346 :: TyFun Symbol Symbol -> Type) (a6989586621681187347 :: Symbol) = ShowsPrec_6989586621681187337Sym3 a6989586621681187345 a6989586621681187346 a6989586621681187347
type Apply (ShowsPrec_6989586621681187366Sym2 a6989586621681187374 a6989586621681187375 :: TyFun Symbol Symbol -> Type) (a6989586621681187376 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187366Sym2 a6989586621681187374 a6989586621681187375 :: TyFun Symbol Symbol -> Type) (a6989586621681187376 :: Symbol) = ShowsPrec_6989586621681187366Sym3 a6989586621681187374 a6989586621681187375 a6989586621681187376
type Apply (ShowsPrec_6989586621681187395Sym2 a6989586621681187403 a6989586621681187404 :: TyFun Symbol Symbol -> Type) (a6989586621681187405 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187395Sym2 a6989586621681187403 a6989586621681187404 :: TyFun Symbol Symbol -> Type) (a6989586621681187405 :: Symbol) = ShowsPrec_6989586621681187395Sym3 a6989586621681187403 a6989586621681187404 a6989586621681187405
type Apply (ShowsPrec_6989586621681187424Sym2 a6989586621681187432 a6989586621681187433 :: TyFun Symbol Symbol -> Type) (a6989586621681187434 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187424Sym2 a6989586621681187432 a6989586621681187433 :: TyFun Symbol Symbol -> Type) (a6989586621681187434 :: Symbol) = ShowsPrec_6989586621681187424Sym3 a6989586621681187432 a6989586621681187433 a6989586621681187434
type Apply (ShowsPrec_6989586621681012465Sym2 a6989586621681012473 a6989586621681012474 :: TyFun Symbol Symbol -> Type) (a6989586621681012475 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Identity type Apply (ShowsPrec_6989586621681012465Sym2 a6989586621681012473 a6989586621681012474 :: TyFun Symbol Symbol -> Type) (a6989586621681012475 :: Symbol) = ShowsPrec_6989586621681012465Sym3 a6989586621681012473 a6989586621681012474 a6989586621681012475
type Apply (ShowsPrec_6989586621680697988Sym2 a6989586621680697996 a6989586621680697997 :: TyFun Symbol Symbol -> Type) (a6989586621680697998 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680697988Sym2 a6989586621680697996 a6989586621680697997 :: TyFun Symbol Symbol -> Type) (a6989586621680697998 :: Symbol) = ShowsPrec_6989586621680697988Sym3 a6989586621680697996 a6989586621680697997 a6989586621680697998
type Apply (ShowsPrec_6989586621680698017Sym2 a6989586621680698025 a6989586621680698026 :: TyFun Symbol Symbol -> Type) (a6989586621680698027 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680698017Sym2 a6989586621680698025 a6989586621680698026 :: TyFun Symbol Symbol -> Type) (a6989586621680698027 :: Symbol) = ShowsPrec_6989586621680698017Sym3 a6989586621680698025 a6989586621680698026 a6989586621680698027
type Apply (ShowsPrec_6989586621680636734Sym2 a6989586621680636740 a6989586621680636741 :: TyFun Symbol Symbol -> Type) (a6989586621680636742 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636734Sym2 a6989586621680636740 a6989586621680636741 :: TyFun Symbol Symbol -> Type) (a6989586621680636742 :: Symbol) = ShowsPrec_6989586621680636734Sym3 a6989586621680636740 a6989586621680636741 a6989586621680636742
type Apply (ShowsPrec_6989586621680636766Sym2 a6989586621680636776 a6989586621680636777 :: TyFun Symbol Symbol -> Type) (a6989586621680636778 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636766Sym2 a6989586621680636776 a6989586621680636777 :: TyFun Symbol Symbol -> Type) (a6989586621680636778 :: Symbol) = ShowsPrec_6989586621680636766Sym3 a6989586621680636776 a6989586621680636777 a6989586621680636778
type Apply (ShowsPrec_6989586621680653904Sym2 a6989586621680653914 a6989586621680653915 :: TyFun Symbol Symbol -> Type) (a6989586621680653916 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680653904Sym2 a6989586621680653914 a6989586621680653915 :: TyFun Symbol Symbol -> Type) (a6989586621680653916 :: Symbol) = ShowsPrec_6989586621680653904Sym3 a6989586621680653914 a6989586621680653915 a6989586621680653916
type Apply (ShowsPrec_6989586621680653998Sym2 a6989586621680654006 a6989586621680654007 :: TyFun Symbol Symbol -> Type) (a6989586621680654008 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680653998Sym2 a6989586621680654006 a6989586621680654007 :: TyFun Symbol Symbol -> Type) (a6989586621680654008 :: Symbol) = ShowsPrec_6989586621680653998Sym3 a6989586621680654006 a6989586621680654007 a6989586621680654008
type Apply (ShowsPrec_6989586621681203670Sym2 a6989586621681203678 a6989586621681203679 :: TyFun Symbol Symbol -> Type) (a6989586621681203680 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681203670Sym2 a6989586621681203678 a6989586621681203679 :: TyFun Symbol Symbol -> Type) (a6989586621681203680 :: Symbol) = ShowsPrec_6989586621681203670Sym3 a6989586621681203678 a6989586621681203679 a6989586621681203680
type Apply (ShowsPrec_6989586621680787193Sym2 a6989586621680787201 a6989586621680787202 :: TyFun Symbol Symbol -> Type) (a6989586621680787203 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Proxy type Apply (ShowsPrec_6989586621680787193Sym2 a6989586621680787201 a6989586621680787202 :: TyFun Symbol Symbol -> Type) (a6989586621680787203 :: Symbol) = ShowsPrec_6989586621680787193Sym3 a6989586621680787201 a6989586621680787202 a6989586621680787203
type Apply (ShowsPrec_6989586621680636802Sym2 a6989586621680636808 a6989586621680636809 :: TyFun Symbol Symbol -> Type) (a6989586621680636810 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636802Sym2 a6989586621680636808 a6989586621680636809 :: TyFun Symbol Symbol -> Type) (a6989586621680636810 :: Symbol) = ShowsPrec_6989586621680636802Sym3 a6989586621680636808 a6989586621680636809 a6989586621680636810
type Apply (ShowsPrec_6989586621680653958Sym2 a6989586621680653968 a6989586621680653969 :: TyFun Symbol Symbol -> Type) (a6989586621680653970 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680653958Sym2 a6989586621680653968 a6989586621680653969 :: TyFun Symbol Symbol -> Type) (a6989586621680653970 :: Symbol) = ShowsPrec_6989586621680653958Sym3 a6989586621680653968 a6989586621680653969 a6989586621680653970
type Apply (ShowsPrec_6989586621681044623Sym2 a6989586621681044631 a6989586621681044632 :: TyFun Symbol Symbol -> Type) (a6989586621681044633 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Const type Apply (ShowsPrec_6989586621681044623Sym2 a6989586621681044631 a6989586621681044632 :: TyFun Symbol Symbol -> Type) (a6989586621681044633 :: Symbol) = ShowsPrec_6989586621681044623Sym3 a6989586621681044631 a6989586621681044632 a6989586621681044633
type Apply (ShowsPrec_6989586621680636817Sym2 a6989586621680636823 a6989586621680636824 :: TyFun Symbol Symbol -> Type) (a6989586621680636825 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636817Sym2 a6989586621680636823 a6989586621680636824 :: TyFun Symbol Symbol -> Type) (a6989586621680636825 :: Symbol) = ShowsPrec_6989586621680636817Sym3 a6989586621680636823 a6989586621680636824 a6989586621680636825
type Apply (ShowsPrec_6989586621680636833Sym2 a6989586621680636839 a6989586621680636840 :: TyFun Symbol Symbol -> Type) (a6989586621680636841 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636833Sym2 a6989586621680636839 a6989586621680636840 :: TyFun Symbol Symbol -> Type) (a6989586621680636841 :: Symbol) = ShowsPrec_6989586621680636833Sym3 a6989586621680636839 a6989586621680636840 a6989586621680636841
type Apply (ShowsPrec_6989586621680636850Sym2 a6989586621680636856 a6989586621680636857 :: TyFun Symbol Symbol -> Type) (a6989586621680636858 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636850Sym2 a6989586621680636856 a6989586621680636857 :: TyFun Symbol Symbol -> Type) (a6989586621680636858 :: Symbol) = ShowsPrec_6989586621680636850Sym3 a6989586621680636856 a6989586621680636857 a6989586621680636858
type Apply (ShowsPrec_6989586621680636868Sym2 a6989586621680636874 a6989586621680636875 :: TyFun Symbol Symbol -> Type) (a6989586621680636876 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636868Sym2 a6989586621680636874 a6989586621680636875 :: TyFun Symbol Symbol -> Type) (a6989586621680636876 :: Symbol) = ShowsPrec_6989586621680636868Sym3 a6989586621680636874 a6989586621680636875 a6989586621680636876
type Apply (ShowsPrec_6989586621680636887Sym2 a6989586621680636893 a6989586621680636894 :: TyFun Symbol Symbol -> Type) (a6989586621680636895 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636887Sym2 a6989586621680636893 a6989586621680636894 :: TyFun Symbol Symbol -> Type) (a6989586621680636895 :: Symbol) = ShowsPrec_6989586621680636887Sym3 a6989586621680636893 a6989586621680636894 a6989586621680636895
type Apply (FromString_6989586621681490515Sym0 :: TyFun Symbol (Identity a) -> Type) (a6989586621681490519 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromString_6989586621681490515Sym0 :: TyFun Symbol (Identity a) -> Type) (a6989586621681490519 :: Symbol) = FromString_6989586621681490515Sym1 a6989586621681490519 :: Identity a
type Apply ShowParenSym0 (a6989586621680636659 :: Bool)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowParenSym0 (a6989586621680636659 :: Bool) = ShowParenSym1 a6989586621680636659
type Apply ShowsPrec_6989586621680654022Sym0 (a6989586621680654032 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680654022Sym0 (a6989586621680654032 :: Nat) = ShowsPrec_6989586621680654022Sym1 a6989586621680654032
type Apply ShowsPrec_6989586621680654044Sym0 (a6989586621680654056 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680654044Sym0 (a6989586621680654056 :: Nat) = ShowsPrec_6989586621680654044Sym1 a6989586621680654056
type Apply ShowsNatSym0 (a6989586621680653400 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsNatSym0 (a6989586621680653400 :: Nat) = ShowsNatSym1 a6989586621680653400
type Apply ShowsPrec_6989586621680636784Sym0 (a6989586621680636794 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680636784Sym0 (a6989586621680636794 :: Nat) = ShowsPrec_6989586621680636784Sym1 a6989586621680636794
type Apply ShowsPrec_6989586621680653872Sym0 (a6989586621680653880 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680653872Sym0 (a6989586621680653880 :: Nat) = ShowsPrec_6989586621680653872Sym1 a6989586621680653880
type Apply ShowsPrec_6989586621681187221Sym0 (a6989586621681187229 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply ShowsPrec_6989586621681187221Sym0 (a6989586621681187229 :: Nat) = ShowsPrec_6989586621681187221Sym1 a6989586621681187229
type Apply ShowsPrec_6989586621681187195Sym0 (a6989586621681187203 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply ShowsPrec_6989586621681187195Sym0 (a6989586621681187203 :: Nat) = ShowsPrec_6989586621681187195Sym1 a6989586621681187203
type Apply ShowsPrec_6989586621680654072Sym0 (a6989586621680654080 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowsPrec_6989586621680654072Sym0 (a6989586621680654080 :: Nat) = ShowsPrec_6989586621680654072Sym1 a6989586621680654080
type Apply ShowStringSym0 (a6989586621680636675 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowStringSym0 (a6989586621680636675 :: Symbol) = ShowStringSym1 a6989586621680636675
type Apply ShowCharSym0 (a6989586621680636686 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply ShowCharSym0 (a6989586621680636686 :: Symbol) = ShowCharSym1 a6989586621680636686
type Apply (ShowsPrec_6989586621680654022Sym1 a6989586621680654032 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680654033 :: Bool)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680654022Sym1 a6989586621680654032 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680654033 :: Bool) = ShowsPrec_6989586621680654022Sym2 a6989586621680654032 a6989586621680654033
type Apply (ShowsPrec_6989586621680654044Sym1 a6989586621680654056 :: TyFun Ordering (Symbol ~> Symbol) -> Type) (a6989586621680654057 :: Ordering)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680654044Sym1 a6989586621680654056 :: TyFun Ordering (Symbol ~> Symbol) -> Type) (a6989586621680654057 :: Ordering) = ShowsPrec_6989586621680654044Sym2 a6989586621680654056 a6989586621680654057
type Apply (ShowsPrec_6989586621680636766Sym0 :: TyFun Nat ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636776 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636766Sym0 :: TyFun Nat ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636776 :: Nat) = ShowsPrec_6989586621680636766Sym1 a6989586621680636776 :: TyFun [a] (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680653904Sym0 :: TyFun Nat (Maybe a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680653914 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680653904Sym0 :: TyFun Nat (Maybe a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680653914 :: Nat) = ShowsPrec_6989586621680653904Sym1 a6989586621680653914 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680636734Sym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636740 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636734Sym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636740 :: Nat) = ShowsPrec_6989586621680636734Sym1 a6989586621680636740 :: TyFun a (Symbol ~> Symbol) -> Type
type Apply (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636720 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636720 :: Nat) = ShowsPrecSym1 a6989586621680636720 :: TyFun a (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681187366Sym0 :: TyFun Nat (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187374 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187366Sym0 :: TyFun Nat (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187374 :: Nat) = ShowsPrec_6989586621681187366Sym1 a6989586621681187374 :: TyFun (First a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681187395Sym0 :: TyFun Nat (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187403 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187395Sym0 :: TyFun Nat (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187403 :: Nat) = ShowsPrec_6989586621681187395Sym1 a6989586621681187403 :: TyFun (Last a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680653998Sym0 :: TyFun Nat (NonEmpty a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680654006 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680653998Sym0 :: TyFun Nat (NonEmpty a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680654006 :: Nat) = ShowsPrec_6989586621680653998Sym1 a6989586621680654006 :: TyFun (NonEmpty a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681012465Sym0 :: TyFun Nat (Identity a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681012473 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Identity type Apply (ShowsPrec_6989586621681012465Sym0 :: TyFun Nat (Identity a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681012473 :: Nat) = ShowsPrec_6989586621681012465Sym1 a6989586621681012473 :: TyFun (Identity a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681187308Sym0 :: TyFun Nat (Min a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187316 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187308Sym0 :: TyFun Nat (Min a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187316 :: Nat) = ShowsPrec_6989586621681187308Sym1 a6989586621681187316 :: TyFun (Min a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681187337Sym0 :: TyFun Nat (Max a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187345 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187337Sym0 :: TyFun Nat (Max a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187345 :: Nat) = ShowsPrec_6989586621681187337Sym1 a6989586621681187345 :: TyFun (Max a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681187424Sym0 :: TyFun Nat (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187432 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187424Sym0 :: TyFun Nat (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187432 :: Nat) = ShowsPrec_6989586621681187424Sym1 a6989586621681187432 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681187140Sym0 :: TyFun Nat (Option a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187148 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187140Sym0 :: TyFun Nat (Option a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187148 :: Nat) = ShowsPrec_6989586621681187140Sym1 a6989586621681187148 :: TyFun (Option a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680697988Sym0 :: TyFun Nat (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680697996 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680697988Sym0 :: TyFun Nat (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680697996 :: Nat) = ShowsPrec_6989586621680697988Sym1 a6989586621680697996 :: TyFun (First a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680698017Sym0 :: TyFun Nat (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680698025 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680698017Sym0 :: TyFun Nat (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680698025 :: Nat) = ShowsPrec_6989586621680698017Sym1 a6989586621680698025 :: TyFun (Last a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681187169Sym0 :: TyFun Nat (Dual a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187177 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187169Sym0 :: TyFun Nat (Dual a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187177 :: Nat) = ShowsPrec_6989586621681187169Sym1 a6989586621681187177 :: TyFun (Dual a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681187250Sym0 :: TyFun Nat (Sum a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187258 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187250Sym0 :: TyFun Nat (Sum a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187258 :: Nat) = ShowsPrec_6989586621681187250Sym1 a6989586621681187258 :: TyFun (Sum a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681187279Sym0 :: TyFun Nat (Product a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187287 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187279Sym0 :: TyFun Nat (Product a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681187287 :: Nat) = ShowsPrec_6989586621681187279Sym1 a6989586621681187287 :: TyFun (Product a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680636784Sym1 a6989586621680636794 :: TyFun Symbol (Symbol ~> Symbol) -> Type) (a6989586621680636795 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636784Sym1 a6989586621680636794 :: TyFun Symbol (Symbol ~> Symbol) -> Type) (a6989586621680636795 :: Symbol) = ShowsPrec_6989586621680636784Sym2 a6989586621680636794 a6989586621680636795
type Apply (ShowsPrec_6989586621680653872Sym1 a6989586621680653880 :: TyFun () (Symbol ~> Symbol) -> Type) (a6989586621680653881 :: ())
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680653872Sym1 a6989586621680653880 :: TyFun () (Symbol ~> Symbol) -> Type) (a6989586621680653881 :: ()) = ShowsPrec_6989586621680653872Sym2 a6989586621680653880 a6989586621680653881
type Apply (Lambda_6989586621680636649Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216806366436989586621680636648 :: k)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680636649Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216806366436989586621680636648 :: k) = Lambda_6989586621680636649Sym1 a_69895866216806366436989586621680636648
type Apply (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680636712 :: a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680636712 :: a) = ShowsSym1 a6989586621680636712
type Apply (ShowsPrec_6989586621681187221Sym1 a6989586621681187229 :: TyFun Any (Symbol ~> Symbol) -> Type) (a6989586621681187230 :: Any)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187221Sym1 a6989586621681187229 :: TyFun Any (Symbol ~> Symbol) -> Type) (a6989586621681187230 :: Any) = ShowsPrec_6989586621681187221Sym2 a6989586621681187229 a6989586621681187230
type Apply (ShowsPrec_6989586621681187195Sym1 a6989586621681187203 :: TyFun All (Symbol ~> Symbol) -> Type) (a6989586621681187204 :: All)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187195Sym1 a6989586621681187203 :: TyFun All (Symbol ~> Symbol) -> Type) (a6989586621681187204 :: All) = ShowsPrec_6989586621681187195Sym2 a6989586621681187203 a6989586621681187204
type Apply (ShowsPrec_6989586621680654072Sym1 a6989586621680654080 :: TyFun Void (Symbol ~> Symbol) -> Type) (a6989586621680654081 :: Void)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680654072Sym1 a6989586621680654080 :: TyFun Void (Symbol ~> Symbol) -> Type) (a6989586621680654081 :: Void) = ShowsPrec_6989586621680654072Sym2 a6989586621680654080 a6989586621680654081
type Apply (ShowsPrec_6989586621680653958Sym0 :: TyFun Nat (Either a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680653968 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680653958Sym0 :: TyFun Nat (Either a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680653968 :: Nat) = ShowsPrec_6989586621680653958Sym1 a6989586621680653968 :: TyFun (Either a b) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680636802Sym0 :: TyFun Nat ((a, b) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636808 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636802Sym0 :: TyFun Nat ((a, b) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636808 :: Nat) = ShowsPrec_6989586621680636802Sym1 a6989586621680636808 :: TyFun (a, b) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680787193Sym0 :: TyFun Nat (Proxy s ~> (Symbol ~> Symbol)) -> Type) (a6989586621680787201 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Proxy type Apply (ShowsPrec_6989586621680787193Sym0 :: TyFun Nat (Proxy s ~> (Symbol ~> Symbol)) -> Type) (a6989586621680787201 :: Nat) = ShowsPrec_6989586621680787193Sym1 a6989586621680787201 :: TyFun (Proxy s) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681203670Sym0 :: TyFun Nat (Arg a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621681203678 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681203670Sym0 :: TyFun Nat (Arg a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621681203678 :: Nat) = ShowsPrec_6989586621681203670Sym1 a6989586621681203678 :: TyFun (Arg a b) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621680379784GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) (w6989586621680379782 :: k1)
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680379784GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) (w6989586621680379782 :: k1) = Let6989586621680379784GoSym1 w6989586621680379782 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type
type Apply (ShowsPrec_6989586621680636734Sym1 a6989586621680636740 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680636741 :: a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636734Sym1 a6989586621680636740 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680636741 :: a) = ShowsPrec_6989586621680636734Sym2 a6989586621680636740 a6989586621680636741
type Apply (ShowsPrecSym1 a6989586621680636720 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680636721 :: a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym1 a6989586621680636720 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680636721 :: a) = ShowsPrecSym2 a6989586621680636720 a6989586621680636721
type Apply (ShowsPrec_6989586621680636817Sym0 :: TyFun Nat ((a, b, c) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636823 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636817Sym0 :: TyFun Nat ((a, b, c) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636823 :: Nat) = ShowsPrec_6989586621680636817Sym1 a6989586621680636823 :: TyFun (a, b, c) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621681044623Sym0 :: TyFun Nat (Const a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621681044631 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Const type Apply (ShowsPrec_6989586621681044623Sym0 :: TyFun Nat (Const a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621681044631 :: Nat) = ShowsPrec_6989586621681044623Sym1 a6989586621681044631 :: TyFun (Const a b) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621680379784GoSym1 w6989586621680379782 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) (ws6989586621680379783 :: k2)
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680379784GoSym1 w6989586621680379782 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) (ws6989586621680379783 :: k2) = Let6989586621680379784GoSym2 w6989586621680379782 ws6989586621680379783
type Apply (ShowsPrec_6989586621680636833Sym0 :: TyFun Nat ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636839 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636833Sym0 :: TyFun Nat ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636839 :: Nat) = ShowsPrec_6989586621680636833Sym1 a6989586621680636839 :: TyFun (a, b, c, d) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621680636702ShowlSym1 showx6989586621680636698 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680636699 :: k2)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680636702ShowlSym1 showx6989586621680636698 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680636699 :: k2) = Let6989586621680636702ShowlSym2 showx6989586621680636698 x6989586621680636699 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type
type Apply (Lambda_6989586621680636630Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) -> Type) (ss6989586621680636628 :: k1)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680636630Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) -> Type) (ss6989586621680636628 :: k1) = Lambda_6989586621680636630Sym1 ss6989586621680636628 :: TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type
type Apply (ShowsPrec_6989586621680636850Sym0 :: TyFun Nat ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636856 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636850Sym0 :: TyFun Nat ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636856 :: Nat) = ShowsPrec_6989586621680636850Sym1 a6989586621680636856 :: TyFun (a, b, c, d, e) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621680636702ShowlSym2 showx6989586621680636698 x6989586621680636699 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) (xs6989586621680636700 :: k3)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680636702ShowlSym2 showx6989586621680636698 x6989586621680636699 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) (xs6989586621680636700 :: k3) = Let6989586621680636702ShowlSym3 showx6989586621680636698 x6989586621680636699 xs6989586621680636700
type Apply (Lambda_6989586621680636630Sym1 ss6989586621680636628 :: TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) (a_69895866216806366216989586621680636629 :: k2)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680636630Sym1 ss6989586621680636628 :: TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) (a_69895866216806366216989586621680636629 :: k2) = Lambda_6989586621680636630Sym2 ss6989586621680636628 a_69895866216806366216989586621680636629 :: TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type
type Apply (ShowsPrec_6989586621680636868Sym0 :: TyFun Nat ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636874 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636868Sym0 :: TyFun Nat ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636874 :: Nat) = ShowsPrec_6989586621680636868Sym1 a6989586621680636874 :: TyFun (a, b, c, d, e, f) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621680636702ShowlSym3 showx6989586621680636698 x6989586621680636699 xs6989586621680636700 :: TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) (s6989586621680636701 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680636702ShowlSym3 showx6989586621680636698 x6989586621680636699 xs6989586621680636700 :: TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) (s6989586621680636701 :: Symbol) = Let6989586621680636702ShowlSym4 showx6989586621680636698 x6989586621680636699 xs6989586621680636700 s6989586621680636701
type Apply (ShowsPrec_6989586621680636887Sym0 :: TyFun Nat ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636893 :: Nat)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636887Sym0 :: TyFun Nat ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636893 :: Nat) = ShowsPrec_6989586621680636887Sym1 a6989586621680636893 :: TyFun (a, b, c, d, e, f, g) (Symbol ~> Symbol) -> Type
type Apply (FromString_6989586621681490508Sym0 :: TyFun Symbol (Const a b) -> Type) (a6989586621681490512 :: Symbol)
Instance details Defined in Data.Singletons.Prelude.IsString type Apply (FromString_6989586621681490508Sym0 :: TyFun Symbol (Const a b) -> Type) (a6989586621681490512 :: Symbol) = FromString_6989586621681490508Sym1 a6989586621681490512 :: Const a b
type Rep (ElField '(s, a))
Instance details Defined in Data.Vinyl.Functor type Rep (ElField '(s, a)) = C1 ('MetaCons s 'PrefixI 'False) (Rec0 a)
type Apply UnwordsSym0 (a6989586621680379781 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply UnwordsSym0 (a6989586621680379781 :: [Symbol]) = UnwordsSym1 a6989586621680379781
type Apply UnlinesSym0 (a6989586621680379791 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply UnlinesSym0 (a6989586621680379791 :: [Symbol]) = UnlinesSym1 a6989586621680379791
type Apply (Let6989586621680379784GoSym2 w6989586621680379782 ws6989586621680379783 :: TyFun [Symbol] Symbol -> Type) (a6989586621680379785 :: [Symbol])
Instance details Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680379784GoSym2 w6989586621680379782 ws6989586621680379783 :: TyFun [Symbol] Symbol -> Type) (a6989586621680379785 :: [Symbol]) = Let6989586621680379784GoSym3 w6989586621680379782 ws6989586621680379783 a6989586621680379785
type Apply (Let6989586621680636702ShowlSym4 showx6989586621680636698 x6989586621680636699 xs6989586621680636700 s6989586621680636701 :: TyFun [k1] Symbol -> Type) (a6989586621680636703 :: [k1])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680636702ShowlSym4 showx6989586621680636698 x6989586621680636699 xs6989586621680636700 s6989586621680636701 :: TyFun [k1] Symbol -> Type) (a6989586621680636703 :: [k1]) = Let6989586621680636702ShowlSym5 showx6989586621680636698 x6989586621680636699 xs6989586621680636700 s6989586621680636701 a6989586621680636703
type Apply Show_tupleSym0 (a6989586621680636626 :: [Symbol ~> Symbol])
Instance details Defined in Data.Singletons.Prelude.Show type Apply Show_tupleSym0 (a6989586621680636626 :: [Symbol ~> Symbol]) = Show_tupleSym1 a6989586621680636626
type Apply (ShowList_6989586621680636754Sym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636759 :: [a])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowList_6989586621680636754Sym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636759 :: [a]) = ShowList_6989586621680636754Sym1 a6989586621680636759
type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636729 :: [a])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636729 :: [a]) = ShowListSym1 a6989586621680636729
type Apply (ShowListWithSym1 a6989586621680636694 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636695 :: [a])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym1 a6989586621680636694 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636695 :: [a]) = ShowListWithSym2 a6989586621680636694 a6989586621680636695
type Apply (ShowsPrec_6989586621680636766Sym1 a6989586621680636776 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636777 :: [a])
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636766Sym1 a6989586621680636776 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636777 :: [a]) = ShowsPrec_6989586621680636766Sym2 a6989586621680636776 a6989586621680636777
type Apply (ShowsPrec_6989586621680653904Sym1 a6989586621680653914 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type) (a6989586621680653915 :: Maybe a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680653904Sym1 a6989586621680653914 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type) (a6989586621680653915 :: Maybe a) = ShowsPrec_6989586621680653904Sym2 a6989586621680653914 a6989586621680653915
type Apply (ShowsPrec_6989586621681187366Sym1 a6989586621681187374 :: TyFun (First a) (Symbol ~> Symbol) -> Type) (a6989586621681187375 :: First a)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187366Sym1 a6989586621681187374 :: TyFun (First a) (Symbol ~> Symbol) -> Type) (a6989586621681187375 :: First a) = ShowsPrec_6989586621681187366Sym2 a6989586621681187374 a6989586621681187375
type Apply (ShowsPrec_6989586621681187395Sym1 a6989586621681187403 :: TyFun (Last a) (Symbol ~> Symbol) -> Type) (a6989586621681187404 :: Last a)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187395Sym1 a6989586621681187403 :: TyFun (Last a) (Symbol ~> Symbol) -> Type) (a6989586621681187404 :: Last a) = ShowsPrec_6989586621681187395Sym2 a6989586621681187403 a6989586621681187404
type Apply (ShowsPrec_6989586621680653998Sym1 a6989586621680654006 :: TyFun (NonEmpty a) (Symbol ~> Symbol) -> Type) (a6989586621680654007 :: NonEmpty a)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680653998Sym1 a6989586621680654006 :: TyFun (NonEmpty a) (Symbol ~> Symbol) -> Type) (a6989586621680654007 :: NonEmpty a) = ShowsPrec_6989586621680653998Sym2 a6989586621680654006 a6989586621680654007
type Apply (ShowsPrec_6989586621681012465Sym1 a6989586621681012473 :: TyFun (Identity a) (Symbol ~> Symbol) -> Type) (a6989586621681012474 :: Identity a)
Instance details Defined in Data.Singletons.Prelude.Identity type Apply (ShowsPrec_6989586621681012465Sym1 a6989586621681012473 :: TyFun (Identity a) (Symbol ~> Symbol) -> Type) (a6989586621681012474 :: Identity a) = ShowsPrec_6989586621681012465Sym2 a6989586621681012473 a6989586621681012474
type Apply (ShowsPrec_6989586621681187308Sym1 a6989586621681187316 :: TyFun (Min a) (Symbol ~> Symbol) -> Type) (a6989586621681187317 :: Min a)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187308Sym1 a6989586621681187316 :: TyFun (Min a) (Symbol ~> Symbol) -> Type) (a6989586621681187317 :: Min a) = ShowsPrec_6989586621681187308Sym2 a6989586621681187316 a6989586621681187317
type Apply (ShowsPrec_6989586621681187337Sym1 a6989586621681187345 :: TyFun (Max a) (Symbol ~> Symbol) -> Type) (a6989586621681187346 :: Max a)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187337Sym1 a6989586621681187345 :: TyFun (Max a) (Symbol ~> Symbol) -> Type) (a6989586621681187346 :: Max a) = ShowsPrec_6989586621681187337Sym2 a6989586621681187345 a6989586621681187346
type Apply (ShowsPrec_6989586621681187424Sym1 a6989586621681187432 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type) (a6989586621681187433 :: WrappedMonoid m)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187424Sym1 a6989586621681187432 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type) (a6989586621681187433 :: WrappedMonoid m) = ShowsPrec_6989586621681187424Sym2 a6989586621681187432 a6989586621681187433
type Apply (ShowsPrec_6989586621681187140Sym1 a6989586621681187148 :: TyFun (Option a) (Symbol ~> Symbol) -> Type) (a6989586621681187149 :: Option a)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187140Sym1 a6989586621681187148 :: TyFun (Option a) (Symbol ~> Symbol) -> Type) (a6989586621681187149 :: Option a) = ShowsPrec_6989586621681187140Sym2 a6989586621681187148 a6989586621681187149
type Apply (ShowsPrec_6989586621680697988Sym1 a6989586621680697996 :: TyFun (First a) (Symbol ~> Symbol) -> Type) (a6989586621680697997 :: First a)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680697988Sym1 a6989586621680697996 :: TyFun (First a) (Symbol ~> Symbol) -> Type) (a6989586621680697997 :: First a) = ShowsPrec_6989586621680697988Sym2 a6989586621680697996 a6989586621680697997
type Apply (ShowsPrec_6989586621680698017Sym1 a6989586621680698025 :: TyFun (Last a) (Symbol ~> Symbol) -> Type) (a6989586621680698026 :: Last a)
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (ShowsPrec_6989586621680698017Sym1 a6989586621680698025 :: TyFun (Last a) (Symbol ~> Symbol) -> Type) (a6989586621680698026 :: Last a) = ShowsPrec_6989586621680698017Sym2 a6989586621680698025 a6989586621680698026
type Apply (ShowsPrec_6989586621681187169Sym1 a6989586621681187177 :: TyFun (Dual a) (Symbol ~> Symbol) -> Type) (a6989586621681187178 :: Dual a)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187169Sym1 a6989586621681187177 :: TyFun (Dual a) (Symbol ~> Symbol) -> Type) (a6989586621681187178 :: Dual a) = ShowsPrec_6989586621681187169Sym2 a6989586621681187177 a6989586621681187178
type Apply (ShowsPrec_6989586621681187250Sym1 a6989586621681187258 :: TyFun (Sum a) (Symbol ~> Symbol) -> Type) (a6989586621681187259 :: Sum a)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187250Sym1 a6989586621681187258 :: TyFun (Sum a) (Symbol ~> Symbol) -> Type) (a6989586621681187259 :: Sum a) = ShowsPrec_6989586621681187250Sym2 a6989586621681187258 a6989586621681187259
type Apply (ShowsPrec_6989586621681187279Sym1 a6989586621681187287 :: TyFun (Product a) (Symbol ~> Symbol) -> Type) (a6989586621681187288 :: Product a)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681187279Sym1 a6989586621681187287 :: TyFun (Product a) (Symbol ~> Symbol) -> Type) (a6989586621681187288 :: Product a) = ShowsPrec_6989586621681187279Sym2 a6989586621681187287 a6989586621681187288
type HKD ElField ('(s, a) :: (Symbol, Type))
Instance details Defined in Data.Vinyl.XRec type HKD ElField ('(s, a) :: (Symbol, Type)) = a
type RecElemFCtx (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (f :: (Symbol, Type) -> Type)
Instance details Defined in Data.Vinyl.SRec type RecElemFCtx (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (f :: (Symbol, Type) -> Type) = f ~ ElField
type RecElemFCtx (SRec2 ElField) (f :: (Symbol, Type) -> Type)
Instance details Defined in Data.Vinyl.SRec type RecElemFCtx (SRec2 ElField) (f :: (Symbol, Type) -> Type) = f ~ ElField
type Apply (ShowParenSym1 a6989586621680636659 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680636660 :: Symbol ~> Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowParenSym1 a6989586621680636659 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680636660 :: Symbol ~> Symbol) = ShowParenSym2 a6989586621680636659 a6989586621680636660
type Apply (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636694 :: a ~> (Symbol ~> Symbol))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636694 :: a ~> (Symbol ~> Symbol)) = ShowListWithSym1 a6989586621680636694
type RecSubsetFCtx (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (f :: (Symbol, Type) -> Type)
Instance details Defined in Data.Vinyl.SRec type RecSubsetFCtx (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (f :: (Symbol, Type) -> Type) = f ~ ElField
type RecSubsetFCtx (SRec2 ElField) (f :: (Symbol, Type) -> Type)
Instance details Defined in Data.Vinyl.SRec type RecSubsetFCtx (SRec2 ElField) (f :: (Symbol, Type) -> Type) = f ~ ElField
type Apply (ShowsPrec_6989586621680653958Sym1 a6989586621680653968 :: TyFun (Either a b) (Symbol ~> Symbol) -> Type) (a6989586621680653969 :: Either a b)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680653958Sym1 a6989586621680653968 :: TyFun (Either a b) (Symbol ~> Symbol) -> Type) (a6989586621680653969 :: Either a b) = ShowsPrec_6989586621680653958Sym2 a6989586621680653968 a6989586621680653969
type Apply (ShowsPrec_6989586621680636802Sym1 a6989586621680636808 :: TyFun (a, b) (Symbol ~> Symbol) -> Type) (a6989586621680636809 :: (a, b))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636802Sym1 a6989586621680636808 :: TyFun (a, b) (Symbol ~> Symbol) -> Type) (a6989586621680636809 :: (a, b)) = ShowsPrec_6989586621680636802Sym2 a6989586621680636808 a6989586621680636809
type Apply (ShowsPrec_6989586621680787193Sym1 a6989586621680787201 :: TyFun (Proxy s) (Symbol ~> Symbol) -> Type) (a6989586621680787202 :: Proxy s)
Instance details Defined in Data.Singletons.Prelude.Proxy type Apply (ShowsPrec_6989586621680787193Sym1 a6989586621680787201 :: TyFun (Proxy s) (Symbol ~> Symbol) -> Type) (a6989586621680787202 :: Proxy s) = ShowsPrec_6989586621680787193Sym2 a6989586621680787201 a6989586621680787202
type Apply (ShowsPrec_6989586621681203670Sym1 a6989586621681203678 :: TyFun (Arg a b) (Symbol ~> Symbol) -> Type) (a6989586621681203679 :: Arg a b)
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681203670Sym1 a6989586621681203678 :: TyFun (Arg a b) (Symbol ~> Symbol) -> Type) (a6989586621681203679 :: Arg a b) = ShowsPrec_6989586621681203670Sym2 a6989586621681203678 a6989586621681203679
type Apply (Let6989586621680636702ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) (showx6989586621680636698 :: k1 ~> (Symbol ~> Symbol))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680636702ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) (showx6989586621680636698 :: k1 ~> (Symbol ~> Symbol)) = Let6989586621680636702ShowlSym1 showx6989586621680636698 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type
type Apply (Lambda_6989586621680636630Sym2 ss6989586621680636628 a_69895866216806366216989586621680636629 :: TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) (s6989586621680636632 :: Symbol ~> c)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680636630Sym2 ss6989586621680636628 a_69895866216806366216989586621680636629 :: TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) (s6989586621680636632 :: Symbol ~> c) = Lambda_6989586621680636630Sym3 ss6989586621680636628 a_69895866216806366216989586621680636629 s6989586621680636632 :: TyFun (a ~> Symbol) (a ~> c) -> Type
type Apply (Lambda_6989586621680636630Sym3 ss6989586621680636628 a_69895866216806366216989586621680636629 s6989586621680636632 :: TyFun (a ~> Symbol) (a ~> c) -> Type) (r6989586621680636633 :: a ~> Symbol)
Instance details Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680636630Sym3 ss6989586621680636628 a_69895866216806366216989586621680636629 s6989586621680636632 :: TyFun (a ~> Symbol) (a ~> c) -> Type) (r6989586621680636633 :: a ~> Symbol) = Lambda_6989586621680636630Sym4 ss6989586621680636628 a_69895866216806366216989586621680636629 s6989586621680636632 r6989586621680636633
type Apply (ShowsPrec_6989586621680636817Sym1 a6989586621680636823 :: TyFun (a, b, c) (Symbol ~> Symbol) -> Type) (a6989586621680636824 :: (a, b, c))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636817Sym1 a6989586621680636823 :: TyFun (a, b, c) (Symbol ~> Symbol) -> Type) (a6989586621680636824 :: (a, b, c)) = ShowsPrec_6989586621680636817Sym2 a6989586621680636823 a6989586621680636824
type Apply (ShowsPrec_6989586621681044623Sym1 a6989586621681044631 :: TyFun (Const a b) (Symbol ~> Symbol) -> Type) (a6989586621681044632 :: Const a b)
Instance details Defined in Data.Singletons.Prelude.Const type Apply (ShowsPrec_6989586621681044623Sym1 a6989586621681044631 :: TyFun (Const a b) (Symbol ~> Symbol) -> Type) (a6989586621681044632 :: Const a b) = ShowsPrec_6989586621681044623Sym2 a6989586621681044631 a6989586621681044632
type Apply (ShowsPrec_6989586621680636833Sym1 a6989586621680636839 :: TyFun (a, b, c, d) (Symbol ~> Symbol) -> Type) (a6989586621680636840 :: (a, b, c, d))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636833Sym1 a6989586621680636839 :: TyFun (a, b, c, d) (Symbol ~> Symbol) -> Type) (a6989586621680636840 :: (a, b, c, d)) = ShowsPrec_6989586621680636833Sym2 a6989586621680636839 a6989586621680636840
type Apply (ShowsPrec_6989586621680636850Sym1 a6989586621680636856 :: TyFun (a, b, c, d, e) (Symbol ~> Symbol) -> Type) (a6989586621680636857 :: (a, b, c, d, e))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636850Sym1 a6989586621680636856 :: TyFun (a, b, c, d, e) (Symbol ~> Symbol) -> Type) (a6989586621680636857 :: (a, b, c, d, e)) = ShowsPrec_6989586621680636850Sym2 a6989586621680636856 a6989586621680636857
type Apply (ShowsPrec_6989586621680636868Sym1 a6989586621680636874 :: TyFun (a, b, c, d, e, f) (Symbol ~> Symbol) -> Type) (a6989586621680636875 :: (a, b, c, d, e, f))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636868Sym1 a6989586621680636874 :: TyFun (a, b, c, d, e, f) (Symbol ~> Symbol) -> Type) (a6989586621680636875 :: (a, b, c, d, e, f)) = ShowsPrec_6989586621680636868Sym2 a6989586621680636874 a6989586621680636875
type Apply (ShowsPrec_6989586621680636887Sym1 a6989586621680636893 :: TyFun (a, b, c, d, e, f, g) (Symbol ~> Symbol) -> Type) (a6989586621680636894 :: (a, b, c, d, e, f, g))
Instance details Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrec_6989586621680636887Sym1 a6989586621680636893 :: TyFun (a, b, c, d, e, f, g) (Symbol ~> Symbol) -> Type) (a6989586621680636894 :: (a, b, c, d, e, f, g)) = ShowsPrec_6989586621680636887Sym2 a6989586621680636893 a6989586621680636894

class KnownSymbol (n :: Symbol) #

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

Since: base-4.7.0.0

Minimal complete definition

symbolSing

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

Concatenation of type-level symbols.

Since: base-4.10.0.0

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

Since: base-4.7.0.0

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

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

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

The type-level equivalent of error.

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

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

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

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

Since: base-4.9.0.0

data ErrorMessage #

A description of a custom type error.

Constructors

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

type TypeErrorUnless (cond :: Bool) (err :: ErrorMessage) = (TypeErrorUnlessHelper cond err, cond ~ 'True) Source #

Conditional type error.

There is a very subtle difference between TypeErrorUnless and the following type family:

type family TypeErrorUnlessAlternative (cond :: Bool) (err :: ErrorMessage) :: Constraint where
  TypeErrorUnlessAlternative cond err =
    ( If cond
        (() :: Constraint)
        (TypeError err)
    , cond ~ 'True
    )

If cond cannot be fully reduced (e.g. it's a stuck type family), then:

TypeErrorUnless will state that the constraint cannot be deduced.
TypeErrorUnlessAlternative will fail with the given error message err.

For example:

-- Partial function
type family IsZero (n :: Peano) :: Bool where
  IsZero ('S _) = 'False

f1 :: TypeErrorUnless (IsZero n) ('Text "Expected zero") => ()
f1 = ()

f2 :: TypeErrorUnlessAlternative (IsZero n) ('Text "Expected zero") => ()
f2 = ()


f1res = f1 @'Z
-- • Couldn't match type ‘IsZero 'Z’ with ‘'True’

f2res = f2 @'Z
-- • Expected zero

As you can see, the error message in f2res is misleading (because the type argument actually _is_ zero), so it's preferable to fail with the standard GHC error message.

type AssertTypesEqual a b (err :: ErrorMessage) = (TypeErrorUnlessHelper (a == b) err, a ~ b) Source #

Condition Error helper to check if two types are equal

>>> :k! AssertTypesEqual Int Int ('Text "This should not result in a failure")
AssertTypesEqual Int Int ('Text "This should not result in a failure") :: Constraint
= (() :: Constraint, Int ~ Int)

>>> :k! AssertTypesEqual Bool Int ('Text "This should result in a failure")
AssertTypesEqual Bool Int ('Text "This should result in a failure") :: Constraint
= ((TypeError ...), Bool ~ Int)