Module

Data.Argonaut.Encode.Class

#EncodeJson

class EncodeJson a  where

Members

encodeJson :: a -> Json

Instances

(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 a) => EncodeJson (NonEmpty Array a)
(EncodeJson a) => EncodeJson (NonEmpty List a)
EncodeJson Char
(EncodeJson a) => EncodeJson (Array a)
(EncodeJson a) => EncodeJson (List a)
(EncodeJson a) => EncodeJson (Object a)
(Ord a, EncodeJson a, EncodeJson b) => EncodeJson (Map a b)
EncodeJson Void
(GEncodeJson row list, RowToList row list) => EncodeJson { | row }

#GEncodeJson

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

Members

gEncodeJson :: { | row } -> RLProxy 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