Simple.JSON.Generics

class GenericEnumSumRep rep  where

Generic Enum Sum Representations, with constructor names as strings

Members

• genericEnumReadForeign :: Foreign -> F rep

Instances

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

enumSumRep :: forall a rep. Generic a rep => GenericEnumSumRep rep => Foreign -> F a

class GenericTaggedSumRep rep  where

Generic Tagged Sum Representations, tagged with a "type" field

Members

• genericTaggedSumRep :: Foreign -> F rep

Instances

• (GenericTaggedSumRep a, GenericTaggedSumRep b) => GenericTaggedSumRep (Sum a b)
• (GenericTaggedSumRep a, IsSymbol name) => GenericTaggedSumRep (Constructor name a)
• (ReadForeign a) => GenericTaggedSumRep (Argument a)

taggedSumRep :: forall a rep. Generic a rep => GenericTaggedSumRep rep => Foreign -> F a

class GenericUntaggedProductRep rep  where

Generic Untagged Product Representations, as a heterogeneous fixed-length array You should consider using records instead in almost any usage.

Members

• genericUntaggedProductRep :: Offset -> Foreign -> F rep

Instances

• (GenericUntaggedProductRep a) => GenericUntaggedProductRep (Constructor name a)
• (ReadForeign a) => GenericUntaggedProductRep (Argument a)
• (GenericUntaggedProductRep a, GenericUntaggedProductRep b) => GenericUntaggedProductRep (Product a b)

untaggedProductRep :: forall a rep. Generic a rep => GenericUntaggedProductRep rep => Foreign -> F a

class GenericUntaggedSumRep rep  where

Generic Untagged Sum Representations Note that because the members are untagged, you should verify your members are not the same type

Members

• genericUntaggedSumRep :: Foreign -> F rep

Instances

• (GenericUntaggedSumRep a, GenericUntaggedSumRep b) => GenericUntaggedSumRep (Sum a b)
• (GenericUntaggedSumRep a) => GenericUntaggedSumRep (Constructor name a)
• (ReadForeign a) => GenericUntaggedSumRep (Argument a)

untaggedSumRep :: forall a rep. Generic a rep => GenericUntaggedSumRep rep => Foreign -> F a