Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family FIndex (r :: Symbol) (rs :: [(Symbol, Schema)]) :: Nat where ... Source #
A partial relation that gives the index of a value in a list.
class i ~ FIndex fn rs => FElem fn rs i where Source #
type ByRevision fn rs i :: Schema Source #
flens :: Functor g => proxy fn -> (FieldRepr '(fn, ByRevision fn rs i) -> g (FieldRepr '(fn, ByRevision fn rs i))) -> Rec FieldRepr rs -> g (Rec FieldRepr rs) Source #
fget :: proxy fn -> Rec FieldRepr rs -> FieldRepr '(fn, ByRevision fn rs i) Source #
For Vinyl users who are not using the lens
package, we provide a getter.
fput :: FieldRepr '(fn, ByRevision fn rs i) -> Rec FieldRepr rs -> Rec FieldRepr rs Source #
For Vinyl users who are not using the lens
package, we also provide a
setter. In general, it will be unambiguous what field is being written to,
and so we do not take a proxy argument here.