Module

Foreign.Generic.Class

#GenericDecode

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

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

class GenericDecodeArgs a  where

Members

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

Instances

GenericDecodeArgs NoArguments
(Decode_ a) => GenericDecodeArgs (Argument a)
(GenericDecodeArgs a, GenericDecodeArgs b) => GenericDecodeArgs (Product a b)

#GenericEncodeArgs

class GenericEncodeArgs a  where

Members

encodeArgs :: Options -> a -> List Foreign

Instances

GenericEncodeArgs NoArguments
(Encode_ a) => GenericEncodeArgs (Argument a)
(GenericEncodeArgs a, GenericEncodeArgs b) => GenericEncodeArgs (Product a b)

#GenericCountArgs

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)

#Decode_

class Decode_ a  where

Members

decode_ :: Options -> Foreign -> F a

Instances

(RowToList r rl, DecodeRecord r rl) => Decode_ { | r }
(Decode a) => Decode_ a

#Encode_

class Encode_ a  where

Members

encode_ :: Options -> a -> Foreign

Instances

(RowToList r rl, EncodeRecord r rl) => Encode_ { | r }
(Encode a) => Encode_ a

#DecodeRecord

class DecodeRecord r rl | rl -> r where

Members

decodeRecord_ :: RLProxy rl -> Options -> Foreign -> F (Builder { } ({ | r }))

Instances

DecodeRecord () Nil
(Cons l a r_ r, DecodeRecord r_ rl_, IsSymbol l, Decode_ a, Lacks l r_) => DecodeRecord r (Cons l a rl_)

#EncodeRecord

class EncodeRecord r rl | rl -> r where

Members

encodeRecord_ :: RLProxy rl -> Options -> { | r } -> Object Foreign

Instances

EncodeRecord () Nil
(Cons l a r_ r, EncodeRecord r_ rl_, IsSymbol l, Encode_ a) => EncodeRecord r (Cons l a rl_)

Foreign.Generic.Class

#GenericDecode

Members

Instances

#GenericEncode

Members

Instances

#GenericDecodeArgs

Members

Instances

#GenericEncodeArgs

Members

Instances

#GenericCountArgs

Members

Instances

#Decode_

Members

Instances

#Encode_

Members

Instances

#DecodeRecord

Members

Instances

#EncodeRecord

Members

Instances

Modules