Moduleeither-n-0.1.0.0Haskell2010

Data.Lens.Injection.Generic.Internal

The generic machinery behind injection.

This module is internal: its contents may change in any release, without a major version bump. Use Data.Lens.Injection.Generic instead.

Synopsis

classclass GInjection (n :: Nat) (s :: Type -> Type) (t :: Type -> Type) a b where

A prism to the nth constructor of a generic representation.

Instances5GInjection

GInjectionSum (IsLT (CmpNat n (GCount f))) n f g f' g' a b => GInjection n (f :+: g) (f' :+: g') a bDefined in either-n-0.1.0.0 · Data.Lens.Injection.Generic.Internal
GInjection n s t a b => GInjection n (M1 D m s) (M1 D m' t) a bDefined in either-n-0.1.0.0 · Data.Lens.Injection.Generic.Internal
(AssertZero n, Generic a, Generic b, Rep a ~ D1 da (C1 ca p), Rep b ~ D1 db (C1 cb q), GProduct (f :*: g) p, GProduct (f' :*: g') q) => GInjection n (M1 C m (f :*: g)) (M1 C m' (f' :*: g')) a bDefined in either-n-0.1.0.0 · Data.Lens.Injection.Generic.Internal
A constructor with more than one field.
(AssertZero n, a ~ (), b ~ ()) => GInjection n (M1 C m U1) (M1 C m' U1) a bDefined in either-n-0.1.0.0 · Data.Lens.Injection.Generic.Internal
A constructor with no fields.
(AssertZero n, x ~ a, y ~ b) => GInjection n (M1 C m (M1 S ms (K1 i x))) (M1 C m' (M1 S ms' (K1 i' y))) a bDefined in either-n-0.1.0.0 · Data.Lens.Injection.Generic.Internal
A constructor with one field.

class

class GInjectionSum (left :: Bool) (n :: Nat) (f :: Type -> Type) (g :: Type -> Type) (f' :: Type -> Type) (g' :: Type -> Type) a b where

Descend into the left ('True) or right ('False) of a generic sum. The other side of the sum is unchanged.

gInjectionSum :: proxy left -> proxy' n -> Prism ((:+:) f g x) ((:+:) f' g' x) a b

Instances2GInjectionSum

(GInjection (n - GCount f) g g' a b, f ~ f') => GInjectionSum 'False n f g f' g' a bDefined in either-n-0.1.0.0 · Data.Lens.Injection.Generic.Internal
(GInjection n f f' a b, g ~ g') => GInjectionSum 'True n f g f' g' a bDefined in either-n-0.1.0.0 · Data.Lens.Injection.Generic.Internal

classclass GProduct (p :: Type -> Type) (q :: Type -> Type) where

Convert between generic products with the same fields, ignoring metadata.

Instances2GProduct

(GProduct f f', GProduct g g') => GProduct (f :*: g) (f' :*: g')Defined in either-n-0.1.0.0 · Data.Lens.Injection.Generic.Internal
x ~ y => GProduct (M1 S m (K1 i x)) (M1 S m' (K1 i' y))Defined in either-n-0.1.0.0 · Data.Lens.Injection.Generic.Internal

familytype family GCount (f :: Type -> Type) :: Nat where

The number of constructors in a generic sum.

familytype family IsLT (o :: Ordering) :: Bool where

Whether an Ordering is LT.

familytype family AssertZero (n :: Nat) :: Constraint where

The index has reached a constructor, so it must be 0, otherwise it was out of range.

AssertZero 0 = ()
AssertZero n = TypeError (('Text "Injection index out of range: it is " ':<>: 'ShowType n) ':<>: 'Text " past the last constructor")