Generics.OneLiner.Classes

Documentation

class (Profunctor p, GenericUnitProfunctor p, GenericProductProfunctor p) => GenericRecordProfunctor p

A generic function using a GenericRecordProfunctor works on any data type with exactly one constructor, a.k.a. records, with multiple fields (mult) or no fields (unit).

GenericRecordProfunctor is similar to ProductProfuctor from the product-profunctor package, but using types from GHC.Generics.

Instances

(Profunctor p, GenericUnitProfunctor p, GenericProductProfunctor p) => GenericRecordProfunctor p

class (GenericRecordProfunctor p, GenericSumProfunctor p) => GenericNonEmptyProfunctor p

A generic function using a GenericNonEmptyProfunctor works on any data type with at least one constructor.

Instances

(GenericRecordProfunctor p, GenericSumProfunctor p) => GenericNonEmptyProfunctor p

class (GenericNonEmptyProfunctor p, GenericEmptyProfunctor p) => GenericProfunctor p

A generic function using a GenericProfunctor works on any algebraic data type, including those with no constructors and constants.

Instances

(GenericNonEmptyProfunctor p, GenericEmptyProfunctor p) => GenericProfunctor p

class Profunctor p => GenericUnitProfunctor p where

Minimal complete definition

unit

Methods

unit :: p (U1 a) (U1 a')

Instances

Applicative f => GenericUnitProfunctor (Star f)

Methods

unit :: Star f (U1 * a) (U1 * a')

Functor f => GenericUnitProfunctor (Costar f)

Methods

unit :: Costar f (U1 * a) (U1 * a')

GenericUnitProfunctor (Tagged *)

Methods

unit :: Tagged * (U1 * a) (U1 * a')

Applicative f => GenericUnitProfunctor (Zip f)

Methods

unit :: Zip f (U1 * a) (U1 * a')

GenericUnitProfunctor (Ctor *)

Methods

unit :: Ctor * (U1 * a) (U1 * a')

GenericUnitProfunctor ((->) LiftedRep LiftedRep)

Methods

unit :: (LiftedRep -> LiftedRep) (U1 * a) (U1 * a')

Applicative f => GenericUnitProfunctor (Joker * * f)

Methods

unit :: Joker * * f (U1 * a) (U1 * a')

Divisible f => GenericUnitProfunctor (Clown * * f)

Methods

unit :: Clown * * f (U1 * a) (U1 * a')

(GenericUnitProfunctor p, GenericUnitProfunctor q) => GenericUnitProfunctor (Product * * p q)

Methods

unit :: Product * * p q (U1 * a) (U1 * a')

(Applicative f, GenericUnitProfunctor p) => GenericUnitProfunctor (Tannen * * * f p)

Methods

unit :: Tannen * * * f p (U1 * a) (U1 * a')

(Functor f, Applicative g, Profunctor p, GenericUnitProfunctor p) => GenericUnitProfunctor (Biff * * * * p f g)

Methods

unit :: Biff * * * * p f g (U1 * a) (U1 * a')

class Profunctor p => GenericProductProfunctor p where

Minimal complete definition

mult

Methods

mult :: p (f a) (f' a') -> p (g a) (g' a') -> p ((f :*: g) a) ((f' :*: g') a')

Instances

Applicative f => GenericProductProfunctor (Star f)

Methods

mult :: Star f (f a) (f' a') -> Star f (g a) (g' a') -> Star f ((* :*: f) g a) ((* :*: f') g' a')

Functor f => GenericProductProfunctor (Costar f)

Methods

mult :: Costar f (f a) (f' a') -> Costar f (g a) (g' a') -> Costar f ((* :*: f) g a) ((* :*: f') g' a')

GenericProductProfunctor (Tagged *)

Methods

mult :: Tagged * (f a) (f' a') -> Tagged * (g a) (g' a') -> Tagged * ((* :*: f) g a) ((* :*: f') g' a')

Applicative f => GenericProductProfunctor (Zip f)

Methods

mult :: Zip f (f a) (f' a') -> Zip f (g a) (g' a') -> Zip f ((* :*: f) g a) ((* :*: f') g' a')

GenericProductProfunctor (Ctor *)

Methods

mult :: Ctor * (f a) (f' a') -> Ctor * (g a) (g' a') -> Ctor * ((* :*: f) g a) ((* :*: f') g' a')

GenericProductProfunctor ((->) LiftedRep LiftedRep)

Methods

mult :: (LiftedRep -> LiftedRep) (f a) (f' a') -> (LiftedRep -> LiftedRep) (g a) (g' a') -> (LiftedRep -> LiftedRep) ((* :*: f) g a) ((* :*: f') g' a')

Applicative f => GenericProductProfunctor (Joker * * f)

Methods

mult :: Joker * * f (f a) (f' a') -> Joker * * f (g a) (g' a') -> Joker * * f ((* :*: f) g a) ((* :*: f') g' a')

Divisible f => GenericProductProfunctor (Clown * * f)

Methods

mult :: Clown * * f (f a) (f' a') -> Clown * * f (g a) (g' a') -> Clown * * f ((* :*: f) g a) ((* :*: f') g' a')

(GenericProductProfunctor p, GenericProductProfunctor q) => GenericProductProfunctor (Product * * p q)

Methods

mult :: Product * * p q (f a) (f' a') -> Product * * p q (g a) (g' a') -> Product * * p q ((* :*: f) g a) ((* :*: f') g' a')

(Applicative f, GenericProductProfunctor p) => GenericProductProfunctor (Tannen * * * f p)

Methods

mult :: Tannen * * * f p (f a) (f' a') -> Tannen * * * f p (g a) (g' a') -> Tannen * * * f p ((* :*: f) g a) ((* :*: f') g' a')

(Functor f, Applicative g, Profunctor p, GenericProductProfunctor p) => GenericProductProfunctor (Biff * * * * p f g)

Methods

mult :: Biff * * * * p f g (f a) (f' a') -> Biff * * * * p f g (g a) (g' a') -> Biff * * * * p f g ((* :*: f) g a) ((* :*: f') g' a')

class Profunctor p => GenericSumProfunctor p where

Minimal complete definition

plus

Methods

plus :: p (f a) (f' a') -> p (g a) (g' a') -> p ((f :+: g) a) ((f' :+: g') a')

Instances

Applicative f => GenericSumProfunctor (Star f)

Methods

plus :: Star f (f a) (f' a') -> Star f (g a) (g' a') -> Star f ((* :+: f) g a) ((* :+: f') g' a')

Alternative f => GenericSumProfunctor (Zip f)

Methods

plus :: Zip f (f a) (f' a') -> Zip f (g a) (g' a') -> Zip f ((* :+: f) g a) ((* :+: f') g' a')

GenericSumProfunctor (Ctor *)

Methods

plus :: Ctor * (f a) (f' a') -> Ctor * (g a) (g' a') -> Ctor * ((* :+: f) g a) ((* :+: f') g' a')

GenericSumProfunctor ((->) LiftedRep LiftedRep)

Methods

plus :: (LiftedRep -> LiftedRep) (f a) (f' a') -> (LiftedRep -> LiftedRep) (g a) (g' a') -> (LiftedRep -> LiftedRep) ((* :+: f) g a) ((* :+: f') g' a')

Alternative f => GenericSumProfunctor (Joker * * f)

Methods

plus :: Joker * * f (f a) (f' a') -> Joker * * f (g a) (g' a') -> Joker * * f ((* :+: f) g a) ((* :+: f') g' a')

Decidable f => GenericSumProfunctor (Clown * * f)

Methods

plus :: Clown * * f (f a) (f' a') -> Clown * * f (g a) (g' a') -> Clown * * f ((* :+: f) g a) ((* :+: f') g' a')

(GenericSumProfunctor p, GenericSumProfunctor q) => GenericSumProfunctor (Product * * p q)

Methods

plus :: Product * * p q (f a) (f' a') -> Product * * p q (g a) (g' a') -> Product * * p q ((* :+: f) g a) ((* :+: f') g' a')

(Applicative f, GenericSumProfunctor p) => GenericSumProfunctor (Tannen * * * f p)

Methods

plus :: Tannen * * * f p (f a) (f' a') -> Tannen * * * f p (g a) (g' a') -> Tannen * * * f p ((* :+: f) g a) ((* :+: f') g' a')

class Profunctor p => GenericEmptyProfunctor p where

Minimal complete definition

identity, zero

Methods

identity :: p a a

zero :: p (V1 a) (V1 a')

Instances

Applicative f => GenericEmptyProfunctor (Star f)

Methods

identity :: Star f a a

zero :: Star f (V1 * a) (V1 * a')

Alternative f => GenericEmptyProfunctor (Zip f)

Methods

identity :: Zip f a a

zero :: Zip f (V1 * a) (V1 * a')

GenericEmptyProfunctor (Ctor *)

Methods

identity :: Ctor * a a

zero :: Ctor * (V1 * a) (V1 * a')

GenericEmptyProfunctor ((->) LiftedRep LiftedRep)

Methods

identity :: (LiftedRep -> LiftedRep) a a

zero :: (LiftedRep -> LiftedRep) (V1 * a) (V1 * a')

Alternative f => GenericEmptyProfunctor (Joker * * f)

Methods

identity :: Joker * * f a a

zero :: Joker * * f (V1 * a) (V1 * a')

Decidable f => GenericEmptyProfunctor (Clown * * f)

Methods

identity :: Clown * * f a a

zero :: Clown * * f (V1 * a) (V1 * a')

(GenericEmptyProfunctor p, GenericEmptyProfunctor q) => GenericEmptyProfunctor (Product * * p q)

Methods

identity :: Product * * p q a a

zero :: Product * * p q (V1 * a) (V1 * a')

(Applicative f, GenericEmptyProfunctor p) => GenericEmptyProfunctor (Tannen * * * f p)

Methods

identity :: Tannen * * * f p a a

zero :: Tannen * * * f p (V1 * a) (V1 * a')

newtype Zip f a b

Constructors

Zip

Fields

• runZip :: a -> a -> f b

Instances

Functor f => Profunctor (Zip f)

Methods

dimap :: (a -> b) -> (c -> d) -> Zip f b c -> Zip f a d

lmap :: (a -> b) -> Zip f b c -> Zip f a c

rmap :: (b -> c) -> Zip f a b -> Zip f a c

(#.) :: Coercible * c b => (b -> c) -> Zip f a b -> Zip f a c

(.#) :: Coercible * b a => Zip f b c -> (a -> b) -> Zip f a c

Alternative f => GenericEmptyProfunctor (Zip f)

Methods

identity :: Zip f a a

zero :: Zip f (V1 * a) (V1 * a')

Alternative f => GenericSumProfunctor (Zip f)

Methods

plus :: Zip f (f a) (f' a') -> Zip f (g a) (g' a') -> Zip f ((* :+: f) g a) ((* :+: f') g' a')

Applicative f => GenericProductProfunctor (Zip f)

Methods

mult :: Zip f (f a) (f' a') -> Zip f (g a) (g' a') -> Zip f ((* :*: f) g a) ((* :*: f') g' a')

Applicative f => GenericUnitProfunctor (Zip f)

Methods

unit :: Zip f (U1 * a) (U1 * a')

absurd :: V1 a -> b

e1 :: (f a -> b) -> (g a -> b) -> (f :+: g) a -> b

fst1 :: (f :*: g) a -> f a

snd1 :: (f :*: g) a -> g a