Data.Type.Lens.Internal

Documentation

data Context a b t

A partially applied lens

Constructors

MkContext (b ~> t) a

Instances

PFunctor (Context a b)

Defined in Data.Type.Lens.Internal

Associated Types

type Fmap arg arg1 :: f b

type arg <$ arg1 :: f a

SFunctor (Context a b)

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)

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)

Defined in Data.Type.Lens

Methods

sing :: Sing CloneLensSym0

type (arg :: a1) <$ (arg1 :: Context a2 b1 b2)

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)

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))

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)

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

A partially applied traversal

Constructors

Done t

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

Instances

PFunctor (Bazaar a b)

Defined in Data.Type.Lens.Internal

Associated Types

type Fmap arg arg1 :: f b

type arg <$ arg1 :: f a

PApplicative (Bazaar a b)

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)

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)

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)

Defined in Data.Type.Lens.Internal

Methods

suppressUnusedWarnings :: ()

SApplicative f => SingI (UnBazaarSym0 :: TyFun (a ~> f b) (Bazaar a b t ~> f t) -> Type)

Defined in Data.Type.Lens.Internal

Methods

sing :: Sing UnBazaarSym0

SuppressUnusedWarnings (UnBazaarSym1 a6989586621679166004 t6989586621679165101 :: TyFun (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) (f6989586621679165098 t6989586621679165101) -> Type)

Defined in Data.Type.Lens.Internal

Methods

suppressUnusedWarnings :: ()

(SApplicative f, SingI d) => SingI (UnBazaarSym1 d t :: TyFun (Bazaar a b t) (f t) -> Type)

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)

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)

Defined in Data.Type.Lens.Internal

type Pure (x :: t)

type (arg :: a1) <$ (arg1 :: Bazaar a2 b1 b2)

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)

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)

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)

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)

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)

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)

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)

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 ...

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)

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

The singleton kind-indexed data family.

Instances

data Sing (a :: Bool)

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)

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)

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Nat) where

• SNat :: forall (n :: Nat). KnownNat n => Sing n

data Sing (n :: Symbol)

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Symbol) where

• SSym :: forall (n :: Symbol). KnownSymbol n => Sing n

data Sing (a :: ())

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: ()) where

• STuple0 :: forall (a :: ()). Sing ()

data Sing (a :: Void)

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Void)

data Sing (a :: All)

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)

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)

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])

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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))

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)

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)

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)

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)

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))

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)

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)

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)

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))

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))

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))

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))

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

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))

Instances

SuppressUnusedWarnings (UnBazaarSym0 :: TyFun (a6989586621679165099 ~> f6989586621679165098 b6989586621679165100) (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101 ~> f6989586621679165098 t6989586621679165101) -> Type)

Defined in Data.Type.Lens.Internal

Methods

suppressUnusedWarnings :: ()

SApplicative f => SingI (UnBazaarSym0 :: TyFun (a ~> f b) (Bazaar a b t ~> f t) -> Type)

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)

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)

Instances

SuppressUnusedWarnings (UnBazaarSym1 a6989586621679166004 t6989586621679165101 :: TyFun (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) (f6989586621679165098 t6989586621679165101) -> Type)

Defined in Data.Type.Lens.Internal

Methods

suppressUnusedWarnings :: ()

(SApplicative f, SingI d) => SingI (UnBazaarSym1 d t :: TyFun (Bazaar a b t) (f t) -> Type)

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)

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