Data.Schematic.Lens

Documentation

type family FIndex (r :: Symbol) (rs :: [(Symbol, Schema)]) :: Nat where ...

A partial relation that gives the index of a value in a list.

Equations

FIndex r ('(fn, s) ': rs) = Z

FIndex r (s ': rs) = S (FIndex r rs)

class i ~ FIndex fn rs => FElem fn rs i where

Minimal complete definition

flens, fget, fput

Associated Types

type ByRevision fn rs i :: Schema

Methods

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)

fget :: proxy fn -> Rec FieldRepr rs -> FieldRepr '(fn, ByRevision fn rs i)

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

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.

Instances

FElem fn ((:) (Symbol, Schema) ((,) Symbol Schema fn r) rs) Z

Associated Types

type ByRevision (fn :: Symbol) ((:) (Symbol, Schema) ((,) Symbol Schema fn r) rs :: [(Symbol, Schema)]) (Z :: Nat) :: Schema

Methods

flens :: Functor g => proxy fn -> (FieldRepr ((Symbol, Schema) fn (ByRevision fn (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) Z)) -> g (FieldRepr ((Symbol, Schema) fn (ByRevision fn (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) Z)))) -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) -> g (Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': (Symbol, Schema) fn r) rs))

fget :: proxy fn -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) -> FieldRepr ((Symbol, Schema) fn (ByRevision fn (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) Z))

fput :: FieldRepr ((Symbol, Schema) fn (ByRevision fn (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) Z)) -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': (Symbol, Schema) fn r) rs) -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': (Symbol, Schema) fn r) rs)

((~) Nat (FIndex r ((:) (Symbol, Schema) s rs)) (S i), FElem r rs i) => FElem r ((:) (Symbol, Schema) s rs) (S i)

Associated Types

type ByRevision (r :: Symbol) ((:) (Symbol, Schema) s rs :: [(Symbol, Schema)]) (S i :: Nat) :: Schema

Methods

flens :: Functor g => proxy r -> (FieldRepr ((Symbol, Schema) r (ByRevision r (((Symbol, Schema) ': s) rs) (S i))) -> g (FieldRepr ((Symbol, Schema) r (ByRevision r (((Symbol, Schema) ': s) rs) (S i))))) -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': s) rs) -> g (Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': s) rs))

fget :: proxy r -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': s) rs) -> FieldRepr ((Symbol, Schema) r (ByRevision r (((Symbol, Schema) ': s) rs) (S i)))

fput :: FieldRepr ((Symbol, Schema) r (ByRevision r (((Symbol, Schema) ': s) rs) (S i))) -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': s) rs) -> Rec (Symbol, Schema) FieldRepr (((Symbol, Schema) ': s) rs)