Module

Classless.EncodeJson.Record

Package: purescript-classless-encode-json
Repository: thought2/purescript-classless-encode-json

#Record Source

class Record :: Row Type -> Row Type -> Constraintclass Record (spec :: Row Type) r | r -> spec where

Members

record :: Record spec -> Record r -> Json

Instances

(GEncodeJson spec row list, RowToList row list) => Record spec row

#GEncodeJson Source

class GEncodeJson :: Row Type -> Row Type -> RowList Type -> Constraintclass GEncodeJson (spec :: Row Type) (row :: Row Type) (list :: RowList Type) | list row -> spec where

Members

gEncodeJson :: forall proxy. Record spec -> Record row -> proxy list -> Object Json

Instances

GEncodeJson () row Nil
(Cons field (value -> Json) specX spec, GEncodeJson specX row tail, IsSymbol field, Cons field value tail' row, Union specX x spec) => GEncodeJson spec row (Cons field value tail)

Modules: Classless.EncodeJson; Classless.EncodeJson.Generic; Classless.EncodeJson.Record