Moduleoptics-core-0.4.1.1Haskell2010

Optics.Internal.Generic

13 classes
10 values

Packageoptics-core-0.4.1.1
Exports23
LanguageHaskell2010
LicenceBSD-3-Clause
SourceGeneric.hs

valuegeneric :: (Generic a, Generic b) => Iso a b (Rep a x) (Rep b y)

Convert from the data type to its representation (or back)

Example1 expression

>>> view (generic % re generic) "hello" :: String"hello"

valuegeneric1 :: (Generic1 f, Generic1 g) => Iso (f x) (g y) (Rep1 f x) (Rep1 g y)

Convert from the data type to its representation (or back)

value_V1 :: Lens (V1 s) (V1 t) a b

value_U1 :: Iso (U1 p) (U1 q) () ()

value_Par1 :: Iso (Par1 p) (Par1 q) p q

value_Rec1 :: Iso (Rec1 f p) (Rec1 g q) (f p) (g q)

value_K1 :: Iso (K1 i c p) (K1 j d q) c d

value_M1 :: Iso (M1 i c f p) (M1 j d g q) (f p) (g q)

value_L1 :: Prism ((:+:) a c t) ((:+:) b c t) (a t) (b t)

value_R1 :: Prism ((:+:) c a t) ((:+:) c b t) (a t) (b t)

Fields

6 declarations

classclass GFieldImpl (name :: Symbol) s t a b | name s -> a where

Methods

gfieldImpl :: Lens s t a b

Instances1GFieldImpl

(Generic s, Generic t, path ~ GetFieldPaths s name (Rep s), HasField name s a, GSetFieldSum path (Rep s) (Rep t) b) => GFieldImpl name s t a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic

class

class GSetFieldSum (path :: PathTree Symbol) (g :: Type -> Type) (h :: Type -> Type) b | path h -> b, path g b -> h where

Methods

gsetFieldSum :: g x -> b -> h x

Instances3GSetFieldSum

GSetFieldSum path g h b => GSetFieldSum path (M1 D m g) (M1 D m h) bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(path ~ GSetFieldPath con epath, When (IsLeft epath) (HideReps g h), GSetFieldProd path g h b) => GSetFieldSum ('PathLeaf epath) (M1 C ('MetaCons con fix hs) g) (M1 C ('MetaCons con fix hs) h) bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(GSetFieldSum path1 g1 h1 b, GSetFieldSum path2 g2 h2 b) => GSetFieldSum ('PathTree path1 path2) (g1 :+: g2) (h1 :+: h2) bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic

classclass GSetFieldProd (path :: [Path]) (g :: Type -> Type) (h :: Type -> Type) b | path h -> b, path g b -> h where

Methods

gsetFieldProd :: g x -> b -> h x

Instances5GSetFieldProd

r ~ b => GSetFieldProd '[] (M1 S m (Rec0 a)) (M1 S m (Rec0 b)) rDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
GSetFieldProd path g1 h1 b => GSetFieldProd ('PathLeft ': path) (g1 :*: g2) (h1 :*: g2) bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
GSetFieldProd path g2 h2 b => GSetFieldProd ('PathRight ': path) (g1 :*: g2) (g1 :*: h2) bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(GSetFieldProd path g1 h1 b, g2 ~ h2) => GSetFieldProd ('PathLeft ': path) (g1 :*: g2) (h1 :*: h2) bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(GSetFieldProd path g2 h2 b, g1 ~ h1) => GSetFieldProd ('PathRight ': path) (g1 :*: g2) (h1 :*: h2) bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic

classclass GAffineFieldImpl (repDefined :: Bool) (name :: Symbol) s t a b | name s -> a where

Methods

gafieldImpl :: AffineTraversal s t a b

Instances1GAffineFieldImpl

(Generic s, Generic t, path ~ GetFieldPaths s name (Rep s), HasField name s a, Unless (AnyHasPath path) (TypeError ((('Text "Type " ':<>: QuoteType s) ':<>: 'Text " doesn't have a field named ") ':<>: QuoteSymbol name)), GAffineFieldSum path (Rep s) (Rep t) a b) => GAffineFieldImpl 'True name s t a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic

classclass GAffineFieldSum (path :: PathTree Symbol) (g :: Type -> Type) (h :: Type -> Type) a b where

Methods

gafieldSum :: AffineTraversalVL (g x) (h x) a b

Instances3GAffineFieldSum

GAffineFieldSum path g h a b => GAffineFieldSum path (M1 D m g) (M1 D m h) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
GAffineFieldMaybe epath g h a b => GAffineFieldSum ('PathLeaf epath) (M1 C m g) (M1 C m h) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(GAffineFieldSum path1 g1 h1 a b, GAffineFieldSum path2 g2 h2 a b) => GAffineFieldSum ('PathTree path1 path2) (g1 :+: g2) (h1 :+: h2) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic

class

class GFieldProd (path :: [Path]) (g :: Type -> Type) (h :: Type -> Type) a b | path g -> a, path h -> b, path g b -> h, path h a -> g where

Methods

gfieldProd :: LensVL (g x) (h x) a b

Instances5GFieldProd

(r ~ a, s ~ b) => GFieldProd '[] (M1 S m (Rec0 a)) (M1 S m (Rec0 b)) r sDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
GFieldProd path g1 h1 a b => GFieldProd ('PathLeft ': path) (g1 :*: g2) (h1 :*: g2) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
GFieldProd path g2 h2 a b => GFieldProd ('PathRight ': path) (g1 :*: g2) (g1 :*: h2) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(GFieldProd path g1 h1 a b, g2 ~ h2) => GFieldProd ('PathLeft ': path) (g1 :*: g2) (h1 :*: h2) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(GFieldProd path g2 h2 a b, g1 ~ h1) => GFieldProd ('PathRight ': path) (g1 :*: g2) (h1 :*: h2) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic

Positions

2 declarations

classclass GPositionImpl (repDefined :: Bool) (n :: Nat) s t a b | n s -> a where

Methods

gpositionImpl :: Lens s t a b

Instances1GPositionImpl

(Generic s, Generic t, path ~ If (n <=? 0) (TypeError ('Text "There is no 0th position")) (GetPositionPaths s n (Rep s)), When (n <=? 0) (HideReps (Rep s) (Rep t)), GPositionSum path (Rep s) (Rep t) a b) => GPositionImpl 'True n s t a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic

class

class GPositionSum (path :: PathTree (Nat, Nat)) (g :: Type -> Type) (h :: Type -> Type) a b | path g -> a, path h -> b, path g b -> h, path h a -> g where

Methods

gpositionSum :: LensVL (g x) (h x) a b

Instances3GPositionSum

GPositionSum path g h a b => GPositionSum path (M1 D m g) (M1 D m h) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(path ~ GPositionPath con epath, When (IsLeft epath) (HideReps g h), GFieldProd path g h a b) => GPositionSum ('PathLeaf epath) (M1 C ('MetaCons con fix hs) g) (M1 C ('MetaCons con fix hs) h) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(GPositionSum path1 g1 h1 a b, GPositionSum path2 g2 h2 a b) => GPositionSum ('PathTree path1 path2) (g1 :+: g2) (h1 :+: h2) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic

Constructors

3 declarations

classclass GConstructorImpl (repDefined :: Bool) (name :: Symbol) s t a b | name s -> a where

Methods

gconstructorImpl :: Prism s t a b

Instances1GConstructorImpl

(Generic s, Generic t, epath ~ GetNamePath name (Rep s) '[], path ~ FromRight (TypeError ((('Text "Type " ':<>: QuoteType s) ':<>: 'Text " doesn't have a constructor named ") ':<>: QuoteSymbol name)) epath, When (IsLeft epath) (HideReps (Rep s) (Rep t)), GConstructorSum path (Rep s) (Rep t) a b) => GConstructorImpl 'True name s t a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic

class

class GConstructorSum (path :: [Path]) (g :: Type -> Type) (h :: Type -> Type) a b | path g -> a, path h -> b, path g b -> h, path h a -> g where

Methods

gconstructorSum :: Prism (g x) (h x) a b

Instances6GConstructorSum

GConstructorSum path g h a b => GConstructorSum path (M1 D m g) (M1 D m h) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
GConstructorTuple g h a b => GConstructorSum '[] (M1 C m g) (M1 C m h) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
GConstructorSum path g1 h1 a b => GConstructorSum ('PathLeft ': path) (g1 :+: g2) (h1 :+: g2) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
GConstructorSum path g2 h2 a b => GConstructorSum ('PathRight ': path) (g1 :+: g2) (g1 :+: h2) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(GConstructorSum path g1 h1 a b, g2 ~ h2) => GConstructorSum ('PathLeft ': path) (g1 :+: g2) (h1 :+: h2) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(GConstructorSum path g2 h2 a b, g1 ~ h1) => GConstructorSum ('PathRight ': path) (g1 :+: g2) (h1 :+: h2) a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic

classclass GConstructorTuple (g :: Type -> Type) (h :: Type -> Type) a b | g -> a, h -> b, g b -> h, h a -> g where

Methods

gconstructorTuple :: Iso (g x) (h x) a b

Instances7GConstructorTuple, …

(Dysfunctional () () g h a b, TypeError (('Text "Generic based access supports constructors" ':$$: 'Text "containing up to 5 fields. Please generate") ':$$: 'Text "PrismS with Template Haskell if you need more.")) => GConstructorTuple g h a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(a ~ (), b ~ ()) => GConstructorTuple U1 U1 a bDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(r ~ a, s ~ b) => GConstructorTuple (F m a) (F m b) r sDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(r ~ (a1, a2), s ~ (b1, b2)) => GConstructorTuple (F m1 a1 :*: F m2 a2) (F m1 b1 :*: F m2 b2) r sDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(r ~ (a1, a2, a3), s ~ (b1, b2, b3)) => GConstructorTuple (F m1 a1 :*: (F m2 a2 :*: F m3 a3)) (F m1 b1 :*: (F m2 b2 :*: F m3 b3)) r sDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
Only for a derived balanced representation.
(r ~ (a1, a2, a3, a4), s ~ (b1, b2, b3, b4)) => GConstructorTuple ((F m1 a1 :*: F m2 a2) :*: (F m3 a3 :*: F m4 a4)) ((F m1 b1 :*: F m2 b2) :*: (F m3 b3 :*: F m4 b4)) r sDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
Only for a derived balanced representation.
(r ~ (a1, a2, a3, a4, a5), s ~ (b1, b2, b3, b4, b5)) => GConstructorTuple ((F m1 a1 :*: F m2 a2) :*: (F m3 a3 :*: (F m4 a4 :*: F m5 a5))) ((F m1 b1 :*: F m2 b2) :*: (F m3 b3 :*: (F m4 b4 :*: F m5 b5))) r sDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
Only for a derived balanced representation.

Types

2 declarations

classclass GPlateImpl (g :: Type -> Type) a where

Methods

gplateImpl :: TraversalVL' (g x) a

Instances8GPlateImpl, …

GPlateImpl U1 aDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
GPlateImpl V1 aDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
GPlateImpl (URec b) aDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
GPlateImpl (K1 i a) aDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
Matching type.
GPlateInner (Defined (Rep b)) b a => GPlateImpl (K1 i b) aDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
Recurse into the inner type if it has a Generic instance.
(GPlateImpl f a, GPlateImpl g a) => GPlateImpl (f :*: g) aDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(GPlateImpl f a, GPlateImpl g a) => GPlateImpl (f :+: g) aDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
GPlateImpl f a => GPlateImpl (M1 i c f) aDefined in optics-core-0.4.1.1 · Optics.Internal.Generic

classclass GPlateInner (repDefined :: Bool) s a where

Methods

gplateInner :: TraversalVL' s a

Instances2GPlateInner

GPlateInner repNotDefined s aDefined in optics-core-0.4.1.1 · Optics.Internal.Generic
(Generic s, GPlateImpl (Rep s) a) => GPlateInner 'True s aDefined in optics-core-0.4.1.1 · Optics.Internal.Generic

Re-export

0 declarations

module Optics.Internal.Generic.TypeLevel