Safe Haskell | None |
---|---|
Language | Haskell2010 |
Re-exports TypeLits
, modifying it considering our practices.
Synopsis
- data Symbol
- class KnownSymbol (n :: Symbol)
- type family AppendSymbol (a :: Symbol) (b :: Symbol) :: Symbol where ...
- 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
- type TypeErrorUnless (cond :: Bool) (err :: ErrorMessage) = (TypeErrorUnlessHelper cond err, cond ~ 'True)
Documentation
(Kind) This is the kind of type-level symbols. Declared here because class IP needs it
Instances
PIsString Symbol | |
Defined in Data.Singletons.Prelude.IsString type FromString arg :: a # | |
SIsString Symbol | |
Defined in Data.Singletons.Prelude.IsString sFromString :: forall (t :: Symbol). Sing t -> Sing (Apply FromStringSym0 t) # | |
PMonoid Symbol | |
SMonoid Symbol | |
PShow Symbol | |
SShow Symbol | |
Defined in Data.Singletons.Prelude.Show 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 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SSemigroup Symbol | |
SingKind Symbol | Since: base-4.9.0.0 |
Defined in GHC.Generics type DemoteRep Symbol | |
KnownSymbol s => Showtype (s :: Symbol) | |
Defined in Type.Showtype | |
KnownSymbol a => SingI (a :: Symbol) | Since: base-4.9.0.0 |
Defined in GHC.Generics sing :: Sing a | |
KnownSymbol n => Reifies (n :: Symbol) String | |
Defined in Data.Reflection | |
Eq t => Eq (ElField '(s, t)) | |
(Floating t, KnownSymbol s) => Floating (ElField '(s, t)) | |
Defined in Data.Vinyl.Functor exp :: ElField '(s, t) -> ElField '(s, t) # log :: ElField '(s, t) -> ElField '(s, t) # sqrt :: ElField '(s, t) -> ElField '(s, t) # (**) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # logBase :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # sin :: ElField '(s, t) -> ElField '(s, t) # cos :: ElField '(s, t) -> ElField '(s, t) # tan :: ElField '(s, t) -> ElField '(s, t) # asin :: ElField '(s, t) -> ElField '(s, t) # acos :: ElField '(s, t) -> ElField '(s, t) # atan :: ElField '(s, t) -> ElField '(s, t) # sinh :: ElField '(s, t) -> ElField '(s, t) # cosh :: ElField '(s, t) -> ElField '(s, t) # tanh :: ElField '(s, t) -> ElField '(s, t) # asinh :: ElField '(s, t) -> ElField '(s, t) # acosh :: ElField '(s, t) -> ElField '(s, t) # atanh :: ElField '(s, t) -> ElField '(s, t) # log1p :: ElField '(s, t) -> ElField '(s, t) # expm1 :: ElField '(s, t) -> ElField '(s, t) # | |
(Fractional t, KnownSymbol s) => Fractional (ElField '(s, t)) | |
(Num t, KnownSymbol s) => Num (ElField '(s, t)) | |
Defined in Data.Vinyl.Functor (+) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # (-) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # (*) :: ElField '(s, t) -> ElField '(s, t) -> ElField '(s, t) # negate :: ElField '(s, t) -> ElField '(s, t) # abs :: ElField '(s, t) -> ElField '(s, t) # signum :: ElField '(s, t) -> ElField '(s, t) # fromInteger :: Integer -> ElField '(s, t) # | |
Ord t => Ord (ElField '(s, t)) | |
Defined in Data.Vinyl.Functor compare :: ElField '(s, t) -> ElField '(s, t) -> Ordering # (<) :: ElField '(s, t) -> ElField '(s, t) -> Bool # (<=) :: ElField '(s, t) -> ElField '(s, t) -> Bool # (>) :: ElField '(s, t) -> ElField '(s, t) -> Bool # (>=) :: ElField '(s, t) -> ElField '(s, t) -> Bool # 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)) | |
Defined in Data.Vinyl.Functor toRational :: ElField '(s, t) -> Rational # | |
(RealFrac t, KnownSymbol s) => RealFrac (ElField '(s, t)) | |
(Show t, KnownSymbol s) => Show (ElField '(s, t)) | |
KnownSymbol s => Generic (ElField '(s, a)) | |
Semigroup t => Semigroup (ElField '(s, t)) | |
(KnownSymbol s, Monoid t) => Monoid (ElField '(s, t)) | |
(KnownSymbol s, Storable t) => Storable (ElField '(s, t)) | |
Defined in Data.Vinyl.Functor sizeOf :: ElField '(s, t) -> Int # alignment :: ElField '(s, t) -> Int # peekElemOff :: Ptr (ElField '(s, t)) -> Int -> IO (ElField '(s, t)) # pokeElemOff :: Ptr (ElField '(s, t)) -> Int -> ElField '(s, t) -> IO () # peekByteOff :: Ptr b -> Int -> IO (ElField '(s, t)) # pokeByteOff :: Ptr b -> Int -> ElField '(s, t) -> IO () # | |
SuppressUnusedWarnings ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings UnwordsSym0 | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings UnlinesSym0 | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings Show_tupleSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680653401Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680653423Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsNatSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680636163Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680653251Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680653451Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621681186574Sym0 | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621681186600Sym0 | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings KnownSymbolSym0 | |
Defined in Data.Singletons.TypeLits suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowCommaSpaceSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowSpaceSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowStringSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowCharSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SingI ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowParenSym0 # | |
SingI UnwordsSym0 | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing UnwordsSym0 # | |
SingI UnlinesSym0 | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing UnlinesSym0 # | |
SingI Show_tupleSym0 | |
Defined in Data.Singletons.Prelude.Show | |
SingI ShowCommaSpaceSym0 | |
Defined in Data.Singletons.Prelude.Show | |
SingI ShowSpaceSym0 | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowSpaceSym0 # | |
SingI ShowStringSym0 | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowStringSym0 # | |
SingI ShowCharSym0 | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowCharSym0 # | |
KnownSymbol s => IsoHKD ElField ('(s, a) :: (Symbol, Type)) | Work with values of type |
SuppressUnusedWarnings (ShowsPrec_6989586621680653401Sym1 a6989586621680653411 :: TyFun Bool (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowList_6989586621680636133Sym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653423Sym1 a6989586621680653435 :: TyFun Ordering (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636145Sym0 :: TyFun Nat ([a] ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653283Sym0 :: TyFun Nat (Maybe a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636113Sym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186687Sym0 :: TyFun Nat (Min a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186716Sym0 :: TyFun Nat (Max a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186745Sym0 :: TyFun Nat (First a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186774Sym0 :: TyFun Nat (Last a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186803Sym0 :: TyFun Nat (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186519Sym0 :: TyFun Nat (Option a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681011844Sym0 :: TyFun Nat (Identity a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680697367Sym0 :: TyFun Nat (First a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680697396Sym0 :: TyFun Nat (Last a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186548Sym0 :: TyFun Nat (Dual a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186629Sym0 :: TyFun Nat (Sum a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186658Sym0 :: TyFun Nat (Product a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653377Sym0 :: TyFun Nat (NonEmpty a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowStringSym1 a6989586621680636054 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowCharSym1 a6989586621680636065 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Show_tupleSym1 a6989586621680636005 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsNatSym1 a6989586621680652779 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a -> Type) | |
Defined in Data.Singletons.Prelude.IsString suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromString_6989586621681489894Sym0 :: TyFun Symbol (Identity a) -> Type) | |
Defined in Data.Singletons.Prelude.IsString suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636163Sym1 a6989586621680636173 :: TyFun Symbol (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653251Sym1 a6989586621680653259 :: TyFun () (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Show__6989586621680636125Sym0 :: TyFun a Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Show_Sym0 :: TyFun a Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680636028Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653451Sym1 a6989586621680653459 :: TyFun Void (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186574Sym1 a6989586621681186582 :: TyFun All (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186600Sym1 a6989586621681186608 :: TyFun Any (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowParenSym1 a6989586621680636038 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SShow a => SingI (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowListSym0 # | |
SShow a => SingI (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowsPrecSym0 # | |
SingI d => SingI (ShowStringSym1 d :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowStringSym1 d) # | |
SingI d => SingI (ShowCharSym1 d :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowCharSym1 d) # | |
SingI d => SingI (Show_tupleSym1 d :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show | |
SIsString a => SingI (FromStringSym0 :: TyFun Symbol a -> Type) | |
Defined in Data.Singletons.Prelude.IsString sing :: Sing FromStringSym0 # | |
SShow a => SingI (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show | |
SShow a => SingI (Show_Sym0 :: TyFun a Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show | |
SingI d => SingI (ShowParenSym1 d :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowParenSym1 d) # | |
SingI (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show | |
(i ~ RIndex t ts, NatToInt i, FieldOffset ElField ts t, Storable (Rec ElField ts), AllConstrained (FieldOffset ElField ts) ts) => RecElem (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (t :: (Symbol, Type)) (t :: (Symbol, Type)) (ts :: [(Symbol, Type)]) (ts :: [(Symbol, Type)]) i | |
Defined in Data.Vinyl.SRec type RecElemFCtx SRec f # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636145Sym1 a6989586621680636155 :: TyFun [a] (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowListWithSym1 a6989586621680636073 :: TyFun [a] (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653283Sym1 a6989586621680653293 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653337Sym0 :: TyFun Nat (Either a b ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636181Sym0 :: TyFun Nat ((a, b) ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681203049Sym0 :: TyFun Nat (Arg a b ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680786572Sym0 :: TyFun Nat (Proxy s ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Proxy suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowParenSym2 a6989586621680636038 a6989586621680636039 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsSym1 a6989586621680636091 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowListSym1 a6989586621680636108 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186574Sym2 a6989586621681186582 a6989586621681186583 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186600Sym2 a6989586621681186608 a6989586621681186609 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowList_6989586621680636133Sym1 a6989586621680636138 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636163Sym2 a6989586621680636173 a6989586621680636174 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653251Sym2 a6989586621680653259 a6989586621680653260 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653401Sym2 a6989586621680653411 a6989586621680653412 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653423Sym2 a6989586621680653435 a6989586621680653436 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653451Sym2 a6989586621680653459 a6989586621680653460 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680636028Sym1 a_69895866216806360226989586621680636027 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636113Sym1 a6989586621680636119 :: TyFun a (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrecSym1 a6989586621680636099 :: TyFun a (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680379163GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186687Sym1 a6989586621681186695 :: TyFun (Min a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186716Sym1 a6989586621681186724 :: TyFun (Max a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186745Sym1 a6989586621681186753 :: TyFun (First a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186774Sym1 a6989586621681186782 :: TyFun (Last a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186803Sym1 a6989586621681186811 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186519Sym1 a6989586621681186527 :: TyFun (Option a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681011844Sym1 a6989586621681011852 :: TyFun (Identity a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680697367Sym1 a6989586621680697375 :: TyFun (First a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680697396Sym1 a6989586621680697404 :: TyFun (Last a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186548Sym1 a6989586621681186556 :: TyFun (Dual a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186629Sym1 a6989586621681186637 :: TyFun (Sum a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186658Sym1 a6989586621681186666 :: TyFun (Product a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653377Sym1 a6989586621680653385 :: TyFun (NonEmpty a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SingI d => SingI (ShowListWithSym1 d :: TyFun [a] (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowListWithSym1 d) # | |
(SingI d1, SingI d2) => SingI (ShowParenSym2 d1 d2 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowParenSym2 d1 d2) # | |
(SShow a, SingI d) => SingI (ShowsSym1 d :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show | |
(SShow a, SingI d) => SingI (ShowListSym1 d :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowListSym1 d) # | |
SingI (ErrorWithoutStackTraceSym0 :: TyFun Symbol a -> Type) | |
Defined in Data.Singletons.TypeLits.Internal | |
SingI (ErrorSym0 :: TyFun Symbol a -> Type) | |
Defined in Data.Singletons.TypeLits.Internal | |
(SShow a, SingI d) => SingI (ShowsPrecSym1 d :: TyFun a (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show 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 |
Defined in Data.Vinyl.SRec type RecElemFCtx (SRec2 ElField) f # | |
(is ~ RImage rs ss, RecSubset (Rec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) rs ss is, Storable (Rec ElField rs), Storable (Rec ElField ss), RPureConstrained (FieldOffset ElField ss) rs, RPureConstrained (FieldOffset ElField rs) rs, RFoldMap rs, RMap rs, RApply rs) => RecSubset (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (rs :: [(Symbol, Type)]) (ss :: [(Symbol, Type)]) is | |
Defined in Data.Vinyl.SRec type RecSubsetFCtx SRec f # 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 | |
Defined in Data.Vinyl.SRec type RecSubsetFCtx (SRec2 ElField) f # 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_6989586621680653337Sym1 a6989586621680653347 :: TyFun (Either a b) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636196Sym0 :: TyFun Nat ((a, b, c) ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681044002Sym0 :: TyFun Nat (Const a b ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Const suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowListWithSym2 a6989586621680636073 a6989586621680636074 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrecSym2 a6989586621680636099 a6989586621680636100 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186519Sym2 a6989586621681186527 a6989586621681186528 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186548Sym2 a6989586621681186556 a6989586621681186557 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186629Sym2 a6989586621681186637 a6989586621681186638 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186658Sym2 a6989586621681186666 a6989586621681186667 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186687Sym2 a6989586621681186695 a6989586621681186696 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186716Sym2 a6989586621681186724 a6989586621681186725 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186745Sym2 a6989586621681186753 a6989586621681186754 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186774Sym2 a6989586621681186782 a6989586621681186783 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681186803Sym2 a6989586621681186811 a6989586621681186812 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681011844Sym2 a6989586621681011852 a6989586621681011853 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680697367Sym2 a6989586621680697375 a6989586621680697376 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680697396Sym2 a6989586621680697404 a6989586621680697405 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636113Sym2 a6989586621680636119 a6989586621680636120 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636145Sym2 a6989586621680636155 a6989586621680636156 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653283Sym2 a6989586621680653293 a6989586621680653294 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653377Sym2 a6989586621680653385 a6989586621680653386 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromString_6989586621681489887Sym0 :: TyFun Symbol (Const a b) -> Type) | |
Defined in Data.Singletons.Prelude.IsString suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636181Sym1 a6989586621680636187 :: TyFun (a, b) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680379163GoSym1 w6989586621680379161 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681203049Sym1 a6989586621681203057 :: TyFun (Arg a b) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680786572Sym1 a6989586621680786580 :: TyFun (Proxy s) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Proxy suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680636081ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
(SingI d1, SingI d2) => SingI (ShowListWithSym2 d1 d2 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowListWithSym2 d1 d2) # | |
(SShow a, SingI d1, SingI d2) => SingI (ShowsPrecSym2 d1 d2 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show sing :: Sing (ShowsPrecSym2 d1 d2) # | |
SuppressUnusedWarnings (Let6989586621680379163GoSym2 w6989586621680379161 ws6989586621680379162 :: TyFun [Symbol] Symbol -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636212Sym0 :: TyFun Nat ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681203049Sym2 a6989586621681203057 a6989586621681203058 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680786572Sym2 a6989586621680786580 a6989586621680786581 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Proxy suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636181Sym2 a6989586621680636187 a6989586621680636188 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653337Sym2 a6989586621680653347 a6989586621680653348 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636196Sym1 a6989586621680636202 :: TyFun (a, b, c) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680636081ShowlSym1 showx6989586621680636077 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680636009Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681044002Sym1 a6989586621681044010 :: TyFun (Const a b) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Const suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636229Sym0 :: TyFun Nat ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621681044002Sym2 a6989586621681044010 a6989586621681044011 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Const suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636196Sym2 a6989586621680636202 a6989586621680636203 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636212Sym1 a6989586621680636218 :: TyFun (a, b, c, d) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680636081ShowlSym2 showx6989586621680636077 x6989586621680636078 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680636009Sym1 ss6989586621680636007 :: TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636247Sym0 :: TyFun Nat ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680636081ShowlSym3 showx6989586621680636077 x6989586621680636078 xs6989586621680636079 :: TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636212Sym2 a6989586621680636218 a6989586621680636219 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636229Sym1 a6989586621680636235 :: TyFun (a, b, c, d, e) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680636009Sym2 ss6989586621680636007 a_69895866216806360006989586621680636008 :: TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680636081ShowlSym4 showx6989586621680636077 x6989586621680636078 xs6989586621680636079 s6989586621680636080 :: TyFun [k1] Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636266Sym0 :: TyFun Nat ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636229Sym2 a6989586621680636235 a6989586621680636236 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636247Sym1 a6989586621680636253 :: TyFun (a, b, c, d, e, f) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680636009Sym3 ss6989586621680636007 a_69895866216806360006989586621680636008 s6989586621680636011 :: TyFun (a ~> Symbol) (a ~> c) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636247Sym2 a6989586621680636253 a6989586621680636254 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636266Sym1 a6989586621680636272 :: TyFun (a, b, c, d, e, f, g) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680636266Sym2 a6989586621680636272 a6989586621680636273 :: TyFun Symbol Symbol -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
TypeHasDoc a => GProductHasDoc (S1 ('MetaSel ('Nothing :: Maybe Symbol) _1 _2 _3) (Rec0 a)) Source # | |
Defined in Michelson.Typed.Haskell.Doc gProductDocHaskellRep :: [(Text, Text)] -> [FieldRep SomeTypeWithDoc] | |
(TypeHasDoc a, KnownSymbol field) => GProductHasDoc (S1 ('MetaSel ('Just field) _1 _2 _3) (Rec0 a)) Source # | |
Defined in Michelson.Typed.Haskell.Doc gProductDocHaskellRep :: [(Text, Text)] -> [FieldRep SomeTypeWithDoc] | |
type MEmpty | |
Defined in Fcf.Class.Monoid type MEmpty = "" | |
type Mempty | |
Defined in Data.Singletons.Prelude.Monoid type Mempty = Mempty_6989586621680690774Sym0 | |
type Sing | |
Defined in Data.Singletons.TypeLits.Internal | |
type Demote Symbol | |
Defined in Data.Singletons.TypeLits.Internal | |
type DemoteRep Symbol | |
Defined in GHC.Generics | |
data Sing (s :: Symbol) | |
Defined in GHC.Generics | |
type FromString a | |
Defined in Data.Singletons.Prelude.IsString type FromString a = a | |
type Mconcat (arg :: [Symbol]) | |
type Show_ (arg :: Symbol) | |
type Sconcat (arg :: NonEmpty Symbol) | |
type (x :: Symbol) <> (y :: Symbol) | With base >= 4.10.0.0. |
Defined in Fcf.Class.Monoid | |
type Mappend (arg1 :: Symbol) (arg2 :: Symbol) | |
type ShowList (arg1 :: [Symbol]) arg2 | |
type (a :: Symbol) <> (b :: Symbol) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Min (arg1 :: Symbol) (arg2 :: Symbol) | |
type Max (arg1 :: Symbol) (arg2 :: Symbol) | |
type (arg1 :: Symbol) >= (arg2 :: Symbol) | |
type (arg1 :: Symbol) > (arg2 :: Symbol) | |
type (arg1 :: Symbol) <= (arg2 :: Symbol) | |
type (arg1 :: Symbol) < (arg2 :: Symbol) | |
type Compare (a :: Symbol) (b :: Symbol) | |
Defined in Data.Singletons.TypeLits.Internal | |
type (x :: Symbol) /= (y :: Symbol) | |
type (x :: Symbol) == (y :: Symbol) | |
Defined in Data.Singletons.TypeLits.Internal | |
type ShowsPrec a1 (a2 :: Symbol) a3 | |
type Apply KnownSymbolSym0 (a6989586621679946210 :: Symbol) | |
Defined in Data.Singletons.TypeLits | |
type Apply ShowCommaSpaceSym0 (a6989586621680636020 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show type Apply ShowCommaSpaceSym0 (a6989586621680636020 :: Symbol) = ShowCommaSpaceSym1 a6989586621680636020 | |
type Apply ShowSpaceSym0 (a6989586621680636026 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowStringSym1 a6989586621680636054 :: TyFun Symbol Symbol -> Type) (a6989586621680636055 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowStringSym1 a6989586621680636054 :: TyFun Symbol Symbol -> Type) (a6989586621680636055 :: Symbol) = ShowStringSym2 a6989586621680636054 a6989586621680636055 | |
type Apply (ShowCharSym1 a6989586621680636065 :: TyFun Symbol Symbol -> Type) (a6989586621680636066 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowCharSym1 a6989586621680636065 :: TyFun Symbol Symbol -> Type) (a6989586621680636066 :: Symbol) = ShowCharSym2 a6989586621680636065 a6989586621680636066 | |
type Apply (Show_tupleSym1 a6989586621680636005 :: TyFun Symbol Symbol -> Type) (a6989586621680636006 :: Symbol) | |
type Apply (ShowsNatSym1 a6989586621680652779 :: TyFun Symbol Symbol -> Type) (a6989586621680652780 :: Symbol) | |
type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (a6989586621681489885 :: Symbol) | |
Defined in Data.Singletons.Prelude.IsString type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (a6989586621681489885 :: Symbol) = FromStringSym1 a6989586621681489885 :: k2 | |
type Apply (Show__6989586621680636125Sym0 :: TyFun a Symbol -> Type) (a6989586621680636129 :: a) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (a6989586621680636104 :: a) | |
type Apply (ShowParenSym2 a6989586621680636038 a6989586621680636039 :: TyFun Symbol Symbol -> Type) (a6989586621680636040 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowsSym1 a6989586621680636091 :: TyFun Symbol Symbol -> Type) (a6989586621680636092 :: Symbol) | |
type Apply (ShowListSym1 a6989586621680636108 :: TyFun Symbol Symbol -> Type) (a6989586621680636109 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym1 a6989586621680636108 :: TyFun Symbol Symbol -> Type) (a6989586621680636109 :: Symbol) = ShowListSym2 a6989586621680636108 a6989586621680636109 | |
type Apply (ShowsPrec_6989586621681186574Sym2 a6989586621681186582 a6989586621681186583 :: TyFun Symbol Symbol -> Type) (a6989586621681186584 :: Symbol) | |
type Apply (ShowsPrec_6989586621681186600Sym2 a6989586621681186608 a6989586621681186609 :: TyFun Symbol Symbol -> Type) (a6989586621681186610 :: Symbol) | |
type Apply (Lambda_6989586621680636028Sym1 a_69895866216806360226989586621680636027 :: TyFun Symbol Symbol -> Type) (xs6989586621680636030 :: Symbol) | |
type Apply (ShowList_6989586621680636133Sym1 a6989586621680636138 :: TyFun Symbol Symbol -> Type) (a6989586621680636139 :: Symbol) | |
type Apply (ShowsPrec_6989586621680636163Sym2 a6989586621680636173 a6989586621680636174 :: TyFun Symbol Symbol -> Type) (a6989586621680636175 :: Symbol) | |
type Apply (ShowsPrec_6989586621680653251Sym2 a6989586621680653259 a6989586621680653260 :: TyFun Symbol Symbol -> Type) (a6989586621680653261 :: Symbol) | |
type Apply (ShowsPrec_6989586621680653401Sym2 a6989586621680653411 a6989586621680653412 :: TyFun Symbol Symbol -> Type) (a6989586621680653413 :: Symbol) | |
type Apply (ShowsPrec_6989586621680653423Sym2 a6989586621680653435 a6989586621680653436 :: TyFun Symbol Symbol -> Type) (a6989586621680653437 :: Symbol) | |
type Apply (ShowsPrec_6989586621680653451Sym2 a6989586621680653459 a6989586621680653460 :: TyFun Symbol Symbol -> Type) (a6989586621680653461 :: Symbol) | |
type Apply (ShowListWithSym2 a6989586621680636073 a6989586621680636074 :: TyFun Symbol Symbol -> Type) (a6989586621680636075 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym2 a6989586621680636073 a6989586621680636074 :: TyFun Symbol Symbol -> Type) (a6989586621680636075 :: Symbol) = ShowListWithSym3 a6989586621680636073 a6989586621680636074 a6989586621680636075 | |
type Apply (ShowsPrecSym2 a6989586621680636099 a6989586621680636100 :: TyFun Symbol Symbol -> Type) (a6989586621680636101 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym2 a6989586621680636099 a6989586621680636100 :: TyFun Symbol Symbol -> Type) (a6989586621680636101 :: Symbol) = ShowsPrecSym3 a6989586621680636099 a6989586621680636100 a6989586621680636101 | |
type Apply (ShowsPrec_6989586621681186519Sym2 a6989586621681186527 a6989586621681186528 :: TyFun Symbol Symbol -> Type) (a6989586621681186529 :: Symbol) | |
type Apply (ShowsPrec_6989586621681186548Sym2 a6989586621681186556 a6989586621681186557 :: TyFun Symbol Symbol -> Type) (a6989586621681186558 :: Symbol) | |
type Apply (ShowsPrec_6989586621681186629Sym2 a6989586621681186637 a6989586621681186638 :: TyFun Symbol Symbol -> Type) (a6989586621681186639 :: Symbol) | |
type Apply (ShowsPrec_6989586621681186658Sym2 a6989586621681186666 a6989586621681186667 :: TyFun Symbol Symbol -> Type) (a6989586621681186668 :: Symbol) | |
type Apply (ShowsPrec_6989586621681186687Sym2 a6989586621681186695 a6989586621681186696 :: TyFun Symbol Symbol -> Type) (a6989586621681186697 :: Symbol) | |
type Apply (ShowsPrec_6989586621681186716Sym2 a6989586621681186724 a6989586621681186725 :: TyFun Symbol Symbol -> Type) (a6989586621681186726 :: Symbol) | |
type Apply (ShowsPrec_6989586621681186745Sym2 a6989586621681186753 a6989586621681186754 :: TyFun Symbol Symbol -> Type) (a6989586621681186755 :: Symbol) | |
type Apply (ShowsPrec_6989586621681186774Sym2 a6989586621681186782 a6989586621681186783 :: TyFun Symbol Symbol -> Type) (a6989586621681186784 :: Symbol) | |
type Apply (ShowsPrec_6989586621681186803Sym2 a6989586621681186811 a6989586621681186812 :: TyFun Symbol Symbol -> Type) (a6989586621681186813 :: Symbol) | |
type Apply (ShowsPrec_6989586621681011844Sym2 a6989586621681011852 a6989586621681011853 :: TyFun Symbol Symbol -> Type) (a6989586621681011854 :: Symbol) | |
type Apply (ShowsPrec_6989586621680697367Sym2 a6989586621680697375 a6989586621680697376 :: TyFun Symbol Symbol -> Type) (a6989586621680697377 :: Symbol) | |
type Apply (ShowsPrec_6989586621680697396Sym2 a6989586621680697404 a6989586621680697405 :: TyFun Symbol Symbol -> Type) (a6989586621680697406 :: Symbol) | |
type Apply (ShowsPrec_6989586621680636113Sym2 a6989586621680636119 a6989586621680636120 :: TyFun Symbol Symbol -> Type) (a6989586621680636121 :: Symbol) | |
type Apply (ShowsPrec_6989586621680636145Sym2 a6989586621680636155 a6989586621680636156 :: TyFun Symbol Symbol -> Type) (a6989586621680636157 :: Symbol) | |
type Apply (ShowsPrec_6989586621680653283Sym2 a6989586621680653293 a6989586621680653294 :: TyFun Symbol Symbol -> Type) (a6989586621680653295 :: Symbol) | |
type Apply (ShowsPrec_6989586621680653377Sym2 a6989586621680653385 a6989586621680653386 :: TyFun Symbol Symbol -> Type) (a6989586621680653387 :: Symbol) | |
type Apply (ShowsPrec_6989586621681203049Sym2 a6989586621681203057 a6989586621681203058 :: TyFun Symbol Symbol -> Type) (a6989586621681203059 :: Symbol) | |
type Apply (ShowsPrec_6989586621680786572Sym2 a6989586621680786580 a6989586621680786581 :: TyFun Symbol Symbol -> Type) (a6989586621680786582 :: Symbol) | |
type Apply (ShowsPrec_6989586621680636181Sym2 a6989586621680636187 a6989586621680636188 :: TyFun Symbol Symbol -> Type) (a6989586621680636189 :: Symbol) | |
type Apply (ShowsPrec_6989586621680653337Sym2 a6989586621680653347 a6989586621680653348 :: TyFun Symbol Symbol -> Type) (a6989586621680653349 :: Symbol) | |
type Apply (ShowsPrec_6989586621681044002Sym2 a6989586621681044010 a6989586621681044011 :: TyFun Symbol Symbol -> Type) (a6989586621681044012 :: Symbol) | |
type Apply (ShowsPrec_6989586621680636196Sym2 a6989586621680636202 a6989586621680636203 :: TyFun Symbol Symbol -> Type) (a6989586621680636204 :: Symbol) | |
type Apply (ShowsPrec_6989586621680636212Sym2 a6989586621680636218 a6989586621680636219 :: TyFun Symbol Symbol -> Type) (a6989586621680636220 :: Symbol) | |
type Apply (ShowsPrec_6989586621680636229Sym2 a6989586621680636235 a6989586621680636236 :: TyFun Symbol Symbol -> Type) (a6989586621680636237 :: Symbol) | |
type Apply (ShowsPrec_6989586621680636247Sym2 a6989586621680636253 a6989586621680636254 :: TyFun Symbol Symbol -> Type) (a6989586621680636255 :: Symbol) | |
type Apply (ShowsPrec_6989586621680636266Sym2 a6989586621680636272 a6989586621680636273 :: TyFun Symbol Symbol -> Type) (a6989586621680636274 :: Symbol) | |
type Apply (FromString_6989586621681489894Sym0 :: TyFun Symbol (Identity a) -> Type) (a6989586621681489898 :: Symbol) | |
type Apply ShowParenSym0 (a6989586621680636038 :: Bool) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsPrec_6989586621680653401Sym0 (a6989586621680653411 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsPrec_6989586621680653423Sym0 (a6989586621680653435 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsNatSym0 (a6989586621680652779 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsPrec_6989586621680636163Sym0 (a6989586621680636173 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsPrec_6989586621680653251Sym0 (a6989586621680653259 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsPrec_6989586621680653451Sym0 (a6989586621680653459 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsPrec_6989586621681186574Sym0 (a6989586621681186582 :: Nat) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply ShowsPrec_6989586621681186600Sym0 (a6989586621681186608 :: Nat) | |
Defined in Data.Singletons.Prelude.Semigroup | |
type Apply ShowStringSym0 (a6989586621680636054 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowCharSym0 (a6989586621680636065 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowsPrec_6989586621680653401Sym1 a6989586621680653411 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680653412 :: Bool) | |
type Apply (ShowsPrec_6989586621680653423Sym1 a6989586621680653435 :: TyFun Ordering (Symbol ~> Symbol) -> Type) (a6989586621680653436 :: Ordering) | |
type Apply (ShowsPrec_6989586621680636145Sym0 :: TyFun Nat ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636155 :: Nat) | |
type Apply (ShowsPrec_6989586621680653283Sym0 :: TyFun Nat (Maybe a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680653293 :: Nat) | |
type Apply (ShowsPrec_6989586621680636113Sym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636119 :: Nat) | |
type Apply (ShowsPrecSym0 :: TyFun Nat (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636099 :: Nat) | |
type Apply (ShowsPrec_6989586621681186687Sym0 :: TyFun Nat (Min a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681186695 :: Nat) | |
type Apply (ShowsPrec_6989586621681186716Sym0 :: TyFun Nat (Max a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681186724 :: Nat) | |
type Apply (ShowsPrec_6989586621681186745Sym0 :: TyFun Nat (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681186753 :: Nat) | |
type Apply (ShowsPrec_6989586621681186774Sym0 :: TyFun Nat (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681186782 :: Nat) | |
type Apply (ShowsPrec_6989586621681186803Sym0 :: TyFun Nat (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type) (a6989586621681186811 :: Nat) | |
type Apply (ShowsPrec_6989586621681186519Sym0 :: TyFun Nat (Option a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681186527 :: Nat) | |
type Apply (ShowsPrec_6989586621681011844Sym0 :: TyFun Nat (Identity a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681011852 :: Nat) | |
type Apply (ShowsPrec_6989586621680697367Sym0 :: TyFun Nat (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680697375 :: Nat) | |
type Apply (ShowsPrec_6989586621680697396Sym0 :: TyFun Nat (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680697404 :: Nat) | |
type Apply (ShowsPrec_6989586621681186548Sym0 :: TyFun Nat (Dual a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681186556 :: Nat) | |
type Apply (ShowsPrec_6989586621681186629Sym0 :: TyFun Nat (Sum a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681186637 :: Nat) | |
type Apply (ShowsPrec_6989586621681186658Sym0 :: TyFun Nat (Product a ~> (Symbol ~> Symbol)) -> Type) (a6989586621681186666 :: Nat) | |
type Apply (ShowsPrec_6989586621680653377Sym0 :: TyFun Nat (NonEmpty a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680653385 :: Nat) | |
type Apply (ShowsPrec_6989586621680636163Sym1 a6989586621680636173 :: TyFun Symbol (Symbol ~> Symbol) -> Type) (a6989586621680636174 :: Symbol) | |
type Apply (ShowsPrec_6989586621680653251Sym1 a6989586621680653259 :: TyFun () (Symbol ~> Symbol) -> Type) (a6989586621680653260 :: ()) | |
type Apply (Lambda_6989586621680636028Sym0 :: TyFun k (TyFun Symbol Symbol -> Type) -> Type) (a_69895866216806360226989586621680636027 :: k) | |
type Apply (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680636091 :: a) | |
type Apply (ShowsPrec_6989586621680653451Sym1 a6989586621680653459 :: TyFun Void (Symbol ~> Symbol) -> Type) (a6989586621680653460 :: Void) | |
type Apply (ShowsPrec_6989586621681186574Sym1 a6989586621681186582 :: TyFun All (Symbol ~> Symbol) -> Type) (a6989586621681186583 :: All) | |
type Apply (ShowsPrec_6989586621681186600Sym1 a6989586621681186608 :: TyFun Any (Symbol ~> Symbol) -> Type) (a6989586621681186609 :: Any) | |
type Apply (ShowsPrec_6989586621680653337Sym0 :: TyFun Nat (Either a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680653347 :: Nat) | |
type Apply (ShowsPrec_6989586621680636181Sym0 :: TyFun Nat ((a, b) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636187 :: Nat) | |
type Apply (ShowsPrec_6989586621681203049Sym0 :: TyFun Nat (Arg a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621681203057 :: Nat) | |
type Apply (ShowsPrec_6989586621680786572Sym0 :: TyFun Nat (Proxy s ~> (Symbol ~> Symbol)) -> Type) (a6989586621680786580 :: Nat) | |
type Apply (ShowsPrec_6989586621680636113Sym1 a6989586621680636119 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680636120 :: a) | |
type Apply (ShowsPrecSym1 a6989586621680636099 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680636100 :: a) | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym1 a6989586621680636099 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680636100 :: a) = ShowsPrecSym2 a6989586621680636099 a6989586621680636100 | |
type Apply (Let6989586621680379163GoSym0 :: TyFun k1 (TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) -> Type) (w6989586621680379161 :: k1) | |
type Apply (ShowsPrec_6989586621680636196Sym0 :: TyFun Nat ((a, b, c) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636202 :: Nat) | |
type Apply (ShowsPrec_6989586621681044002Sym0 :: TyFun Nat (Const a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621681044010 :: Nat) | |
type Apply (Let6989586621680379163GoSym1 w6989586621680379161 :: TyFun k2 (TyFun [Symbol] Symbol -> Type) -> Type) (ws6989586621680379162 :: k2) | |
type Apply (ShowsPrec_6989586621680636212Sym0 :: TyFun Nat ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636218 :: Nat) | |
type Apply (Let6989586621680636081ShowlSym1 showx6989586621680636077 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680636078 :: k2) | |
Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680636081ShowlSym1 showx6989586621680636077 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) (x6989586621680636078 :: k2) = Let6989586621680636081ShowlSym2 showx6989586621680636077 x6989586621680636078 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type | |
type Apply (Lambda_6989586621680636009Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) -> Type) (ss6989586621680636007 :: k1) | |
Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680636009Sym0 :: TyFun k1 (TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) -> Type) (ss6989586621680636007 :: k1) = Lambda_6989586621680636009Sym1 ss6989586621680636007 :: TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type | |
type Apply (ShowsPrec_6989586621680636229Sym0 :: TyFun Nat ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636235 :: Nat) | |
type Apply (Let6989586621680636081ShowlSym2 showx6989586621680636077 x6989586621680636078 :: TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) (xs6989586621680636079 :: k3) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (Lambda_6989586621680636009Sym1 ss6989586621680636007 :: TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) (a_69895866216806360006989586621680636008 :: k2) | |
Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680636009Sym1 ss6989586621680636007 :: TyFun k2 (TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) -> Type) (a_69895866216806360006989586621680636008 :: k2) = Lambda_6989586621680636009Sym2 ss6989586621680636007 a_69895866216806360006989586621680636008 :: TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type | |
type Apply (ShowsPrec_6989586621680636247Sym0 :: TyFun Nat ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636253 :: Nat) | |
type Apply (Let6989586621680636081ShowlSym3 showx6989586621680636077 x6989586621680636078 xs6989586621680636079 :: TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) (s6989586621680636080 :: Symbol) | |
Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680636081ShowlSym3 showx6989586621680636077 x6989586621680636078 xs6989586621680636079 :: TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) (s6989586621680636080 :: Symbol) = Let6989586621680636081ShowlSym4 showx6989586621680636077 x6989586621680636078 xs6989586621680636079 s6989586621680636080 | |
type Apply (ShowsPrec_6989586621680636266Sym0 :: TyFun Nat ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636272 :: Nat) | |
type Apply (FromString_6989586621681489887Sym0 :: TyFun Symbol (Const a b) -> Type) (a6989586621681489891 :: Symbol) | |
type Rep (ElField '(s, a)) | |
type Apply UnwordsSym0 (a6989586621680379160 :: [Symbol]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply UnlinesSym0 (a6989586621680379170 :: [Symbol]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621680379163GoSym2 w6989586621680379161 ws6989586621680379162 :: TyFun [Symbol] Symbol -> Type) (a6989586621680379164 :: [Symbol]) | |
type Apply (Let6989586621680636081ShowlSym4 showx6989586621680636077 x6989586621680636078 xs6989586621680636079 s6989586621680636080 :: TyFun [k1] Symbol -> Type) (a6989586621680636082 :: [k1]) | |
Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680636081ShowlSym4 showx6989586621680636077 x6989586621680636078 xs6989586621680636079 s6989586621680636080 :: TyFun [k1] Symbol -> Type) (a6989586621680636082 :: [k1]) = Let6989586621680636081ShowlSym5 showx6989586621680636077 x6989586621680636078 xs6989586621680636079 s6989586621680636080 a6989586621680636082 | |
type Apply Show_tupleSym0 (a6989586621680636005 :: [Symbol ~> Symbol]) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowList_6989586621680636133Sym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636138 :: [a]) | |
type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636108 :: [a]) | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636108 :: [a]) = ShowListSym1 a6989586621680636108 | |
type Apply (ShowListWithSym1 a6989586621680636073 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636074 :: [a]) | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowListWithSym1 a6989586621680636073 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636074 :: [a]) = ShowListWithSym2 a6989586621680636073 a6989586621680636074 | |
type Apply (ShowsPrec_6989586621680636145Sym1 a6989586621680636155 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680636156 :: [a]) | |
type Apply (ShowsPrec_6989586621680653283Sym1 a6989586621680653293 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type) (a6989586621680653294 :: Maybe a) | |
type Apply (ShowsPrec_6989586621681186687Sym1 a6989586621681186695 :: TyFun (Min a) (Symbol ~> Symbol) -> Type) (a6989586621681186696 :: Min a) | |
type Apply (ShowsPrec_6989586621681186716Sym1 a6989586621681186724 :: TyFun (Max a) (Symbol ~> Symbol) -> Type) (a6989586621681186725 :: Max a) | |
type Apply (ShowsPrec_6989586621681186745Sym1 a6989586621681186753 :: TyFun (First a) (Symbol ~> Symbol) -> Type) (a6989586621681186754 :: First a) | |
type Apply (ShowsPrec_6989586621681186774Sym1 a6989586621681186782 :: TyFun (Last a) (Symbol ~> Symbol) -> Type) (a6989586621681186783 :: Last a) | |
type Apply (ShowsPrec_6989586621681186803Sym1 a6989586621681186811 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type) (a6989586621681186812 :: WrappedMonoid m) | |
Defined in Data.Singletons.Prelude.Semigroup type Apply (ShowsPrec_6989586621681186803Sym1 a6989586621681186811 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type) (a6989586621681186812 :: WrappedMonoid m) = ShowsPrec_6989586621681186803Sym2 a6989586621681186811 a6989586621681186812 | |
type Apply (ShowsPrec_6989586621681186519Sym1 a6989586621681186527 :: TyFun (Option a) (Symbol ~> Symbol) -> Type) (a6989586621681186528 :: Option a) | |
type Apply (ShowsPrec_6989586621681011844Sym1 a6989586621681011852 :: TyFun (Identity a) (Symbol ~> Symbol) -> Type) (a6989586621681011853 :: Identity a) | |
type Apply (ShowsPrec_6989586621680697367Sym1 a6989586621680697375 :: TyFun (First a) (Symbol ~> Symbol) -> Type) (a6989586621680697376 :: First a) | |
type Apply (ShowsPrec_6989586621680697396Sym1 a6989586621680697404 :: TyFun (Last a) (Symbol ~> Symbol) -> Type) (a6989586621680697405 :: Last a) | |
type Apply (ShowsPrec_6989586621681186548Sym1 a6989586621681186556 :: TyFun (Dual a) (Symbol ~> Symbol) -> Type) (a6989586621681186557 :: Dual a) | |
type Apply (ShowsPrec_6989586621681186629Sym1 a6989586621681186637 :: TyFun (Sum a) (Symbol ~> Symbol) -> Type) (a6989586621681186638 :: Sum a) | |
type Apply (ShowsPrec_6989586621681186658Sym1 a6989586621681186666 :: TyFun (Product a) (Symbol ~> Symbol) -> Type) (a6989586621681186667 :: Product a) | |
type Apply (ShowsPrec_6989586621680653377Sym1 a6989586621680653385 :: TyFun (NonEmpty a) (Symbol ~> Symbol) -> Type) (a6989586621680653386 :: NonEmpty a) | |
type HKD ElField ('(s, a) :: (Symbol, Type)) | |
Defined in Data.Vinyl.XRec | |
type RecElemFCtx (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (f :: (Symbol, Type) -> Type) | |
type RecElemFCtx (SRec2 ElField) (f :: (Symbol, Type) -> Type) | |
Defined in Data.Vinyl.SRec | |
type Apply (ShowParenSym1 a6989586621680636038 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680636039 :: Symbol ~> Symbol) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680636073 :: a ~> (Symbol ~> Symbol)) | |
type RecSubsetFCtx (SRec :: ((Symbol, Type) -> Type) -> [(Symbol, Type)] -> Type) (f :: (Symbol, Type) -> Type) | |
type RecSubsetFCtx (SRec2 ElField) (f :: (Symbol, Type) -> Type) | |
Defined in Data.Vinyl.SRec | |
type Apply (ShowsPrec_6989586621680653337Sym1 a6989586621680653347 :: TyFun (Either a b) (Symbol ~> Symbol) -> Type) (a6989586621680653348 :: Either a b) | |
type Apply (ShowsPrec_6989586621680636181Sym1 a6989586621680636187 :: TyFun (a, b) (Symbol ~> Symbol) -> Type) (a6989586621680636188 :: (a, b)) | |
type Apply (ShowsPrec_6989586621681203049Sym1 a6989586621681203057 :: TyFun (Arg a b) (Symbol ~> Symbol) -> Type) (a6989586621681203058 :: Arg a b) | |
type Apply (ShowsPrec_6989586621680786572Sym1 a6989586621680786580 :: TyFun (Proxy s) (Symbol ~> Symbol) -> Type) (a6989586621680786581 :: Proxy s) | |
type Apply (Let6989586621680636081ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) (showx6989586621680636077 :: k1 ~> (Symbol ~> Symbol)) | |
Defined in Data.Singletons.Prelude.Show type Apply (Let6989586621680636081ShowlSym0 :: TyFun (k1 ~> (Symbol ~> Symbol)) (TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type) -> Type) (showx6989586621680636077 :: k1 ~> (Symbol ~> Symbol)) = Let6989586621680636081ShowlSym1 showx6989586621680636077 :: TyFun k2 (TyFun k3 (TyFun Symbol (TyFun [k1] Symbol -> Type) -> Type) -> Type) -> Type | |
type Apply (Lambda_6989586621680636009Sym2 ss6989586621680636007 a_69895866216806360006989586621680636008 :: TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) (s6989586621680636011 :: Symbol ~> c) | |
Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680636009Sym2 ss6989586621680636007 a_69895866216806360006989586621680636008 :: TyFun (Symbol ~> c) (TyFun (a ~> Symbol) (a ~> c) -> Type) -> Type) (s6989586621680636011 :: Symbol ~> c) = Lambda_6989586621680636009Sym3 ss6989586621680636007 a_69895866216806360006989586621680636008 s6989586621680636011 :: TyFun (a ~> Symbol) (a ~> c) -> Type | |
type Apply (Lambda_6989586621680636009Sym3 ss6989586621680636007 a_69895866216806360006989586621680636008 s6989586621680636011 :: TyFun (a ~> Symbol) (a ~> c) -> Type) (r6989586621680636012 :: a ~> Symbol) | |
Defined in Data.Singletons.Prelude.Show type Apply (Lambda_6989586621680636009Sym3 ss6989586621680636007 a_69895866216806360006989586621680636008 s6989586621680636011 :: TyFun (a ~> Symbol) (a ~> c) -> Type) (r6989586621680636012 :: a ~> Symbol) = Lambda_6989586621680636009Sym4 ss6989586621680636007 a_69895866216806360006989586621680636008 s6989586621680636011 r6989586621680636012 | |
type Apply (ShowsPrec_6989586621680636196Sym1 a6989586621680636202 :: TyFun (a, b, c) (Symbol ~> Symbol) -> Type) (a6989586621680636203 :: (a, b, c)) | |
type Apply (ShowsPrec_6989586621681044002Sym1 a6989586621681044010 :: TyFun (Const a b) (Symbol ~> Symbol) -> Type) (a6989586621681044011 :: Const a b) | |
type Apply (ShowsPrec_6989586621680636212Sym1 a6989586621680636218 :: TyFun (a, b, c, d) (Symbol ~> Symbol) -> Type) (a6989586621680636219 :: (a, b, c, d)) | |
type Apply (ShowsPrec_6989586621680636229Sym1 a6989586621680636235 :: TyFun (a, b, c, d, e) (Symbol ~> Symbol) -> Type) (a6989586621680636236 :: (a, b, c, d, e)) | |
type Apply (ShowsPrec_6989586621680636247Sym1 a6989586621680636253 :: TyFun (a, b, c, d, e, f) (Symbol ~> Symbol) -> Type) (a6989586621680636254 :: (a, b, c, d, e, f)) | |
type Apply (ShowsPrec_6989586621680636266Sym1 a6989586621680636272 :: TyFun (a, b, c, d, e, f, g) (Symbol ~> Symbol) -> Type) (a6989586621680636273 :: (a, b, c, d, e, f, g)) | |
class KnownSymbol (n :: Symbol) #
This class gives the string associated with a type-level symbol. There are instances of the class for every concrete literal: "hello", etc.
Since: base-4.7.0.0
symbolSing
type family AppendSymbol (a :: Symbol) (b :: Symbol) :: Symbol where ... #
Concatenation of type-level symbols.
Since: base-4.10.0.0
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.
Text Symbol | Show the text as is. |
ShowType t | Pretty print the type.
|
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 messageerr
.
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.