Serv.Internal.Rec

Documentation

data Rec rs where

An HList collecting heterogenous types matched up to labeling information

Constructors

Nil :: Rec '[]

Cons :: ty -> Rec rs -> Rec ((name ::: ty) ': rs)

(-:) :: Proxy name -> ty -> Rec rs -> Rec ((name ::: ty) ': rs)

Append a new header value on to a record

class Elem name e es where

Minimal complete definition

eGet, eMap

Methods

eGet :: Rec es -> Tagged name e

eMap :: Tagged name (e -> e) -> Rec es -> Rec es

Instances

Elem a k name e rs => Elem a k name e ((:) (Pair a *) r rs)

Methods

eGet :: Rec name es -> Tagged e ((Pair a * ': r) rs) e

eMap :: Tagged e ((Pair a * ': r) rs) (e -> e) -> Rec name es -> Rec name es

Elem a a name e ((:) (Pair a *) ((:::) a * name e) rs)

Methods

eGet :: Rec name es -> Tagged e ((Pair a * ': (a ::: *) name e) rs) e

eMap :: Tagged e ((Pair a * ': (a ::: *) name e) rs) (e -> e) -> Rec name es -> Rec name es

class Subset rs qs where

Minimal complete definition

project

Methods

project :: Rec qs -> Rec rs

Instances

Subset a1 a ([] (Pair a *)) qs

Methods

project :: Rec [Pair a *] qs -> Rec qs rs

(Elem a a1 name r qs, Subset a a1 rs qs) => Subset a a1 ((:) (Pair a1 *) ((:::) a1 * name r) rs) qs

Methods

project :: Rec ((Pair a1 * ': (a1 ::: *) name r) rs) qs -> Rec qs rs

class RecordIso rs qs where

Minimal complete definition

reorder

Methods

reorder :: Rec rs -> Rec qs

Instances

(Subset a a1 rs qs, Subset a1 a qs rs) => RecordIso a a1 rs qs

Methods

reorder :: Rec qs rs -> Rec rs qs