Copyright	(C) 2020 Csongor Kiss
License	BSD3
Maintainer	Csongor Kiss <kiss.csongor.kiss@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.GenericLens.Internal

Contents

Profunctor optics

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

module Data.Generics.Internal.Families
module Data.Generics.Internal.Families.Changing
module Data.Generics.Internal.Families.Collect
module Data.Generics.Internal.Families.Has
module Data.Generics.Internal.Void
module Data.Generics.Internal.Errors
class (Coercible (Rep a) (RepN a), Generic a) => GenericN a where
- type RepN a :: Type -> Type
- toN :: RepN a x -> a
- fromN :: a -> RepN a x
data family Param :: Nat -> j -> k
newtype Rec p a (x :: k) = Rec {
- unRec :: K1 R a x
}
type family RepN a :: Type -> Type
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')
fromIso :: Iso s t a b -> Iso b a t s
iso :: (s -> a) -> (b -> t) -> Iso s t a b
kIso :: forall r a p1 b p2 i. Profunctor p2 => p2 i a b -> p2 i (K1 r a p1) (K1 r b p1)
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)
pairing :: Iso s t a b -> Iso s' t' a' b' -> Iso (s, s') (t, t') (a, a') (b, b')
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)
recIso :: forall r a p1 b p2 i. Profunctor p2 => p2 i a b -> p2 i (Rec r a p1) (Rec r b p1)
repIso :: (Generic a, Generic b) => Iso a b (Rep a x) (Rep b x)
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)
withIso :: Iso s t a b -> ((s -> a) -> (b -> t) -> r) -> r
type Iso s t a b = forall (p :: Type -> Type -> Type -> Type) i. Profunctor p => p i a b -> p i s t
type Iso' s a = Iso s s a a
(??) :: Functor f => f (a -> b) -> a -> f b
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')
choosing :: Lens s t a b -> Lens s' t' a b -> Lens (Either s s') (Either t t') a b
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)
fork :: (a -> b) -> (a -> c) -> a -> (b, c)
idLens :: ALens a b i a b
inj :: Functor f => Coyoneda f a -> f a
lens :: (s -> (c, a)) -> ((c, b) -> t) -> Lens s t a b
proj :: Functor f => f a -> Coyoneda f a
ravel :: (ALens a b i a b -> ALens a b i s t) -> Lens s t a b
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)
set :: ((a -> b) -> s -> t) -> (s, b) -> t
stron :: (Either s s', b) -> Either (s, b) (s', b)
swap :: (a, b) -> (b, a)
view :: Lens s s a a -> s -> a
withLensPrim :: Lens s t a b -> (forall c. (s -> (c, a)) -> ((c, b) -> t) -> r) -> r
data ALens a b i s t = ALens (s -> (c, a)) ((c, b) -> t)
data Coyoneda (f :: Type -> Type) b = Coyoneda (a -> b) (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
type LensLike (p :: Type -> Type -> Type) s t a b = p a b -> p s t
_Left :: forall a c b p i. Choice p => p i a b -> p i (Either a c) (Either b c)
_Right :: forall c a b p i. Choice p => p i a b -> p i (Either c a) (Either c b)
build :: (Tagged i b b -> Tagged i t t) -> b -> t
gsum :: (a x -> c) -> (b x -> c) -> (a :+: b) x -> c
idPrism :: Market a b i a b
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)
match :: Prism s t a b -> s -> Either t a
prism :: (b -> t) -> (s -> Either t a) -> Prism s t a b
prism2prismp :: Market a b i s t -> Prism s t a b
prismPRavel :: APrism i s t a b -> Prism s t a b
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)
withPrism :: APrism i s t a b -> ((b -> t) -> (s -> Either t a) -> r) -> r
without' :: Prism s t a b -> Prism s t c d -> Prism s t (Either a c) (Either b d)
type APrism i s t a b = Market a b i a b -> Market a b i s t
type Prism s t a b = forall (p :: Type -> Type -> Type -> Type) i. Choice p => p i a b -> p i s t
type Prism' s a = forall (p :: Type -> Type -> Type -> Type) i. Choice p => p i a a -> p i s s
module Data.Generics.Product.Internal.Subtype

Documentation

module Data.Generics.Internal.Families

module Data.Generics.Internal.Families.Changing

module Data.Generics.Internal.Families.Collect

module Data.Generics.Internal.Families.Has

module Data.Generics.Internal.Void

module Data.Generics.Internal.Errors

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 { getStarParam :: a }

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

Constructors

Rec
Fields unRec :: K1 R a x

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 #

module Data.Generics.Product.Internal.Subtype