Generics.Instant.Functions.Aeson

Documentation

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

instance ToJSON MyType where toJSON = gtoJSONDefault
instance FromJSON MyType where parseJSON = gparseJSONDefault

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

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

class (Representable a, GToJSON (Rep a)) => RepGToJSON a

RepGToJSON is simply a synonym for (Representable a, GToJSON (Rep a)) with the convenient kind (* -> Constraint)

Instances

(Representable a, GToJSON (Rep a)) => RepGToJSON a

class (Representable a, GFromJSON (Rep a)) => RepGFromJSON a

RepGFromJSON is simply a synonym for (Representable a, GFromJSON (Rep a)) with the convenient kind (* -> Constraint)

Instances

(Representable a, GFromJSON (Rep a)) => RepGFromJSON a

Internals

class GToJSON a where

Methods

gtoJSON :: a -> Value

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 where

Methods

gparseJSON :: Value -> Parser a

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)