Modulebarbies-2.1.1.0

Data.Functor.Transformer

2 types
6 classes
18 values

Packagebarbies-2.1.1.0
Exports26
LicenceBSD-3-Clause

valuetunzip :: ApplicativeT t => t (Product f g) x -> (t f x, t g x)

valuetzip :: ApplicativeT t => t f x -> t g x -> t (Product f g) x

valuetzipWith

:: ApplicativeT t
=> forall (a :: k). f a -> g a -> h a
-> t f x
-> t g x
-> t h x

valuetzipWith3

:: ApplicativeT t
=> forall (a :: k). f a -> g a -> h a -> i a
-> t f x
-> t g x
-> t h x
-> t i x

valuetzipWith4

:: ApplicativeT t
=> forall (a :: k). f a -> g a -> h a -> i a -> j a
-> t f x
-> t g x
-> t h x
-> t i x
-> t j x

valuetforC

:: (TraversableT t, ConstraintsT t, AllT c t, Applicative e)
=> t f x
-> forall (a :: kl). c a => f a -> e (g a)
-> e (t g x)

valuetmapC

:: (AllT c t, ConstraintsT t)
=> forall (a :: k). c a => f a -> g a
-> t f x
-> t g x

valuettraverseC

:: (TraversableT t, ConstraintsT t, AllT c t, Applicative e)
=> forall (a :: k). c a => f a -> e (g a)
-> t f x
-> e (t g x)

valuetcotraverse

:: (DistributiveT t, Functor f)
=> forall a. f (g a) -> f a
-> f (t g x)
-> t f x

valuetdecompose :: DistributiveT t => (a -> t Identity x) -> t ((->) a) x

valuetdistribute' :: (DistributiveT t, Functor f) => f (t Identity x) -> t f x

valuetrecompose :: FunctorT t => t ((->) a) x -> a -> t Identity x

valuetfoldMap

:: (TraversableT t, Monoid m)
=> forall (a :: k). f a -> m
-> t f x
-> m

valuetfor

:: (TraversableT t, Applicative e)
=> t f x
-> forall (a :: k). f a -> e (g a)
-> e (t g x)

valuetfor_

:: (TraversableT t, Applicative e)
=> t f x
-> forall (a :: k). f a -> e c
-> e ()

valuetsequence

:: (Applicative e, TraversableT t)
=> t (Compose e f) x
-> e (t f x)

valuetsequence' :: (Applicative e, TraversableT t) => t e x -> e (t Identity x)

valuettraverse_

:: (TraversableT t, Applicative e)
=> forall (a :: k). f a -> e c
-> t f x
-> e ()

classclass FunctorT t => ApplicativeT (t :: (k -> Type) -> k' -> Type) where

Methods

tpure :: (forall (a :: k). f a) -> t f x
tprod :: t f x -> t g x -> t (Product f g) x

Instances5ApplicativeT

ApplicativeT ReverseDefined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT
Alternative f => ApplicativeT (Product f)Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT
Alternative f => ApplicativeT (Sum f)Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT
Applicative f => ApplicativeT (Compose f)Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT
(forall (f :: k'1). ApplicativeB (b f)) => ApplicativeT (Flip b)Defined in barbies-2.1.1.0 · Barbies.Bi

typetype AllTF (c :: k2 -> Constraint) (f :: k -> k2) (t :: (kl -> Type) -> kr -> Type) = AllT (ClassF c f) t

classclass FunctorT t => ConstraintsT (t :: (kl -> Type) -> kr -> Type) where

Associated types

type family AllT (c :: k -> Constraint) (t :: (kl -> Type) -> kr -> Type) :: Constraint

Methods

taddDicts :: AllT c t => t f x -> t (Product (Dict c) f) x

classclass FunctorT t => DistributiveT (t :: (Type -> Type) -> i -> Type) where

Methods

tdistribute :: Functor f => f (t g x) -> t (Compose f g) x

Instances15DistributiveT, …

DistributiveT MaybeTDefined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
DistributiveT BackwardsDefined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
DistributiveT IdentityTDefined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
DistributiveT ReverseDefined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
DistributiveT (AccumT w)Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
DistributiveT (ExceptT e)Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
DistributiveT (ReaderT r)Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
DistributiveT (StateT s)Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
DistributiveT (StateT s)Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
DistributiveT (WriterT w)Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
DistributiveT (WriterT w)Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
DistributiveT (RWST r w s)Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
DistributiveT (RWST r w s)Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
Distributive f => DistributiveT (Compose f)Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT
(forall (f :: i1). DistributiveB (b f)) => DistributiveT (Flip b)Defined in barbies-2.1.1.0 · Barbies.Bi

classclass FunctorT (t :: (k -> Type) -> k' -> Type) where

Methods

tmap :: (forall (a :: k). f a -> g a) -> t f x -> t g x

Instances18FunctorT, …

FunctorT LiftDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT MaybeTDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT BackwardsDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT IdentityTDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT ReverseDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT (AccumT w)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT (ExceptT e)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT (ReaderT r)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT (StateT s)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT (StateT s)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT (WriterT w)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT (WriterT w)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT (Product f)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT (Sum f)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT (RWST r w s)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
FunctorT (RWST r w s)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
Functor f => FunctorT (Compose f)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT
(forall (f :: k'1). FunctorB (b f)) => FunctorT (Flip b)Defined in barbies-2.1.1.0 · Barbies.Bi

classclass FunctorT t => MonadT (t :: (k'1 -> Type) -> k'1 -> Type) where

Methods

tlift :: f a -> t f a
tjoin :: t (t f) a -> t f a
tembed :: MonadT t => (forall (x :: k'1). f x -> t g x) -> t f a -> t g a

Instances8MonadT, …

MonadT LiftDefined in barbies-2.1.1.0 · Barbies.Internal.MonadT
MonadT BackwardsDefined in barbies-2.1.1.0 · Barbies.Internal.MonadT
MonadT IdentityTDefined in barbies-2.1.1.0 · Barbies.Internal.MonadT
MonadT ReverseDefined in barbies-2.1.1.0 · Barbies.Internal.MonadT
MonadT (ReaderT r)Defined in barbies-2.1.1.0 · Barbies.Internal.MonadT
MonadT (Sum f)Defined in barbies-2.1.1.0 · Barbies.Internal.MonadT
Alternative f => MonadT (Product f)Defined in barbies-2.1.1.0 · Barbies.Internal.MonadT
Monad f => MonadT (Compose f)Defined in barbies-2.1.1.0 · Barbies.Internal.MonadT

classclass FunctorT t => TraversableT (t :: (k -> Type) -> k' -> Type) where

Methods

ttraverse :: Applicative e => (forall (a :: k). f a -> e (g a)) -> t f x -> e (t g x)

Instances12TraversableT, …

TraversableT LiftDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableT
TraversableT MaybeTDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableT
TraversableT BackwardsDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableT
TraversableT IdentityTDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableT
TraversableT ReverseDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableT
TraversableT (ExceptT e)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableT
TraversableT (WriterT w)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableT
TraversableT (WriterT w)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableT
TraversableT (Product f)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableT
TraversableT (Sum f)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableT
Traversable f => TraversableT (Compose f)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableT
(forall (f :: k'1). TraversableB (b f)) => TraversableT (Flip b)Defined in barbies-2.1.1.0 · Barbies.Bi

newtypenewtype Rec p a (x :: k)

Constructors

Rec
- unRec :: K1 R a x

Instances45GTraversable, GApplicative, GFunctor, GDistributive, GBare, GConstraints, …

GTraversable n f g (Rec (P n f a') (f a)) (Rec (P n g a') (g a))Defined in barbies-2.1.1.0 · Barbies.Generics.Traversable
GTraversable n f g (Rec a a) (Rec a a)Defined in barbies-2.1.1.0 · Barbies.Generics.Traversable
TraversableB b => GTraversable 0 f g (Rec (b (P 0 f)) (b f)) (Rec (b (P 0 g)) (b g))Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB · orphan
TraversableT t => GTraversable 1 f g (Rec (t (P 1 f) x) (t f x)) (Rec (t (P 1 g) x) (t g x))Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableT · orphan
Traversable h => GTraversable n f g (Rec (h (P n f a)) (h (f a))) (Rec (h (P n g a)) (h (g a)))Defined in barbies-2.1.1.0 · Barbies.Generics.Traversable
(Traversable h, TraversableB b) => GTraversable 0 f g (Rec (h (b (P 0 f))) (h (b f))) (Rec (h (b (P 0 g))) (h (b g)))Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB · orphan
(Traversable h, TraversableT t) => GTraversable 1 f g (Rec (h (t (P 1 f) x)) (h (t f x))) (Rec (h (t (P 1 g) x)) (h (t g x)))Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableT · orphan
(Traversable h, Traversable m, TraversableB b) => GTraversable 0 f g (Rec (m (h (b (P 0 f)))) (m (h (b f)))) (Rec (m (h (b (P 0 g)))) (m (h (b g))))Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB · orphan
(Traversable h, Traversable m, TraversableT t) => GTraversable 1 f g (Rec (m (h (t (P 1 f) x))) (m (h (t f x)))) (Rec (m (h (t (P 1 g) x))) (m (h (t g x))))Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableT · orphan
GApplicative n f g (Rec (P n f a) (f a)) (Rec (P n g a) (g a)) (Rec (P n (Product f g) a) (Product f g a))Defined in barbies-2.1.1.0 · Barbies.Generics.Applicative
ApplicativeB b => GApplicative 0 f g (Rec (b (P 0 f)) (b f)) (Rec (b (P 0 g)) (b g)) (Rec (b (P 0 (Product f g))) (b (Product f g)))Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeB · orphan
ApplicativeT t => GApplicative 1 f g (Rec (t (P 1 f) x) (t f x)) (Rec (t (P 1 g) x) (t g x)) (Rec (t (P 1 (Product f g)) x) (t (Product f g) x))Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT · orphan
Applicative h => GApplicative n f g (Rec (h (P n f a)) (h (f a))) (Rec (h (P n g a)) (h (g a))) (Rec (h (P n (Product f g) a)) (h (Product f g a)))Defined in barbies-2.1.1.0 · Barbies.Generics.Applicative
Monoid x => GApplicative n f g (Rec x x) (Rec x x) (Rec x x)Defined in barbies-2.1.1.0 · Barbies.Generics.Applicative
(Applicative h, ApplicativeB b) => GApplicative 0 f g (Rec (h (b (P 0 f))) (h (b f))) (Rec (h (b (P 0 g))) (h (b g))) (Rec (h (b (P 0 (Product f g)))) (h (b (Product f g))))Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeB · orphan
(Applicative h, ApplicativeT t) => GApplicative 1 f g (Rec (h (t (P 1 f) x)) (h (t f x))) (Rec (h (t (P 1 g) x)) (h (t g x))) (Rec (h (t (P 1 (Product f g)) x)) (h (t (Product f g) x)))Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT · orphan
(Applicative h, Applicative m, ApplicativeB b) => GApplicative 0 f g (Rec (m (h (b (P 0 f)))) (m (h (b f)))) (Rec (m (h (b (P 0 g)))) (m (h (b g)))) (Rec (m (h (b (P 0 (Product f g))))) (m (h (b (Product f g)))))Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeB · orphan
(Applicative h, Applicative m, ApplicativeT t) => GApplicative 1 f g (Rec (m (h (t (P 1 f) x))) (m (h (t f x)))) (Rec (m (h (t (P 1 g) x))) (m (h (t g x)))) (Rec (m (h (t (P 1 (Product f g)) x))) (m (h (t (Product f g) x))))Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT · orphan
GConstraints n c f (Rec a' a) (Rec b' b) (Rec b' b)Defined in barbies-2.1.1.0 · Barbies.Generics.Constraints
GFunctor n f g (Rec (P n f a') (f a)) (Rec (P n g a') (g a))Defined in barbies-2.1.1.0 · Barbies.Generics.Functor
GFunctor n f g (Rec x x) (Rec x x)Defined in barbies-2.1.1.0 · Barbies.Generics.Functor
FunctorB b => GFunctor 0 f g (Rec (b' (P 0 f)) (b f)) (Rec (b' (P 0 g)) (b g))Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB · orphan
FunctorT t => GFunctor 1 f g (Rec (t (P 1 f) x) (t f x)) (Rec (t (P 1 g) x) (t g x))Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT · orphan
Functor h => GFunctor n f g (Rec (h (P n f a')) (h (f a))) (Rec (h (P n g a')) (h (g a)))Defined in barbies-2.1.1.0 · Barbies.Generics.Functor
(Functor h, FunctorB b) => GFunctor 0 f g (Rec (h' (b' (P 0 f))) (h (b f))) (Rec (h' (b' (P 0 g))) (h (b g)))Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB · orphan
(Functor h, FunctorT t) => GFunctor 1 f g (Rec (h (t (P 1 f) x)) (h (t f x))) (Rec (h (t (P 1 g) x)) (h (t g x)))Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT · orphan
(Functor h, Functor m, FunctorB b) => GFunctor 0 f g (Rec (m' (h' (b' (P 0 f)))) (m (h (b f)))) (Rec (m' (h' (b' (P 0 g)))) (m (h (b g))))Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB · orphan
(Functor h, Functor m, FunctorT t) => GFunctor 1 f g (Rec (m (h (t (P 1 f) x))) (m (h (t f x)))) (Rec (m (h (t (P 1 g) x))) (m (h (t g x))))Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorT · orphan
Functor f => GDistributive n f (Rec (P n g a) (g a)) (Rec (P n (Compose f g) a) (Compose f g a))Defined in barbies-2.1.1.0 · Barbies.Generics.Distributive
(Functor f, DistributiveB b) => GDistributive 0 f (Rec (b' (P 0 g)) (b g)) (Rec (b' (P 0 (Compose f g))) (b (Compose f g)))Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveB · orphan
(Functor f, DistributiveT t) => GDistributive 1 f (Rec (t (P 1 g) x) (t g x)) (Rec (t (P 1 (Compose f g)) x) (t (Compose f g) x))Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT · orphan
(Functor f, Distributive h) => GDistributive n f (Rec (h (P n g a)) (h (g a))) (Rec (h (P n (Compose f g) a)) (h (Compose f g a)))Defined in barbies-2.1.1.0 · Barbies.Generics.Distributive
(Functor f, Distributive h, DistributiveB b) => GDistributive n f (Rec (h (b (P n g))) (h (b g))) (Rec (h (b (P n (Compose f g)))) (h (b (Compose f g))))Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveB · orphan
(Functor f, Distributive h, DistributiveT t) => GDistributive 1 f (Rec (h (t (P 1 g) x)) (h (t g x))) (Rec (h (t (P 1 (Compose f g)) x)) (h (t (Compose f g) x)))Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT · orphan
BareB b => GBare 0 (Rec (b Covered (P 0 Identity)) (b Covered Identity)) (Rec (b Bare (P 0 Identity)) (b Bare Identity))Defined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan
Coercible a b => GBare n (Rec (P n Identity a) (Identity a)) (Rec b b)Defined in barbies-2.1.1.0 · Barbies.Generics.Bare
(Functor h, BareB b) => GBare 0 (Rec (h (b Covered (P 0 Identity))) (h (b Covered Identity))) (Rec (h (b Bare (P 0 Identity))) (h (b Bare Identity)))Defined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan
(Functor h, Functor m, BareB b) => GBare 0 (Rec (m (h (b Covered (P 0 Identity)))) (m (h (b Covered Identity)))) (Rec (m (h (b Bare (P 0 Identity)))) (m (h (b Bare Identity))))Defined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan
repbi ~ repbb => GBare n (Rec repbi repbi) (Rec repbb repbb)Defined in barbies-2.1.1.0 · Barbies.Generics.Bare
(ConstraintsB b, AllB c b) => GConstraints 0 c f (Other (b' (P 0 X)) (b X)) (Rec (b' (P 0 f)) (b f)) (Rec (b' (P 0 (Product (Dict c) f))) (b (Product (Dict c) f)))Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB · orphan
(ConstraintsB b, AllB c b) => GConstraints 0 c f (Self (b' (P 0 X)) (b X)) (Rec (b' (P 0 f)) (b f)) (Rec (b' (P 0 (Product (Dict c) f))) (b (Product (Dict c) f)))Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB · orphan
(ConstraintsT t, AllT c t) => GConstraints 1 c f (Other (t' (P 1 X) Y) (t X Y)) (Rec (t' (P 1 f) (P 0 y)) (t f y)) (Rec (t' (P 1 (Product (Dict c) f)) (P 0 y)) (t (Product (Dict c) f) y))Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsT · orphan
(ConstraintsT t, AllT c t) => GConstraints 1 c f (Self (t' (P 1 X) Y) (t X Y)) (Rec (t' (P 1 f) (P 0 y)) (t f y)) (Rec (t' (P 1 (Product (Dict c) f)) (P 0 y)) (t (Product (Dict c) f) y))Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsT · orphan
GConstraints n c f (Rec (P n X a') (X a)) (Rec (P n f a') (f a)) (Rec (P n (Product (Dict c) f) a') (Product (Dict c) f a))Defined in barbies-2.1.1.0 · Barbies.Generics.Constraints
type GAll n c (Rec l r) = GAllRec n c l rDefined in barbies-2.1.1.0 · Barbies.Generics.Constraints