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

Defined in Generics.OneLiner.Classes

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

Defined in Generics.OneLiner.Classes

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

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

Instances

(GenericNonEmptyProfunctor p, GenericEmptyProfunctor p) => GenericProfunctor p

Defined in Generics.OneLiner.Classes

class (GenericProfunctor p, GenericConstantProfunctor p) => Generic1Profunctor p

A generic function using a Generic1Profunctor works on any algebraic data type of kind Type -> Type, including those with no constructors and constants.

Instances

(GenericProfunctor p, GenericConstantProfunctor p) => Generic1Profunctor p

Defined in Generics.OneLiner.Classes

dimapForget :: Profunctor p => (a %1 -> b) -> (c %1 -> d) -> p b c -> p a d

class Profunctor p => GenericUnitProfunctor p where

Methods

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

Instances

Applicative f => GenericUnitProfunctor (Kleisli f)

Defined in Generics.OneLiner.Classes

Methods

unit :: Kleisli f (U1 a) (U1 a')

Applicative f => GenericUnitProfunctor (Zip f)

Defined in Generics.OneLiner.Classes

Methods

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

GenericUnitProfunctor (Ctor :: Type -> Type -> Type)

Defined in Generics.OneLiner.Internal

Methods

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

GenericUnitProfunctor (Tagged :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

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

Functor f => GenericUnitProfunctor (Costar f)

Defined in Generics.OneLiner.Classes

Methods

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

Applicative f => GenericUnitProfunctor (Star f)

Defined in Generics.OneLiner.Classes

Methods

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

GenericUnitProfunctor (->)

Defined in Generics.OneLiner.Classes

Methods

unit :: U1 a -> U1 a'

Divisible f => GenericUnitProfunctor (Clown f :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

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

Applicative f => GenericUnitProfunctor (Joker f :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

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

GenericUnitProfunctor (FUN 'One :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

unit :: FUN 'One (U1 a) (U1 a')

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

Defined in Generics.OneLiner.Classes

Methods

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

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

Defined in Generics.OneLiner.Classes

Methods

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

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

Defined in Generics.OneLiner.Classes

Methods

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

class Profunctor p => GenericProductProfunctor p where

Methods

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

Instances

Applicative f => GenericProductProfunctor (Kleisli f)

Defined in Generics.OneLiner.Classes

Methods

mult :: Kleisli f (f0 a) (f' a') -> Kleisli f (g a) (g' a') -> Kleisli f ((f0 :*: g) a) ((f' :*: g') a')

Applicative f => GenericProductProfunctor (Zip f)

Defined in Generics.OneLiner.Classes

Methods

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

GenericProductProfunctor (Ctor :: Type -> Type -> Type)

Defined in Generics.OneLiner.Internal

Methods

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

GenericProductProfunctor (Tagged :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

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

Functor f => GenericProductProfunctor (Costar f)

Defined in Generics.OneLiner.Classes

Methods

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

Applicative f => GenericProductProfunctor (Star f)

Defined in Generics.OneLiner.Classes

Methods

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

GenericProductProfunctor (->)

Defined in Generics.OneLiner.Classes

Methods

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

Divisible f => GenericProductProfunctor (Clown f :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

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

Applicative f => GenericProductProfunctor (Joker f :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

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

GenericProductProfunctor (FUN 'One :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

mult :: FUN 'One (f a) (f' a') -> FUN 'One (g a) (g' a') -> FUN 'One ((f :*: g) a) ((f' :*: g') a')

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

Defined in Generics.OneLiner.Classes

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)

Defined in Generics.OneLiner.Classes

Methods

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

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

Defined in Generics.OneLiner.Classes

Methods

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

class Profunctor p => GenericSumProfunctor p where

Methods

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

Instances

Applicative f => GenericSumProfunctor (Kleisli f)

Defined in Generics.OneLiner.Classes

Methods

plus :: Kleisli f (f0 a) (f' a') -> Kleisli f (g a) (g' a') -> Kleisli f ((f0 :+: g) a) ((f' :+: g') a')

Alternative f => GenericSumProfunctor (Zip f)

Defined in Generics.OneLiner.Classes

Methods

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

GenericSumProfunctor (Ctor :: Type -> Type -> Type)

Defined in Generics.OneLiner.Internal

Methods

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

Applicative f => GenericSumProfunctor (Star f)

Defined in Generics.OneLiner.Classes

Methods

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

GenericSumProfunctor (->)

Defined in Generics.OneLiner.Classes

Methods

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

Decidable f => GenericSumProfunctor (Clown f :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

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

Alternative f => GenericSumProfunctor (Joker f :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

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

GenericSumProfunctor (FUN 'One :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

plus :: FUN 'One (f a) (f' a') -> FUN 'One (g a) (g' a') -> FUN 'One ((f :+: g) a) ((f' :+: g') a')

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

Defined in Generics.OneLiner.Classes

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)

Defined in Generics.OneLiner.Classes

Methods

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

class Profunctor p => GenericConstantProfunctor p where

Methods

identity :: p c c

Instances

Applicative f => GenericConstantProfunctor (Kleisli f)

Defined in Generics.OneLiner.Classes

Methods

identity :: Kleisli f c c

Alternative f => GenericConstantProfunctor (Zip f)

Defined in Generics.OneLiner.Classes

Methods

identity :: Zip f c c

GenericConstantProfunctor (Ctor :: Type -> Type -> Type)

Defined in Generics.OneLiner.Internal

Methods

identity :: Ctor c c

Applicative f => GenericConstantProfunctor (Star f)

Defined in Generics.OneLiner.Classes

Methods

identity :: Star f c c

GenericConstantProfunctor (->)

Defined in Generics.OneLiner.Classes

Methods

identity :: c -> c

Decidable f => GenericConstantProfunctor (Clown f :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

identity :: Clown f c c

Alternative f => GenericConstantProfunctor (Joker f :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

identity :: Joker f c c

GenericConstantProfunctor (FUN 'One :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

identity :: FUN 'One c c

(GenericConstantProfunctor p, GenericConstantProfunctor q) => GenericConstantProfunctor (Product p q)

Defined in Generics.OneLiner.Classes

Methods

identity :: Product p q c c

(Applicative f, GenericConstantProfunctor p) => GenericConstantProfunctor (Tannen f p)

Defined in Generics.OneLiner.Classes

Methods

identity :: Tannen f p c c

class Profunctor p => GenericEmptyProfunctor p where

Methods

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

Instances

Applicative f => GenericEmptyProfunctor (Kleisli f)

Defined in Generics.OneLiner.Classes

Methods

zero :: Kleisli f (V1 a) (V1 a')

Functor f => GenericEmptyProfunctor (Zip f)

Defined in Generics.OneLiner.Classes

Methods

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

GenericEmptyProfunctor (Ctor :: Type -> Type -> Type)

Defined in Generics.OneLiner.Internal

Methods

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

Functor f => GenericEmptyProfunctor (Star f)

Defined in Generics.OneLiner.Classes

Methods

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

GenericEmptyProfunctor (->)

Defined in Generics.OneLiner.Classes

Methods

zero :: V1 a -> V1 a'

Decidable f => GenericEmptyProfunctor (Clown f :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

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

Alternative f => GenericEmptyProfunctor (Joker f :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

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

GenericEmptyProfunctor (FUN 'One :: Type -> Type -> Type)

Defined in Generics.OneLiner.Classes

Methods

zero :: FUN 'One (V1 a) (V1 a')

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

Defined in Generics.OneLiner.Classes

Methods

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

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

Defined in Generics.OneLiner.Classes

Methods

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)

Defined in Generics.OneLiner.Classes

Methods

dimap :: (s %1 -> a) -> (b %1 -> t) -> Zip f a b -> Zip f s t

lmap :: (s %1 -> a) -> Zip f a t -> Zip f s t

rmap :: (b %1 -> t) -> Zip f s b -> Zip f s t

Alternative f => GenericConstantProfunctor (Zip f)

Defined in Generics.OneLiner.Classes

Methods

identity :: Zip f c c

Functor f => GenericEmptyProfunctor (Zip f)

Defined in Generics.OneLiner.Classes

Methods

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

Applicative f => GenericProductProfunctor (Zip f)

Defined in Generics.OneLiner.Classes

Methods

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

Alternative f => GenericSumProfunctor (Zip f)

Defined in Generics.OneLiner.Classes

Methods

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

Applicative f => GenericUnitProfunctor (Zip f)

Defined in Generics.OneLiner.Classes

Methods

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

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

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

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

Orphan instances

Profunctor (Tagged :: Type -> Type -> Type)

Methods

dimap :: (s %1 -> a) -> (b %1 -> t) -> Tagged a b -> Tagged s t

lmap :: (s %1 -> a) -> Tagged a t -> Tagged s t

rmap :: (b %1 -> t) -> Tagged s b -> Tagged s t

Functor f => Profunctor (Costar f)

Methods

dimap :: (s %1 -> a) -> (b %1 -> t) -> Costar f a b -> Costar f s t

lmap :: (s %1 -> a) -> Costar f a t -> Costar f s t

rmap :: (b %1 -> t) -> Costar f s b -> Costar f s t

Functor f => Profunctor (Star f)

Methods

dimap :: (s %1 -> a) -> (b %1 -> t) -> Star f a b -> Star f s t

lmap :: (s %1 -> a) -> Star f a t -> Star f s t

rmap :: (b %1 -> t) -> Star f s b -> Star f s t

Contravariant f => Profunctor (Clown f :: Type -> Type -> Type)

Methods

dimap :: (s %1 -> a) -> (b %1 -> t) -> Clown f a b -> Clown f s t

lmap :: (s %1 -> a) -> Clown f a t -> Clown f s t

rmap :: (b %1 -> t) -> Clown f s b -> Clown f s t

Functor f => Profunctor (Joker f :: Type -> Type -> Type)

Methods

dimap :: (s %1 -> a) -> (b %1 -> t) -> Joker f a b -> Joker f s t

lmap :: (s %1 -> a) -> Joker f a t -> Joker f s t

rmap :: (b %1 -> t) -> Joker f s b -> Joker f s t

Profunctor (FUN 'One :: Type -> Type -> Type)

Methods

dimap :: (s %1 -> a) -> (b %1 -> t) -> FUN 'One a b -> FUN 'One s t

lmap :: (s %1 -> a) -> FUN 'One a t -> FUN 'One s t

rmap :: (b %1 -> t) -> FUN 'One s b -> FUN 'One s t

(Profunctor p, Profunctor q) => Profunctor (Product p q)

Methods

dimap :: (s %1 -> a) -> (b %1 -> t) -> Product p q a b -> Product p q s t

lmap :: (s %1 -> a) -> Product p q a t -> Product p q s t

rmap :: (b %1 -> t) -> Product p q s b -> Product p q s t

(Applicative f, Profunctor p) => Profunctor (Tannen f p)

Methods

dimap :: (s %1 -> a) -> (b %1 -> t) -> Tannen f p a b -> Tannen f p s t

lmap :: (s %1 -> a) -> Tannen f p a t -> Tannen f p s t

rmap :: (b %1 -> t) -> Tannen f p s b -> Tannen f p s t

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

Methods

dimap :: (s %1 -> a) -> (b %1 -> t) -> Biff p f g a b -> Biff p f g s t

lmap :: (s %1 -> a) -> Biff p f g a t -> Biff p f g s t

rmap :: (b %1 -> t) -> Biff p f g s b -> Biff p f g s t