Module

Data.Argonaut.Encode.Class

#EncodeJson

class EncodeJson a  where

Members

encodeJson :: a -> Json

Instances

(EncodeJson a) => EncodeJson (Identity a)
(EncodeJson a) => EncodeJson (Maybe a)
(EncodeJson a, EncodeJson b) => EncodeJson (Tuple a b)
(EncodeJson a, EncodeJson b) => EncodeJson (Either a b)
EncodeJson Unit
EncodeJson Boolean
EncodeJson Number
EncodeJson Int
EncodeJson String
EncodeJson Json
EncodeJson CodePoint
EncodeJson NonEmptyString
(EncodeJson a) => EncodeJson (NonEmpty Array a)
(EncodeJson a) => EncodeJson (NonEmptyArray a)
(EncodeJson a) => EncodeJson (NonEmpty List a)
(EncodeJson a) => EncodeJson (NonEmptyList a)
EncodeJson Char
(EncodeJson a) => EncodeJson (Array a)
(EncodeJson a) => EncodeJson (List a)
(EncodeJson a) => EncodeJson (Object a)
(Ord a, EncodeJson a) => EncodeJson (Set a)
(Ord a, EncodeJson a, EncodeJson b) => EncodeJson (Map a b)
EncodeJson Void
(GEncodeJson row list, RowToList row list) => EncodeJson (Record row)

#GEncodeJson

class GEncodeJson (row :: Row Type) (list :: RowList Type)  where

Members

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

Instances

GEncodeJson row Nil
(EncodeJson value, GEncodeJson row tail, IsSymbol field, Cons field value tail' row) => GEncodeJson row (Cons field value tail)

Modules