Modulehedgehog-1.7

Hedgehog.Internal.Barbie

1 type
2 classes

Packagehedgehog-1.7
Exports3
LicenceBSD-3-Clause

classclass FunctorB (b :: (k -> Type) -> Type) where

Methods

bmap :: (forall (a :: k). f a -> g a) -> b f -> b g

Instances11FunctorB, …

FunctorB UnitDefined in barbies-2.1.1.0 · Barbies.Internal.Trivial
FunctorB VoidDefined in barbies-2.1.1.0 · Barbies.Internal.Trivial
FunctorB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.FunctorB
FunctorB (Var a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
FunctorB (Const x)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB
FunctorB (Constant x)Defined in barbies-2.1.1.0 · Barbies.Internal.FunctorB
FunctorB 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.FunctorB
FunctorT 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

classclass FunctorB b => TraversableB (b :: (k -> Type) -> Type) where

Methods

btraverse :: Applicative e => (forall (a :: k). f a -> e (g a)) -> b f -> e (b g)

Instances11TraversableB, …

TraversableB UnitDefined in barbies-2.1.1.0 · Barbies.Internal.Trivial
TraversableB VoidDefined in barbies-2.1.1.0 · Barbies.Internal.Trivial
TraversableB ProxyDefined in barbies-2.1.1.0 · Barbies.Internal.TraversableB
TraversableB (Var a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
TraversableB (Const a)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB
TraversableB (Constant a)Defined in barbies-2.1.1.0 · Barbies.Internal.TraversableB
TraversableB 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.TraversableB
TraversableT 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

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