Frames.RecF

Documentation

rappend :: Rec k f as -> Rec k f bs -> Rec k f ((++) k as bs)

Two records may be pasted together.

rtraverse :: Applicative h => (forall x. f x -> h (g x)) -> Rec k f rs -> h (Rec k g rs)

A record may be traversed with respect to its interpretation functor. This can be used to yank (some or all) effects from the fields of the record to the outside of the record.

rdel :: CanDelete r rs => proxy r -> Rec f rs -> Rec f (RDelete r rs)

Delete a field from a record

type CanDelete r rs = (RElem r rs (RIndex r rs), RDelete r rs ⊆ rs)

A constraint that a field can be deleted from a record.

frameCons :: Functor f => f a -> Rec f rs -> Rec f ((s :-> a) : rs)

Add a column to the head of a row.

frameConsA :: Applicative f => a -> Rec f rs -> Rec f ((s :-> a) : rs)

Add a pure column to the head of a row.

frameSnoc :: Rec f rs -> f r -> Rec f (rs ++ `[r]`)

Add a column to the tail of a row. Note that the supplied value should be a Col to work with the Frames tooling.

pattern (f r) :& (Rec * f rs) :: Functor f => Rec * f ((:) * ((:->) s r) rs)

pattern (~) [*] t ([] *) => Nil :: Rec * t t

type AllCols c ts = LAll c (UnColumn ts)

Enforce a constraint on the payload type of each column.

type family UnColumn ts

Strip the column information from each element of a list of types.

Equations

UnColumn [] = []

UnColumn ((s :-> t) : ts) = t : UnColumn ts

class AsVinyl ts where

Remove the column name phantom types from a record, leaving you with an unadorned Vinyl Rec.

Methods

toVinyl :: Functor f => Rec f ts -> Rec f (UnColumn ts)

fromVinyl :: Functor f => Rec f (UnColumn ts) -> Rec f ts

Instances

AsVinyl ([] *)

AsVinyl ts => AsVinyl ((:) * ((:->) s t) ts)

mapMono :: (AllAre a (UnColumn ts), Functor f, AsVinyl ts) => (a -> a) -> Rec f ts -> Rec f ts

Map a function across a homogeneous, monomorphic Rec.

mapMethod :: forall f c ts. (Functor f, LAll c (UnColumn ts), AsVinyl ts) => Proxy c -> (forall a. c a => a -> a) -> Rec f ts -> Rec f ts

Map a typeclass method across a Rec each of whose fields has an instance of the typeclass.

class Functor f => ShowRec f rs

The ability to pretty print a Rec's fields.

Minimal complete definition

showRec'

Instances

Functor f => ShowRec f ([] *)

(KnownSymbol s, Show (f (Col' s a)), ShowRec f rs) => ShowRec f ((:) * ((:->) s a) rs)

showRec :: ShowRec f rs => Rec f rs -> String

Pretty printing of Rec values.

type family ColFun f x

A type function to convert a Record to a Rec. ColFun f (Rec rs) = Rec f rs.

Equations

ColFun f (Rec Identity rs) = Rec f rs

class ColumnHeaders cs where

Methods

columnHeaders :: proxy (Rec f cs) -> [String]

Return the column names for a record.

Instances

ColumnHeaders ([] *)

(ColumnHeaders cs, KnownSymbol s) => ColumnHeaders ((:) * ((:->) s c) cs)

reifyDict :: forall c f proxy ts. (LAll c ts, RecApplicative ts) => proxy c -> (forall a. c a => f a) -> Rec f ts

Build a record whose elements are derived solely from a constraint satisfied by each.