Module
Codec.Json.Bidirectional.Class
- Package
- purescript-json-codecs
- Repository
- jordanmartinez/purescript-json-codecs
#CodecJson Source
class CodecJson e extra a where
Members
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))
#ExistentialCodecJson0 Source
data ExistentialCodecJson0 t0
#mkExistentialCodecJson0 Source
mkExistentialCodecJson0 :: forall e extra a. JsonCodec e extra a -> ExistentialCodecJson0 a
#ExistentialCodecJson1 Source
data ExistentialCodecJson1 :: (Type -> Type) -> Type
data 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) -> Type
data 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) -> Type
data 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
#CodecJsonRecord Source
class CodecJsonRecord :: Type -> Type -> RowList Type -> Row Type -> Constraint
class 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 -> Type
newtype CJVariantFn e extra rl rows
#CodecJsonVariant Source
class CodecJsonVariant :: Type -> Type -> RowList Type -> Row Type -> Constraint
class 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
- Modules
- Codec.
Codec - Codec.
Decoder - Codec.
Decoder. Qualified - Codec.
Json. Bidirectional. Class - Codec.
Json. Bidirectional. Value - Codec.
Json. Errors. AnsiDodoError - Codec.
Json. Errors. DecodeMessages - Codec.
Json. Errors. NoError - Codec.
Json. Errors. PlainDodoError - Codec.
Json. Errors. PrimitiveJsonError - Codec.
Json. Errors. Tree - Codec.
Json. JsonCodec - Codec.
Json. JsonDecoder - Codec.
Json. Newtypes - Codec.
Json. Types - Codec.
Json. Unidirectional. Decode. Class - Codec.
Json. Unidirectional. Decode. Value - Codec.
Json. Unidirectional. Encode. Class - Codec.
Json. Unidirectional. Encode. Value - Data.
V. Semigroup. Qualified