Safe Haskell | None |
---|

# Documentation

A record is parameterized by a list of fields and a functor to be applied to each of those fields.

Run (Rec rs) | Records may be |

(~ * y (::: sy t), IElem * y xs, <: (PlainRec xs) (PlainRec ys)) => (PlainRec xs) <: (PlainRec (: * y ys)) | |

(Eq (g t), Eq (Rec fs g)) => Eq (Rec (: * (::: s t) fs) g) | |

Eq (Rec ([] *) f) | |

(SingI Symbol sy, Show (g t), Show (Rec fs g)) => Show (Rec (: * (::: sy t) fs) g) | |

Show (Rec ([] *) f) | |

Apply (* -> *) (~> *) (Rec rs) | Records can be applied to each other. |

(Rec xs f) <: (Rec ([] *) f) |