Generics.Instant.Functions.Aeson

Documentation

You can use gtoJSON and gparseJSON as your generic toJSON and parseJSON implementations for any Representable type as follows:

instance ToJSON MyType where toJSON = gtoJSON
instance FromJSON MyType where parseJSON = gparseJSON

gtoJSON :: (Representable a, GToJSON (Rep a)) => a -> Value

gparseJSON :: (Representable a, GFromJSON (Rep a)) => Value -> Parser a

Internals

class GToJSON a

Minimal complete definition

gtoJSON'

Instances

GToJSON Z

GToJSON U

ToJSON a => GToJSON (Var a)

ToJSON a => GToJSON (Rec a)

(GSumToJSON a, GSumToJSON b, GSumSize * a, GSumSize * b, GToJSON a, GToJSON b) => GToJSON ((:+:) a b)

(GToJSON a, GToJSON b) => GToJSON ((:*:) a b)

GToJSON a => GToJSON (CEq k k c p q a)

GToJSON a => GToJSON (CEq k k c p p a)

class GFromJSON a

Minimal complete definition

gparseJSON'

Instances

GFromJSON Z

GFromJSON U

FromJSON a => GFromJSON (Var a)

FromJSON a => GFromJSON (Rec a)

(GSumFromJSON a, GSumFromJSON b, GSumSize * a, GSumSize * b, GFromJSON a, GFromJSON b) => GFromJSON ((:+:) a b)

(GFromJSON a, GFromJSON b) => GFromJSON ((:*:) a b)

GFromJSON (CEq k k c p q a)

GFromJSON a => GFromJSON (CEq k k c p p a)

Even more internal

class GSumFromJSON a

Minimal complete definition

gsumParseJSON

Instances

(GSumFromJSON a, GSumFromJSON b, GFromJSON a, GFromJSON b) => GSumFromJSON ((:+:) a b)

GSumFromJSON (CEq k k c p q a)

GFromJSON a => GSumFromJSON (CEq k k c p p a)

class GSumToJSON a

Minimal complete definition

gsumToJSON

Instances

(GSumToJSON a, GSumToJSON b, GToJSON a, GToJSON b) => GSumToJSON ((:+:) a b)

GToJSON a => GSumToJSON (CEq k k c p q a)

GToJSON a => GSumToJSON (CEq k k c p p a)

class GSumSize a

Minimal complete definition

sumSize

Instances

(GSumSize * a, GSumSize * b) => GSumSize * ((:+:) a b)

GSumSize * (CEq k k c p q a)