generic-lens-core
Copyright(C) 2020 Csongor Kiss
LicenseBSD3
MaintainerCsongor Kiss <kiss.csongor.kiss@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.GenericLens.Internal

Description

The library internals are exposed through this module. Please keep in mind that everything here is subject to change irrespective of the the version numbers.

Synopsis

Documentation

class (Coercible (Rep a) (RepN a), Generic a) => GenericN a where Source #

Associated Types

type RepN a :: Type -> Type Source #

type RepN a = Rep (Indexed a 0)

Methods

toN :: RepN a x -> a Source #

fromN :: a -> RepN a x Source #

Instances

Instances details
(Coercible (Rep a) (RepN a), Generic a) => GenericN a Source # 
Instance details

Defined in Data.Generics.Internal.GenericN

Associated Types

type RepN a 
Instance details

Defined in Data.Generics.Internal.GenericN

type RepN a

Methods

toN :: RepN a x -> a Source #

fromN :: a -> RepN a x Source #

data family Param :: Nat -> j -> k Source #

Instances

Instances details
newtype Param n (a :: Type) Source # 
Instance details

Defined in Data.Generics.Internal.GenericN

newtype Param n (a :: Type) = StarParam {}

newtype Rec p a (x :: k) Source #

Constructors

Rec 

Fields

type family RepN a :: Type -> Type Source #

Instances

Instances details
type RepN a Source # 
Instance details

Defined in Data.Generics.Internal.GenericN

type RepN a

Profunctor optics

assoc3 :: forall a b c a' b' c' p i. Profunctor p => p i (a, (b, c)) (a', (b', c')) -> p i ((a, b), c) ((a', b'), c') Source #

fromIso :: Iso s t a b -> Iso b a t s Source #

iso :: (s -> a) -> (b -> t) -> Iso s t a b Source #

kIso :: forall r a p1 b p2 i. Profunctor p2 => p2 i a b -> p2 i (K1 r a p1) (K1 r b p1) Source #

mIso :: forall i1 (c :: Meta) f p1 g p2 i2. Profunctor p2 => p2 i2 (f p1) (g p1) -> p2 i2 (M1 i1 c f p1) (M1 i1 c g p1) Source #

M1 is just a wrapper around `f p` mIso :: Iso' (M1 i c f p) (f p)

pairing :: Iso s t a b -> Iso s' t' a' b' -> Iso (s, s') (t, t') (a, a') (b, b') Source #

prodIso :: forall a b x a' b' p i. Profunctor p => p i (a x, b x) (a' x, b' x) -> p i ((a :*: b) x) ((a' :*: b') x) Source #

recIso :: forall r a p1 b p2 i. Profunctor p2 => p2 i a b -> p2 i (Rec r a p1) (Rec r b p1) Source #

repIso :: (Generic a, Generic b) => Iso a b (Rep a x) (Rep b x) Source #

A type and its generic representation are isomorphic

sumIso :: forall a b x a' b' p i. Profunctor p => p i (Either (a x) (b x)) (Either (a' x) (b' x)) -> p i ((a :+: b) x) ((a' :+: b') x) Source #

withIso :: Iso s t a b -> ((s -> a) -> (b -> t) -> r) -> r Source #

type Iso s t a b = forall (p :: Type -> Type -> Type -> Type) i. Profunctor p => p i a b -> p i s t Source #

type Iso' s a = Iso s s a a Source #

(??) :: Functor f => f (a -> b) -> a -> f b Source #

assoc3L :: forall a b c a' b' c' p i. Strong p => p i (a, (b, c)) (a', (b', c')) -> p i ((a, b), c) ((a', b'), c') Source #

choosing :: Lens s t a b -> Lens s' t' a b -> Lens (Either s s') (Either t t') a b Source #

first :: forall a (b :: Type -> Type) x a' p i. Strong p => p i (a x) (a' x) -> p i ((a :*: b) x) ((a' :*: b) x) Source #

Lens focusing on the first element of a product

fork :: (a -> b) -> (a -> c) -> a -> (b, c) Source #

idLens :: ALens a b i a b Source #

inj :: Functor f => Coyoneda f a -> f a Source #

lens :: (s -> (c, a)) -> ((c, b) -> t) -> Lens s t a b Source #

proj :: Functor f => f a -> Coyoneda f a Source #

ravel :: (ALens a b i a b -> ALens a b i s t) -> Lens s t a b Source #

second :: forall (a :: Type -> Type) b x b' p i. Strong p => p i (b x) (b' x) -> p i ((a :*: b) x) ((a :*: b') x) Source #

Lens focusing on the second element of a product

set :: ((a -> b) -> s -> t) -> (s, b) -> t Source #

Setting

stron :: (Either s s', b) -> Either (s, b) (s', b) Source #

swap :: (a, b) -> (b, a) Source #

view :: Lens s s a a -> s -> a Source #

withLensPrim :: Lens s t a b -> (forall c. (s -> (c, a)) -> ((c, b) -> t) -> r) -> r Source #

data ALens a b i s t Source #

Constructors

ALens (s -> (c, a)) ((c, b) -> t) 

Instances

Instances details
Profunctor (ALens a b) Source # 
Instance details

Defined in Data.Generics.Internal.Profunctor.Lens

Methods

dimap :: (a0 -> b0) -> (c -> d) -> ALens a b i b0 c -> ALens a b i a0 d

lmap :: (a0 -> b0) -> ALens a b i b0 c -> ALens a b i a0 c

rmap :: (c -> d) -> ALens a b i b0 c -> ALens a b i b0 d

lcoerce' :: Coercible a0 b0 => ALens a b i a0 c -> ALens a b i b0 c

rcoerce' :: Coercible a0 b0 => ALens a b i c a0 -> ALens a b i c b0

conjoined__ :: (ALens a b i a0 b0 -> ALens a b i s t) -> (ALens a b i a0 b0 -> ALens a b j s t) -> ALens a b i a0 b0 -> ALens a b j s t

ixcontramap :: (j -> i) -> ALens a b i a0 b0 -> ALens a b j a0 b0

Strong (ALens a b) Source # 
Instance details

Defined in Data.Generics.Internal.Profunctor.Lens

Methods

first' :: ALens a b i a0 b0 -> ALens a b i (a0, c) (b0, c)

second' :: ALens a b i a0 b0 -> ALens a b i (c, a0) (c, b0)

linear :: (forall (f :: Type -> Type). Functor f => (a0 -> f b0) -> s -> f t) -> ALens a b i a0 b0 -> ALens a b i s t

ilinear :: (forall (f :: Type -> Type). Functor f => (i -> a0 -> f b0) -> s -> f t) -> ALens a b j a0 b0 -> ALens a b (i -> j) s t

Functor (ALens a b i s) Source # 
Instance details

Defined in Data.Generics.Internal.Profunctor.Lens

Methods

fmap :: (a0 -> b0) -> ALens a b i s a0 -> ALens a b i s b0 #

(<$) :: a0 -> ALens a b i s b0 -> ALens a b i s a0 #

data Coyoneda (f :: Type -> Type) b Source #

Constructors

Coyoneda (a -> b) (f a) 

Instances

Instances details
Functor (Coyoneda f) Source # 
Instance details

Defined in Data.Generics.Internal.Profunctor.Lens

Methods

fmap :: (a -> b) -> Coyoneda f a -> Coyoneda f b #

(<$) :: a -> Coyoneda f b -> Coyoneda f a #

type Lens s t a b = forall (p :: Type -> Type -> Type -> Type) i. Strong p => p i a b -> p i s t Source #

type LensLike (p :: Type -> Type -> Type) s t a b = p a b -> p s t Source #

_Left :: forall a c b p i. Choice p => p i a b -> p i (Either a c) (Either b c) Source #

_Right :: forall c a b p i. Choice p => p i a b -> p i (Either c a) (Either c b) Source #

build :: (Tagged i b b -> Tagged i t t) -> b -> t Source #

gsum :: (a x -> c) -> (b x -> c) -> (a :+: b) x -> c Source #

idPrism :: Market a b i a b Source #

left :: forall a (c :: Type -> Type) x b p i. Choice p => p i (a x) (b x) -> p i ((a :+: c) x) ((b :+: c) x) Source #

match :: Prism s t a b -> s -> Either t a Source #

prism :: (b -> t) -> (s -> Either t a) -> Prism s t a b Source #

prism2prismp :: Market a b i s t -> Prism s t a b Source #

prismPRavel :: APrism i s t a b -> Prism s t a b Source #

right :: forall (a :: Type -> Type) b x c p i. Choice p => p i (b x) (c x) -> p i ((a :+: b) x) ((a :+: c) x) Source #

withPrism :: APrism i s t a b -> ((b -> t) -> (s -> Either t a) -> r) -> r Source #

without' :: Prism s t a b -> Prism s t c d -> Prism s t (Either a c) (Either b d) Source #

type APrism i s t a b = Market a b i a b -> Market a b i s t Source #

type Prism s t a b = forall (p :: Type -> Type -> Type -> Type) i. Choice p => p i a b -> p i s t Source #

type Prism' s a = forall (p :: Type -> Type -> Type -> Type) i. Choice p => p i a a -> p i s s Source #