Data.Type.Lens

Lenses and optics for manipulating DataKind-based types, powered by singletons defunctionalization.

See Data.Type.Lens.Examples for example usage and syntax.

For the most part, you should be able to use them just like you'd use the functions from the lens or microlens libraries; just remember to capitalize names like Over and Set, since they are type families.

Note that the ways of "creating" a lens or optic (Sets_, Traverse_, To_, MkLens_, etc. are all suffixed with _ for convenience, to reserve the underscoreless identifiers for the fully applied type family as per singletons library convention.

"Value level" versions of these lenses and functions are not exported, because they would be more or less completely compatible with the same functions from microlens and lens packages. However, when the names of these functions differ from the names of their lens counterpart (mkLens and ixList), value-level versions are provided.

There are two main ways to define optics.

First, you can write them by hand using singletonsOnly:

 $(singletonsOnly [d|
   l1 :: Functor f => LensLike (a, c) (b, c) a b
   l1 f (x, y) = (x' -> (x', y)) $ f x

   l1Alt :: Functor f => LensLike (a, c) (b, c) a b
   l1Alt = mkLens fst ((_, y) x -> (x', y))

   getFirst :: Getting a (a, b) a
   getFirst = to fst
   |])

This creates the type families L1, L1Alt, and GetFirst; however, these aren't lenses, because they aren't partially applied. The lactual lenses are L1Sym0, L1AltSym0, and GetFirstSym0. As a convention, it is recommend to alias the actual lenses with an underscore suffix:

-- L1_       :: Functor f => LensLike f (a, c) (b, c) a b
type L1_       = L1Sym0

-- L1Alt_    :: Functor f => LensLike f (a, c) (b, c) a b
type L1Alt_    = L1AltSym0

-- GetFirst_ :: Getting a (a, b) a
type GetFirst_ = GetFirstSym0

The number after the Sym is determined by how many arguments you need to apply to your function before you get to the actual lens. For example, IxList requires one argument (the index) to get to the actual traversal, so the definition in the library is:

type IxList_ i = IxListSym1 i

Second, you can write them directly at the type level using combinators like MkLens_ and To_:

type GetFirst_ = To_ FstSym0

(FstSym0 is the promotion of fst from Data.Singletons.Prelude.Tuple)

Documentation

type LensLike f s t a b = (a -> f b) -> s -> f t

The general shape of optics in this library. ("van Laarhoven")

For different levels of polymorphism on f, you get different types of optics:

• If f can be any Functor, you have a Lens (see ALens)
• If f is only Identity, you have a setter (see ASetter)
• If f is only Const R for a specific R, you have a getter of R (see Getting)
• If f can be Const r for any Monoid r, you have a Fold.
• If f can be any Applicative, you have a Traversal (see ATraversal)

Normal lens libraries implement the constraints for lenses, folds, and traversals using RankN types, but we don't do that here to avoid working with RankN kinds.

type LensLike' f s a = LensLike f s s a a

A LensLike that does not change any types.

Setting

type ASetter s t a b = LensLike Identity s t a b

A settable "lens". Usable with Over (%~), constructable with To or any of the general lens constructors.

See LensLike for more information.

Using

Ways of consuming a setter.

type family Over (a :: (~>) ((~>) a (Identity b)) ((~>) s (Identity t))) (a :: (~>) a b) (a :: s) :: t where ...

Equations

Over l f x = Case_6989586621679215069 l f x (Let6989586621679215065Scrutinee_6989586621679210948Sym3 l f x)

type (%~) l f = OverSym2 l f infixr 4

Infix application of Over

sOver :: forall s t a b (t :: (~>) ((~>) a (Identity b)) ((~>) s (Identity t))) (t :: (~>) a b) (t :: s). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply OverSym0 t) t) t :: t)

(%%~) :: Sing l -> Sing f -> Sing x -> Sing (x & (l %~ f))

Singleton mirror of Over and %~.

Note that this conflicts in naming from %%~ in lens, which is id.

Since: 0.1.1.0

type family Set (a :: (~>) ((~>) a (Identity b)) ((~>) s (Identity t))) (a :: b) (a :: s) :: t where ...

Equations

Set l y a_6989586621679215079 = Apply (Apply (Apply OverSym0 l) (Apply (Apply (Apply Lambda_6989586621679215084Sym0 l) y) a_6989586621679215079)) a_6989586621679215079

type (.~) l x = SetSym2 l x infixr 4

Infix application of Set

sSet :: forall s t a b (t :: (~>) ((~>) a (Identity b)) ((~>) s (Identity t))) (t :: b) (t :: s). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply SetSym0 t) t) t :: t)

(%.~) :: Sing l -> Sing y -> Sing x -> Sing (x & (l .~ y))

Singleton mirror of Set and .~.

Since: 0.1.1.0

Making

Ways of creating a setter-only.

type Sets_ f = SetsSym1 f

Create a Setter from a setting function.

Sets_ :: ((a ~> b) ~> (s ~> t)) -> ASetter s t a b

type family Sets (a :: (~>) ((~>) a b) ((~>) s t)) (a :: (~>) a (Identity b)) (a :: s) :: Identity t where ...

Equations

Sets f g a_6989586621679215021 = Apply (Apply (Apply (.@#@$) IdentitySym0) (Apply f (Apply (Apply (Apply Lambda_6989586621679215026Sym0 f) g) a_6989586621679215021))) a_6989586621679215021

sSets :: forall a b s t (t :: (~>) ((~>) a b) ((~>) s t)) (t :: (~>) a (Identity b)) (t :: s). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply SetsSym0 t) t) t :: Identity t)

Getting

type Getting r s a = LensLike (Const r) s s a a

A retrieving "lens". If r is fixed to a type, it's a Getter for that type. If r is polymorphic over all Monoid, then it's a Fold over as.

As a Getter, usable with View (^.); as a Fold, usable with ToListOf (^..), Preview (^?), etc.

Normal lens libraries implement the constraints for folds using RankN types, but we don't do that here to avoid working with RankN kinds.

See LensLike for more information.

Using

Ways of consuming a getter

type family View (a :: (~>) ((~>) a ((Const a :: Type -> Type) a)) ((~>) s ((Const a :: Type -> Type) s))) (a :: s) :: a where ...

Equations

View l x = Case_6989586621679215052 l x (Let6989586621679215049Scrutinee_6989586621679210953Sym2 l x)

type (^.) x l = View l x infixl 8

Infix application of View

sView :: forall a s (t :: (~>) ((~>) a ((Const a :: Type -> Type) a)) ((~>) s ((Const a :: Type -> Type) s))) (t :: s). Sing t -> Sing t -> Sing (Apply (Apply ViewSym0 t) t :: a)

(%^.) :: Sing x -> Sing l -> Sing (x ^. l)

Singleton mirror of View and %^..

Since: 0.1.1.0

Making

Ways of creating a getter-only.

type To_ f = ToSym1 f

Create a Getter from a getting function.

To_ :: (a ~> b) -> Getting b a b

type family To (a :: (~>) s a) (a :: (~>) a ((Const r :: Type -> Type) a)) (a :: s) :: (Const r :: Type -> Type) s where ...

Equations

To f g x = Case_6989586621679215011 f g x (Let6989586621679215007Scrutinee_6989586621679210961Sym3 f g x)

sTo :: forall s a r (t :: (~>) s a) (t :: (~>) a ((Const r :: Type -> Type) a)) (t :: s). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ToSym0 t) t) t :: (Const r :: Type -> Type) s)

Lenses

type ALens s t a b = LensLike (Context a b) s t a b

If a function expects an ALens, it can be given any Lens (a LensLike f that works for any Functor f).

You can use an ALens as a normal lens by using CloneLens_.

Making

Ways of creating a lens

type MkLens_ f g = MkLensSym2 f g

Create a Lens from a setter and a getter.

MkLens_
    :: Functor f
    => (s ~> a)
    -> (s ~> b ~> t)
    -> LensLike f s t a b

type family MkLens (a :: (~>) s a) (a :: (~>) s ((~>) b t)) (a :: (~>) a (f b)) (a :: s) :: f t where ...

Equations

MkLens v s f x = Apply (Apply (<$>@#@$) (Apply s x)) (Apply f (Apply v x))

sMkLens :: forall f s a b t (t :: (~>) s a) (t :: (~>) s ((~>) b t)) (t :: (~>) a (f b)) (t :: s). SFunctor f => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply MkLensSym0 t) t) t) t :: f t)

mkLens :: Functor f => (s -> a) -> (s -> b -> t) -> LensLike f s t a b

Cloning

type CloneLens_ l = CloneLensSym1 l

Clone a polymorphic lens so it can be used as more than one type of thing (getter or setter).

CloneLens_
    :: Functor f
    => LensLike (Context a b) s t a b
    -> LensLike f s t a b

Useful for writing a function that takes a lens and uses it in more than one way; if you have it take an ALens, you can then use CloneLens_ to use it as a getter or setter.

type family CloneLens (a :: (~>) ((~>) a (Context a b b)) ((~>) s (Context a b t))) (a :: (~>) a (f b)) (a :: s) :: f t where ...

Equations

CloneLens l f x = Case_6989586621679214917 l f x (Let6989586621679214905Scrutinee_6989586621679210996Sym3 l f x)

Traversals and Folds

type ATraversal s t a b = LensLike (Bazaar a b) s t a b

If a function expects an ATraversal, it can be given any Traversal (a LensLike f that works for any Applicative f).

You can use an ATraversal as a normal traversal by using CloneTraversal_.

Using

Ways of consuming traversals and folds

type family Preview (a :: (~>) ((~>) a ((Const (First a) :: Type -> Type) a)) ((~>) s ((Const (First a) :: Type -> Type) s))) (a :: s) :: Maybe a where ...

Equations

Preview l x = Case_6989586621679214961 l x (Let6989586621679214958Scrutinee_6989586621679210973Sym2 l x)

type (^?) x l = Preview l x infixl 8

Infix application of Preview

sPreview :: forall a s (t :: (~>) ((~>) a ((Const (First a) :: Type -> Type) a)) ((~>) s ((Const (First a) :: Type -> Type) s))) (t :: s). Sing t -> Sing t -> Sing (Apply (Apply PreviewSym0 t) t :: Maybe a)

(%^?) :: Sing x -> Sing l -> Sing (x ^? l)

Singleton mirror of Preview and %^?.

Since: 0.1.1.0

type family ToListOf (a :: (~>) ((~>) a ((Const [a] :: Type -> Type) a)) ((~>) s ((Const [a] :: Type -> Type) s))) (a :: s) :: [a] where ...

Equations

ToListOf l x = Case_6989586621679214994 l x (Let6989586621679214984Scrutinee_6989586621679210966Sym2 l x)

type (^..) x l = ToListOf l x infixl 8

Infix application of ToListOf

sToListOf :: forall a s (t :: (~>) ((~>) a ((Const [a] :: Type -> Type) a)) ((~>) s ((Const [a] :: Type -> Type) s))) (t :: s). Sing t -> Sing t -> Sing (Apply (Apply ToListOfSym0 t) t :: [a])

(%^..) :: Sing x -> Sing l -> Sing (x ^.. l)

Singleton mirror of ToListOf and %^...

Since: 0.1.1.0

type family UnsafePreview (a :: (~>) ((~>) a ((Const (First a) :: Type -> Type) a)) ((~>) s ((Const (First a) :: Type -> Type) s))) (a :: s) :: a where ...

Equations

UnsafePreview l x = Case_6989586621679214974 l x (Let6989586621679214971Scrutinee_6989586621679210980Sym2 l x)

type (^?!) x l = UnsafePreview l x infixl 8

Infix application of UnsafePreview

sUnsafePreview :: forall a s (t :: (~>) ((~>) a ((Const (First a) :: Type -> Type) a)) ((~>) s ((Const (First a) :: Type -> Type) s))) (t :: s). Sing t -> Sing t -> Sing (Apply (Apply UnsafePreviewSym0 t) t :: a)

(%^?!) :: Sing x -> Sing l -> Sing (x ^?! l)

Singleton mirror of UnsafePreview and %^?!.

Since: 0.1.1.0

Making

Ways of creating traversals and folds

type Folding_ f = FoldingSym1 f

Create a Fold from a "folding function":

Folding_
    :: (Foldable f, Monoid r)
    => (s ~> f a)
    -> Getting r s a

type family Folding (a :: (~>) s (f a)) (a :: (~>) a ((Const r :: Type -> Type) a)) (a :: s) :: (Const r :: Type -> Type) s where ...

Equations

Folding f g x = Case_6989586621679214948 f g x (Let6989586621679214944Scrutinee_6989586621679210986Sym3 f g x)

sFolding :: forall f r s a (t :: (~>) s (f a)) (t :: (~>) a ((Const r :: Type -> Type) a)) (t :: s). (SFoldable f, SMonoid r) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldingSym0 t) t) t :: (Const r :: Type -> Type) s)

type Folded_ = FoldedSym0

The canonical Fold for any instance of Foldable.

Folded_
    :: Monoid r
    => Getting r (t a) a

type family Folded (a :: (~>) a ((Const r :: Type -> Type) a)) (a :: f a) :: (Const r :: Type -> Type) (f a) where ...

Equations

Folded f x = Case_6989586621679214931 f x (Let6989586621679214928Scrutinee_6989586621679210991Sym2 f x)

sFolded :: forall f r a (t :: (~>) a ((Const r :: Type -> Type) a)) (t :: f a). (SFoldable f, SMonoid r) => Sing t -> Sing t -> Sing (Apply (Apply FoldedSym0 t) t :: (Const r :: Type -> Type) (f a))

type Traverse_ = TraverseSym0

The canonical Traversal for any instance of Traversable.

Traverse_
    :: Applicative f
    => LensLike f (t a) (t b) a b

type family Traverse (arg :: a ~> f b) (arg1 :: t a) :: f (t b)

Instances

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: [a6989586621680927789])

Defined in Data.Singletons.Prelude.Traversable

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: [a6989586621680927789]) = Apply (Apply (Traverse_6989586621680933985Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) ([a6989586621680927789] ~> f6989586621680927788 [b6989586621680927790]) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Maybe a6989586621680927789)

Defined in Data.Singletons.Prelude.Traversable

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Maybe a6989586621680927789) = Apply (Apply (Traverse_6989586621680933971Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Maybe a6989586621680927789 ~> f6989586621680927788 (Maybe b6989586621680927790)) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Min a6989586621680927789)

Defined in Data.Singletons.Prelude.Semigroup

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Min a6989586621680927789) = Apply (Apply (Traverse_6989586621681044065Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Min a6989586621680927789 ~> f6989586621680927788 (Min b6989586621680927790)) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Max a6989586621680927789)

Defined in Data.Singletons.Prelude.Semigroup

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Max a6989586621680927789) = Apply (Apply (Traverse_6989586621681044364Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Max a6989586621680927789 ~> f6989586621680927788 (Max b6989586621680927790)) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: First a6989586621680927789)

Defined in Data.Singletons.Prelude.Semigroup

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: First a6989586621680927789) = Apply (Apply (Traverse_6989586621681044820Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (First a6989586621680927789 ~> f6989586621680927788 (First b6989586621680927790)) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Last a6989586621680927789)

Defined in Data.Singletons.Prelude.Semigroup

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Last a6989586621680927789) = Apply (Apply (Traverse_6989586621681045048Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Last a6989586621680927789 ~> f6989586621680927788 (Last b6989586621680927790)) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Option a6989586621680927789)

Defined in Data.Singletons.Prelude.Semigroup

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Option a6989586621680927789) = Apply (Apply (Traverse_6989586621681045274Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Option a6989586621680927789 ~> f6989586621680927788 (Option b6989586621680927790)) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Identity a6989586621680927789)

Defined in Data.Singletons.Prelude.Traversable

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Identity a6989586621680927789) = Apply (Apply (Traverse_6989586621680934109Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Identity a6989586621680927789 ~> f6989586621680927788 (Identity b6989586621680927790)) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: First a6989586621680927789)

Defined in Data.Singletons.Prelude.Traversable

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: First a6989586621680927789) = Apply (Apply (Traverse_6989586621680934085Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (First a6989586621680927789 ~> f6989586621680927788 (First b6989586621680927790)) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Last a6989586621680927789)

Defined in Data.Singletons.Prelude.Traversable

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Last a6989586621680927789) = Apply (Apply (Traverse_6989586621680934097Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Last a6989586621680927789 ~> f6989586621680927788 (Last b6989586621680927790)) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Dual a6989586621680927789)

Defined in Data.Singletons.Prelude.Traversable

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Dual a6989586621680927789) = Apply (Apply (Traverse_6989586621680934049Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Dual a6989586621680927789 ~> f6989586621680927788 (Dual b6989586621680927790)) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Sum a6989586621680927789)

Defined in Data.Singletons.Prelude.Traversable

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Sum a6989586621680927789) = Apply (Apply (Traverse_6989586621680934061Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Sum a6989586621680927789 ~> f6989586621680927788 (Sum b6989586621680927790)) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Product a6989586621680927789)

Defined in Data.Singletons.Prelude.Traversable

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Product a6989586621680927789) = Apply (Apply (Traverse_6989586621680934073Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Product a6989586621680927789 ~> f6989586621680927788 (Product b6989586621680927790)) -> Type) a1) a2

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: NonEmpty a6989586621680927789)

Defined in Data.Singletons.Prelude.Traversable

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: NonEmpty a6989586621680927789) = Apply (Apply (Traverse_6989586621680933998Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (NonEmpty a6989586621680927789 ~> f6989586621680927788 (NonEmpty b6989586621680927790)) -> Type) a1) a2

type Traverse (a2 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a3 :: Either a1 a6989586621680927789)

Defined in Data.Singletons.Prelude.Traversable

type Traverse (a2 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a3 :: Either a1 a6989586621680927789) = Apply (Apply (Traverse_6989586621680934012Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Either a1 a6989586621680927789 ~> f6989586621680927788 (Either a1 b6989586621680927790)) -> Type) a2) a3

type Traverse (a2 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a3 :: (a1, a6989586621680927789))

Defined in Data.Singletons.Prelude.Traversable

type Traverse (a2 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a3 :: (a1, a6989586621680927789)) = Apply (Apply (Traverse_6989586621680934025Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) ((a1, a6989586621680927789) ~> f6989586621680927788 (a1, b6989586621680927790)) -> Type) a2) a3

type Traverse (a2 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a3 :: Arg a1 a6989586621680927789)

Defined in Data.Singletons.Prelude.Semigroup

type Traverse (a2 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a3 :: Arg a1 a6989586621680927789) = Apply (Apply (Traverse_6989586621681044592Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Arg a1 a6989586621680927789 ~> f6989586621680927788 (Arg a1 b6989586621680927790)) -> Type) a2) a3

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Const m a6989586621680927789)

Defined in Data.Singletons.Prelude.Traversable

type Traverse (a1 :: a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (a2 :: Const m a6989586621680927789) = Apply (Apply (Traverse_6989586621680934037Sym0 :: TyFun (a6989586621680927789 ~> f6989586621680927788 b6989586621680927790) (Const m a6989586621680927789 ~> f6989586621680927788 (Const m b6989586621680927790)) -> Type) a1) a2

sTraverse :: (STraversable t, SApplicative f) => Sing t1 -> Sing t2 -> Sing (Apply (Apply (TraverseSym0 :: TyFun (a ~> f b) (t a ~> f (t b)) -> Type) t1) t2)

Cloning

type CloneTraversal_ l = CloneTraversalSym1 l

Clone a polymorphic traversal so it can be used as more than one type of thing (fold, traversal, getter, setter...).

CloneTraversal_
    :: Functor f
    => LensLike (Bazaar a b) s t a b
    -> LensLike f s t a b

Useful for writing a function that takes a traversal and uses it in more than one way; if you have it take an ATraversal, you can then use CloneTraversal_ to use it as a fold or traversal or anything else.

type family CloneTraversal (a :: (~>) ((~>) a (Bazaar a b b)) ((~>) s (Bazaar a b t))) (a :: (~>) a (f b)) (a :: s) :: f t where ...

Equations

CloneTraversal l f xs = Apply (Apply ($@#@$) (Apply UnBazaarSym0 f)) (Apply (Apply l (Apply (Apply (Apply Lambda_6989586621679214888Sym0 l) f) xs)) xs)

sCloneTraversal :: forall f a b s t (t :: (~>) ((~>) a (Bazaar a b b)) ((~>) s (Bazaar a b t))) (t :: (~>) a (f b)) (t :: s). SApplicative f => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CloneTraversalSym0 t) t) t :: f t)

Samples

Some sample lenses and traversals

• * Tuple

type L1_ = L1Sym0

Lens into the first field of a tuple

type family L1 (a :: (~>) a (f b)) (a :: (a, c)) :: f (b, c) where ...

Equations

L1 f '(x, y) = Apply (Apply (<$>@#@$) (Apply (Apply (Apply Lambda_6989586621679214871Sym0 f) x) y)) (Apply f x)

sL1 :: forall f a c b (t :: (~>) a (f b)) (t :: (a, c)). SFunctor f => Sing t -> Sing t -> Sing (Apply (Apply L1Sym0 t) t :: f (b, c))

type L2_ = L2Sym0

Lens into the second field of a tuple

type family L2 (a :: (~>) b (f c)) (a :: (a, b)) :: f (a, c) where ...

Equations

L2 f '(x, y) = Apply (Apply (<$>@#@$) (Apply (Apply (Apply Lambda_6989586621679214856Sym0 f) x) y)) (Apply f y)

sL2 :: forall f a b c (t :: (~>) b (f c)) (t :: (a, b)). SFunctor f => Sing t -> Sing t -> Sing (Apply (Apply L2Sym0 t) t :: f (a, c))

List

data N

Peano nats, used for implementation of list index traversals in a termination-sane way.

Constructors

Z

S N

Instances

Eq N

Defined in Data.Type.Lens

Methods

(==) :: N -> N -> Bool

(/=) :: N -> N -> Bool

Ord N

Defined in Data.Type.Lens

Methods

compare :: N -> N -> Ordering

(<) :: N -> N -> Bool

(<=) :: N -> N -> Bool

(>) :: N -> N -> Bool

(>=) :: N -> N -> Bool

max :: N -> N -> N

min :: N -> N -> N

Read N

Defined in Data.Type.Lens

Methods

readsPrec :: Int -> ReadS N

readList :: ReadS [N]

readPrec :: ReadPrec N

readListPrec :: ReadPrec [N]

Show N

Defined in Data.Type.Lens

Methods

showsPrec :: Int -> N -> ShowS

show :: N -> String

showList :: [N] -> ShowS

Generic N

Defined in Data.Type.Lens

Associated Types

type Rep N :: Type -> Type

Methods

from :: N -> Rep N x

to :: Rep N x -> N

PShow N

Defined in Data.Type.Lens

Associated Types

type ShowsPrec arg arg1 arg2 :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg1 :: Symbol

SShow N => SShow N

Defined in Data.Type.Lens

Methods

sShowsPrec :: Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3)

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t)

sShowList :: Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2)

POrd N

Defined in Data.Type.Lens

Associated Types

type Compare arg arg1 :: Ordering

type arg < arg1 :: Bool

type arg <= arg1 :: Bool

type arg > arg1 :: Bool

type arg >= arg1 :: Bool

type Max arg arg1 :: a

type Min arg arg1 :: a

SOrd N => SOrd N

Defined in Data.Type.Lens

Methods

sCompare :: Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2)

(%<) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2)

(%<=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2)

(%>) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2)

(%>=) :: Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2)

sMax :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2)

sMin :: Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2)

SEq N => SEq N

Defined in Data.Type.Lens

Methods

(%==) :: Sing a -> Sing b -> Sing (a == b)

(%/=) :: Sing a -> Sing b -> Sing (a /= b)

PEq N

Defined in Data.Type.Lens

Associated Types

type x == y :: Bool

type x /= y :: Bool

SDecide N => SDecide N

Defined in Data.Type.Lens

Methods

(%~) :: Sing a -> Sing b -> Decision (a :~: b)

SingKind N

Defined in Data.Type.Lens

Associated Types

type Demote N = (r :: Type)

Methods

fromSing :: Sing a -> Demote N

toSing :: Demote N -> SomeSing N

SingI Z

Defined in Data.Type.Lens

Methods

sing :: Sing Z

SingI n => SingI (S n :: N)

Defined in Data.Type.Lens

Methods

sing :: Sing (S n)

SuppressUnusedWarnings SSym0

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI SSym0

Defined in Data.Type.Lens

Methods

sing :: Sing SSym0

SuppressUnusedWarnings (IxListSym0 :: TyFun N ((a6989586621679239052 ~> f6989586621679239051 a6989586621679239052) ~> ([a6989586621679239052] ~> f6989586621679239051 [a6989586621679239052])) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SApplicative f => SingI (IxListSym0 :: TyFun N ((a ~> f a) ~> ([a] ~> f [a])) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing IxListSym0

SingI (TyCon1 S)

Defined in Data.Type.Lens

Methods

sing :: Sing (TyCon1 S)

type Rep N

Defined in Data.Type.Lens

type Rep N = D1 (MetaData "N" "Data.Type.Lens" "lens-typelevel-0.1.1.0-inplace" False) (C1 (MetaCons "Z" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "S" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 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)

type Demote N

Defined in Data.Type.Lens

type Demote N = N

type Show_ (arg :: N)

Defined in Data.Type.Lens

type Show_ (arg :: N) = Apply (Show__6989586621680539936Sym0 :: TyFun N Symbol -> Type) arg

type ShowList (arg :: [N]) arg1

Defined in Data.Type.Lens

type ShowList (arg :: [N]) arg1 = Apply (Apply (ShowList_6989586621680539947Sym0 :: TyFun [N] (Symbol ~> Symbol) -> Type) arg) arg1

type Min (arg :: N) (arg1 :: N)

Defined in Data.Type.Lens

type Min (arg :: N) (arg1 :: N) = Apply (Apply (Min_6989586621679794434Sym0 :: TyFun N (N ~> N) -> Type) arg) arg1

type Max (arg :: N) (arg1 :: N)

Defined in Data.Type.Lens

type Max (arg :: N) (arg1 :: N) = Apply (Apply (Max_6989586621679794416Sym0 :: TyFun N (N ~> N) -> Type) arg) arg1

type (arg :: N) >= (arg1 :: N)

Defined in Data.Type.Lens

type (arg :: N) >= (arg1 :: N) = Apply (Apply (TFHelper_6989586621679794398Sym0 :: TyFun N (N ~> Bool) -> Type) arg) arg1

type (arg :: N) > (arg1 :: N)

Defined in Data.Type.Lens

type (arg :: N) > (arg1 :: N) = Apply (Apply (TFHelper_6989586621679794380Sym0 :: TyFun N (N ~> Bool) -> Type) arg) arg1

type (arg :: N) <= (arg1 :: N)

Defined in Data.Type.Lens

type (arg :: N) <= (arg1 :: N) = Apply (Apply (TFHelper_6989586621679794362Sym0 :: TyFun N (N ~> Bool) -> Type) arg) arg1

type (arg :: N) < (arg1 :: N)

Defined in Data.Type.Lens

type (arg :: N) < (arg1 :: N) = Apply (Apply (TFHelper_6989586621679794344Sym0 :: TyFun N (N ~> Bool) -> Type) arg) arg1

type Compare (a1 :: N) (a2 :: N)

Defined in Data.Type.Lens

type Compare (a1 :: N) (a2 :: N)

type (x :: N) /= (y :: N)

Defined in Data.Type.Lens

type (x :: N) /= (y :: N) = Not (x == y)

type (a :: N) == (b :: N)

Defined in Data.Type.Lens

type (a :: N) == (b :: N)

type ShowsPrec a1 (a2 :: N) a3

Defined in Data.Type.Lens

type ShowsPrec a1 (a2 :: N) a3

type Apply SSym0 (t6989586621679202515 :: N)

Defined in Data.Type.Lens

type Apply SSym0 (t6989586621679202515 :: N) = S t6989586621679202515

type Apply (IxListSym0 :: TyFun N ((a6989586621679239052 ~> f6989586621679239051 a6989586621679239052) ~> ([a6989586621679239052] ~> f6989586621679239051 [a6989586621679239052])) -> Type) (a6989586621679239113 :: N)

Defined in Data.Type.Lens

type Apply (IxListSym0 :: TyFun N ((a6989586621679239052 ~> f6989586621679239051 a6989586621679239052) ~> ([a6989586621679239052] ~> f6989586621679239051 [a6989586621679239052])) -> Type) (a6989586621679239113 :: N) = (IxListSym1 a6989586621679239113 a6989586621679239052 f6989586621679239051 :: TyFun (a6989586621679239052 ~> f6989586621679239051 a6989586621679239052) ([a6989586621679239052] ~> f6989586621679239051 [a6989586621679239052]) -> Type)

type SN = (Sing :: N -> Type)

type IxList_ i = IxListSym1 i

IxList i is a Traversal into the i-th item into a list. Defined in terms of N to allow for sane termination guaruntees.

IxList_
    :: Applicative f
    => N
    -> LensLike' f [a] a

type family IxList (a :: N) (a :: (~>) a (f a)) (a :: [a]) :: f [a] where ...

Equations

IxList _ _ '[] = Apply PureSym0 '[]

IxList Z f ((:) x xs) = Apply (Apply (<$>@#@$) (Apply (Apply (Apply Lambda_6989586621679239122Sym0 f) x) xs)) (Apply f x)

IxList (S i) f ((:) x xs) = Apply (Apply (<$>@#@$) (Apply (:@#@$) x)) (Apply (Apply (Apply IxListSym0 i) f) xs)

sIxList :: forall f a (t :: N) (t :: (~>) a (f a)) (t :: [a]). SApplicative f => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply IxListSym0 t) t) t :: f [a])

ixList :: Applicative f => N -> LensLike' f [a] a

Util

type (.@) f g = f .@#@$$$ g infixr 9

Shorter name for type-level function composition

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

data ASetterSym0 s6989586621679201104

Instances

SuppressUnusedWarnings ASetterSym0

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply ASetterSym0 (s6989586621679201104 :: Type)

Defined in Data.Type.Lens

type Apply ASetterSym0 (s6989586621679201104 :: Type) = ASetterSym1 s6989586621679201104

data ASetterSym1 (s6989586621679201104 :: Type) t6989586621679201105

Instances

SuppressUnusedWarnings (ASetterSym1 s6989586621679201104 :: TyFun Type (TyFun Type (TyFun Type Type -> Type) -> Type) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply (ASetterSym1 s6989586621679201104 :: TyFun Type (TyFun Type (TyFun Type Type -> Type) -> Type) -> Type) (t6989586621679201105 :: Type)

Defined in Data.Type.Lens

type Apply (ASetterSym1 s6989586621679201104 :: TyFun Type (TyFun Type (TyFun Type Type -> Type) -> Type) -> Type) (t6989586621679201105 :: Type) = ASetterSym2 s6989586621679201104 t6989586621679201105

data ASetterSym2 (s6989586621679201104 :: Type) (t6989586621679201105 :: Type) a6989586621679201106

Instances

SuppressUnusedWarnings (ASetterSym2 t6989586621679201105 s6989586621679201104 :: TyFun Type (TyFun Type Type -> Type) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply (ASetterSym2 t6989586621679201105 s6989586621679201104 :: TyFun Type (TyFun Type Type -> Type) -> Type) (a6989586621679201106 :: Type)

Defined in Data.Type.Lens

type Apply (ASetterSym2 t6989586621679201105 s6989586621679201104 :: TyFun Type (TyFun Type Type -> Type) -> Type) (a6989586621679201106 :: Type) = ASetterSym3 t6989586621679201105 s6989586621679201104 a6989586621679201106

data ASetterSym3 (s6989586621679201104 :: Type) (t6989586621679201105 :: Type) (a6989586621679201106 :: Type) b6989586621679201107

Instances

SuppressUnusedWarnings (ASetterSym3 a6989586621679201106 t6989586621679201105 s6989586621679201104 :: TyFun Type Type -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply (ASetterSym3 a6989586621679201106 t6989586621679201105 s6989586621679201104 :: TyFun Type Type -> Type) (b6989586621679201107 :: Type)

Defined in Data.Type.Lens

type Apply (ASetterSym3 a6989586621679201106 t6989586621679201105 s6989586621679201104 :: TyFun Type Type -> Type) (b6989586621679201107 :: Type) = ASetter a6989586621679201106 t6989586621679201105 s6989586621679201104 b6989586621679201107

type ASetterSym4 (s6989586621679201104 :: Type) (t6989586621679201105 :: Type) (a6989586621679201106 :: Type) (b6989586621679201107 :: Type) = ASetter s6989586621679201104 t6989586621679201105 a6989586621679201106 b6989586621679201107

data OverSym0 :: forall a6989586621679210882 b6989586621679210883 s6989586621679210880 t6989586621679210881. (~>) ((~>) ((~>) a6989586621679210882 (Identity b6989586621679210883)) ((~>) s6989586621679210880 (Identity t6989586621679210881))) ((~>) ((~>) a6989586621679210882 b6989586621679210883) ((~>) s6989586621679210880 t6989586621679210881))

Instances

SuppressUnusedWarnings (OverSym0 :: TyFun ((a6989586621679210882 ~> Identity b6989586621679210883) ~> (s6989586621679210880 ~> Identity t6989586621679210881)) ((a6989586621679210882 ~> b6989586621679210883) ~> (s6989586621679210880 ~> t6989586621679210881)) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI (OverSym0 :: TyFun ((a ~> Identity b) ~> (s ~> Identity t)) ((a ~> b) ~> (s ~> t)) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing OverSym0

type Apply (OverSym0 :: TyFun ((a6989586621679210882 ~> Identity b6989586621679210883) ~> (s6989586621679210880 ~> Identity t6989586621679210881)) ((a6989586621679210882 ~> b6989586621679210883) ~> (s6989586621679210880 ~> t6989586621679210881)) -> Type) (a6989586621679215056 :: (a6989586621679210882 ~> Identity b6989586621679210883) ~> (s6989586621679210880 ~> Identity t6989586621679210881))

Defined in Data.Type.Lens

type Apply (OverSym0 :: TyFun ((a6989586621679210882 ~> Identity b6989586621679210883) ~> (s6989586621679210880 ~> Identity t6989586621679210881)) ((a6989586621679210882 ~> b6989586621679210883) ~> (s6989586621679210880 ~> t6989586621679210881)) -> Type) (a6989586621679215056 :: (a6989586621679210882 ~> Identity b6989586621679210883) ~> (s6989586621679210880 ~> Identity t6989586621679210881)) = OverSym1 a6989586621679215056

data OverSym1 (a6989586621679215056 :: (~>) ((~>) a6989586621679210882 (Identity b6989586621679210883)) ((~>) s6989586621679210880 (Identity t6989586621679210881))) :: (~>) ((~>) a6989586621679210882 b6989586621679210883) ((~>) s6989586621679210880 t6989586621679210881)

Instances

SuppressUnusedWarnings (OverSym1 a6989586621679215056 :: TyFun (a6989586621679210882 ~> b6989586621679210883) (s6989586621679210880 ~> t6989586621679210881) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (OverSym1 d :: TyFun (a ~> b) (s ~> t) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (OverSym1 d)

type Apply (OverSym1 a6989586621679215056 :: TyFun (a6989586621679210882 ~> b6989586621679210883) (s6989586621679210880 ~> t6989586621679210881) -> Type) (a6989586621679215057 :: a6989586621679210882 ~> b6989586621679210883)

Defined in Data.Type.Lens

type Apply (OverSym1 a6989586621679215056 :: TyFun (a6989586621679210882 ~> b6989586621679210883) (s6989586621679210880 ~> t6989586621679210881) -> Type) (a6989586621679215057 :: a6989586621679210882 ~> b6989586621679210883) = OverSym2 a6989586621679215056 a6989586621679215057

data OverSym2 (a6989586621679215056 :: (~>) ((~>) a6989586621679210882 (Identity b6989586621679210883)) ((~>) s6989586621679210880 (Identity t6989586621679210881))) (a6989586621679215057 :: (~>) a6989586621679210882 b6989586621679210883) :: (~>) s6989586621679210880 t6989586621679210881

Instances

SuppressUnusedWarnings (OverSym2 a6989586621679215057 a6989586621679215056 :: TyFun s6989586621679210880 t6989586621679210881 -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (OverSym2 d1 d2 :: TyFun s t -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (OverSym2 d1 d2)

type Apply (OverSym2 a6989586621679215057 a6989586621679215056 :: TyFun s t -> Type) (a6989586621679215058 :: s)

Defined in Data.Type.Lens

type Apply (OverSym2 a6989586621679215057 a6989586621679215056 :: TyFun s t -> Type) (a6989586621679215058 :: s) = Over a6989586621679215057 a6989586621679215056 a6989586621679215058

type OverSym3 (a6989586621679215056 :: (~>) ((~>) a6989586621679210882 (Identity b6989586621679210883)) ((~>) s6989586621679210880 (Identity t6989586621679210881))) (a6989586621679215057 :: (~>) a6989586621679210882 b6989586621679210883) (a6989586621679215058 :: s6989586621679210880) = Over a6989586621679215056 a6989586621679215057 a6989586621679215058

data SetSym0 :: forall a6989586621679210878 b6989586621679210879 s6989586621679210876 t6989586621679210877. (~>) ((~>) ((~>) a6989586621679210878 (Identity b6989586621679210879)) ((~>) s6989586621679210876 (Identity t6989586621679210877))) ((~>) b6989586621679210879 ((~>) s6989586621679210876 t6989586621679210877))

Instances

SuppressUnusedWarnings (SetSym0 :: TyFun ((a6989586621679210878 ~> Identity b6989586621679210879) ~> (s6989586621679210876 ~> Identity t6989586621679210877)) (b6989586621679210879 ~> (s6989586621679210876 ~> t6989586621679210877)) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI (SetSym0 :: TyFun ((a ~> Identity b) ~> (s ~> Identity t)) (b ~> (s ~> t)) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing SetSym0

type Apply (SetSym0 :: TyFun ((a6989586621679210878 ~> Identity b6989586621679210879) ~> (s6989586621679210876 ~> Identity t6989586621679210877)) (b6989586621679210879 ~> (s6989586621679210876 ~> t6989586621679210877)) -> Type) (a6989586621679215073 :: (a6989586621679210878 ~> Identity b6989586621679210879) ~> (s6989586621679210876 ~> Identity t6989586621679210877))

Defined in Data.Type.Lens

type Apply (SetSym0 :: TyFun ((a6989586621679210878 ~> Identity b6989586621679210879) ~> (s6989586621679210876 ~> Identity t6989586621679210877)) (b6989586621679210879 ~> (s6989586621679210876 ~> t6989586621679210877)) -> Type) (a6989586621679215073 :: (a6989586621679210878 ~> Identity b6989586621679210879) ~> (s6989586621679210876 ~> Identity t6989586621679210877)) = SetSym1 a6989586621679215073

data SetSym1 (a6989586621679215073 :: (~>) ((~>) a6989586621679210878 (Identity b6989586621679210879)) ((~>) s6989586621679210876 (Identity t6989586621679210877))) :: (~>) b6989586621679210879 ((~>) s6989586621679210876 t6989586621679210877)

Instances

SuppressUnusedWarnings (SetSym1 a6989586621679215073 :: TyFun b6989586621679210879 (s6989586621679210876 ~> t6989586621679210877) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (SetSym1 d :: TyFun b (s ~> t) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (SetSym1 d)

type Apply (SetSym1 a6989586621679215073 :: TyFun b6989586621679210879 (s6989586621679210876 ~> t6989586621679210877) -> Type) (a6989586621679215074 :: b6989586621679210879)

Defined in Data.Type.Lens

type Apply (SetSym1 a6989586621679215073 :: TyFun b6989586621679210879 (s6989586621679210876 ~> t6989586621679210877) -> Type) (a6989586621679215074 :: b6989586621679210879) = SetSym2 a6989586621679215073 a6989586621679215074

data SetSym2 (a6989586621679215073 :: (~>) ((~>) a6989586621679210878 (Identity b6989586621679210879)) ((~>) s6989586621679210876 (Identity t6989586621679210877))) (a6989586621679215074 :: b6989586621679210879) :: (~>) s6989586621679210876 t6989586621679210877

Instances

SuppressUnusedWarnings (SetSym2 a6989586621679215074 a6989586621679215073 :: TyFun s6989586621679210876 t6989586621679210877 -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (SetSym2 d1 d2 :: TyFun s t -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (SetSym2 d1 d2)

type Apply (SetSym2 a6989586621679215074 a6989586621679215073 :: TyFun s t -> Type) (a6989586621679215075 :: s)

Defined in Data.Type.Lens

type Apply (SetSym2 a6989586621679215074 a6989586621679215073 :: TyFun s t -> Type) (a6989586621679215075 :: s) = Set a6989586621679215074 a6989586621679215073 a6989586621679215075

type SetSym3 (a6989586621679215073 :: (~>) ((~>) a6989586621679210878 (Identity b6989586621679210879)) ((~>) s6989586621679210876 (Identity t6989586621679210877))) (a6989586621679215074 :: b6989586621679210879) (a6989586621679215075 :: s6989586621679210876) = Set a6989586621679215073 a6989586621679215074 a6989586621679215075

data SetsSym0 :: forall a6989586621679210870 b6989586621679210871 s6989586621679210872 t6989586621679210873. (~>) ((~>) ((~>) a6989586621679210870 b6989586621679210871) ((~>) s6989586621679210872 t6989586621679210873)) ((~>) ((~>) a6989586621679210870 (Identity b6989586621679210871)) ((~>) s6989586621679210872 (Identity t6989586621679210873)))

Instances

SuppressUnusedWarnings (SetsSym0 :: TyFun ((a6989586621679210870 ~> b6989586621679210871) ~> (s6989586621679210872 ~> t6989586621679210873)) ((a6989586621679210870 ~> Identity b6989586621679210871) ~> (s6989586621679210872 ~> Identity t6989586621679210873)) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI (SetsSym0 :: TyFun ((a ~> b) ~> (s ~> t)) ((a ~> Identity b) ~> (s ~> Identity t)) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing SetsSym0

type Apply (SetsSym0 :: TyFun ((a6989586621679210870 ~> b6989586621679210871) ~> (s6989586621679210872 ~> t6989586621679210873)) ((a6989586621679210870 ~> Identity b6989586621679210871) ~> (s6989586621679210872 ~> Identity t6989586621679210873)) -> Type) (a6989586621679215015 :: (a6989586621679210870 ~> b6989586621679210871) ~> (s6989586621679210872 ~> t6989586621679210873))

Defined in Data.Type.Lens

type Apply (SetsSym0 :: TyFun ((a6989586621679210870 ~> b6989586621679210871) ~> (s6989586621679210872 ~> t6989586621679210873)) ((a6989586621679210870 ~> Identity b6989586621679210871) ~> (s6989586621679210872 ~> Identity t6989586621679210873)) -> Type) (a6989586621679215015 :: (a6989586621679210870 ~> b6989586621679210871) ~> (s6989586621679210872 ~> t6989586621679210873)) = SetsSym1 a6989586621679215015

data SetsSym1 (a6989586621679215015 :: (~>) ((~>) a6989586621679210870 b6989586621679210871) ((~>) s6989586621679210872 t6989586621679210873)) :: (~>) ((~>) a6989586621679210870 (Identity b6989586621679210871)) ((~>) s6989586621679210872 (Identity t6989586621679210873))

Instances

SuppressUnusedWarnings (SetsSym1 a6989586621679215015 :: TyFun (a6989586621679210870 ~> Identity b6989586621679210871) (s6989586621679210872 ~> Identity t6989586621679210873) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (SetsSym1 d :: TyFun (a ~> Identity b) (s ~> Identity t) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (SetsSym1 d)

type Apply (SetsSym1 a6989586621679215015 :: TyFun (a6989586621679210870 ~> Identity b6989586621679210871) (s6989586621679210872 ~> Identity t6989586621679210873) -> Type) (a6989586621679215016 :: a6989586621679210870 ~> Identity b6989586621679210871)

Defined in Data.Type.Lens

type Apply (SetsSym1 a6989586621679215015 :: TyFun (a6989586621679210870 ~> Identity b6989586621679210871) (s6989586621679210872 ~> Identity t6989586621679210873) -> Type) (a6989586621679215016 :: a6989586621679210870 ~> Identity b6989586621679210871) = SetsSym2 a6989586621679215015 a6989586621679215016

data SetsSym2 (a6989586621679215015 :: (~>) ((~>) a6989586621679210870 b6989586621679210871) ((~>) s6989586621679210872 t6989586621679210873)) (a6989586621679215016 :: (~>) a6989586621679210870 (Identity b6989586621679210871)) :: (~>) s6989586621679210872 (Identity t6989586621679210873)

Instances

SuppressUnusedWarnings (SetsSym2 a6989586621679215016 a6989586621679215015 :: TyFun s6989586621679210872 (Identity t6989586621679210873) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (SetsSym2 d1 d2 :: TyFun s (Identity t) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (SetsSym2 d1 d2)

type Apply (SetsSym2 a6989586621679215016 a6989586621679215015 :: TyFun s (Identity t) -> Type) (a6989586621679215017 :: s)

Defined in Data.Type.Lens

type Apply (SetsSym2 a6989586621679215016 a6989586621679215015 :: TyFun s (Identity t) -> Type) (a6989586621679215017 :: s) = Sets a6989586621679215016 a6989586621679215015 a6989586621679215017

type SetsSym3 (a6989586621679215015 :: (~>) ((~>) a6989586621679210870 b6989586621679210871) ((~>) s6989586621679210872 t6989586621679210873)) (a6989586621679215016 :: (~>) a6989586621679210870 (Identity b6989586621679210871)) (a6989586621679215017 :: s6989586621679210872) = Sets a6989586621679215015 a6989586621679215016 a6989586621679215017

data GettingSym0 r6989586621679201101

Instances

SuppressUnusedWarnings GettingSym0

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply GettingSym0 (r6989586621679201101 :: Type)

Defined in Data.Type.Lens

type Apply GettingSym0 (r6989586621679201101 :: Type) = GettingSym1 r6989586621679201101

data GettingSym1 (r6989586621679201101 :: Type) s6989586621679201102

Instances

SuppressUnusedWarnings (GettingSym1 r6989586621679201101 :: TyFun Type (TyFun Type Type -> Type) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply (GettingSym1 r6989586621679201101 :: TyFun Type (TyFun Type Type -> Type) -> Type) (s6989586621679201102 :: Type)

Defined in Data.Type.Lens

type Apply (GettingSym1 r6989586621679201101 :: TyFun Type (TyFun Type Type -> Type) -> Type) (s6989586621679201102 :: Type) = GettingSym2 r6989586621679201101 s6989586621679201102

data GettingSym2 (r6989586621679201101 :: Type) (s6989586621679201102 :: Type) a6989586621679201103

Instances

SuppressUnusedWarnings (GettingSym2 s6989586621679201102 r6989586621679201101 :: TyFun Type Type -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply (GettingSym2 s6989586621679201102 r6989586621679201101 :: TyFun Type Type -> Type) (a6989586621679201103 :: Type)

Defined in Data.Type.Lens

type Apply (GettingSym2 s6989586621679201102 r6989586621679201101 :: TyFun Type Type -> Type) (a6989586621679201103 :: Type) = Getting s6989586621679201102 r6989586621679201101 a6989586621679201103

type GettingSym3 (r6989586621679201101 :: Type) (s6989586621679201102 :: Type) (a6989586621679201103 :: Type) = Getting r6989586621679201101 s6989586621679201102 a6989586621679201103

data ViewSym0 :: forall a6989586621679210874 s6989586621679210875. (~>) ((~>) ((~>) a6989586621679210874 ((Const a6989586621679210874 :: Type -> Type) a6989586621679210874)) ((~>) s6989586621679210875 ((Const a6989586621679210874 :: Type -> Type) s6989586621679210875))) ((~>) s6989586621679210875 a6989586621679210874)

Instances

SuppressUnusedWarnings (ViewSym0 :: TyFun ((a6989586621679210874 ~> Const a6989586621679210874 a6989586621679210874) ~> (s6989586621679210875 ~> Const a6989586621679210874 s6989586621679210875)) (s6989586621679210875 ~> a6989586621679210874) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI (ViewSym0 :: TyFun ((a ~> Const a a) ~> (s ~> Const a s)) (s ~> a) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing ViewSym0

type Apply (ViewSym0 :: TyFun ((a6989586621679210874 ~> Const a6989586621679210874 a6989586621679210874) ~> (s6989586621679210875 ~> Const a6989586621679210874 s6989586621679210875)) (s6989586621679210875 ~> a6989586621679210874) -> Type) (a6989586621679215043 :: (a6989586621679210874 ~> Const a6989586621679210874 a6989586621679210874) ~> (s6989586621679210875 ~> Const a6989586621679210874 s6989586621679210875))

Defined in Data.Type.Lens

type Apply (ViewSym0 :: TyFun ((a6989586621679210874 ~> Const a6989586621679210874 a6989586621679210874) ~> (s6989586621679210875 ~> Const a6989586621679210874 s6989586621679210875)) (s6989586621679210875 ~> a6989586621679210874) -> Type) (a6989586621679215043 :: (a6989586621679210874 ~> Const a6989586621679210874 a6989586621679210874) ~> (s6989586621679210875 ~> Const a6989586621679210874 s6989586621679210875)) = ViewSym1 a6989586621679215043

data ViewSym1 (a6989586621679215043 :: (~>) ((~>) a6989586621679210874 ((Const a6989586621679210874 :: Type -> Type) a6989586621679210874)) ((~>) s6989586621679210875 ((Const a6989586621679210874 :: Type -> Type) s6989586621679210875))) :: (~>) s6989586621679210875 a6989586621679210874

Instances

SuppressUnusedWarnings (ViewSym1 a6989586621679215043 :: TyFun s6989586621679210875 a6989586621679210874 -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (ViewSym1 d :: TyFun s a -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (ViewSym1 d)

type Apply (ViewSym1 a6989586621679215043 :: TyFun s a -> Type) (a6989586621679215044 :: s)

Defined in Data.Type.Lens

type Apply (ViewSym1 a6989586621679215043 :: TyFun s a -> Type) (a6989586621679215044 :: s) = View a6989586621679215043 a6989586621679215044

type ViewSym2 (a6989586621679215043 :: (~>) ((~>) a6989586621679210874 ((Const a6989586621679210874 :: Type -> Type) a6989586621679210874)) ((~>) s6989586621679210875 ((Const a6989586621679210874 :: Type -> Type) s6989586621679210875))) (a6989586621679215044 :: s6989586621679210875) = View a6989586621679215043 a6989586621679215044

data ToSym0 :: forall a6989586621679210868 r6989586621679210869 s6989586621679210867. (~>) ((~>) s6989586621679210867 a6989586621679210868) ((~>) ((~>) a6989586621679210868 ((Const r6989586621679210869 :: Type -> Type) a6989586621679210868)) ((~>) s6989586621679210867 ((Const r6989586621679210869 :: Type -> Type) s6989586621679210867)))

Instances

SuppressUnusedWarnings (ToSym0 :: TyFun (s6989586621679210867 ~> a6989586621679210868) ((a6989586621679210868 ~> Const r6989586621679210869 a6989586621679210868) ~> (s6989586621679210867 ~> Const r6989586621679210869 s6989586621679210867)) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI (ToSym0 :: TyFun (s ~> a) ((a ~> Const r a) ~> (s ~> Const r s)) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing ToSym0

type Apply (ToSym0 :: TyFun (s6989586621679210867 ~> a6989586621679210868) ((a6989586621679210868 ~> Const r6989586621679210869 a6989586621679210868) ~> (s6989586621679210867 ~> Const r6989586621679210869 s6989586621679210867)) -> Type) (a6989586621679214998 :: s6989586621679210867 ~> a6989586621679210868)

Defined in Data.Type.Lens

type Apply (ToSym0 :: TyFun (s6989586621679210867 ~> a6989586621679210868) ((a6989586621679210868 ~> Const r6989586621679210869 a6989586621679210868) ~> (s6989586621679210867 ~> Const r6989586621679210869 s6989586621679210867)) -> Type) (a6989586621679214998 :: s6989586621679210867 ~> a6989586621679210868) = (ToSym1 a6989586621679214998 r6989586621679210869 :: TyFun (a6989586621679210868 ~> Const r6989586621679210869 a6989586621679210868) (s6989586621679210867 ~> Const r6989586621679210869 s6989586621679210867) -> Type)

data ToSym1 (a6989586621679214998 :: (~>) s6989586621679210867 a6989586621679210868) :: forall r6989586621679210869. (~>) ((~>) a6989586621679210868 ((Const r6989586621679210869 :: Type -> Type) a6989586621679210868)) ((~>) s6989586621679210867 ((Const r6989586621679210869 :: Type -> Type) s6989586621679210867))

Instances

SuppressUnusedWarnings (ToSym1 a6989586621679214998 r6989586621679210869 :: TyFun (a6989586621679210868 ~> Const r6989586621679210869 a6989586621679210868) (s6989586621679210867 ~> Const r6989586621679210869 s6989586621679210867) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (ToSym1 d r :: TyFun (a ~> Const r a) (s ~> Const r s) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (ToSym1 d r)

type Apply (ToSym1 a6989586621679214998 r6989586621679210869 :: TyFun (a6989586621679210868 ~> Const r6989586621679210869 a6989586621679210868) (s6989586621679210867 ~> Const r6989586621679210869 s6989586621679210867) -> Type) (a6989586621679214999 :: a6989586621679210868 ~> Const r6989586621679210869 a6989586621679210868)

Defined in Data.Type.Lens

type Apply (ToSym1 a6989586621679214998 r6989586621679210869 :: TyFun (a6989586621679210868 ~> Const r6989586621679210869 a6989586621679210868) (s6989586621679210867 ~> Const r6989586621679210869 s6989586621679210867) -> Type) (a6989586621679214999 :: a6989586621679210868 ~> Const r6989586621679210869 a6989586621679210868) = ToSym2 a6989586621679214998 a6989586621679214999

data ToSym2 (a6989586621679214998 :: (~>) s6989586621679210867 a6989586621679210868) (a6989586621679214999 :: (~>) a6989586621679210868 ((Const r6989586621679210869 :: Type -> Type) a6989586621679210868)) :: (~>) s6989586621679210867 ((Const r6989586621679210869 :: Type -> Type) s6989586621679210867)

Instances

SuppressUnusedWarnings (ToSym2 a6989586621679214999 a6989586621679214998 :: TyFun s6989586621679210867 (Const r6989586621679210869 s6989586621679210867) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SingI d1, SingI d2) => SingI (ToSym2 d1 d2 :: TyFun s (Const r s) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (ToSym2 d1 d2)

type Apply (ToSym2 a6989586621679214999 a6989586621679214998 :: TyFun s (Const r s) -> Type) (a6989586621679215000 :: s)

Defined in Data.Type.Lens

type Apply (ToSym2 a6989586621679214999 a6989586621679214998 :: TyFun s (Const r s) -> Type) (a6989586621679215000 :: s) = To a6989586621679214999 a6989586621679214998 a6989586621679215000

type ToSym3 (a6989586621679214998 :: (~>) s6989586621679210867 a6989586621679210868) (a6989586621679214999 :: (~>) a6989586621679210868 ((Const r6989586621679210869 :: Type -> Type) a6989586621679210868)) (a6989586621679215000 :: s6989586621679210867) = To a6989586621679214998 a6989586621679214999 a6989586621679215000

data ToListOfSym0 :: forall a6989586621679210865 s6989586621679210866. (~>) ((~>) ((~>) a6989586621679210865 ((Const [a6989586621679210865] :: Type -> Type) a6989586621679210865)) ((~>) s6989586621679210866 ((Const [a6989586621679210865] :: Type -> Type) s6989586621679210866))) ((~>) s6989586621679210866 [a6989586621679210865])

Instances

SuppressUnusedWarnings (ToListOfSym0 :: TyFun ((a6989586621679210865 ~> Const [a6989586621679210865] a6989586621679210865) ~> (s6989586621679210866 ~> Const [a6989586621679210865] s6989586621679210866)) (s6989586621679210866 ~> [a6989586621679210865]) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI (ToListOfSym0 :: TyFun ((a ~> Const [a] a) ~> (s ~> Const [a] s)) (s ~> [a]) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing ToListOfSym0

type Apply (ToListOfSym0 :: TyFun ((a6989586621679210865 ~> Const [a6989586621679210865] a6989586621679210865) ~> (s6989586621679210866 ~> Const [a6989586621679210865] s6989586621679210866)) (s6989586621679210866 ~> [a6989586621679210865]) -> Type) (a6989586621679214978 :: (a6989586621679210865 ~> Const [a6989586621679210865] a6989586621679210865) ~> (s6989586621679210866 ~> Const [a6989586621679210865] s6989586621679210866))

Defined in Data.Type.Lens

type Apply (ToListOfSym0 :: TyFun ((a6989586621679210865 ~> Const [a6989586621679210865] a6989586621679210865) ~> (s6989586621679210866 ~> Const [a6989586621679210865] s6989586621679210866)) (s6989586621679210866 ~> [a6989586621679210865]) -> Type) (a6989586621679214978 :: (a6989586621679210865 ~> Const [a6989586621679210865] a6989586621679210865) ~> (s6989586621679210866 ~> Const [a6989586621679210865] s6989586621679210866)) = ToListOfSym1 a6989586621679214978

data ToListOfSym1 (a6989586621679214978 :: (~>) ((~>) a6989586621679210865 ((Const [a6989586621679210865] :: Type -> Type) a6989586621679210865)) ((~>) s6989586621679210866 ((Const [a6989586621679210865] :: Type -> Type) s6989586621679210866))) :: (~>) s6989586621679210866 [a6989586621679210865]

Instances

SuppressUnusedWarnings (ToListOfSym1 a6989586621679214978 :: TyFun s6989586621679210866 [a6989586621679210865] -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (ToListOfSym1 d :: TyFun s [a] -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (ToListOfSym1 d)

type Apply (ToListOfSym1 a6989586621679214978 :: TyFun s [a] -> Type) (a6989586621679214979 :: s)

Defined in Data.Type.Lens

type Apply (ToListOfSym1 a6989586621679214978 :: TyFun s [a] -> Type) (a6989586621679214979 :: s) = ToListOf a6989586621679214978 a6989586621679214979

type ToListOfSym2 (a6989586621679214978 :: (~>) ((~>) a6989586621679210865 ((Const [a6989586621679210865] :: Type -> Type) a6989586621679210865)) ((~>) s6989586621679210866 ((Const [a6989586621679210865] :: Type -> Type) s6989586621679210866))) (a6989586621679214979 :: s6989586621679210866) = ToListOf a6989586621679214978 a6989586621679214979

data LensLikeSym0 f6989586621679201111

Instances

SuppressUnusedWarnings (LensLikeSym0 :: TyFun (k6989586621679201126 -> Type) (TyFun Type (TyFun k6989586621679201126 (TyFun Type (TyFun k6989586621679201126 Type -> Type) -> Type) -> Type) -> Type) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply (LensLikeSym0 :: TyFun (k6989586621679201126 -> Type) (TyFun Type (TyFun k6989586621679201126 (TyFun Type (TyFun k6989586621679201126 Type -> Type) -> Type) -> Type) -> Type) -> Type) (f6989586621679201111 :: k6989586621679201126 -> Type)

Defined in Data.Type.Lens

type Apply (LensLikeSym0 :: TyFun (k6989586621679201126 -> Type) (TyFun Type (TyFun k6989586621679201126 (TyFun Type (TyFun k6989586621679201126 Type -> Type) -> Type) -> Type) -> Type) -> Type) (f6989586621679201111 :: k6989586621679201126 -> Type) = LensLikeSym1 f6989586621679201111

data LensLikeSym1 (f6989586621679201111 :: k6989586621679201126 -> Type) s6989586621679201112

Instances

SuppressUnusedWarnings (LensLikeSym1 f6989586621679201111 :: TyFun Type (TyFun k6989586621679201126 (TyFun Type (TyFun k6989586621679201126 Type -> Type) -> Type) -> Type) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply (LensLikeSym1 f6989586621679201111 :: TyFun Type (TyFun k6989586621679201126 (TyFun Type (TyFun k6989586621679201126 Type -> Type) -> Type) -> Type) -> Type) (s6989586621679201112 :: Type)

Defined in Data.Type.Lens

type Apply (LensLikeSym1 f6989586621679201111 :: TyFun Type (TyFun k6989586621679201126 (TyFun Type (TyFun k6989586621679201126 Type -> Type) -> Type) -> Type) -> Type) (s6989586621679201112 :: Type) = LensLikeSym2 f6989586621679201111 s6989586621679201112

data LensLikeSym2 (f6989586621679201111 :: k6989586621679201126 -> Type) (s6989586621679201112 :: Type) t6989586621679201113

Instances

SuppressUnusedWarnings (LensLikeSym2 s6989586621679201112 f6989586621679201111 :: TyFun k6989586621679201126 (TyFun Type (TyFun k6989586621679201126 Type -> Type) -> Type) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply (LensLikeSym2 s6989586621679201112 f6989586621679201111 :: TyFun k6989586621679201126 (TyFun Type (TyFun k6989586621679201126 Type -> Type) -> Type) -> Type) (t6989586621679201113 :: k6989586621679201126)

Defined in Data.Type.Lens

type Apply (LensLikeSym2 s6989586621679201112 f6989586621679201111 :: TyFun k6989586621679201126 (TyFun Type (TyFun k6989586621679201126 Type -> Type) -> Type) -> Type) (t6989586621679201113 :: k6989586621679201126) = LensLikeSym3 s6989586621679201112 f6989586621679201111 t6989586621679201113

data LensLikeSym3 (f6989586621679201111 :: k6989586621679201126 -> Type) (s6989586621679201112 :: Type) (t6989586621679201113 :: k6989586621679201126) a6989586621679201114

Instances

SuppressUnusedWarnings (LensLikeSym3 t6989586621679201113 s6989586621679201112 f6989586621679201111 :: TyFun Type (TyFun k6989586621679201126 Type -> Type) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply (LensLikeSym3 t6989586621679201113 s6989586621679201112 f6989586621679201111 :: TyFun Type (TyFun k6989586621679201126 Type -> Type) -> Type) (a6989586621679201114 :: Type)

Defined in Data.Type.Lens

type Apply (LensLikeSym3 t6989586621679201113 s6989586621679201112 f6989586621679201111 :: TyFun Type (TyFun k6989586621679201126 Type -> Type) -> Type) (a6989586621679201114 :: Type) = LensLikeSym4 t6989586621679201113 s6989586621679201112 f6989586621679201111 a6989586621679201114

data LensLikeSym4 (f6989586621679201111 :: k6989586621679201126 -> Type) (s6989586621679201112 :: Type) (t6989586621679201113 :: k6989586621679201126) (a6989586621679201114 :: Type) b6989586621679201115

Instances

SuppressUnusedWarnings (LensLikeSym4 a6989586621679201114 t6989586621679201113 s6989586621679201112 f6989586621679201111 :: TyFun k6989586621679201126 Type -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply (LensLikeSym4 a6989586621679201114 t6989586621679201113 s6989586621679201112 f6989586621679201111 :: TyFun k Type -> Type) (b6989586621679201115 :: k)

Defined in Data.Type.Lens

type Apply (LensLikeSym4 a6989586621679201114 t6989586621679201113 s6989586621679201112 f6989586621679201111 :: TyFun k Type -> Type) (b6989586621679201115 :: k) = LensLike a6989586621679201114 t6989586621679201113 s6989586621679201112 f6989586621679201111 b6989586621679201115

type LensLikeSym5 (f6989586621679201111 :: k6989586621679201126 -> Type) (s6989586621679201112 :: Type) (t6989586621679201113 :: k6989586621679201126) (a6989586621679201114 :: Type) (b6989586621679201115 :: k6989586621679201126) = LensLike f6989586621679201111 s6989586621679201112 t6989586621679201113 a6989586621679201114 b6989586621679201115

data LensLike'Sym0 f6989586621679201108

Instances

SuppressUnusedWarnings LensLike'Sym0

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply LensLike'Sym0 (f6989586621679201108 :: Type -> Type)

Defined in Data.Type.Lens

type Apply LensLike'Sym0 (f6989586621679201108 :: Type -> Type) = LensLike'Sym1 f6989586621679201108

data LensLike'Sym1 (f6989586621679201108 :: Type -> Type) s6989586621679201109

Instances

SuppressUnusedWarnings (LensLike'Sym1 f6989586621679201108 :: TyFun Type (TyFun Type Type -> Type) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply (LensLike'Sym1 f6989586621679201108 :: TyFun Type (TyFun Type Type -> Type) -> Type) (s6989586621679201109 :: Type)

Defined in Data.Type.Lens

type Apply (LensLike'Sym1 f6989586621679201108 :: TyFun Type (TyFun Type Type -> Type) -> Type) (s6989586621679201109 :: Type) = LensLike'Sym2 f6989586621679201108 s6989586621679201109

data LensLike'Sym2 (f6989586621679201108 :: Type -> Type) (s6989586621679201109 :: Type) a6989586621679201110

Instances

SuppressUnusedWarnings (LensLike'Sym2 s6989586621679201109 f6989586621679201108 :: TyFun Type Type -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

type Apply (LensLike'Sym2 s6989586621679201109 f6989586621679201108 :: TyFun Type Type -> Type) (a6989586621679201110 :: Type)

Defined in Data.Type.Lens

type Apply (LensLike'Sym2 s6989586621679201109 f6989586621679201108 :: TyFun Type Type -> Type) (a6989586621679201110 :: Type) = LensLike' s6989586621679201109 f6989586621679201108 a6989586621679201110

type LensLike'Sym3 (f6989586621679201108 :: Type -> Type) (s6989586621679201109 :: Type) (a6989586621679201110 :: Type) = LensLike' f6989586621679201108 s6989586621679201109 a6989586621679201110

data MkLensSym0 :: forall a6989586621679239055 b6989586621679239056 f6989586621679239053 s6989586621679239054 t6989586621679239057. (~>) ((~>) s6989586621679239054 a6989586621679239055) ((~>) ((~>) s6989586621679239054 ((~>) b6989586621679239056 t6989586621679239057)) ((~>) ((~>) a6989586621679239055 (f6989586621679239053 b6989586621679239056)) ((~>) s6989586621679239054 (f6989586621679239053 t6989586621679239057))))

Instances

SuppressUnusedWarnings (MkLensSym0 :: TyFun (s6989586621679239054 ~> a6989586621679239055) ((s6989586621679239054 ~> (b6989586621679239056 ~> t6989586621679239057)) ~> ((a6989586621679239055 ~> f6989586621679239053 b6989586621679239056) ~> (s6989586621679239054 ~> f6989586621679239053 t6989586621679239057))) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SFunctor f => SingI (MkLensSym0 :: TyFun (s ~> a) ((s ~> (b ~> t)) ~> ((a ~> f b) ~> (s ~> f t))) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing MkLensSym0

type Apply (MkLensSym0 :: TyFun (s6989586621679239054 ~> a6989586621679239055) ((s6989586621679239054 ~> (b6989586621679239056 ~> t6989586621679239057)) ~> ((a6989586621679239055 ~> f6989586621679239053 b6989586621679239056) ~> (s6989586621679239054 ~> f6989586621679239053 t6989586621679239057))) -> Type) (a6989586621679239134 :: s6989586621679239054 ~> a6989586621679239055)

Defined in Data.Type.Lens

type Apply (MkLensSym0 :: TyFun (s6989586621679239054 ~> a6989586621679239055) ((s6989586621679239054 ~> (b6989586621679239056 ~> t6989586621679239057)) ~> ((a6989586621679239055 ~> f6989586621679239053 b6989586621679239056) ~> (s6989586621679239054 ~> f6989586621679239053 t6989586621679239057))) -> Type) (a6989586621679239134 :: s6989586621679239054 ~> a6989586621679239055) = (MkLensSym1 a6989586621679239134 b6989586621679239056 f6989586621679239053 t6989586621679239057 :: TyFun (s6989586621679239054 ~> (b6989586621679239056 ~> t6989586621679239057)) ((a6989586621679239055 ~> f6989586621679239053 b6989586621679239056) ~> (s6989586621679239054 ~> f6989586621679239053 t6989586621679239057)) -> Type)

data MkLensSym1 (a6989586621679239134 :: (~>) s6989586621679239054 a6989586621679239055) :: forall b6989586621679239056 f6989586621679239053 t6989586621679239057. (~>) ((~>) s6989586621679239054 ((~>) b6989586621679239056 t6989586621679239057)) ((~>) ((~>) a6989586621679239055 (f6989586621679239053 b6989586621679239056)) ((~>) s6989586621679239054 (f6989586621679239053 t6989586621679239057)))

Instances

SuppressUnusedWarnings (MkLensSym1 a6989586621679239134 b6989586621679239056 f6989586621679239053 t6989586621679239057 :: TyFun (s6989586621679239054 ~> (b6989586621679239056 ~> t6989586621679239057)) ((a6989586621679239055 ~> f6989586621679239053 b6989586621679239056) ~> (s6989586621679239054 ~> f6989586621679239053 t6989586621679239057)) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SFunctor f, SingI d) => SingI (MkLensSym1 d b f t :: TyFun (s ~> (b ~> t)) ((a ~> f b) ~> (s ~> f t)) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (MkLensSym1 d b f t)

type Apply (MkLensSym1 a6989586621679239134 b6989586621679239056 f6989586621679239053 t6989586621679239057 :: TyFun (s6989586621679239054 ~> (b6989586621679239056 ~> t6989586621679239057)) ((a6989586621679239055 ~> f6989586621679239053 b6989586621679239056) ~> (s6989586621679239054 ~> f6989586621679239053 t6989586621679239057)) -> Type) (a6989586621679239135 :: s6989586621679239054 ~> (b6989586621679239056 ~> t6989586621679239057))

Defined in Data.Type.Lens

type Apply (MkLensSym1 a6989586621679239134 b6989586621679239056 f6989586621679239053 t6989586621679239057 :: TyFun (s6989586621679239054 ~> (b6989586621679239056 ~> t6989586621679239057)) ((a6989586621679239055 ~> f6989586621679239053 b6989586621679239056) ~> (s6989586621679239054 ~> f6989586621679239053 t6989586621679239057)) -> Type) (a6989586621679239135 :: s6989586621679239054 ~> (b6989586621679239056 ~> t6989586621679239057)) = (MkLensSym2 a6989586621679239134 a6989586621679239135 f6989586621679239053 :: TyFun (a6989586621679239055 ~> f6989586621679239053 b6989586621679239056) (s6989586621679239054 ~> f6989586621679239053 t6989586621679239057) -> Type)

data MkLensSym2 (a6989586621679239134 :: (~>) s6989586621679239054 a6989586621679239055) (a6989586621679239135 :: (~>) s6989586621679239054 ((~>) b6989586621679239056 t6989586621679239057)) :: forall f6989586621679239053. (~>) ((~>) a6989586621679239055 (f6989586621679239053 b6989586621679239056)) ((~>) s6989586621679239054 (f6989586621679239053 t6989586621679239057))

Instances

SuppressUnusedWarnings (MkLensSym2 a6989586621679239135 a6989586621679239134 f6989586621679239053 :: TyFun (a6989586621679239055 ~> f6989586621679239053 b6989586621679239056) (s6989586621679239054 ~> f6989586621679239053 t6989586621679239057) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SFunctor f, SingI d1, SingI d2) => SingI (MkLensSym2 d1 d2 f :: TyFun (a ~> f b) (s ~> f t) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (MkLensSym2 d1 d2 f)

type Apply (MkLensSym2 a6989586621679239135 a6989586621679239134 f6989586621679239053 :: TyFun (a6989586621679239055 ~> f6989586621679239053 b6989586621679239056) (s6989586621679239054 ~> f6989586621679239053 t6989586621679239057) -> Type) (a6989586621679239136 :: a6989586621679239055 ~> f6989586621679239053 b6989586621679239056)

Defined in Data.Type.Lens

type Apply (MkLensSym2 a6989586621679239135 a6989586621679239134 f6989586621679239053 :: TyFun (a6989586621679239055 ~> f6989586621679239053 b6989586621679239056) (s6989586621679239054 ~> f6989586621679239053 t6989586621679239057) -> Type) (a6989586621679239136 :: a6989586621679239055 ~> f6989586621679239053 b6989586621679239056) = MkLensSym3 a6989586621679239135 a6989586621679239134 a6989586621679239136

data MkLensSym3 (a6989586621679239134 :: (~>) s6989586621679239054 a6989586621679239055) (a6989586621679239135 :: (~>) s6989586621679239054 ((~>) b6989586621679239056 t6989586621679239057)) (a6989586621679239136 :: (~>) a6989586621679239055 (f6989586621679239053 b6989586621679239056)) :: (~>) s6989586621679239054 (f6989586621679239053 t6989586621679239057)

Instances

SuppressUnusedWarnings (MkLensSym3 a6989586621679239136 a6989586621679239135 a6989586621679239134 :: TyFun s6989586621679239054 (f6989586621679239053 t6989586621679239057) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SFunctor f, SingI d1, SingI d2, SingI d3) => SingI (MkLensSym3 d1 d2 d3 :: TyFun s (f t) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (MkLensSym3 d1 d2 d3)

type Apply (MkLensSym3 a6989586621679239136 a6989586621679239135 a6989586621679239134 :: TyFun s (f t) -> Type) (a6989586621679239137 :: s)

Defined in Data.Type.Lens

type Apply (MkLensSym3 a6989586621679239136 a6989586621679239135 a6989586621679239134 :: TyFun s (f t) -> Type) (a6989586621679239137 :: s) = MkLens a6989586621679239136 a6989586621679239135 a6989586621679239134 a6989586621679239137

type MkLensSym4 (a6989586621679239134 :: (~>) s6989586621679239054 a6989586621679239055) (a6989586621679239135 :: (~>) s6989586621679239054 ((~>) b6989586621679239056 t6989586621679239057)) (a6989586621679239136 :: (~>) a6989586621679239055 (f6989586621679239053 b6989586621679239056)) (a6989586621679239137 :: s6989586621679239054) = MkLens a6989586621679239134 a6989586621679239135 a6989586621679239136 a6989586621679239137

data CloneLensSym0 :: forall a6989586621679210850 b6989586621679210851 f6989586621679210849 s6989586621679210852 t6989586621679210853. (~>) ((~>) ((~>) a6989586621679210850 (Context a6989586621679210850 b6989586621679210851 b6989586621679210851)) ((~>) s6989586621679210852 (Context a6989586621679210850 b6989586621679210851 t6989586621679210853))) ((~>) ((~>) a6989586621679210850 (f6989586621679210849 b6989586621679210851)) ((~>) s6989586621679210852 (f6989586621679210849 t6989586621679210853)))

Instances

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 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 CloneLensSym1 (a6989586621679214896 :: (~>) ((~>) a6989586621679210850 (Context a6989586621679210850 b6989586621679210851 b6989586621679210851)) ((~>) s6989586621679210852 (Context a6989586621679210850 b6989586621679210851 t6989586621679210853))) :: forall f6989586621679210849. (~>) ((~>) a6989586621679210850 (f6989586621679210849 b6989586621679210851)) ((~>) s6989586621679210852 (f6989586621679210849 t6989586621679210853))

Instances

SuppressUnusedWarnings (CloneLensSym1 a6989586621679214896 f6989586621679210849 :: TyFun (a6989586621679210850 ~> f6989586621679210849 b6989586621679210851) (s6989586621679210852 ~> f6989586621679210849 t6989586621679210853) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SFunctor f, SingI d) => SingI (CloneLensSym1 d f :: TyFun (a ~> f b) (s ~> f t) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (CloneLensSym1 d f)

type Apply (CloneLensSym1 a6989586621679214896 f6989586621679210849 :: TyFun (a6989586621679210850 ~> f6989586621679210849 b6989586621679210851) (s6989586621679210852 ~> f6989586621679210849 t6989586621679210853) -> Type) (a6989586621679214897 :: a6989586621679210850 ~> f6989586621679210849 b6989586621679210851)

Defined in Data.Type.Lens

type Apply (CloneLensSym1 a6989586621679214896 f6989586621679210849 :: TyFun (a6989586621679210850 ~> f6989586621679210849 b6989586621679210851) (s6989586621679210852 ~> f6989586621679210849 t6989586621679210853) -> Type) (a6989586621679214897 :: a6989586621679210850 ~> f6989586621679210849 b6989586621679210851) = CloneLensSym2 a6989586621679214896 a6989586621679214897

data CloneLensSym2 (a6989586621679214896 :: (~>) ((~>) a6989586621679210850 (Context a6989586621679210850 b6989586621679210851 b6989586621679210851)) ((~>) s6989586621679210852 (Context a6989586621679210850 b6989586621679210851 t6989586621679210853))) (a6989586621679214897 :: (~>) a6989586621679210850 (f6989586621679210849 b6989586621679210851)) :: (~>) s6989586621679210852 (f6989586621679210849 t6989586621679210853)

Instances

SuppressUnusedWarnings (CloneLensSym2 a6989586621679214897 a6989586621679214896 :: TyFun s6989586621679210852 (f6989586621679210849 t6989586621679210853) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SFunctor f, SingI d1, SingI d2) => SingI (CloneLensSym2 d1 d2 :: TyFun s (f t) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (CloneLensSym2 d1 d2)

type Apply (CloneLensSym2 a6989586621679214897 a6989586621679214896 :: TyFun s (f t) -> Type) (a6989586621679214898 :: s)

Defined in Data.Type.Lens

type Apply (CloneLensSym2 a6989586621679214897 a6989586621679214896 :: TyFun s (f t) -> Type) (a6989586621679214898 :: s) = CloneLens a6989586621679214897 a6989586621679214896 a6989586621679214898

type CloneLensSym3 (a6989586621679214896 :: (~>) ((~>) a6989586621679210850 (Context a6989586621679210850 b6989586621679210851 b6989586621679210851)) ((~>) s6989586621679210852 (Context a6989586621679210850 b6989586621679210851 t6989586621679210853))) (a6989586621679214897 :: (~>) a6989586621679210850 (f6989586621679210849 b6989586621679210851)) (a6989586621679214898 :: s6989586621679210852) = CloneLens a6989586621679214896 a6989586621679214897 a6989586621679214898

data FoldingSym0 :: forall a6989586621679210860 f6989586621679210857 r6989586621679210858 s6989586621679210859. (~>) ((~>) s6989586621679210859 (f6989586621679210857 a6989586621679210860)) ((~>) ((~>) a6989586621679210860 ((Const r6989586621679210858 :: Type -> Type) a6989586621679210860)) ((~>) s6989586621679210859 ((Const r6989586621679210858 :: Type -> Type) s6989586621679210859)))

Instances

SuppressUnusedWarnings (FoldingSym0 :: TyFun (s6989586621679210859 ~> f6989586621679210857 a6989586621679210860) ((a6989586621679210860 ~> Const r6989586621679210858 a6989586621679210860) ~> (s6989586621679210859 ~> Const r6989586621679210858 s6989586621679210859)) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SFoldable f, SMonoid r) => SingI (FoldingSym0 :: TyFun (s ~> f a) ((a ~> Const r a) ~> (s ~> Const r s)) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing FoldingSym0

type Apply (FoldingSym0 :: TyFun (s6989586621679210859 ~> f6989586621679210857 a6989586621679210860) ((a6989586621679210860 ~> Const r6989586621679210858 a6989586621679210860) ~> (s6989586621679210859 ~> Const r6989586621679210858 s6989586621679210859)) -> Type) (a6989586621679214935 :: s6989586621679210859 ~> f6989586621679210857 a6989586621679210860)

Defined in Data.Type.Lens

type Apply (FoldingSym0 :: TyFun (s6989586621679210859 ~> f6989586621679210857 a6989586621679210860) ((a6989586621679210860 ~> Const r6989586621679210858 a6989586621679210860) ~> (s6989586621679210859 ~> Const r6989586621679210858 s6989586621679210859)) -> Type) (a6989586621679214935 :: s6989586621679210859 ~> f6989586621679210857 a6989586621679210860) = (FoldingSym1 a6989586621679214935 r6989586621679210858 :: TyFun (a6989586621679210860 ~> Const r6989586621679210858 a6989586621679210860) (s6989586621679210859 ~> Const r6989586621679210858 s6989586621679210859) -> Type)

data FoldingSym1 (a6989586621679214935 :: (~>) s6989586621679210859 (f6989586621679210857 a6989586621679210860)) :: forall r6989586621679210858. (~>) ((~>) a6989586621679210860 ((Const r6989586621679210858 :: Type -> Type) a6989586621679210860)) ((~>) s6989586621679210859 ((Const r6989586621679210858 :: Type -> Type) s6989586621679210859))

Instances

SuppressUnusedWarnings (FoldingSym1 a6989586621679214935 r6989586621679210858 :: TyFun (a6989586621679210860 ~> Const r6989586621679210858 a6989586621679210860) (s6989586621679210859 ~> Const r6989586621679210858 s6989586621679210859) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SFoldable f, SMonoid r, SingI d) => SingI (FoldingSym1 d r :: TyFun (a ~> Const r a) (s ~> Const r s) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (FoldingSym1 d r)

type Apply (FoldingSym1 a6989586621679214935 r6989586621679210858 :: TyFun (a6989586621679210860 ~> Const r6989586621679210858 a6989586621679210860) (s6989586621679210859 ~> Const r6989586621679210858 s6989586621679210859) -> Type) (a6989586621679214936 :: a6989586621679210860 ~> Const r6989586621679210858 a6989586621679210860)

Defined in Data.Type.Lens

type Apply (FoldingSym1 a6989586621679214935 r6989586621679210858 :: TyFun (a6989586621679210860 ~> Const r6989586621679210858 a6989586621679210860) (s6989586621679210859 ~> Const r6989586621679210858 s6989586621679210859) -> Type) (a6989586621679214936 :: a6989586621679210860 ~> Const r6989586621679210858 a6989586621679210860) = FoldingSym2 a6989586621679214935 a6989586621679214936

data FoldingSym2 (a6989586621679214935 :: (~>) s6989586621679210859 (f6989586621679210857 a6989586621679210860)) (a6989586621679214936 :: (~>) a6989586621679210860 ((Const r6989586621679210858 :: Type -> Type) a6989586621679210860)) :: (~>) s6989586621679210859 ((Const r6989586621679210858 :: Type -> Type) s6989586621679210859)

Instances

SuppressUnusedWarnings (FoldingSym2 a6989586621679214936 a6989586621679214935 :: TyFun s6989586621679210859 (Const r6989586621679210858 s6989586621679210859) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SFoldable f, SMonoid r, SingI d1, SingI d2) => SingI (FoldingSym2 d1 d2 :: TyFun s (Const r s) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (FoldingSym2 d1 d2)

type Apply (FoldingSym2 a6989586621679214936 a6989586621679214935 :: TyFun s (Const r s) -> Type) (a6989586621679214937 :: s)

Defined in Data.Type.Lens

type Apply (FoldingSym2 a6989586621679214936 a6989586621679214935 :: TyFun s (Const r s) -> Type) (a6989586621679214937 :: s) = Folding a6989586621679214936 a6989586621679214935 a6989586621679214937

type FoldingSym3 (a6989586621679214935 :: (~>) s6989586621679210859 (f6989586621679210857 a6989586621679210860)) (a6989586621679214936 :: (~>) a6989586621679210860 ((Const r6989586621679210858 :: Type -> Type) a6989586621679210860)) (a6989586621679214937 :: s6989586621679210859) = Folding a6989586621679214935 a6989586621679214936 a6989586621679214937

data FoldedSym0 :: forall a6989586621679210856 f6989586621679210854 r6989586621679210855. (~>) ((~>) a6989586621679210856 ((Const r6989586621679210855 :: Type -> Type) a6989586621679210856)) ((~>) (f6989586621679210854 a6989586621679210856) ((Const r6989586621679210855 :: Type -> Type) (f6989586621679210854 a6989586621679210856)))

Instances

SuppressUnusedWarnings (FoldedSym0 :: TyFun (a6989586621679210856 ~> Const r6989586621679210855 a6989586621679210856) (f6989586621679210854 a6989586621679210856 ~> Const r6989586621679210855 (f6989586621679210854 a6989586621679210856)) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SFoldable f, SMonoid r) => SingI (FoldedSym0 :: TyFun (a ~> Const r a) (f a ~> Const r (f a)) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing FoldedSym0

type Apply (FoldedSym0 :: TyFun (a6989586621679210856 ~> Const r6989586621679210855 a6989586621679210856) (f6989586621679210854 a6989586621679210856 ~> Const r6989586621679210855 (f6989586621679210854 a6989586621679210856)) -> Type) (a6989586621679214922 :: a6989586621679210856 ~> Const r6989586621679210855 a6989586621679210856)

Defined in Data.Type.Lens

type Apply (FoldedSym0 :: TyFun (a6989586621679210856 ~> Const r6989586621679210855 a6989586621679210856) (f6989586621679210854 a6989586621679210856 ~> Const r6989586621679210855 (f6989586621679210854 a6989586621679210856)) -> Type) (a6989586621679214922 :: a6989586621679210856 ~> Const r6989586621679210855 a6989586621679210856) = (FoldedSym1 a6989586621679214922 f6989586621679210854 :: TyFun (f6989586621679210854 a6989586621679210856) (Const r6989586621679210855 (f6989586621679210854 a6989586621679210856)) -> Type)

data FoldedSym1 (a6989586621679214922 :: (~>) a6989586621679210856 ((Const r6989586621679210855 :: Type -> Type) a6989586621679210856)) :: forall f6989586621679210854. (~>) (f6989586621679210854 a6989586621679210856) ((Const r6989586621679210855 :: Type -> Type) (f6989586621679210854 a6989586621679210856))

Instances

SuppressUnusedWarnings (FoldedSym1 a6989586621679214922 f6989586621679210854 :: TyFun (f6989586621679210854 a6989586621679210856) (Const r6989586621679210855 (f6989586621679210854 a6989586621679210856)) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SFoldable f, SMonoid r, SingI d) => SingI (FoldedSym1 d f :: TyFun (f a) (Const r (f a)) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (FoldedSym1 d f)

type Apply (FoldedSym1 a6989586621679214922 f :: TyFun (f a) (Const r (f a)) -> Type) (a6989586621679214923 :: f a)

Defined in Data.Type.Lens

type Apply (FoldedSym1 a6989586621679214922 f :: TyFun (f a) (Const r (f a)) -> Type) (a6989586621679214923 :: f a) = Folded a6989586621679214922 a6989586621679214923

type FoldedSym2 (a6989586621679214922 :: (~>) a6989586621679210856 ((Const r6989586621679210855 :: Type -> Type) a6989586621679210856)) (a6989586621679214923 :: f6989586621679210854 a6989586621679210856) = Folded a6989586621679214922 a6989586621679214923

data L1Sym0 :: forall a6989586621679210841 b6989586621679210843 c6989586621679210842 f6989586621679210840. (~>) ((~>) a6989586621679210841 (f6989586621679210840 b6989586621679210843)) ((~>) (a6989586621679210841, c6989586621679210842) (f6989586621679210840 (b6989586621679210843, c6989586621679210842)))

Instances

SuppressUnusedWarnings (L1Sym0 :: TyFun (a6989586621679210841 ~> f6989586621679210840 b6989586621679210843) ((a6989586621679210841, c6989586621679210842) ~> f6989586621679210840 (b6989586621679210843, c6989586621679210842)) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SFunctor f => SingI (L1Sym0 :: TyFun (a ~> f b) ((a, c) ~> f (b, c)) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing L1Sym0

type Apply (L1Sym0 :: TyFun (a6989586621679210841 ~> f6989586621679210840 b6989586621679210843) ((a6989586621679210841, c6989586621679210842) ~> f6989586621679210840 (b6989586621679210843, c6989586621679210842)) -> Type) (a6989586621679214864 :: a6989586621679210841 ~> f6989586621679210840 b6989586621679210843)

Defined in Data.Type.Lens

type Apply (L1Sym0 :: TyFun (a6989586621679210841 ~> f6989586621679210840 b6989586621679210843) ((a6989586621679210841, c6989586621679210842) ~> f6989586621679210840 (b6989586621679210843, c6989586621679210842)) -> Type) (a6989586621679214864 :: a6989586621679210841 ~> f6989586621679210840 b6989586621679210843) = (L1Sym1 a6989586621679214864 c6989586621679210842 :: TyFun (a6989586621679210841, c6989586621679210842) (f6989586621679210840 (b6989586621679210843, c6989586621679210842)) -> Type)

data L1Sym1 (a6989586621679214864 :: (~>) a6989586621679210841 (f6989586621679210840 b6989586621679210843)) :: forall c6989586621679210842. (~>) (a6989586621679210841, c6989586621679210842) (f6989586621679210840 (b6989586621679210843, c6989586621679210842))

Instances

SuppressUnusedWarnings (L1Sym1 a6989586621679214864 c6989586621679210842 :: TyFun (a6989586621679210841, c6989586621679210842) (f6989586621679210840 (b6989586621679210843, c6989586621679210842)) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SFunctor f, SingI d) => SingI (L1Sym1 d c :: TyFun (a, c) (f (b, c)) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (L1Sym1 d c)

type Apply (L1Sym1 a6989586621679214864 c :: TyFun (a, c) (f (b, c)) -> Type) (a6989586621679214865 :: (a, c))

Defined in Data.Type.Lens

type Apply (L1Sym1 a6989586621679214864 c :: TyFun (a, c) (f (b, c)) -> Type) (a6989586621679214865 :: (a, c)) = L1 a6989586621679214864 a6989586621679214865

type L1Sym2 (a6989586621679214864 :: (~>) a6989586621679210841 (f6989586621679210840 b6989586621679210843)) (a6989586621679214865 :: (a6989586621679210841, c6989586621679210842)) = L1 a6989586621679214864 a6989586621679214865

data L2Sym0 :: forall a6989586621679210837 b6989586621679210838 c6989586621679210839 f6989586621679210836. (~>) ((~>) b6989586621679210838 (f6989586621679210836 c6989586621679210839)) ((~>) (a6989586621679210837, b6989586621679210838) (f6989586621679210836 (a6989586621679210837, c6989586621679210839)))

Instances

SuppressUnusedWarnings (L2Sym0 :: TyFun (b6989586621679210838 ~> f6989586621679210836 c6989586621679210839) ((a6989586621679210837, b6989586621679210838) ~> f6989586621679210836 (a6989586621679210837, c6989586621679210839)) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SFunctor f => SingI (L2Sym0 :: TyFun (b ~> f c) ((a, b) ~> f (a, c)) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing L2Sym0

type Apply (L2Sym0 :: TyFun (b6989586621679210838 ~> f6989586621679210836 c6989586621679210839) ((a6989586621679210837, b6989586621679210838) ~> f6989586621679210836 (a6989586621679210837, c6989586621679210839)) -> Type) (a6989586621679214849 :: b6989586621679210838 ~> f6989586621679210836 c6989586621679210839)

Defined in Data.Type.Lens

type Apply (L2Sym0 :: TyFun (b6989586621679210838 ~> f6989586621679210836 c6989586621679210839) ((a6989586621679210837, b6989586621679210838) ~> f6989586621679210836 (a6989586621679210837, c6989586621679210839)) -> Type) (a6989586621679214849 :: b6989586621679210838 ~> f6989586621679210836 c6989586621679210839) = (L2Sym1 a6989586621679214849 a6989586621679210837 :: TyFun (a6989586621679210837, b6989586621679210838) (f6989586621679210836 (a6989586621679210837, c6989586621679210839)) -> Type)

data L2Sym1 (a6989586621679214849 :: (~>) b6989586621679210838 (f6989586621679210836 c6989586621679210839)) :: forall a6989586621679210837. (~>) (a6989586621679210837, b6989586621679210838) (f6989586621679210836 (a6989586621679210837, c6989586621679210839))

Instances

SuppressUnusedWarnings (L2Sym1 a6989586621679214849 a6989586621679210837 :: TyFun (a6989586621679210837, b6989586621679210838) (f6989586621679210836 (a6989586621679210837, c6989586621679210839)) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SFunctor f, SingI d) => SingI (L2Sym1 d a :: TyFun (a, b) (f (a, c)) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (L2Sym1 d a)

type Apply (L2Sym1 a6989586621679214849 a :: TyFun (a, b) (f (a, c)) -> Type) (a6989586621679214850 :: (a, b))

Defined in Data.Type.Lens

type Apply (L2Sym1 a6989586621679214849 a :: TyFun (a, b) (f (a, c)) -> Type) (a6989586621679214850 :: (a, b)) = L2 a6989586621679214849 a6989586621679214850

type L2Sym2 (a6989586621679214849 :: (~>) b6989586621679210838 (f6989586621679210836 c6989586621679210839)) (a6989586621679214850 :: (a6989586621679210837, b6989586621679210838)) = L2 a6989586621679214849 a6989586621679214850

type ZSym0 = Z

data SSym0 :: (~>) N N

Instances

SuppressUnusedWarnings SSym0

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SingI SSym0

Defined in Data.Type.Lens

Methods

sing :: Sing SSym0

type Apply SSym0 (t6989586621679202515 :: N)

Defined in Data.Type.Lens

type Apply SSym0 (t6989586621679202515 :: N) = S t6989586621679202515

type SSym1 (t6989586621679202515 :: N) = S t6989586621679202515

data IxListSym0 :: forall a6989586621679239052 f6989586621679239051. (~>) N ((~>) ((~>) a6989586621679239052 (f6989586621679239051 a6989586621679239052)) ((~>) [a6989586621679239052] (f6989586621679239051 [a6989586621679239052])))

Instances

SuppressUnusedWarnings (IxListSym0 :: TyFun N ((a6989586621679239052 ~> f6989586621679239051 a6989586621679239052) ~> ([a6989586621679239052] ~> f6989586621679239051 [a6989586621679239052])) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

SApplicative f => SingI (IxListSym0 :: TyFun N ((a ~> f a) ~> ([a] ~> f [a])) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing IxListSym0

type Apply (IxListSym0 :: TyFun N ((a6989586621679239052 ~> f6989586621679239051 a6989586621679239052) ~> ([a6989586621679239052] ~> f6989586621679239051 [a6989586621679239052])) -> Type) (a6989586621679239113 :: N)

Defined in Data.Type.Lens

type Apply (IxListSym0 :: TyFun N ((a6989586621679239052 ~> f6989586621679239051 a6989586621679239052) ~> ([a6989586621679239052] ~> f6989586621679239051 [a6989586621679239052])) -> Type) (a6989586621679239113 :: N) = (IxListSym1 a6989586621679239113 a6989586621679239052 f6989586621679239051 :: TyFun (a6989586621679239052 ~> f6989586621679239051 a6989586621679239052) ([a6989586621679239052] ~> f6989586621679239051 [a6989586621679239052]) -> Type)

data IxListSym1 (a6989586621679239113 :: N) :: forall a6989586621679239052 f6989586621679239051. (~>) ((~>) a6989586621679239052 (f6989586621679239051 a6989586621679239052)) ((~>) [a6989586621679239052] (f6989586621679239051 [a6989586621679239052]))

Instances

SuppressUnusedWarnings (IxListSym1 a6989586621679239113 a6989586621679239052 f6989586621679239051 :: TyFun (a6989586621679239052 ~> f6989586621679239051 a6989586621679239052) ([a6989586621679239052] ~> f6989586621679239051 [a6989586621679239052]) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SApplicative f, SingI d) => SingI (IxListSym1 d a f :: TyFun (a ~> f a) ([a] ~> f [a]) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (IxListSym1 d a f)

type Apply (IxListSym1 a6989586621679239113 a6989586621679239052 f6989586621679239051 :: TyFun (a6989586621679239052 ~> f6989586621679239051 a6989586621679239052) ([a6989586621679239052] ~> f6989586621679239051 [a6989586621679239052]) -> Type) (a6989586621679239114 :: a6989586621679239052 ~> f6989586621679239051 a6989586621679239052)

Defined in Data.Type.Lens

type Apply (IxListSym1 a6989586621679239113 a6989586621679239052 f6989586621679239051 :: TyFun (a6989586621679239052 ~> f6989586621679239051 a6989586621679239052) ([a6989586621679239052] ~> f6989586621679239051 [a6989586621679239052]) -> Type) (a6989586621679239114 :: a6989586621679239052 ~> f6989586621679239051 a6989586621679239052) = IxListSym2 a6989586621679239113 a6989586621679239114

data IxListSym2 (a6989586621679239113 :: N) (a6989586621679239114 :: (~>) a6989586621679239052 (f6989586621679239051 a6989586621679239052)) :: (~>) [a6989586621679239052] (f6989586621679239051 [a6989586621679239052])

Instances

SuppressUnusedWarnings (IxListSym2 a6989586621679239114 a6989586621679239113 :: TyFun [a6989586621679239052] (f6989586621679239051 [a6989586621679239052]) -> Type)

Defined in Data.Type.Lens

Methods

suppressUnusedWarnings :: ()

(SApplicative f, SingI d1, SingI d2) => SingI (IxListSym2 d1 d2 :: TyFun [a] (f [a]) -> Type)

Defined in Data.Type.Lens

Methods

sing :: Sing (IxListSym2 d1 d2)

type Apply (IxListSym2 a6989586621679239114 a6989586621679239113 :: TyFun [a] (f [a]) -> Type) (a6989586621679239115 :: [a])

Defined in Data.Type.Lens

type Apply (IxListSym2 a6989586621679239114 a6989586621679239113 :: TyFun [a] (f [a]) -> Type) (a6989586621679239115 :: [a]) = IxList a6989586621679239114 a6989586621679239113 a6989586621679239115

type IxListSym3 (a6989586621679239113 :: N) (a6989586621679239114 :: (~>) a6989586621679239052 (f6989586621679239051 a6989586621679239052)) (a6989586621679239115 :: [a6989586621679239052]) = IxList a6989586621679239113 a6989586621679239114 a6989586621679239115