Module

Codec.Json.Bidirectional.Class

Package: purescript-json-codecs
Repository: jordanmartinez/purescript-json-codecs

#CodecJson Source

class CodecJson e extra a  where

Members

codecJson :: JsonCodec e extra a

Instances

CodecJson e extra Json
CodecJson e extra Void
CodecJson e extra Unit
CodecJson e extra Boolean
CodecJson e extra Number
CodecJson e extra String
CodecJson e extra Int
CodecJson e extra NonEmptyString
CodecJson e extra CodePoint
(CodecJson e extra a) => CodecJson e extra (Array a)
(CodecJson e extra a) => CodecJson e extra (NonEmptyArray a)
(CodecJson e extra a) => CodecJson e extra (Object a)
(CodecJson e extra a) => CodecJson e extra (Nullable a)
(CodecJson e extra a) => CodecJson e extra (Maybe a)
(CodecJson e extra a, CodecJson e extra b) => CodecJson e extra (Either a b)
(CodecJson e extra a, CodecJson e extra b) => CodecJson e extra (Tuple a b)
(CodecJson e extra a, CodecJson e extra b) => CodecJson e extra (These a b)
(CodecJson e extra a, CodecJson e extra (f a)) => CodecJson e extra (NonEmpty f a)
(CodecJson e extra a) => CodecJson e extra (List a)
(CodecJson e extra a) => CodecJson e extra (NonEmptyList a)
(Ord k, CodecJson e extra k, CodecJson e extra v) => CodecJson e extra (Map k v)
(Ord a, CodecJson e extra a) => CodecJson e extra (Set a)
(Ord a, CodecJson e extra a) => CodecJson e extra (NonEmptySet a)
(RowToList row rl, CodecJsonRecord e extra rl row) => CodecJson e extra (Record row)
(RowToList row rl, CodecJsonVariant e extra rl row) => CodecJson e extra (Variant row)
(Newtype extra (Record rows), Cons sym (ExistentialCodecJson0 a) tail rows, IsSymbol sym) => CodecJson e extra (K0 sym a)
(Newtype extra (Record rows), CodecJson e extra a, Cons sym (ExistentialCodecJson1 f) tail rows, IsSymbol sym) => CodecJson e extra (K1 sym (f a))
(Newtype extra (Record rows), CodecJson e extra a, CodecJson e extra b, Cons sym (ExistentialCodecJson2 f) tail rows, IsSymbol sym) => CodecJson e extra (K2 sym (f a b))
(Newtype extra (Record rows), CodecJson e extra a, CodecJson e extra b, CodecJson e extra c, Cons sym (ExistentialCodecJson3 f) tail rows, IsSymbol sym) => CodecJson e extra (K3 sym (f a b c))
CodecJson e extra NoArguments
(CodecJson e extra a, CodecJson e extra b) => CodecJson e extra (Sum a b)
(CodecJson e extra a, CodecJson e extra b) => CodecJson e extra (Product a b)
(CodecJson e extra a, IsSymbol sym) => CodecJson e extra (Constructor sym a)
(CodecJson e extra a) => CodecJson e extra (Argument a)

#ExistentialCodecJson0 Source

data ExistentialCodecJson0 t0

#mkExistentialCodecJson0 Source

mkExistentialCodecJson0 :: forall e extra a. JsonCodec e extra a -> ExistentialCodecJson0 a

#ExistentialCodecJson1 Source

data ExistentialCodecJson1 :: (Type -> Type) -> Typedata ExistentialCodecJson1 t0

#mkExistentialCodecJson1 Source

mkExistentialCodecJson1 :: forall e extra f a. (JsonCodec e extra a -> JsonCodec e extra (f a)) -> ExistentialCodecJson1 f

#ExistentialCodecJson2 Source

data ExistentialCodecJson2 :: (Type -> Type -> Type) -> Typedata ExistentialCodecJson2 t0

#mkExistentialCodecJson2 Source

mkExistentialCodecJson2 :: forall e extra f a b. (JsonCodec e extra a -> JsonCodec e extra b -> JsonCodec e extra (f a b)) -> ExistentialCodecJson2 f

#ExistentialCodecJson3 Source

data ExistentialCodecJson3 :: (Type -> Type -> Type -> Type) -> Typedata ExistentialCodecJson3 t0

#mkExistentialCodecJson3 Source

mkExistentialCodecJson3 :: forall e extra f a b c. (JsonCodec e extra a -> JsonCodec e extra b -> JsonCodec e extra c -> JsonCodec e extra (f a b c)) -> ExistentialCodecJson3 f

#CJPropFn Source

newtype CJPropFn :: Type -> Type -> RowList Type -> Row Type -> Typenewtype CJPropFn e extra rl to

#CodecJsonRecord Source

class CodecJsonRecord :: Type -> Type -> RowList Type -> Row Type -> Constraintclass CodecJsonRecord e extra rl row | e extra rl -> row where

Members

codecJsonRecord :: CJPropFn e extra rl row

Instances

CodecJsonRecord e extra Nil ()
(Cons sym (Optional (Maybe a)) row' row, CodecJson e extra a, CodecJsonRecord e extra tail row', IsSymbol sym) => CodecJsonRecord e extra (Cons sym (Optional (Maybe a)) tail) row
(Cons sym a row' row, CodecJson e extra a, CodecJsonRecord e extra tail row', IsSymbol sym) => CodecJsonRecord e extra (Cons sym a tail) row

#CJVariantFn Source

newtype CJVariantFn :: Type -> Type -> RowList Type -> Row Type -> Typenewtype CJVariantFn e extra rl rows

#CodecJsonVariant Source

class CodecJsonVariant :: Type -> Type -> RowList Type -> Row Type -> Constraintclass CodecJsonVariant e extra rl row | e extra rl -> row where

Members

codecJsonVariant :: CJVariantFn e extra rl row

Instances

CodecJsonVariant e extra Nil ()
(Cons sym a row' row, CodecJson e extra a, CodecJsonVariant e extra tail row', IsSymbol sym, VCTypeHint e extra (Cons sym a tail) row a) => CodecJsonVariant e extra (Cons sym a tail) row