Classless.EncodeJson

type EncodeJson a = a -> Json

array :: forall a. EncodeJson a -> EncodeJson (Array a)

boolean :: EncodeJson Boolean

char :: EncodeJson Char

either :: forall a b. EncodeJson a -> EncodeJson b -> EncodeJson (Either a b)

int :: EncodeJson Int

maybe :: forall a. EncodeJson a -> EncodeJson (Maybe a)

string :: EncodeJson String

tuple :: forall a b. EncodeJson a -> EncodeJson b -> EncodeJson (Tuple a b)

class Sum :: Row Type -> Type -> Constraintclass Sum sumSpec a | a -> sumSpec where

Members

• sum :: Record sumSpec -> (a -> Json)

Instances

• (Generic a rep, EncodeRep sumSpec rep) => Sum sumSpec a

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