lens-typelevel-0.1.0.1: Type-level lenses using singletons

Safe HaskellNone
LanguageHaskell2010

Data.Type.Lens.Internal

Contents

Synopsis

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

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

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

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

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

Defined in Data.Type.Lens.Internal

SuppressUnusedWarnings (UnBazaarSym1 a6989586621679166004 t6989586621679165101 :: TyFun (Bazaar a6989586621679165099 b6989586621679165100 t6989586621679165101) (f6989586621679165098 t6989586621679165101) -> Type) Source # 
Instance details

Defined in Data.Type.Lens.Internal

(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

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
data Sing (a :: Ordering) 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Ordering) where
data Sing (n :: Nat) 
Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Nat) where
data Sing (n :: Symbol) 
Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Symbol) where
data Sing (a :: ()) 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: ()) where
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
data Sing (a :: Any) 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: Any) where
data Sing (a :: N) Source # 
Instance details

Defined in Data.Type.Lens

data Sing (a :: N) where
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
data Sing (b :: Min a) 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Min a) where
data Sing (b :: Max a) 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Max a) where
data Sing (b :: First a) 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: First a) where
data Sing (b :: Last a) 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Last a) where
data Sing (a :: WrappedMonoid m) 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: WrappedMonoid m) where
data Sing (b :: Option a) 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Option a) where
data Sing (b :: Identity a) 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: Identity a) where
data Sing (b :: First a) 
Instance details

Defined in Data.Singletons.Prelude.Monoid

data Sing (b :: First a) where
data Sing (b :: Last a) 
Instance details

Defined in Data.Singletons.Prelude.Monoid

data Sing (b :: Last a) where
data Sing (b :: Dual a) 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Dual a) where
data Sing (b :: Sum a) 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Sum a) where
data Sing (b :: Product a) 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Product a) where
data Sing (b :: Down a) 
Instance details

Defined in Data.Singletons.Prelude.Ord

data Sing (b :: Down a) where
data Sing (b :: NonEmpty a) 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: NonEmpty a) where
data Sing (b :: Endo a) 
Instance details

Defined in Data.Singletons.Prelude.Foldable

data Sing (b :: Endo a) where
data Sing (b :: MinInternal a) 
Instance details

Defined in Data.Singletons.Prelude.Foldable

data Sing (b :: MinInternal a) where
data Sing (b :: MaxInternal a) 
Instance details

Defined in Data.Singletons.Prelude.Foldable

data Sing (b :: MaxInternal a) where
data Sing (c :: Either a b) 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (c :: Either a b) where
data Sing (c :: (a, b)) 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (c :: (a, b)) where
data Sing (c :: Arg a b) 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

data Sing (c :: Arg a b) where
data Sing (f :: k1 ~> k2) 
Instance details

Defined in Data.Singletons.Internal

data Sing (f :: k1 ~> k2) = SLambda {}
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
data Sing (c :: Const a b) 
Instance details

Defined in Data.Singletons.Prelude.Const

data Sing (c :: Const a b) where
data Sing (c :: Context a b t) Source # 
Instance details

Defined in Data.Type.Lens.Internal

data Sing (c :: Context a b t) where
data Sing (c :: Bazaar a b t) Source # 
Instance details

Defined in Data.Type.Lens.Internal

data Sing (c :: Bazaar a b t) where
data Sing (e :: (a, b, c, d)) 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (e :: (a, b, c, d)) where
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 DoneSym1 x = Done x 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

SApplicative f => SingI (UnBazaarSym0 :: TyFun (a ~> f b) (Bazaar a b t ~> f t) -> Type) 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) 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

(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 #