Composite.XStep

Tuple functions for composite records, inspired by relude.

Documentation

data RSource r m a

An RSource is simply a ReaderT transformer. This is a uniquely named type as composte and vinyl aren't compatible via the IsoHKD interface due to the way that `(:->)` is defined.

Instances

Functor m => IsoHKD (RSource r m :: Type -> Type) (s :-> a :: Type)

Defined in Composite.XStep

Associated Types

type HKD (RSource r m) (s :-> a) :: Type

Methods

unHKD :: HKD (RSource r m) (s :-> a) -> RSource r m (s :-> a)

toHKD :: RSource r m (s :-> a) -> HKD (RSource r m) (s :-> a)

type HKD (RSource r m :: Type -> Type) (s :-> a :: Type)

Defined in Composite.XStep

type HKD (RSource r m :: Type -> Type) (s :-> a :: Type) = r -> m a

type RSource' r = RSource (Record r)

The special case where the environment is a Record.

type XStep m a = XRec (RSource a m)

An XStep is a n XRec with an RSource. The type is eta-reduced, but in practice signatures will be written `XStep m a b` to represent a Kleisli arrow from a to m b.

type XStep' m a = XStep m (Record a)

The special case where the environment is a Record.

runSourceI :: Functor m => RSource r m a -> r -> m (Identity a)

Run an RSource against a Record and pull out the underlying functor.

runXStep :: (IsoXRec (RSource a m) b, Applicative m) => XStep m a b -> a -> m (Record b)

Run an XStep to completion.

prependXStep :: (IsoXRec (RSource' a m) b, Applicative m) => XStep' m a b -> Record a -> m (Record (b ++ a))

The special case where the environnent is a XStep environment is Record, and the result should be prepended extensibly.