License | MIT |
---|---|

Stability | experimental |

Safe Haskell | None |

Language | Haskell2010 |

Tuple functions for composite records, inspired by relude.

## Synopsis

- data RSource r m a
- type RSource' r = RSource (Record r)
- type XStep m a = XRec (RSource a m)
- type XStep' m a = XStep m (Record a)
- runSourceI :: Functor m => RSource r m a -> r -> m (Identity a)
- runXStep :: (IsoXRec (RSource a m) b, Applicative m) => XStep m a b -> a -> m (Record b)
- prependXStep :: (IsoXRec (RSource' a m) b, Applicative m) => XStep' m a b -> Record a -> m (Record (b ++ a))

# Documentation

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.