Module

Data.Foreign.Generic.Class

Package: purescript-foreign-generic
Repository: paf31/purescript-foreign-generic

#GenericDecode Source

class GenericDecode a  where

Members

decodeOpts :: Options -> Foreign -> F a

Instances

GenericDecode NoConstructors
(IsSymbol name, GenericDecodeArgs rep, GenericCountArgs rep) => GenericDecode (Constructor name rep)
(GenericDecode a, GenericDecode b) => GenericDecode (Sum a b)

#GenericEncode Source

class GenericEncode a  where

Members

encodeOpts :: Options -> a -> Foreign

Instances

GenericEncode NoConstructors
(IsSymbol name, GenericEncodeArgs rep) => GenericEncode (Constructor name rep)
(GenericEncode a, GenericEncode b) => GenericEncode (Sum a b)

#GenericDecodeArgs Source

class GenericDecodeArgs a  where

Members

decodeArgs :: Int -> List Foreign -> F { next :: Int, rest :: List Foreign, result :: a }

Instances

GenericDecodeArgs NoArguments
(Decode a) => GenericDecodeArgs (Argument a)
(GenericDecodeArgs a, GenericDecodeArgs b) => GenericDecodeArgs (Product a b)
(GenericDecodeFields fields) => GenericDecodeArgs (Rec fields)

#GenericEncodeArgs Source

class GenericEncodeArgs a  where

Members

encodeArgs :: a -> List Foreign

Instances

GenericEncodeArgs NoArguments
(Encode a) => GenericEncodeArgs (Argument a)
(GenericEncodeArgs a, GenericEncodeArgs b) => GenericEncodeArgs (Product a b)
(GenericEncodeFields fields) => GenericEncodeArgs (Rec fields)

#GenericDecodeFields Source

class GenericDecodeFields a  where

Members

decodeFields :: Foreign -> F a

Instances

(IsSymbol name, Decode a) => GenericDecodeFields (Field name a)
(GenericDecodeFields a, GenericDecodeFields b) => GenericDecodeFields (Product a b)

#GenericEncodeFields Source

class GenericEncodeFields a  where

Members

encodeFields :: a -> StrMap Foreign

Instances

(IsSymbol name, Encode a) => GenericEncodeFields (Field name a)
(GenericEncodeFields a, GenericEncodeFields b) => GenericEncodeFields (Product a b)

#GenericCountArgs Source

class GenericCountArgs a  where

Members

countArgs :: Proxy a -> Either a Int

Instances

GenericCountArgs NoArguments
GenericCountArgs (Argument a)
(GenericCountArgs a, GenericCountArgs b) => GenericCountArgs (Product a b)
GenericCountArgs (Rec fields)

Modules: Data.Foreign.Class; Data.Foreign.Generic; Data.Foreign.Generic.Class; Data.Foreign.Generic.Types; Data.Foreign.JSON; Data.Foreign.NullOrUndefined