Module
LabeledData.RecordLike.Generic
- Package
- purescript-labeled-data
- Repository
- thought2/purescript-labeled-data
#GenericRecordLike Source
class GenericRecordLike :: forall k. k -> Type -> Row Type -> Constraintclass GenericRecordLike tok a r where
Members
genericToRecord :: Proxy tok -> a -> Record rgenericFromRecord :: Proxy tok -> Record r -> a
Instances
(Generic a rep, RepRecordLike tok 1 rep r) => GenericRecordLike tok a r
#RepRecordLike Source
class RepRecordLike :: forall k. k -> Int -> Type -> Row Type -> Constraintclass RepRecordLike tok (ix :: Int) rep r | tok rep -> r where
Members
repToRecord :: Proxy tok -> Proxy ix -> rep -> Record rrepFromRecord :: Proxy tok -> Proxy ix -> Record r -> rep
Instances
(RepRecordLike tok ix args r) => RepRecordLike tok ix (Constructor s args) rRepRecordLike tok ix NoArguments ()(RepRecordLike tok ix a r1, RepRecordLike tok ix' b r2, Add ix 1 ix', Union r1 r2 r, Union r2 r1 r) => RepRecordLike tok ix (Product a b) r(Cons sym' a' () r, ToString ix sym, TransformEntry tok sym sym' a a', IsSymbol sym', IsSymbol sym) => RepRecordLike tok ix (Argument a) r
#genericFromRecord' Source
genericFromRecord' :: forall tok a r. GenericRecordLike tok a r => Proxy (Record r) -> Proxy a#genericToRecord' Source
genericToRecord' :: forall tok a r. GenericRecordLike tok a r => Proxy a -> Proxy (Record r)