Data.Functor.Transformer

Functors on indexed-types.

Functor

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

Functor from indexed-types to indexed-types. Instances of FunctorT should satisfy the following laws:

tmap id = id
tmap f . tmap g = tmap (f . g)

There is a default tmap implementation for Generic types, so instances can derived automatically.

Minimal complete definition

Nothing

Methods

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

default tmap :: forall f g x. CanDeriveFunctorT t f g x => (forall a. f a -> g a) -> t f x -> t g x

Instances

FunctorT Lift

Defined in Barbies.Internal.FunctorT

Methods

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

FunctorT MaybeT

Defined in Barbies.Internal.FunctorT

Methods

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

FunctorT (AccumT w :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f g (x :: k'). (forall (a :: k). f a -> g a) -> AccumT w f x -> AccumT w g x

FunctorT (ExceptT e :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f g (x :: k'). (forall (a :: k). f a -> g a) -> ExceptT e f x -> ExceptT e g x

FunctorT (ReaderT r :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f g (x :: k'). (forall (a :: k). f a -> g a) -> ReaderT r f x -> ReaderT r g x

FunctorT (StateT s :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f g (x :: k'). (forall (a :: k). f a -> g a) -> StateT s f x -> StateT s g x

FunctorT (StateT s :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f g (x :: k'). (forall (a :: k). f a -> g a) -> StateT s f x -> StateT s g x

FunctorT (WriterT w :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f g (x :: k'). (forall (a :: k). f a -> g a) -> WriterT w f x -> WriterT w g x

FunctorT (WriterT w :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f g (x :: k'). (forall (a :: k). f a -> g a) -> WriterT w f x -> WriterT w g x

FunctorT (Backwards :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f g (x :: k'0). (forall (a :: k). f a -> g a) -> Backwards f x -> Backwards g x

FunctorT (IdentityT :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f g (x :: k'0). (forall (a :: k). f a -> g a) -> IdentityT f x -> IdentityT g x

FunctorT (Reverse :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f g (x :: k'0). (forall (a :: k). f a -> g a) -> Reverse f x -> Reverse g x

FunctorT (Product f :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f0 g (x :: k'0). (forall (a :: k). f0 a -> g a) -> Product f f0 x -> Product f g x

FunctorT (Sum f :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f0 g (x :: k'0). (forall (a :: k). f0 a -> g a) -> Sum f f0 x -> Sum f g x

FunctorT (RWST r w s :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f g (x :: k'). (forall (a :: k). f a -> g a) -> RWST r w s f x -> RWST r w s g x

FunctorT (RWST r w s :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f g (x :: k'). (forall (a :: k). f a -> g a) -> RWST r w s f x -> RWST r w s g x

(forall (f :: k'). FunctorB (b f)) => FunctorT (Flip b :: (k -> Type) -> k' -> Type)

Defined in Barbies.Bi

Methods

tmap :: forall f g (x :: k'0). (forall (a :: k0). f a -> g a) -> Flip b f x -> Flip b g x

Functor f => FunctorT (Compose f :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.FunctorT

Methods

tmap :: forall f0 g (x :: k'0). (forall (a :: k). f0 a -> g a) -> Compose f f0 x -> Compose f g x

Traversable

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

Indexed-functors that can be traversed from left to right. Instances should satisfy the following laws:

 t . ttraverse f   = ttraverse (t . f)  -- naturality
ttraverse Identity = Identity           -- identity
ttraverse (Compose . fmap g . f) = Compose . fmap (ttraverse g) . ttraverse f -- composition

There is a default ttraverse implementation for Generic types, so instances can derived automatically.

Minimal complete definition

Nothing

Methods

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

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

Instances

TraversableT Lift

Defined in Barbies.Internal.TraversableT

Methods

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

TraversableT MaybeT

Defined in Barbies.Internal.TraversableT

Methods

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

TraversableT (ExceptT e :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.TraversableT

Methods

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

TraversableT (WriterT w :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.TraversableT

Methods

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

TraversableT (WriterT w :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.TraversableT

Methods

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

TraversableT (Backwards :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.TraversableT

Methods

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

TraversableT (IdentityT :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.TraversableT

Methods

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

TraversableT (Reverse :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.TraversableT

Methods

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

TraversableT (Product f :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.TraversableT

Methods

ttraverse :: forall e f0 g (x :: k'0). Applicative e => (forall (a :: k). f0 a -> e (g a)) -> Product f f0 x -> e (Product f g x)

TraversableT (Sum f :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.TraversableT

Methods

ttraverse :: forall e f0 g (x :: k'0). Applicative e => (forall (a :: k). f0 a -> e (g a)) -> Sum f f0 x -> e (Sum f g x)

(forall (f :: k'). TraversableB (b f)) => TraversableT (Flip b :: (k -> Type) -> k' -> Type)

Defined in Barbies.Bi

Methods

ttraverse :: forall e f g (x :: k'0). Applicative e => (forall (a :: k0). f a -> e (g a)) -> Flip b f x -> e (Flip b g x)

Traversable f => TraversableT (Compose f :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.TraversableT

Methods

ttraverse :: forall e f0 g (x :: k'0). Applicative e => (forall (a :: k). f0 a -> e (g a)) -> Compose f f0 x -> e (Compose f g x)

Utility functions

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

Map each element to an action, evaluate these actions from left to right, and ignore the results.

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

Map each element to a monoid, and combine the results.

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

Evaluate each action in the structure from left to right, and collect the results.

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

A version of tsequence with f specialized to Identity.

Distributive

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

A FunctorT where the effects can be distributed to the fields: tdistribute turns an effectful way of building a transformer-type into a pure transformer-type with effectful ways of computing the values of its fields.

This class is the categorical dual of TraversableT, with tdistribute the dual of tsequence and tcotraverse the dual of ttraverse. As such, instances need to satisfy these laws:

tdistribute . h = tmap (Compose . h . getCompose) . tdistribute    -- naturality
tdistribute . Identity = tmap (Compose . Identity)                 -- identity
tdistribute . Compose = fmap (Compose . Compose . fmap getCompose . getCompose) . tdistribute . fmap distribute -- composition

By specializing f to ((->) a) and g to Identity, we can define a function that decomposes a function on distributive transformers into a collection of simpler functions:

tdecompose :: DistributiveT b => (a -> b Identity) -> b ((->) a)
tdecompose = tmap (fmap runIdentity . getCompose) . tdistribute

Lawful instances of the class can then be characterized as those that satisfy:

trecompose . tdecompose = id
tdecompose . trecompose = id

This means intuitively that instances need to have a fixed shape (i.e. no sum-types can be involved). Typically, this means record types, as long as they don't contain fields where the functor argument is not applied.

There is a default implementation of tdistribute based on Generic. Intuitively, it works on product types where the shape of a pure value is uniquely defined and every field is covered by the argument f.

Minimal complete definition

Nothing

Methods

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

default tdistribute :: forall f g x. CanDeriveDistributiveT t f g x => f (t g x) -> t (Compose f g) x

Instances

DistributiveT MaybeT

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (MaybeT g x) -> MaybeT (Compose f g) x

DistributiveT (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (Backwards g x) -> Backwards (Compose f g) x

DistributiveT (AccumT w :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (AccumT w g x) -> AccumT w (Compose f g) x

DistributiveT (ExceptT e :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (ExceptT e g x) -> ExceptT e (Compose f g) x

DistributiveT (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (IdentityT g x) -> IdentityT (Compose f g) x

DistributiveT (ReaderT r :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (ReaderT r g x) -> ReaderT r (Compose f g) x

DistributiveT (StateT s :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (StateT s g x) -> StateT s (Compose f g) x

DistributiveT (StateT s :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (StateT s g x) -> StateT s (Compose f g) x

DistributiveT (WriterT w :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (WriterT w g x) -> WriterT w (Compose f g) x

DistributiveT (WriterT w :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (WriterT w g x) -> WriterT w (Compose f g) x

DistributiveT (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (Reverse g x) -> Reverse (Compose f g) x

Distributive f => DistributiveT (Compose f :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f0 (g :: Type -> Type) (x :: i). Functor f0 => f0 (Compose f g x) -> Compose f (Compose f0 g) x

DistributiveT (RWST r w s :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (RWST r w s g x) -> RWST r w s (Compose f g) x

DistributiveT (RWST r w s :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.DistributiveT

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i). Functor f => f (RWST r w s g x) -> RWST r w s (Compose f g) x

(forall (f :: i). DistributiveB (b f)) => DistributiveT (Flip b :: (Type -> Type) -> i -> Type)

Defined in Barbies.Bi

Methods

tdistribute :: forall f (g :: Type -> Type) (x :: i0). Functor f => f (Flip b g x) -> Flip b (Compose f g) x

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

A version of tdistribute with g specialized to Identity.

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

Dual of ttraverse

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

Decompose a function returning a distributive transformer, into a collection of simpler functions.

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

Recompose a decomposed function.

Applicative

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

A FunctorT with application, providing operations to:

• embed an "empty" value (tpure)
• align and combine values (tprod)

It should satisfy the following laws:

Naturality of tprod

tmap ((Pair a b) -> Pair (f a) (g b)) (u `tprod` v) = tmap f u `tprod` tmap g v

Left and right identity

tmap ((Pair _ b) -> b) (tpure e `tprod` v) = v
tmap ((Pair a _) -> a) (u `tprod` tpure e) = u

Associativity

tmap ((Pair a (Pair b c)) -> Pair (Pair a b) c) (u `tprod` (v `tprod` w)) = (u `tprod` v) `tprod` w

It is to FunctorT in the same way is Applicative relates to Functor. For a presentation of Applicative as a monoidal functor, see Section 7 of Applicative Programming with Effects.

There is a default implementation of tprod and tpure based on Generic. Intuitively, it works on types where the value of tpure is uniquely defined. This corresponds rougly to record types (in the presence of sums, there would be several candidates for tpure), where every field is either a Monoid or covered by the argument f.

Minimal complete definition

Nothing

Methods

tpure :: (forall a. f a) -> t f x

default tpure :: CanDeriveApplicativeT t f f x => (forall a. f a) -> t f x

tprod :: t f x -> t g x -> t (f `Product` g) x

default tprod :: CanDeriveApplicativeT t f g x => t f x -> t g x -> t (f `Product` g) x

Instances

ApplicativeT (Reverse :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.ApplicativeT

Methods

tpure :: forall f (x :: k'0). (forall (a :: k). f a) -> Reverse f x

tprod :: forall (f :: k -> Type) (x :: k'0) (g :: k -> Type). Reverse f x -> Reverse g x -> Reverse (Product f g) x

Alternative f => ApplicativeT (Product f :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.ApplicativeT

Methods

tpure :: forall f0 (x :: k'). (forall (a :: k). f0 a) -> Product f f0 x

tprod :: forall (f0 :: k -> Type) (x :: k') (g :: k -> Type). Product f f0 x -> Product f g x -> Product f (Product f0 g) x

Alternative f => ApplicativeT (Sum f :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.ApplicativeT

Methods

tpure :: forall f0 (x :: k'). (forall (a :: k). f0 a) -> Sum f f0 x

tprod :: forall (f0 :: k -> Type) (x :: k') (g :: k -> Type). Sum f f0 x -> Sum f g x -> Sum f (Product f0 g) x

(forall (f :: k'). ApplicativeB (b f)) => ApplicativeT (Flip b :: (k -> Type) -> k' -> Type)

Defined in Barbies.Bi

Methods

tpure :: forall f (x :: k'0). (forall (a :: k0). f a) -> Flip b f x

tprod :: forall (f :: k0 -> Type) (x :: k'0) (g :: k0 -> Type). Flip b f x -> Flip b g x -> Flip b (Product f g) x

Applicative f => ApplicativeT (Compose f :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.ApplicativeT

Methods

tpure :: forall f0 (x :: k'0). (forall (a :: k). f0 a) -> Compose f f0 x

tprod :: forall (f0 :: k -> Type) (x :: k'0) (g :: k -> Type). Compose f f0 x -> Compose f g x -> Compose f (Product f0 g) x

Utility functions

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

An alias of tprod.

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

An equivalent of unzip.

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

An equivalent of zipWith.

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

An equivalent of zipWith3.

tzipWith4 :: ApplicativeT t => (forall a. 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

An equivalent of zipWith4.

Monad

class FunctorT t => MonadT t where

Some endo-functors on indexed-types are monads. Common examples would be "functor-transformers", like Compose or ReaderT. In that sense, MonadT is similar to MonadTrans but with additional structure (see also mmorph's MMonad class).

Notice though that while lift assumes a Monad instance of the value to be lifted, tlift has no such constraint. This means we cannot have instances for most "monad transformers", since lifting typically involves an fmap.

MonadT also corresponds to the indexed-monad of Kleisli arrows of outrageous fortune.

Instances of this class should to satisfy the monad laws. They laws can stated either in terms of (tlift, tjoin) or (tlift, tembed). In the former:

tmap h . tlift = tlift . h
tmap h . tjoin = tjoin . tmap (tmap h)
tjoin . tlift  = id
tjoin . 'tmap tlift' = id
tjoin . tjoin = tjoin . tmap tjoin

In the latter:

tembed f . tlift = f
tembed tlift = id
tembed f . tembed g = tembed (tembed f . g)

Minimal complete definition

tlift, tjoin | tlift, tembed

Methods

tlift :: f a -> t f a

Lift a functor to a transformed functor.

tjoin :: t (t f) a -> t f a

The conventional monad join operator. It is used to remove one level of monadic structure, projecting its bound argument into the outer level.

tembed :: MonadT t => (forall x. f x -> t g x) -> t f a -> t g a

Analogous to (=<<).

Instances

MonadT Lift

Defined in Barbies.Internal.MonadT

Methods

tlift :: forall f (a :: k'). f a -> Lift f a

tjoin :: forall (f :: k' -> Type) (a :: k'). Lift (Lift f) a -> Lift f a

tembed :: forall f (g :: k' -> Type) (a :: k'). MonadT Lift => (forall (x :: k'). f x -> Lift g x) -> Lift f a -> Lift g a

MonadT (ReaderT r :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Barbies.Internal.MonadT

Methods

tlift :: forall f (a :: k'). f a -> ReaderT r f a

tjoin :: forall (f :: k' -> Type) (a :: k'). ReaderT r (ReaderT r f) a -> ReaderT r f a

tembed :: forall f (g :: k' -> Type) (a :: k'). MonadT (ReaderT r) => (forall (x :: k'). f x -> ReaderT r g x) -> ReaderT r f a -> ReaderT r g a

MonadT (Backwards :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.MonadT

Methods

tlift :: forall f (a :: k'0). f a -> Backwards f a

tjoin :: forall (f :: k'0 -> Type) (a :: k'0). Backwards (Backwards f) a -> Backwards f a

tembed :: forall f (g :: k'0 -> Type) (a :: k'0). MonadT Backwards => (forall (x :: k'0). f x -> Backwards g x) -> Backwards f a -> Backwards g a

MonadT (IdentityT :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.MonadT

Methods

tlift :: forall f (a :: k'0). f a -> IdentityT f a

tjoin :: forall (f :: k'0 -> Type) (a :: k'0). IdentityT (IdentityT f) a -> IdentityT f a

tembed :: forall f (g :: k'0 -> Type) (a :: k'0). MonadT IdentityT => (forall (x :: k'0). f x -> IdentityT g x) -> IdentityT f a -> IdentityT g a

MonadT (Reverse :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.MonadT

Methods

tlift :: forall f (a :: k'0). f a -> Reverse f a

tjoin :: forall (f :: k'0 -> Type) (a :: k'0). Reverse (Reverse f) a -> Reverse f a

tembed :: forall f (g :: k'0 -> Type) (a :: k'0). MonadT Reverse => (forall (x :: k'0). f x -> Reverse g x) -> Reverse f a -> Reverse g a

Alternative f => MonadT (Product f :: (Type -> Type) -> Type -> Type)

Defined in Barbies.Internal.MonadT

Methods

tlift :: forall f0 (a :: k'). f0 a -> Product f f0 a

tjoin :: forall (f0 :: k' -> Type) (a :: k'). Product f (Product f f0) a -> Product f f0 a

tembed :: forall f0 (g :: k' -> Type) (a :: k'). MonadT (Product f) => (forall (x :: k'). f0 x -> Product f g x) -> Product f f0 a -> Product f g a

MonadT (Sum f :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.MonadT

Methods

tlift :: forall f0 (a :: k'0). f0 a -> Sum f f0 a

tjoin :: forall (f0 :: k'0 -> Type) (a :: k'0). Sum f (Sum f f0) a -> Sum f f0 a

tembed :: forall f0 (g :: k'0 -> Type) (a :: k'0). MonadT (Sum f) => (forall (x :: k'0). f0 x -> Sum f g x) -> Sum f f0 a -> Sum f g a

Monad f => MonadT (Compose f :: (k' -> Type) -> k' -> Type)

Defined in Barbies.Internal.MonadT

Methods

tlift :: forall f0 (a :: k'0). f0 a -> Compose f f0 a

tjoin :: forall (f0 :: k'0 -> Type) (a :: k'0). Compose f (Compose f f0) a -> Compose f f0 a

tembed :: forall f0 (g :: k'0 -> Type) (a :: k'0). MonadT (Compose f) => (forall (x :: k'0). f0 x -> Compose f g x) -> Compose f f0 a -> Compose f g a

Constraints and instance dictionaries

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

Instances of this class provide means to talk about constraints, both at compile-time, using AllT, and at run-time, in the form of Dict, via taddDicts.

A manual definition would look like this:

data T f a = A (f Int) (f String) | B (f Bool) (f Int)

instance ConstraintsT T where
  type AllT c T = (c Int, c String, c Bool)

  taddDicts t = case t of
    A x y -> A (Pair Dict x) (Pair Dict y)
    B z w -> B (Pair Dict z) (Pair Dict w)

Now, when we given a T f, if we need to use the Show instance of their fields, we can use:

taddDicts :: AllT Show t => t f -> t (Dict Show `Product` f)

There is a default implementation of ConstraintsT for Generic types, so in practice one will simply do:

derive instance Generic (T f a)
instance ConstraintsT T

Minimal complete definition

Nothing

Associated Types

type AllT (c :: k -> Constraint) t :: Constraint

AllT c t should contain a constraint c a for each a occurring under an f in t f.

For requiring constraints of the form c (f a), use AllTF.

type AllT c t = GAll 1 c (GAllRepT t)

Methods

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

default taddDicts :: forall c f x. (CanDeriveConstraintsT c t f x, AllT c t) => t f x -> t (Dict c `Product` f) x

type AllTF c f t = AllT (ClassF c f) t

Similar to AllT but will put the functor argument f between the constraint c and the type a.

Utility functions

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

Like tmap but a constraint is allowed to be required on each element of t.

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

Like ttraverse but with a constraint on the elements of t.

Support for generic derivations

newtype Rec (p :: Type) a x

Constructors

Rec

Fields

• unRec :: K1 R a x

Instances

GTraversable (n :: k1) (f :: k2 -> Type) (g :: k2 -> Type) (Rec a a :: k3 -> TYPE LiftedRep) (Rec a a :: k3 -> TYPE LiftedRep)

Defined in Barbies.Generics.Traversable

Methods

gtraverse :: forall t (x :: k). Applicative t => Proxy n -> (forall (a0 :: k). f a0 -> t (g a0)) -> Rec a a x -> t (Rec a a x)

Monoid x => GApplicative (n :: k1) (f :: k2 -> Type) (g :: k2 -> Type) (Rec x x :: k3 -> TYPE LiftedRep) (Rec x x :: k3 -> TYPE LiftedRep) (Rec x x :: k3 -> TYPE LiftedRep)

Defined in Barbies.Generics.Applicative

Methods

gprod :: forall (x0 :: k). Proxy n -> Proxy f -> Proxy g -> Rec x x x0 -> Rec x x x0 -> Rec x x x0

gpure :: forall (x0 :: k). (f ~ g, Rec x x ~ Rec x x) => Proxy n -> Proxy f -> Proxy (Rec x x) -> Proxy (Rec x x) -> (forall (a :: k). f a) -> Rec x x x0

GConstraints n (c :: k1 -> Constraint) (f :: k2) (Rec a' a :: Type -> TYPE LiftedRep) (Rec b' b :: k3 -> TYPE LiftedRep) (Rec b' b :: k3 -> TYPE LiftedRep)

Defined in Barbies.Generics.Constraints

Methods

gaddDicts :: forall (x :: k). GAll n c (Rec a' a) => Rec b' b x -> Rec b' b x

GFunctor n (f :: k1 -> Type) (g :: k1 -> Type) (Rec x x :: k2 -> TYPE LiftedRep) (Rec x x :: k2 -> TYPE LiftedRep)

Defined in Barbies.Generics.Functor

Methods

gmap :: forall (x0 :: k). Proxy n -> (forall (a :: k). f a -> g a) -> Rec x x x0 -> Rec x x x0

repbi ~ repbb => GBare n (Rec repbi repbi :: k -> TYPE LiftedRep) (Rec repbb repbb :: k -> TYPE LiftedRep)

Defined in Barbies.Generics.Bare

Methods

gstrip :: forall (x :: k0). Proxy n -> Rec repbi repbi x -> Rec repbb repbb x

gcover :: forall (x :: k0). Proxy n -> Rec repbb repbb x -> Rec repbi repbi x

type GAll n (c :: k -> Constraint) (Rec l r :: Type -> TYPE LiftedRep)

Defined in Barbies.Generics.Constraints

type GAll n (c :: k -> Constraint) (Rec l r :: Type -> TYPE LiftedRep)