Data.Vinyl.Core

Core vinyl definitions. The Rec data type is defined here, but also of interest are definitions commonly used functions like rmap, rapply, and rtraverse.

The definitions in this module are written in terms of type classes so that the definitions may be specialized to each record type at which they are used. This usually helps with runtime performance, but can slow down compilation time. If you are experiencing poor compile times, you may wish to try the semantically equivalent definitions in the Data.Vinyl.Recursive module: they should produce the same results given the same inputs as functions defined in this module, but they will not be specialized to your record type. Instead, they treat the record as a list of fields, so will have performance linear in the size of the record.

Documentation

data Rec :: (u -> *) -> [u] -> * where

A record is parameterized by a universe u, an interpretation f and a list of rows rs. The labels or indices of the record are given by inhabitants of the kind u; the type of values at any label r :: u is given by its interpretation f r :: *.

Constructors

RNil :: Rec f '[]

(:&) :: !(f r) -> !(Rec f rs) -> Rec f (r ': rs) infixr 7

Instances

RecElem (Rec :: (a -> *) -> [a] -> *) (r :: a) (r' :: a) (r ': rs :: [a]) (r' ': rs :: [a]) Z

Defined in Data.Vinyl.Lens

Associated Types

type RecElemFCtx Rec f :: Constraint

Methods

rlensC :: (Functor g, RecElemFCtx Rec f) => (f r -> g (f r')) -> Rec f (r ': rs) -> g (Rec f (r' ': rs))

rgetC :: (RecElemFCtx Rec f, r ~ r') => Rec f (r ': rs) -> f r

rputC :: RecElemFCtx Rec f => f r' -> Rec f (r ': rs) -> Rec f (r' ': rs)

(RIndex r (s ': rs) ~ S i, RecElem (Rec :: (a -> *) -> [a] -> *) r r' rs rs' i) => RecElem (Rec :: (a -> *) -> [a] -> *) (r :: a) (r' :: a) (s ': rs :: [a]) (s ': rs' :: [a]) (S i)

Defined in Data.Vinyl.Lens

Associated Types

type RecElemFCtx Rec f :: Constraint

Methods

rlensC :: (Functor g, RecElemFCtx Rec f) => (f r -> g (f r')) -> Rec f (s ': rs) -> g (Rec f (s ': rs'))

rgetC :: (RecElemFCtx Rec f, r ~ r') => Rec f (s ': rs) -> f r

rputC :: RecElemFCtx Rec f => f r' -> Rec f (s ': rs) -> Rec f (s ': rs')

RecSubset (Rec :: (k -> *) -> [k] -> *) ([] :: [k]) (ss :: [k]) ([] :: [Nat])

Defined in Data.Vinyl.Lens

Associated Types

type RecSubsetFCtx Rec f :: Constraint

Methods

rsubsetC :: (Functor g, RecSubsetFCtx Rec f) => (Rec f [] -> g (Rec f [])) -> Rec f ss -> g (Rec f ss)

rcastC :: RecSubsetFCtx Rec f => Rec f ss -> Rec f []

rreplaceC :: RecSubsetFCtx Rec f => Rec f [] -> Rec f ss -> Rec f ss

(RElem r ss i, RSubset rs ss is) => RecSubset (Rec :: (k -> *) -> [k] -> *) (r ': rs :: [k]) (ss :: [k]) (i ': is)

Defined in Data.Vinyl.Lens

Associated Types

type RecSubsetFCtx Rec f :: Constraint

Methods

rsubsetC :: (Functor g, RecSubsetFCtx Rec f) => (Rec f (r ': rs) -> g (Rec f (r ': rs))) -> Rec f ss -> g (Rec f ss)

rcastC :: RecSubsetFCtx Rec f => Rec f ss -> Rec f (r ': rs)

rreplaceC :: RecSubsetFCtx Rec f => Rec f (r ': rs) -> Rec f ss -> Rec f ss

TestCoercion f => TestCoercion (Rec f :: [u] -> *)

Defined in Data.Vinyl.Core

Methods

testCoercion :: Rec f a -> Rec f b -> Maybe (Coercion a b)

TestEquality f => TestEquality (Rec f :: [u] -> *)

Defined in Data.Vinyl.Core

Methods

testEquality :: Rec f a -> Rec f b -> Maybe (a :~: b)

(Eq (f r), Eq (Rec f rs)) => Eq (Rec f (r ': rs))

Defined in Data.Vinyl.Core

Methods

(==) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool

(/=) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool

Eq (Rec f ([] :: [u]))

Defined in Data.Vinyl.Core

Methods

(==) :: Rec f [] -> Rec f [] -> Bool

(/=) :: Rec f [] -> Rec f [] -> Bool

(Ord (f r), Ord (Rec f rs)) => Ord (Rec f (r ': rs))

Defined in Data.Vinyl.Core

Methods

compare :: Rec f (r ': rs) -> Rec f (r ': rs) -> Ordering

(<) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool

(<=) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool

(>) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool

(>=) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Bool

max :: Rec f (r ': rs) -> Rec f (r ': rs) -> Rec f (r ': rs)

min :: Rec f (r ': rs) -> Rec f (r ': rs) -> Rec f (r ': rs)

Ord (Rec f ([] :: [u]))

Defined in Data.Vinyl.Core

Methods

compare :: Rec f [] -> Rec f [] -> Ordering

(<) :: Rec f [] -> Rec f [] -> Bool

(<=) :: Rec f [] -> Rec f [] -> Bool

(>) :: Rec f [] -> Rec f [] -> Bool

(>=) :: Rec f [] -> Rec f [] -> Bool

max :: Rec f [] -> Rec f [] -> Rec f []

min :: Rec f [] -> Rec f [] -> Rec f []

(RMap rs, ReifyConstraint Show f rs, RecordToList rs) => Show (Rec f rs)

Records may be shown insofar as their points may be shown. reifyConstraint is used to great effect here.

Defined in Data.Vinyl.Core

Methods

showsPrec :: Int -> Rec f rs -> ShowS

show :: Rec f rs -> String

showList :: [Rec f rs] -> ShowS

(Semigroup (f r), Semigroup (Rec f rs)) => Semigroup (Rec f (r ': rs))

Defined in Data.Vinyl.Core

Methods

(<>) :: Rec f (r ': rs) -> Rec f (r ': rs) -> Rec f (r ': rs)

sconcat :: NonEmpty (Rec f (r ': rs)) -> Rec f (r ': rs)

stimes :: Integral b => b -> Rec f (r ': rs) -> Rec f (r ': rs)

Semigroup (Rec f ([] :: [u]))

Defined in Data.Vinyl.Core

Methods

(<>) :: Rec f [] -> Rec f [] -> Rec f []

sconcat :: NonEmpty (Rec f []) -> Rec f []

stimes :: Integral b => b -> Rec f [] -> Rec f []

(Monoid (f r), Monoid (Rec f rs)) => Monoid (Rec f (r ': rs))

Defined in Data.Vinyl.Core

Methods

mempty :: Rec f (r ': rs)

mappend :: Rec f (r ': rs) -> Rec f (r ': rs) -> Rec f (r ': rs)

mconcat :: [Rec f (r ': rs)] -> Rec f (r ': rs)

Monoid (Rec f ([] :: [u]))

Defined in Data.Vinyl.Core

Methods

mempty :: Rec f []

mappend :: Rec f [] -> Rec f [] -> Rec f []

mconcat :: [Rec f []] -> Rec f []

(Storable (f r), Storable (Rec f rs)) => Storable (Rec f (r ': rs))

Defined in Data.Vinyl.Core

Methods

sizeOf :: Rec f (r ': rs) -> Int

alignment :: Rec f (r ': rs) -> Int

peekElemOff :: Ptr (Rec f (r ': rs)) -> Int -> IO (Rec f (r ': rs))

pokeElemOff :: Ptr (Rec f (r ': rs)) -> Int -> Rec f (r ': rs) -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Rec f (r ': rs))

pokeByteOff :: Ptr b -> Int -> Rec f (r ': rs) -> IO ()

peek :: Ptr (Rec f (r ': rs)) -> IO (Rec f (r ': rs))

poke :: Ptr (Rec f (r ': rs)) -> Rec f (r ': rs) -> IO ()

Storable (Rec f ([] :: [u]))

Defined in Data.Vinyl.Core

Methods

sizeOf :: Rec f [] -> Int

alignment :: Rec f [] -> Int

peekElemOff :: Ptr (Rec f []) -> Int -> IO (Rec f [])

pokeElemOff :: Ptr (Rec f []) -> Int -> Rec f [] -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Rec f [])

pokeByteOff :: Ptr b -> Int -> Rec f [] -> IO ()

peek :: Ptr (Rec f []) -> IO (Rec f [])

poke :: Ptr (Rec f []) -> Rec f [] -> IO ()

type RecSubsetFCtx (Rec :: (k -> *) -> [k] -> *) (f :: k -> *)

Defined in Data.Vinyl.Lens

type RecSubsetFCtx (Rec :: (k -> *) -> [k] -> *) (f :: k -> *) = ()

type RecSubsetFCtx (Rec :: (k -> *) -> [k] -> *) (f :: k -> *)

Defined in Data.Vinyl.Lens

type RecSubsetFCtx (Rec :: (k -> *) -> [k] -> *) (f :: k -> *) = ()

type RecElemFCtx (Rec :: (a -> *) -> [a] -> *) (f :: a -> *)

Defined in Data.Vinyl.Lens

type RecElemFCtx (Rec :: (a -> *) -> [a] -> *) (f :: a -> *) = ()

type RecElemFCtx (Rec :: (a -> *) -> [a] -> *) (f :: a -> *)

Defined in Data.Vinyl.Lens

type RecElemFCtx (Rec :: (a -> *) -> [a] -> *) (f :: a -> *) = ()

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

Two records may be pasted together.

(<+>) :: Rec f as -> Rec f bs -> Rec f (as ++ bs) infixr 5

A shorthand for rappend.

class RMap rs where

Rec _ rs with labels in kind u gives rise to a functor Hask^u -> Hask; that is, a natural transformation between two interpretation functors f,g may be used to transport a value from Rec f rs to Rec g rs.

Minimal complete definition

rmap

Methods

rmap :: (forall x. f x -> g x) -> Rec f rs -> Rec g rs

Instances

RMap ([] :: [u])

Defined in Data.Vinyl.Core

Methods

rmap :: (forall (x :: u0). f x -> g x) -> Rec f [] -> Rec g []

RMap xs => RMap (x ': xs :: [u])

Defined in Data.Vinyl.Core

Methods

rmap :: (forall (x0 :: u0). f x0 -> g x0) -> Rec f (x ': xs) -> Rec g (x ': xs)

(<<$>>) :: RMap rs => (forall x. f x -> g x) -> Rec f rs -> Rec g rs infixl 8

A shorthand for rmap.

(<<&>>) :: RMap rs => Rec f rs -> (forall x. f x -> g x) -> Rec g rs

An inverted shorthand for rmap.

class RApply rs where

A record of components f r -> g r may be applied to a record of f to get a record of g.

Minimal complete definition

rapply

Methods

rapply :: Rec (Lift (->) f g) rs -> Rec f rs -> Rec g rs

Instances

RApply ([] :: [u])

Defined in Data.Vinyl.Core

Methods

rapply :: Rec (Lift (->) f g) [] -> Rec f [] -> Rec g []

RApply xs => RApply (x ': xs :: [u])

Defined in Data.Vinyl.Core

Methods

rapply :: Rec (Lift (->) f g) (x ': xs) -> Rec f (x ': xs) -> Rec g (x ': xs)

(<<*>>) :: RApply rs => Rec (Lift (->) f g) rs -> Rec f rs -> Rec g rs infixl 8

A shorthand for rapply.

class RecApplicative rs where

Given a section of some functor, records in that functor of any size are inhabited.

Minimal complete definition

rpure

Methods

rpure :: (forall x. f x) -> Rec f rs

Instances

RecApplicative ([] :: [u])

Defined in Data.Vinyl.Core

Methods

rpure :: (forall (x :: u0). f x) -> Rec f []

RecApplicative rs => RecApplicative (r ': rs :: [u])

Defined in Data.Vinyl.Core

Methods

rpure :: (forall (x :: u0). f x) -> Rec f (r ': rs)

rtraverse :: Applicative h => (forall x. f x -> h (g x)) -> Rec f rs -> h (Rec 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.

class RZipWith xs where

Given a natural transformation from the product of f and g to h, we have a natural transformation from the product of Rec f and Rec g to Rec h. You can also think about this operation as zipping two records with the same element types but different interpretations.

Minimal complete definition

rzipWith

Methods

rzipWith :: (forall x. f x -> g x -> h x) -> Rec f xs -> Rec g xs -> Rec h xs

Instances

RZipWith ([] :: [u])

Defined in Data.Vinyl.Core

Methods

rzipWith :: (forall (x :: u0). f x -> g x -> h x) -> Rec f [] -> Rec g [] -> Rec h []

RZipWith xs => RZipWith (x ': xs :: [u])

Defined in Data.Vinyl.Core

Methods

rzipWith :: (forall (x0 :: u0). f x0 -> g x0 -> h x0) -> Rec f (x ': xs) -> Rec g (x ': xs) -> Rec h (x ': xs)

class RFoldMap rs where

Map each element of a record to a monoid and combine the results.

Minimal complete definition

rfoldMapAux

Methods

rfoldMapAux :: Monoid m => (forall x. f x -> m) -> m -> Rec f rs -> m

Instances

RFoldMap ([] :: [u])

Defined in Data.Vinyl.Core

Methods

rfoldMapAux :: Monoid m => (forall (x :: u0). f x -> m) -> m -> Rec f [] -> m

RFoldMap xs => RFoldMap (x ': xs :: [u])

Defined in Data.Vinyl.Core

Methods

rfoldMapAux :: Monoid m => (forall (x0 :: u0). f x0 -> m) -> m -> Rec f (x ': xs) -> m

rfoldMap :: forall rs m f. (Monoid m, RFoldMap rs) => (forall x. f x -> m) -> Rec f rs -> m

class RecordToList rs where

A record with uniform fields may be turned into a list.

Minimal complete definition

recordToList

Methods

recordToList :: Rec (Const a) rs -> [a]

Instances

RecordToList ([] :: [u])

Defined in Data.Vinyl.Core

Methods

recordToList :: Rec (Const a) [] -> [a]

RecordToList xs => RecordToList (x ': xs :: [u])

Defined in Data.Vinyl.Core

Methods

recordToList :: Rec (Const a) (x ': xs) -> [a]

data Dict c a where

Wrap up a value with a capability given by its type

Constructors

Dict :: c a => a -> Dict c a

class ReifyConstraint c f rs where

Sometimes we may know something for all fields of a record, but when you expect to be able to each of the fields, you are then out of luck. Surely given ∀x:u.φ(x) we should be able to recover x:u ⊢ φ(x)! Sadly, the constraint solver is not quite smart enough to realize this and we must make it patently obvious by reifying the constraint pointwise with proof.

Minimal complete definition

reifyConstraint

Methods

reifyConstraint :: Rec f rs -> Rec (Dict c :. f) rs

Instances

ReifyConstraint c (f :: u -> *) ([] :: [u])

Defined in Data.Vinyl.Core

Methods

reifyConstraint :: Rec f [] -> Rec (Dict c :. f) []

(c (f x), ReifyConstraint c f xs) => ReifyConstraint c (f :: a -> *) (x ': xs :: [a])

Defined in Data.Vinyl.Core

Methods

reifyConstraint :: Rec f (x ': xs) -> Rec (Dict c :. f) (x ': xs)

class RPureConstrained c ts where

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

Minimal complete definition

rpureConstrained

Methods

rpureConstrained :: (forall a. c a => f a) -> Rec f ts

Instances

RPureConstrained (c :: u -> Constraint) ([] :: [u])

Defined in Data.Vinyl.Core

Methods

rpureConstrained :: (forall (a :: u0). c a => f a) -> Rec f []

(c x, RPureConstrained c xs) => RPureConstrained (c :: a -> Constraint) (x ': xs :: [a])

Defined in Data.Vinyl.Core

Methods

rpureConstrained :: (forall (a0 :: u). c a0 => f a0) -> Rec f (x ': xs)

class RPureConstraints cs ts where

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

Minimal complete definition

rpureConstraints

Methods

rpureConstraints :: (forall a. AllSatisfied cs a => f a) -> Rec f ts

Instances

RPureConstraints (cs :: [u -> Constraint]) ([] :: [u])

Defined in Data.Vinyl.Core

Methods

rpureConstraints :: (forall (a :: u0). AllSatisfied cs a => f a) -> Rec f []

(AllSatisfied cs t, RPureConstraints cs ts) => RPureConstraints (cs :: [a -> Constraint]) (t ': ts :: [a])

Defined in Data.Vinyl.Core

Methods

rpureConstraints :: (forall (a0 :: u). AllSatisfied cs a0 => f a0) -> Rec f (t ': ts)