Data.Vinyl.Reflect

Reflection utilities for vinyl records.

Documentation

class HasFieldNames a where

List all field names in a record.

Methods

fieldNames :: a -> [String]

Instances

(KnownSymbol sy, HasFieldNames (FieldRec ts)) => HasFieldNames (FieldRec ((:) ((,) Symbol *) ((,) Symbol * sy t) ts))

HasFieldNames (FieldRec ([] ((,) Symbol *)))

class HasFieldSizes a where

Compute the size in bytes of of each field in a record.

Methods

fieldSizes :: a -> [Int]

Instances

(HasFieldSizes (FieldRec ts), Storable t) => HasFieldSizes (FieldRec ((:) ((,) Symbol *) ((,) Symbol * sy t) ts))

HasFieldSizes (FieldRec ([] ((,) Symbol *)))

class HasFieldDims a where

Compute the dimensionality of each field in a record. This is primarily useful for things like the small finite vector types provided by Linear.

Methods

fieldDims :: a -> [Int]

Instances

(HasFieldDims (FieldRec ts), Foldable v, Num (v a)) => HasFieldDims (FieldRec ((:) ((,) Symbol *) ((,) Symbol * sy (v a)) ts))

HasFieldDims (FieldRec ([] ((,) Symbol *)))