Safe Haskell	None
Language	Haskell2010

Data.Type.Lens.Internal

Contents

Defunctionalization Symbols

Synopsis

data Context a b t = MkContext (b ~> t) a
data Bazaar a b t
- = Done t
- | More a (Bazaar a b (b ~> t))
type family UnBazaar (a :: (~>) a (f b)) (a :: Bazaar a b t) :: f t where ...
sUnBazaar :: forall f a b t (t :: (~>) a (f b)) (t :: Bazaar a b t). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply UnBazaarSym0 t) t :: f t)
data family Sing (a :: k) :: Type
type MkContextSym0 = TyCon2 MkContext
type MkContextSym1 f = TyCon1 (MkContext f)
type MkContextSym2 f x = MkContext f x
type DoneSym0 = TyCon1 Done
type DoneSym1 x = Done x
type MoreSym0 = TyCon2 More
type MoreSym1 x = TyCon1 (More x)
type MoreSym2 x b = More x b
data UnBazaarSym0 :: forall a6989586621679165099 b6989586621679165100 f6989586621679165098 t6989586621679165101. (~>) ((~>) a6989586621679165099 (f6989586621679165098 b6989586621679165100)) ((~>) (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) (f6989586621679165098 t6989586621679165101))
data UnBazaarSym1 (a6989586621679166004 :: (~>) a6989586621679165099 (f6989586621679165098 b6989586621679165100)) :: forall t6989586621679165101. (~>) (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) (f6989586621679165098 t6989586621679165101)
type UnBazaarSym2 (a6989586621679166004 :: (~>) a6989586621679165099 (f6989586621679165098 b6989586621679165100)) (a6989586621679166005 :: Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) = UnBazaar a6989586621679166004 a6989586621679166005

Documentation

data Context a b t Source #

A partially applied lens

Constructors

MkContext (b ~> t) a

Instances

PFunctor (Context a b) Source #
Instance details Defined in Data.Type.Lens.Internal Associated Types type Fmap arg arg1 :: f b # type arg <$ arg1 :: f a #
SFunctor (Context a b) Source #
Instance details Defined in Data.Type.Lens.Internal Methods sFmap :: Sing t1 -> Sing t2 -> Sing (Apply (Apply FmapSym0 t1) t2) # (%<$) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<$@#@$) t1) t2) #
SuppressUnusedWarnings (CloneLensSym0 :: TyFun ((a6989586621679210850 ~> Context a6989586621679210850 b6989586621679210851 b6989586621679210851) ~> (s6989586621679210852 ~> Context a6989586621679210850 b6989586621679210851 t6989586621679210853)) ((a6989586621679210850 ~> f6989586621679210849 b6989586621679210851) ~> (s6989586621679210852 ~> f6989586621679210849 t6989586621679210853)) -> Type) Source #
Instance details Defined in Data.Type.Lens Methods suppressUnusedWarnings :: () #
SFunctor f => SingI (CloneLensSym0 :: TyFun ((a ~> Context a b b) ~> (s ~> Context a b t)) ((a ~> f b) ~> (s ~> f t)) -> Type) Source #
Instance details Defined in Data.Type.Lens Methods sing :: Sing CloneLensSym0 #
type (arg :: a1) <$ (arg1 :: Context a2 b1 b2) Source #
Instance details Defined in Data.Type.Lens.Internal type (arg :: a1) <$ (arg1 :: Context a2 b1 b2) = Apply (Apply (TFHelper_6989586621679939746Sym0 :: TyFun a1 (Context a2 b1 b2 ~> Context a2 b1 a1) -> Type) arg) arg1
type Fmap (f :: t ~> q) (c :: Context a b t) Source #
Instance details Defined in Data.Type.Lens.Internal type Fmap (f :: t ~> q) (c :: Context a b t)
type Apply (CloneLensSym0 :: TyFun ((a6989586621679210850 ~> Context a6989586621679210850 b6989586621679210851 b6989586621679210851) ~> (s6989586621679210852 ~> Context a6989586621679210850 b6989586621679210851 t6989586621679210853)) ((a6989586621679210850 ~> f6989586621679210849 b6989586621679210851) ~> (s6989586621679210852 ~> f6989586621679210849 t6989586621679210853)) -> Type) (a6989586621679214896 :: (a6989586621679210850 ~> Context a6989586621679210850 b6989586621679210851 b6989586621679210851) ~> (s6989586621679210852 ~> Context a6989586621679210850 b6989586621679210851 t6989586621679210853)) Source #
Instance details Defined in Data.Type.Lens type Apply (CloneLensSym0 :: TyFun ((a6989586621679210850 ~> Context a6989586621679210850 b6989586621679210851 b6989586621679210851) ~> (s6989586621679210852 ~> Context a6989586621679210850 b6989586621679210851 t6989586621679210853)) ((a6989586621679210850 ~> f6989586621679210849 b6989586621679210851) ~> (s6989586621679210852 ~> f6989586621679210849 t6989586621679210853)) -> Type) (a6989586621679214896 :: (a6989586621679210850 ~> Context a6989586621679210850 b6989586621679210851 b6989586621679210851) ~> (s6989586621679210852 ~> Context a6989586621679210850 b6989586621679210851 t6989586621679210853)) = (CloneLensSym1 a6989586621679214896 f6989586621679210849 :: TyFun (a6989586621679210850 ~> f6989586621679210849 b6989586621679210851) (s6989586621679210852 ~> f6989586621679210849 t6989586621679210853) -> Type)
data Sing (c :: Context a b t) Source #
Instance details Defined in Data.Type.Lens.Internal data Sing (c :: Context a b t) where SMkContext :: forall a b t (c :: Context a b t) (f :: b ~> t) (x :: a). Sing f -> Sing x -> Sing (MkContext f x)

data Bazaar a b t Source #

A partially applied traversal

Constructors

Done t
More a (Bazaar a b (b ~> t))

Instances

PFunctor (Bazaar a b) Source #
Instance details Defined in Data.Type.Lens.Internal Associated Types type Fmap arg arg1 :: f b # type arg <$ arg1 :: f a #
PApplicative (Bazaar a b) Source #
Instance details Defined in Data.Type.Lens.Internal Associated Types type Pure arg :: f a # type arg <> arg1 :: f b # type LiftA2 arg arg1 arg2 :: f c # type arg > arg1 :: f b # type arg <* arg1 :: f a #
SFunctor (Bazaar a b) Source #
Instance details Defined in Data.Type.Lens.Internal Methods sFmap :: Sing t1 -> Sing t2 -> Sing (Apply (Apply FmapSym0 t1) t2) # (%<$) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<$@#@$) t1) t2) #
SApplicative (Bazaar a b) Source #
Instance details Defined in Data.Type.Lens.Internal Methods sPure :: Sing t -> Sing (Apply PureSym0 t) # (%<>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<>@#@$) t1) t2) # sLiftA2 :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply LiftA2Sym0 t1) t2) t3) # (%>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2) # (%<) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2) #
SuppressUnusedWarnings (UnBazaarSym0 :: TyFun (a6989586621679165099 ~> f6989586621679165098 b6989586621679165100) (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101 ~> f6989586621679165098 t6989586621679165101) -> Type) Source #
Instance details Defined in Data.Type.Lens.Internal Methods suppressUnusedWarnings :: () #
SApplicative f => SingI (UnBazaarSym0 :: TyFun (a ~> f b) (Bazaar a b t ~> f t) -> Type) Source #
Instance details Defined in Data.Type.Lens.Internal Methods sing :: Sing UnBazaarSym0 #
SuppressUnusedWarnings (UnBazaarSym1 a6989586621679166004 t6989586621679165101 :: TyFun (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) (f6989586621679165098 t6989586621679165101) -> Type) Source #
Instance details Defined in Data.Type.Lens.Internal Methods suppressUnusedWarnings :: () #
(SApplicative f, SingI d) => SingI (UnBazaarSym1 d t :: TyFun (Bazaar a b t) (f t) -> Type) Source #
Instance details Defined in Data.Type.Lens.Internal Methods sing :: Sing (UnBazaarSym1 d t) #
type Apply (UnBazaarSym1 a6989586621679166004 t :: TyFun (Bazaar a b t) (f t) -> Type) (a6989586621679166005 :: Bazaar a b t) Source #
Instance details Defined in Data.Type.Lens.Internal type Apply (UnBazaarSym1 a6989586621679166004 t :: TyFun (Bazaar a b t) (f t) -> Type) (a6989586621679166005 :: Bazaar a b t) = UnBazaar a6989586621679166004 a6989586621679166005
type Pure (x :: t) Source #
Instance details Defined in Data.Type.Lens.Internal type Pure (x :: t)
type (arg :: a1) <$ (arg1 :: Bazaar a2 b1 b2) Source #
Instance details Defined in Data.Type.Lens.Internal type (arg :: a1) <$ (arg1 :: Bazaar a2 b1 b2) = Apply (Apply (TFHelper_6989586621679939746Sym0 :: TyFun a1 (Bazaar a2 b1 b2 ~> Bazaar a2 b1 a1) -> Type) arg) arg1
type Fmap (f :: t ~> q) (c :: Bazaar a b t) Source #
Instance details Defined in Data.Type.Lens.Internal type Fmap (f :: t ~> q) (c :: Bazaar a b t)
type (arg :: Bazaar a2 b1 a1) <* (arg1 :: Bazaar a2 b1 b2) Source #
Instance details Defined in Data.Type.Lens.Internal type (arg :: Bazaar a2 b1 a1) <* (arg1 :: Bazaar a2 b1 b2) = Apply (Apply (TFHelper_6989586621679939829Sym0 :: TyFun (Bazaar a2 b1 a1) (Bazaar a2 b1 b2 ~> Bazaar a2 b1 a1) -> Type) arg) arg1
type (arg :: Bazaar a2 b1 a1) *> (arg1 :: Bazaar a2 b1 b2) Source #
Instance details Defined in Data.Type.Lens.Internal type (arg :: Bazaar a2 b1 a1) *> (arg1 :: Bazaar a2 b1 b2) = Apply (Apply (TFHelper_6989586621679939813Sym0 :: TyFun (Bazaar a2 b1 a1) (Bazaar a2 b1 b2 ~> Bazaar a2 b1 b2) -> Type) arg) arg1
type (arg :: Bazaar a1 b2 (a2 ~> b1)) <*> (arg1 :: Bazaar a1 b2 a2) Source #
Instance details Defined in Data.Type.Lens.Internal type (arg :: Bazaar a1 b2 (a2 ~> b1)) <*> (arg1 :: Bazaar a1 b2 a2) = Apply (Apply (TFHelper_6989586621679939782Sym0 :: TyFun (Bazaar a1 b2 (a2 ~> b1)) (Bazaar a1 b2 a2 ~> Bazaar a1 b2 b1) -> Type) arg) arg1
type LiftA2 (f :: t ~> (r ~> s)) (x :: Bazaar a b t) (y :: Bazaar a b r) Source #
Instance details Defined in Data.Type.Lens.Internal type LiftA2 (f :: t ~> (r ~> s)) (x :: Bazaar a b t) (y :: Bazaar a b r)
type Apply (UnBazaarSym0 :: TyFun (a6989586621679165099 ~> f6989586621679165098 b6989586621679165100) (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101 ~> f6989586621679165098 t6989586621679165101) -> Type) (a6989586621679166004 :: a6989586621679165099 ~> f6989586621679165098 b6989586621679165100) Source #
Instance details Defined in Data.Type.Lens.Internal type Apply (UnBazaarSym0 :: TyFun (a6989586621679165099 ~> f6989586621679165098 b6989586621679165100) (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101 ~> f6989586621679165098 t6989586621679165101) -> Type) (a6989586621679166004 :: a6989586621679165099 ~> f6989586621679165098 b6989586621679165100) = (UnBazaarSym1 a6989586621679166004 t6989586621679165101 :: TyFun (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) (f6989586621679165098 t6989586621679165101) -> Type)
data Sing (c :: Bazaar a b t) Source #
Instance details Defined in Data.Type.Lens.Internal data Sing (c :: Bazaar a b t) where SDone :: forall a b t (c :: Bazaar a b t) (x :: t). Sing x -> Sing (Done x :: Bazaar a b t) SMore :: forall a b t (c :: Bazaar a b t) (x :: a) (b :: Bazaar a b (b ~> t)). Sing x -> Sing b -> Sing (More x b)

type family UnBazaar (a :: (~>) a (f b)) (a :: Bazaar a b t) :: f t where ... Source #

Equations

UnBazaar _ (Done x) = Apply PureSym0 x
UnBazaar f (More x b) = Apply (Apply (Apply LiftA2Sym0 (&@#@$)) (Apply f x)) (Apply (Apply UnBazaarSym0 f) b)

sUnBazaar :: forall f a b t (t :: (~>) a (f b)) (t :: Bazaar a b t). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply UnBazaarSym0 t) t :: f t) Source #

data family Sing (a :: k) :: Type #

The singleton kind-indexed data family.

Instances

data Sing (a :: Bool)
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: Bool) where SFalse :: forall (a :: Bool). Sing False STrue :: forall (a :: Bool). Sing True
data Sing (a :: Ordering)
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: Ordering) where SLT :: forall (a :: Ordering). Sing LT SEQ :: forall (a :: Ordering). Sing EQ SGT :: forall (a :: Ordering). Sing GT
data Sing (n :: Nat)
Instance details Defined in Data.Singletons.TypeLits.Internal data Sing (n :: Nat) where SNat :: forall (n :: Nat). KnownNat n => Sing n
data Sing (n :: Symbol)
Instance details Defined in Data.Singletons.TypeLits.Internal data Sing (n :: Symbol) where SSym :: forall (n :: Symbol). KnownSymbol n => Sing n
data Sing (a :: ())
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: ()) where STuple0 :: forall (a :: ()). Sing ()
data Sing (a :: Void)
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: Void)
data Sing (a :: All)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: All) where SAll :: forall (a :: All) (n :: Bool). {..} -> Sing (All n)
data Sing (a :: Any)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: Any) where SAny :: forall (a :: Any) (n :: Bool). {..} -> Sing (Any n)
data Sing (a :: N) Source #
Instance details Defined in Data.Type.Lens data Sing (a :: N) where SZ :: forall (a :: N). Sing Z SS :: forall (a :: N) (n :: N). Sing n -> Sing (S n)
data Sing (b :: [a])
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (b :: [a]) where SNil :: forall a (b :: [a]). Sing ([] :: [a]) SCons :: forall a (b :: [a]) (n1 :: a) (n2 :: [a]). Sing n1 -> Sing n2 -> Sing (n1 ': n2)
data Sing (b :: Maybe a)
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (b :: Maybe a) where SNothing :: forall a (b :: Maybe a). Sing (Nothing :: Maybe a) SJust :: forall a (b :: Maybe a) (n :: a). Sing n -> Sing (Just n)
data Sing (b :: Min a)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Min a) where SMin :: forall a (b :: Min a) (n :: a). {..} -> Sing (Min n)
data Sing (b :: Max a)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Max a) where SMax :: forall a (b :: Max a) (n :: a). {..} -> Sing (Max n)
data Sing (b :: First a)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: First a) where SFirst :: forall a (b :: First a) (n :: a). {..} -> Sing (First n)
data Sing (b :: Last a)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Last a) where SLast :: forall a (b :: Last a) (n :: a). {..} -> Sing (Last n)
data Sing (a :: WrappedMonoid m)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: WrappedMonoid m) where SWrapMonoid :: forall m (a :: WrappedMonoid m) (n :: m). {..} -> Sing (WrapMonoid n)
data Sing (b :: Option a)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Option a) where SOption :: forall a (b :: Option a) (n :: Maybe a). {..} -> Sing (Option n)
data Sing (b :: Identity a)
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (b :: Identity a) where SIdentity :: forall a (b :: Identity a) (n :: a). {..} -> Sing (Identity n)
data Sing (b :: First a)
Instance details Defined in Data.Singletons.Prelude.Monoid data Sing (b :: First a) where SFirst :: forall a (b :: First a) (n :: Maybe a). {..} -> Sing (First n)
data Sing (b :: Last a)
Instance details Defined in Data.Singletons.Prelude.Monoid data Sing (b :: Last a) where SLast :: forall a (b :: Last a) (n :: Maybe a). {..} -> Sing (Last n)
data Sing (b :: Dual a)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Dual a) where SDual :: forall a (b :: Dual a) (n :: a). {..} -> Sing (Dual n)
data Sing (b :: Sum a)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Sum a) where SSum :: forall a (b :: Sum a) (n :: a). {..} -> Sing (Sum n)
data Sing (b :: Product a)
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Product a) where SProduct :: forall a (b :: Product a) (n :: a). {..} -> Sing (Product n)
data Sing (b :: Down a)
Instance details Defined in Data.Singletons.Prelude.Ord data Sing (b :: Down a) where SDown :: forall a (b :: Down a) (n :: a). Sing n -> Sing (Down n)
data Sing (b :: NonEmpty a)
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (b :: NonEmpty a) where (:%\|) :: forall a (b :: NonEmpty a) (n1 :: a) (n2 :: [a]). Sing n1 -> Sing n2 -> Sing (n1 :\| n2)
data Sing (b :: Endo a)
Instance details Defined in Data.Singletons.Prelude.Foldable data Sing (b :: Endo a) where SEndo :: forall a (b :: Endo a) (x :: a ~> a). Sing x -> Sing (Endo x)
data Sing (b :: MinInternal a)
Instance details Defined in Data.Singletons.Prelude.Foldable data Sing (b :: MinInternal a) where SMinInternal :: forall a (b :: MinInternal a) (x :: Maybe a). Sing x -> Sing (MinInternal x)
data Sing (b :: MaxInternal a)
Instance details Defined in Data.Singletons.Prelude.Foldable data Sing (b :: MaxInternal a) where SMaxInternal :: forall a (b :: MaxInternal a) (x :: Maybe a). Sing x -> Sing (MaxInternal x)
data Sing (c :: Either a b)
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (c :: Either a b) where SLeft :: forall a b (c :: Either a b) (n :: a). Sing n -> Sing (Left n :: Either a b) SRight :: forall a b (c :: Either a b) (n :: b). Sing n -> Sing (Right n :: Either a b)
data Sing (c :: (a, b))
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (c :: (a, b)) where STuple2 :: forall a b (c :: (a, b)) (n1 :: a) (n2 :: b). Sing n1 -> Sing n2 -> Sing ((,) n1 n2)
data Sing (c :: Arg a b)
Instance details Defined in Data.Singletons.Prelude.Semigroup data Sing (c :: Arg a b) where SArg :: forall a b (c :: Arg a b) (n1 :: a) (n2 :: b). Sing n1 -> Sing n2 -> Sing (Arg n1 n2)
data Sing (f :: k1 ~> k2)
Instance details Defined in Data.Singletons.Internal data Sing (f :: k1 ~> k2) = SLambda { applySing :: forall (t :: k1). Sing t -> Sing (f @@ t) }
data Sing (b :: StateL s a)
Instance details Defined in Data.Singletons.Prelude.Traversable data Sing (b :: StateL s a) where SStateL :: forall s a (b :: StateL s a) (x :: s ~> (s, a)). Sing x -> Sing (StateL x)
data Sing (b :: StateR s a)
Instance details Defined in Data.Singletons.Prelude.Traversable data Sing (b :: StateR s a) where SStateR :: forall s a (b :: StateR s a) (x :: s ~> (s, a)). Sing x -> Sing (StateR x)
data Sing (d :: (a, b, c))
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (d :: (a, b, c)) where STuple3 :: forall a b c (d :: (a, b, c)) (n1 :: a) (n2 :: b) (n3 :: c). Sing n1 -> Sing n2 -> Sing n3 -> Sing ((,,) n1 n2 n3)
data Sing (c :: Const a b)
Instance details Defined in Data.Singletons.Prelude.Const data Sing (c :: Const a b) where SConst :: forall k a (b :: k) (c :: Const a b) (a1 :: a). {..} -> Sing (Const a1 :: Const a b)
data Sing (c :: Context a b t) Source #
Instance details Defined in Data.Type.Lens.Internal data Sing (c :: Context a b t) where SMkContext :: forall a b t (c :: Context a b t) (f :: b ~> t) (x :: a). Sing f -> Sing x -> Sing (MkContext f x)
data Sing (c :: Bazaar a b t) Source #
Instance details Defined in Data.Type.Lens.Internal data Sing (c :: Bazaar a b t) where SDone :: forall a b t (c :: Bazaar a b t) (x :: t). Sing x -> Sing (Done x :: Bazaar a b t) SMore :: forall a b t (c :: Bazaar a b t) (x :: a) (b :: Bazaar a b (b ~> t)). Sing x -> Sing b -> Sing (More x b)
data Sing (e :: (a, b, c, d))
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (e :: (a, b, c, d)) where STuple4 :: forall a b c d (e :: (a, b, c, d)) (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing ((,,,) n1 n2 n3 n4)
data Sing (f :: (a, b, c, d, e))
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (f :: (a, b, c, d, e)) where STuple5 :: forall a b c d e (f :: (a, b, c, d, e)) (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d) (n5 :: e). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing n5 -> Sing ((,,,,) n1 n2 n3 n4 n5)
data Sing (g :: (a, b, c, d, e, f))
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (g :: (a, b, c, d, e, f)) where STuple6 :: forall a b c d e f (g :: (a, b, c, d, e, f)) (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d) (n5 :: e) (n6 :: f). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing n5 -> Sing n6 -> Sing ((,,,,,) n1 n2 n3 n4 n5 n6)
data Sing (h :: (a, b, c, d, e, f, g))
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (h :: (a, b, c, d, e, f, g)) where STuple7 :: forall a b c d e f g (h :: (a, b, c, d, e, f, g)) (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d) (n5 :: e) (n6 :: f) (n7 :: g). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing n5 -> Sing n6 -> Sing n7 -> Sing ((,,,,,,) n1 n2 n3 n4 n5 n6 n7)

Defunctionalization Symbols

type MkContextSym0 = TyCon2 MkContext Source #

type MkContextSym1 f = TyCon1 (MkContext f) Source #

type MkContextSym2 f x = MkContext f x Source #

type DoneSym0 = TyCon1 Done Source #

type DoneSym1 x = Done x Source #

type MoreSym0 = TyCon2 More Source #

type MoreSym1 x = TyCon1 (More x) Source #

type MoreSym2 x b = More x b Source #

data UnBazaarSym0 :: forall a6989586621679165099 b6989586621679165100 f6989586621679165098 t6989586621679165101. (~>) ((~>) a6989586621679165099 (f6989586621679165098 b6989586621679165100)) ((~>) (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) (f6989586621679165098 t6989586621679165101)) Source #

Instances

SuppressUnusedWarnings (UnBazaarSym0 :: TyFun (a6989586621679165099 ~> f6989586621679165098 b6989586621679165100) (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101 ~> f6989586621679165098 t6989586621679165101) -> Type) Source #
Instance details Defined in Data.Type.Lens.Internal Methods suppressUnusedWarnings :: () #
SApplicative f => SingI (UnBazaarSym0 :: TyFun (a ~> f b) (Bazaar a b t ~> f t) -> Type) Source #
Instance details Defined in Data.Type.Lens.Internal Methods sing :: Sing UnBazaarSym0 #
type Apply (UnBazaarSym0 :: TyFun (a6989586621679165099 ~> f6989586621679165098 b6989586621679165100) (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101 ~> f6989586621679165098 t6989586621679165101) -> Type) (a6989586621679166004 :: a6989586621679165099 ~> f6989586621679165098 b6989586621679165100) Source #
Instance details Defined in Data.Type.Lens.Internal type Apply (UnBazaarSym0 :: TyFun (a6989586621679165099 ~> f6989586621679165098 b6989586621679165100) (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101 ~> f6989586621679165098 t6989586621679165101) -> Type) (a6989586621679166004 :: a6989586621679165099 ~> f6989586621679165098 b6989586621679165100) = (UnBazaarSym1 a6989586621679166004 t6989586621679165101 :: TyFun (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) (f6989586621679165098 t6989586621679165101) -> Type)

data UnBazaarSym1 (a6989586621679166004 :: (~>) a6989586621679165099 (f6989586621679165098 b6989586621679165100)) :: forall t6989586621679165101. (~>) (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) (f6989586621679165098 t6989586621679165101) Source #

Instances

SuppressUnusedWarnings (UnBazaarSym1 a6989586621679166004 t6989586621679165101 :: TyFun (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) (f6989586621679165098 t6989586621679165101) -> Type) Source #
Instance details Defined in Data.Type.Lens.Internal Methods suppressUnusedWarnings :: () #
(SApplicative f, SingI d) => SingI (UnBazaarSym1 d t :: TyFun (Bazaar a b t) (f t) -> Type) Source #
Instance details Defined in Data.Type.Lens.Internal Methods sing :: Sing (UnBazaarSym1 d t) #
type Apply (UnBazaarSym1 a6989586621679166004 t :: TyFun (Bazaar a b t) (f t) -> Type) (a6989586621679166005 :: Bazaar a b t) Source #
Instance details Defined in Data.Type.Lens.Internal type Apply (UnBazaarSym1 a6989586621679166004 t :: TyFun (Bazaar a b t) (f t) -> Type) (a6989586621679166005 :: Bazaar a b t) = UnBazaar a6989586621679166004 a6989586621679166005

type UnBazaarSym2 (a6989586621679166004 :: (~>) a6989586621679165099 (f6989586621679165098 b6989586621679165100)) (a6989586621679166005 :: Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) = UnBazaar a6989586621679166004 a6989586621679166005 Source #