Modulebarbies-2.1.1.0
Data.Functor.Barbie
- 2 types
- 5 classes
- 25 values
- Packagebarbies-2.1.1.0
- Exports32
- LicenceBSD-3-Clause
Instances7ApplicativeB, …
ApplicativeB UnitDefined in barbies-2.1.1.0 · Barbies.Internal.TrivialApplicativeB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeBApplicativeB b => ApplicativeB (Barbie b)Defined in barbies-2.1.1.0 · Barbies.Internal.WrappersMonoid a => ApplicativeB (Const a)Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeBMonoid a => ApplicativeB (Constant a)Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeB(ApplicativeB a, ApplicativeB b) => ApplicativeB (Product a b)Defined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeBApplicativeT b => ApplicativeB (Flip b f)Defined in barbies-2.1.1.0 · Barbies.Bi
Associated types
type family AllB (c :: k -> Constraint) (b :: (k -> Type) -> Type) :: Constraint
Instances8ConstraintsB, …
ConstraintsB UnitDefined in barbies-2.1.1.0 · Barbies.Internal.TrivialConstraintsB VoidDefined in barbies-2.1.1.0 · Barbies.Internal.TrivialConstraintsB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsBConstraintsB (Const a)Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsBConstraintsB b => ConstraintsB (Barbie b)Defined in barbies-2.1.1.0 · Barbies.Internal.Wrappers(ConstraintsB a, ConstraintsB b) => ConstraintsB (Product a b)Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB(ConstraintsB a, ConstraintsB b) => ConstraintsB (Sum a b)Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB(Functor f, ConstraintsB b) => ConstraintsB (Compose f b)Defined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB
Methods
bdistribute :: Functor f => f (b g) -> b (Compose f g)
Instances5DistributiveB
DistributiveB UnitDefined in barbies-2.1.1.0 · Barbies.Internal.TrivialDistributiveB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.DistributiveB(DistributiveB a, DistributiveB b) => DistributiveB (Product a b)Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveBDistributiveT b => DistributiveB (Flip b f)Defined in barbies-2.1.1.0 · Barbies.Bi(Distributive h, DistributiveB b) => DistributiveB (Compose h b)Defined in barbies-2.1.1.0 · Barbies.Internal.DistributiveB
Methods
bmap :: (forall (a :: k). f a -> g a) -> b f -> b g
Instances10FunctorB, …
FunctorB UnitDefined in barbies-2.1.1.0 · Barbies.Internal.TrivialFunctorB VoidDefined in barbies-2.1.1.0 · Barbies.Internal.TrivialFunctorB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorBFunctorB (Const x)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorBFunctorB (Constant x)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorBFunctorB b => FunctorB (Barbie b)Defined in barbies-2.1.1.0 · Barbies.Internal.Wrappers(FunctorB a, FunctorB b) => FunctorB (Product a b)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB(FunctorB a, FunctorB b) => FunctorB (Sum a b)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorBFunctorT b => FunctorB (Flip b f)Defined in barbies-2.1.1.0 · Barbies.Bi(Functor f, FunctorB b) => FunctorB (Compose f b)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB
Methods
btraverse :: Applicative e => (forall (a :: k). f a -> e (g a)) -> b f -> e (b g)
Instances10TraversableB, …
TraversableB UnitDefined in barbies-2.1.1.0 · Barbies.Internal.TrivialTraversableB VoidDefined in barbies-2.1.1.0 · Barbies.Internal.TrivialTraversableB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableBTraversableB (Const a)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableBTraversableB (Constant a)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableBTraversableB b => TraversableB (Barbie b)Defined in barbies-2.1.1.0 · Barbies.Internal.Wrappers(TraversableB a, TraversableB b) => TraversableB (Product a b)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB(TraversableB a, TraversableB b) => TraversableB (Sum a b)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableBTraversableT b => TraversableB (Flip b f)Defined in barbies-2.1.1.0 · Barbies.Bi(Traversable f, TraversableB b) => TraversableB (Compose f b)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB
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.TraversableGTraversable n f g (Rec a a) (Rec a a)Defined in barbies-2.1.1.0 · Barbies.Generics.TraversableTraversableB b => GTraversableDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableB · orphan0
f g (Rec (b (P0
f)) (b f)) (Rec (b (P0
g)) (b g))TraversableT t => GTraversableDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableT · orphan1
f g (Rec (t (P1
f) x) (t f x)) (Rec (t (P1
g) x) (t g x))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) => GTraversableDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableB · orphan0
f g (Rec (h (b (P0
f))) (h (b f))) (Rec (h (b (P0
g))) (h (b g)))(Traversable h, TraversableT t) => GTraversableDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableT · orphan1
f g (Rec (h (t (P1
f) x)) (h (t f x))) (Rec (h (t (P1
g) x)) (h (t g x)))(Traversable h, Traversable m, TraversableB b) => GTraversableDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableB · orphan0
f g (Rec (m (h (b (P0
f)))) (m (h (b f)))) (Rec (m (h (b (P0
g)))) (m (h (b g))))(Traversable h, Traversable m, TraversableT t) => GTraversableDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableT · orphan1
f g (Rec (m (h (t (P1
f) x))) (m (h (t f x)))) (Rec (m (h (t (P1
g) x))) (m (h (t g x))))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.ApplicativeApplicativeB b => GApplicativeDefined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeB · orphan0
f g (Rec (b (P0
f)) (b f)) (Rec (b (P0
g)) (b g)) (Rec (b (P0
(Product f g))) (b (Product f g)))ApplicativeT t => GApplicativeDefined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT · orphan1
f g (Rec (t (P1
f) x) (t f x)) (Rec (t (P1
g) x) (t g x)) (Rec (t (P1
(Product f g)) x) (t (Product f g) x))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.ApplicativeMonoid 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) => GApplicativeDefined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeB · orphan0
f g (Rec (h (b (P0
f))) (h (b f))) (Rec (h (b (P0
g))) (h (b g))) (Rec (h (b (P0
(Product f g)))) (h (b (Product f g))))(Applicative h, ApplicativeT t) => GApplicativeDefined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT · orphan1
f g (Rec (h (t (P1
f) x)) (h (t f x))) (Rec (h (t (P1
g) x)) (h (t g x))) (Rec (h (t (P1
(Product f g)) x)) (h (t (Product f g) x)))(Applicative h, Applicative m, ApplicativeB b) => GApplicativeDefined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeB · orphan0
f g (Rec (m (h (b (P0
f)))) (m (h (b f)))) (Rec (m (h (b (P0
g)))) (m (h (b g)))) (Rec (m (h (b (P0
(Product f g))))) (m (h (b (Product f g)))))(Applicative h, Applicative m, ApplicativeT t) => GApplicativeDefined in barbies-2.1.1.0 · Barbies.Internal.ApplicativeT · orphan1
f g (Rec (m (h (t (P1
f) x))) (m (h (t f x)))) (Rec (m (h (t (P1
g) x))) (m (h (t g x)))) (Rec (m (h (t (P1
(Product f g)) x))) (m (h (t (Product f g) x))))GConstraints n c f (Rec a' a) (Rec b' b) (Rec b' b)Defined in barbies-2.1.1.0 · Barbies.Generics.ConstraintsGFunctor 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.FunctorGFunctor n f g (Rec x x) (Rec x x)Defined in barbies-2.1.1.0 · Barbies.Generics.FunctorFunctorB b => GFunctorDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorB · orphan0
f g (Rec (b' (P0
f)) (b f)) (Rec (b' (P0
g)) (b g))FunctorT t => GFunctorDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorT · orphan1
f g (Rec (t (P1
f) x) (t f x)) (Rec (t (P1
g) x) (t g x))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) => GFunctorDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorB · orphan0
f g (Rec (h' (b' (P0
f))) (h (b f))) (Rec (h' (b' (P0
g))) (h (b g)))(Functor h, FunctorT t) => GFunctorDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorT · orphan1
f g (Rec (h (t (P1
f) x)) (h (t f x))) (Rec (h (t (P1
g) x)) (h (t g x)))(Functor h, Functor m, FunctorB b) => GFunctorDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorB · orphan0
f g (Rec (m' (h' (b' (P0
f)))) (m (h (b f)))) (Rec (m' (h' (b' (P0
g)))) (m (h (b g))))(Functor h, Functor m, FunctorT t) => GFunctorDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorT · orphan1
f g (Rec (m (h (t (P1
f) x))) (m (h (t f x)))) (Rec (m (h (t (P1
g) x))) (m (h (t g x))))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) => GDistributiveDefined in barbies-2.1.1.0 · Barbies.Internal.DistributiveB · orphan0
f (Rec (b' (P0
g)) (b g)) (Rec (b' (P0
(Compose f g))) (b (Compose f g)))(Functor f, DistributiveT t) => GDistributiveDefined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT · orphan1
f (Rec (t (P1
g) x) (t g x)) (Rec (t (P1
(Compose f g)) x) (t (Compose f g) x))(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) => GDistributiveDefined in barbies-2.1.1.0 · Barbies.Internal.DistributiveT · orphan1
f (Rec (h (t (P1
g) x)) (h (t g x))) (Rec (h (t (P1
(Compose f g)) x)) (h (t (Compose f g) x)))BareB b => GBareDefined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan0
(Rec (b Covered (P0
Identity)) (b Covered Identity)) (Rec (b Bare (P0
Identity)) (b Bare Identity))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) => GBareDefined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan0
(Rec (h (b Covered (P0
Identity))) (h (b Covered Identity))) (Rec (h (b Bare (P0
Identity))) (h (b Bare Identity)))(Functor h, Functor m, BareB b) => GBareDefined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan0
(Rec (m (h (b Covered (P0
Identity)))) (m (h (b Covered Identity)))) (Rec (m (h (b Bare (P0
Identity)))) (m (h (b Bare Identity))))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) => GConstraintsDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB · orphan0
c f (Other (b' (P0
X)) (b X)) (Rec (b' (P0
f)) (b f)) (Rec (b' (P0
(Product (Dict c) f))) (b (Product (Dict c) f)))(ConstraintsB b, AllB c b) => GConstraintsDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB · orphan0
c f (Self (b' (P0
X)) (b X)) (Rec (b' (P0
f)) (b f)) (Rec (b' (P0
(Product (Dict c) f))) (b (Product (Dict c) f)))(ConstraintsT t, AllT c t) => GConstraintsDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsT · orphan1
c f (Other (t' (P1
X) Y) (t X Y)) (Rec (t' (P1
f) (P0
y)) (t f y)) (Rec (t' (P1
(Product (Dict c) f)) (P0
y)) (t (Product (Dict c) f) y))(ConstraintsT t, AllT c t) => GConstraintsDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsT · orphan1
c f (Self (t' (P1
X) Y) (t X Y)) (Rec (t' (P1
f) (P0
y)) (t f y)) (Rec (t' (P1
(Product (Dict c) f)) (P0
y)) (t (Product (Dict c) f) y))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.Constraintstype GAll n c (Rec l r) = GAllRec n c l rDefined in barbies-2.1.1.0 · Barbies.Generics.Constraints