Data.Argonaut.Encode.Generic.Rep

class EncodeRep r  where

Members

• encodeRep :: r -> Json

Instances

• EncodeRep NoConstructors
• (EncodeRep a, EncodeRep b) => EncodeRep (Sum a b)
• (IsSymbol name, EncodeRepArgs a) => EncodeRep (Constructor name a)

class EncodeRepArgs r  where

Members

• encodeRepArgs :: r -> Array Json

Instances

• EncodeRepArgs NoArguments
• (EncodeRepArgs a, EncodeRepArgs b) => EncodeRepArgs (Product a b)
• (EncodeJson a) => EncodeRepArgs (Argument a)
• (EncodeRepFields fields) => EncodeRepArgs (Rec fields)

class EncodeRepFields r  where

Members

• encodeRepFields :: r -> StrMap Json

Instances

• (EncodeRepFields a, EncodeRepFields b) => EncodeRepFields (Product a b)
• (IsSymbol field, EncodeJson a) => EncodeRepFields (Field field a)

genericEncodeJson :: forall r a. Generic a r => EncodeRep r => a -> Json

Encode any Generic data structure into Json.

encodeLiteralSum :: forall r a. Generic a r => EncodeLiteral r => a -> Json

A function for encoding Generic sum types using string literal representations

encodeLiteralSumWithTransform :: forall r a. Generic a r => EncodeLiteral r => (String -> String) -> a -> Json

A function for encoding Generic sum types using string literal representations Takes a function for transforming the tag name in encoding

class EncodeLiteral r  where

Members

• encodeLiteral :: (String -> String) -> r -> Json

Instances

• (EncodeLiteral a, EncodeLiteral b) => EncodeLiteral (Sum a b)
• (IsSymbol name) => EncodeLiteral (Constructor name (NoArguments))