Hix.Class.SOP

Documentation

data FieldK

Constructors

FieldK

Fields

• name :: Symbol
• tpe :: Type

Instances

ProdFields ('[] :: [FieldInfo]) ('[] :: [Type]) ('[] :: [FieldK])

Defined in Hix.Class.SOP

Methods

prodFields :: NP I '[] -> NP Field '[]

SumFields ('[] :: [ConstructorInfo]) ('[] :: [[Type]]) ('[] :: [[FieldK]])

Defined in Hix.Class.SOP

Methods

sumFields :: NS (NP I) '[] -> NS (NP Field) '[]

ProdFields info as fields => ProdFields ('FieldInfo name ': info) (a ': as) ('FieldK name a ': fields)

Defined in Hix.Class.SOP

Methods

prodFields :: NP I (a ': as) -> NP Field ('FieldK name a ': fields)

(ProdFields info as conFields, SumFields cons ass fields) => SumFields ('Record con info ': cons) (as ': ass) (conFields ': fields)

Defined in Hix.Class.SOP

Methods

sumFields :: NS (NP I) (as ': ass) -> NS (NP Field) (conFields ': fields)

data Field k where

Constructors

Field :: a -> Field ('FieldK name a)

class ProdFields info as fields | info as -> fields where

Methods

prodFields :: NP I as -> NP Field fields

Instances

ProdFields ('[] :: [FieldInfo]) ('[] :: [Type]) ('[] :: [FieldK])

Defined in Hix.Class.SOP

Methods

prodFields :: NP I '[] -> NP Field '[]

ProdFields info as fields => ProdFields ('FieldInfo name ': info) (a ': as) ('FieldK name a ': fields)

Defined in Hix.Class.SOP

Methods

prodFields :: NP I (a ': as) -> NP Field ('FieldK name a ': fields)

class SumFields cons ass fields | cons ass -> fields where

Methods

sumFields :: NS (NP I) ass -> NS (NP Field) fields

Instances

SumFields ('[] :: [ConstructorInfo]) ('[] :: [[Type]]) ('[] :: [[FieldK]])

Defined in Hix.Class.SOP

Methods

sumFields :: NS (NP I) '[] -> NS (NP Field) '[]

(ProdFields info as conFields, SumFields cons ass fields) => SumFields ('Record con info ': cons) (as ': ass) (conFields ': fields)

Defined in Hix.Class.SOP

Methods

sumFields :: NS (NP I) (as ': ass) -> NS (NP Field) (conFields ': fields)

class ToFields a fields | a -> fields where

Methods

toFields :: a -> SOP Field fields

Instances

(Generic a, GFrom a, 'ADT mod name cons sni ~ GDatatypeInfoOf a, ass ~ GCode a, SumFields cons ass fields) => ToFields a fields

Defined in Hix.Class.SOP

Methods

toFields :: a -> SOP Field fields