Module

Yoga.JSON.Generics

Package: purescript-yoga-json
Repository: rowtype-yoga/purescript-yoga-json

Re-exports from Yoga.JSON.Generics.EnumSumRep

#GenericEnumSumRep Source

class GenericEnumSumRep rep  where

Generic Enum Sum Representations, with constructor names as strings

Members

genericEnumReadForeign :: Foreign -> F rep
genericEnumWriteForeign :: rep -> Foreign

Instances

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

#genericWriteForeignEnum Source

genericWriteForeignEnum :: forall a rep. Generic a rep => GenericEnumSumRep rep => a -> Foreign

#genericReadForeignEnum Source

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

Re-exports from Yoga.JSON.Generics.TaggedSumRep

#Options Source

type Options = { toConstructorName :: String -> String, typeTag :: String, valueTag :: String }

#ReadGenericTaggedSumRep Source

class ReadGenericTaggedSumRep rep  where

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

Members

genericReadForeignTaggedSumRep :: Options -> Foreign -> F rep

Instances

(ReadGenericTaggedSumRep a, ReadGenericTaggedSumRep b) => ReadGenericTaggedSumRep (Sum a b)
(IsSymbol name) => ReadGenericTaggedSumRep (Constructor name NoArguments)
(ReadGenericTaggedSumRep a, IsSymbol name) => ReadGenericTaggedSumRep (Constructor name a)
(ReadForeign a) => ReadGenericTaggedSumRep (Argument a)

#WriteGenericTaggedSumRep Source

class WriteGenericTaggedSumRep rep  where

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

Members

genericWriteForeignTaggedSumRep :: Options -> rep -> Foreign

Instances

(WriteGenericTaggedSumRep a, WriteGenericTaggedSumRep b) => WriteGenericTaggedSumRep (Sum a b)
(WriteGenericTaggedSumRep a, IsSymbol name) => WriteGenericTaggedSumRep (Constructor name a)
(WriteForeign a) => WriteGenericTaggedSumRep (Argument a)
WriteGenericTaggedSumRep NoArguments

#genericWriteForeignTaggedSum Source

genericWriteForeignTaggedSum :: forall a rep. Generic a rep => WriteGenericTaggedSumRep rep => Options -> a -> Foreign

#genericReadForeignTaggedSum Source

genericReadForeignTaggedSum :: forall a rep. Generic a rep => ReadGenericTaggedSumRep rep => Options -> Foreign -> F a

#defaultOptions Source

defaultOptions :: Options

Re-exports from Yoga.JSON.Generics.UntaggedProductRep

#Offset Source

type Offset = Int

#ReadGenericUntaggedProduct Source

class ReadGenericUntaggedProduct rep  where

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

Members

genericReadForeignUntaggedProductRep :: Offset -> Foreign -> F rep

Instances

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

#WriteGenericUntaggedProduct Source

class WriteGenericUntaggedProduct rep  where

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

Members

genericWriteForeignUntaggedProductRep :: Array Foreign -> rep -> Array Foreign

Instances

(WriteGenericUntaggedProduct a) => WriteGenericUntaggedProduct (Constructor name a)
(WriteForeign a) => WriteGenericUntaggedProduct (Argument a)
(WriteGenericUntaggedProduct a, WriteGenericUntaggedProduct b) => WriteGenericUntaggedProduct (Product a b)

#genericWriteForeignUntaggedProduct Source

genericWriteForeignUntaggedProduct :: forall a rep. Generic a rep => WriteGenericUntaggedProduct rep => a -> Foreign

#genericReadForeignUntaggedProduct Source

genericReadForeignUntaggedProduct :: forall a rep. Generic a rep => ReadGenericUntaggedProduct rep => Foreign -> F a

Re-exports from Yoga.JSON.Generics.UntaggedSumRep

#ReadGenericUntaggedSumRep Source

class ReadGenericUntaggedSumRep rep  where

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

Members

genericReadForeignUntaggedSumRep :: Foreign -> F rep

Instances

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

#WriteGenericUntaggedSumRep Source

class WriteGenericUntaggedSumRep rep  where

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

Members

genericWriteForeignUntaggedSumRep :: rep -> Foreign

Instances

(WriteGenericUntaggedSumRep a, WriteGenericUntaggedSumRep b) => WriteGenericUntaggedSumRep (Sum a b)
(WriteGenericUntaggedSumRep a) => WriteGenericUntaggedSumRep (Constructor name a)
(WriteForeign a) => WriteGenericUntaggedSumRep (Argument a)

#genericWriteForeignUntaggedSum Source

genericWriteForeignUntaggedSum :: forall a rep. Generic a rep => WriteGenericUntaggedSumRep rep => a -> Foreign

#genericReadForeignUntaggedSum Source

genericReadForeignUntaggedSum :: forall a rep. Generic a rep => ReadGenericUntaggedSumRep rep => Foreign -> F a

Modules: Yoga.JSON; Yoga.JSON.Error; Yoga.JSON.Generics; Yoga.JSON.Generics.EnumSumRep; Yoga.JSON.Generics.TaggedSumRep; Yoga.JSON.Generics.UntaggedProductRep; Yoga.JSON.Generics.UntaggedSumRep; Yoga.JSON.Variant