Modulevinyl-0.14.3Haskell2010

Data.Vinyl.FromTuple

Concise vinyl record construction from tuples up to size 8. An example record construction using ElField for named fields: fieldRec (#x =: True, #y =: b) :: FieldRec '[ '("x", Bool), '("y", Char) ]

2 classes
5 values

Packagevinyl-0.14.3
Exports11
LanguageHaskell2010
LicenceMIT
SourceFromTuple.hs

familytype family TupleToRecArgs (f :: u -> Type) t :: (u -> Type, [u]) where

Convert a tuple of types formed by the application of a common type constructor to a tuple of the common type constructor and a list of the types to which it is applied in the original tuple. E.g. TupleToRecArgs f (f a, f b) ~ (f, [a,b]).

Equations

TupleToRecArgs f (f a, f b, f c, f d, f e, f z, f g, f h) = '(f, '[a, b, c, d, e, z, g, h])
TupleToRecArgs f (f a, f b, f c, f d, f e, f z, f g) = '(f, '[a, b, c, d, e, z, g])
TupleToRecArgs f (f a, f b, f c, f d, f e, f z) = '(f, '[a, b, c, d, e, z])
TupleToRecArgs f (f a, f b, f c, f d, f e) = '(f, '[a, b, c, d, e])
TupleToRecArgs f (f a, f b, f c, f d) = '(f, '[a, b, c, d])
TupleToRecArgs f (f a, f b, f c) = '(f, '[a, b, c])
TupleToRecArgs f (f a, f b) = '(f, '[a, b])
TupleToRecArgs f () = '(f, '[])

familytype family UncurriedRec (t :: (u -> Type, [u])) where

Apply the Rec type constructor to a type-level tuple of its arguments.

Equations

UncurriedRec '(f, ts) = Rec f ts

familytype family UncurriedXRec (t :: (u -> Type, [u])) where

Apply the XRec type constructor to a type-level tuple of its arguments.

Equations

UncurriedXRec '(f, ts) = XRec f ts

classclass TupleXRec (f :: u -> Type) (t :: [u]) where

Convert between an XRec and an isomorphic tuple.

Methods

xrecTuple :: XRec f t -> ListToHKDTuple f t
Convert an XRec to a tuple. Useful for pattern matching on an entire record.
xrecX :: ListToHKDTuple f t -> XRec f t
Build an XRec from a tuple.

Instances7TupleXRec, …

TupleXRec f '[a, b, c, d, e, z, g, h]Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleXRec f '[a, b, c, d, e, z, g]Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleXRec f '[a, b, c, d, e, z]Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleXRec f '[a, b, c, d, e]Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleXRec f '[a, b, c, d]Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleXRec f '[a, b, c]Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleXRec f '[a, b]Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple

familytype family ListToHKDTuple (f :: u -> Type) (ts :: [u]) where

Equations

ListToHKDTuple f '[] = HKD f ()
ListToHKDTuple f '[a, b] = (HKD f a, HKD f b)
ListToHKDTuple f '[a, b, c] = (HKD f a, HKD f b, HKD f c)
ListToHKDTuple f '[a, b, c, d] = (HKD f a, HKD f b, HKD f c, HKD f d)
ListToHKDTuple f '[a, b, c, d, e] = (HKD f a, HKD f b, HKD f c, HKD f d, HKD f e)
ListToHKDTuple f '[a, b, c, d, e, z] = (HKD f a, HKD f b, HKD f c, HKD f d, HKD f e, HKD f z)
ListToHKDTuple f '[a, b, c, d, e, z, g] = (HKD f a, HKD f b, HKD f c, HKD f d, HKD f e, HKD f z, HKD f g)
ListToHKDTuple f '[a, b, c, d, e, z, g, h] = (HKD f a, HKD f b, HKD f c, HKD f d, HKD f e, HKD f z, HKD f g, HKD f h)
ListToHKDTuple f x = TypeError ('Text "Tuples are only supported up to size 8")

valueruple :: (IsoXRec f ts, TupleXRec f ts) => Rec f ts -> ListToHKDTuple f ts

Convert a Rec to a tuple going through HKD to reduce syntactic noise. Useful for pattern matching on an entire Rec.

valuexrec :: (IsoXRec f t, TupleXRec f t) => ListToHKDTuple f t -> Rec f t

Build a Rec from a tuple passing through XRec. This admits the most concise syntax for building a Rec. For example, xrec ("joe", 23) :: Rec Identity '[String, Int].

classclass TupleRec (f :: u -> Type) t where

Build a Rec from a tuple. An example would be building a value of type Rec f '[a,b] from a tuple of values with type '(f a, f b).

Methods

record :: t -> UncurriedRec (TupleToRecArgs f t)

Instances8TupleRec, …

TupleRec f ()Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleRec f (f a, f b)Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleRec f (f a, f b, f c)Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleRec f (f a, f b, f c, f d)Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleRec f (f a, f b, f c, f d, f e)Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleRec f (f a, f b, f c, f d, f e, f z)Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleRec f (f a, f b, f c, f d, f e, f z, f g)Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple
TupleRec f (f a, f b, f c, f d, f e, f z, f g, f h)Defined in vinyl-0.14.3 · Data.Vinyl.FromTuple

valuefieldRec

:: TupleRec ElField t
=> t
-> UncurriedRec (TupleToRecArgs ElField t)

Build a FieldRec from a tuple of ElField values.

valuenamedArgs

:: (TupleRec ElField t, ss ~ Snd (TupleToRecArgs ElField t), RecSubset Rec rs (Snd (TupleToRecArgs ElField t)) (RImage rs ss), UncurriedRec (TupleToRecArgs ElField t) ~ Rec ElField ss, RecSubsetFCtx Rec ElField)
=> t
-> Rec ElField rs

Build a FieldRec from a tuple and rcast it to another record type that is a subset of the constructed record. This is useful for re-ordering fields. For example, namedArgs (#name =: "joe", #age =: 23) can supply arguments for a function expecting a record of arguments with its fields in the opposite order.

valuewithDefaults

:: (RMap rs, RApply rs, ss ⊆ rs, RMap ss, RecApplicative rs)
=> Rec f rs
-> Rec f ss
-> Rec f rs

Override a record with fields from a possibly narrower record. A typical use is to supply default values as the first argument, and overrides for those defaults as the second.