Modulebarbies-2.1.1.0

Barbies.Bi

Synopsis

valuebtfoldMap

valuebtfor1

valuebtmap

valuebtmap1

valuebtprod

:: (ApplicativeB (b (Alt (Product f f'))), FunctorT b, Alternative f, Alternative f')
=> b f g
-> b f' g'
-> b (Product f f') (Product g g')

valuebtpure

valuebtpure1

valuebttraverse

valuebttraverse1

valuebttraverse_

newtypenewtype Flip (b :: k -> k1 -> Type) (l :: k1) (r :: k)

Instances12ApplicativeT, FunctorT, TraversableT, DistributiveT, ApplicativeB, DistributiveB, …

(forall (f :: k'1). ApplicativeB (b f)) => ApplicativeT (Flip b)Defined in barbies-2.1.1.0 · Barbies.Bi
(forall (f :: k'1). FunctorB (b f)) => FunctorT (Flip b)Defined in barbies-2.1.1.0 · Barbies.Bi
(forall (f :: k'1). TraversableB (b f)) => TraversableT (Flip b)Defined in barbies-2.1.1.0 · Barbies.Bi
(forall (f :: i1). DistributiveB (b f)) => DistributiveT (Flip b)Defined in barbies-2.1.1.0 · Barbies.Bi
ApplicativeT b => ApplicativeB (Flip b f)Defined in barbies-2.1.1.0 · Barbies.Bi
DistributiveT b => DistributiveB (Flip b f)Defined in barbies-2.1.1.0 · Barbies.Bi
FunctorT b => FunctorB (Flip b f)Defined in barbies-2.1.1.0 · Barbies.Bi
TraversableT b => TraversableB (Flip b f)Defined in barbies-2.1.1.0 · Barbies.Bi
Eq (b r l) => Eq (Flip b l r)Defined in barbies-2.1.1.0 · Barbies.Bi
Ord (b r l) => Ord (Flip b l r)Defined in barbies-2.1.1.0 · Barbies.Bi
Read (b r l) => Read (Flip b l r)Defined in barbies-2.1.1.0 · Barbies.Bi
Show (b r l) => Show (Flip b l r)Defined in barbies-2.1.1.0 · Barbies.Bi