Module
Data.Argonaut.Decode.Class
- Package
- purescript-argonaut-codecs
- Repository
- purescript-contrib/purescript-argonaut-codecs
#DecodeJson Source
class DecodeJson a where
Members
decodeJson :: Json -> Either JsonDecodeError a
Instances
(DecodeJson a) => DecodeJson (Identity a)
(DecodeJson a) => DecodeJson (Maybe a)
(DecodeJson a, DecodeJson b) => DecodeJson (Tuple a b)
(DecodeJson a, DecodeJson b) => DecodeJson (Either a b)
DecodeJson Unit
DecodeJson Boolean
DecodeJson Number
DecodeJson Int
DecodeJson String
DecodeJson NonEmptyString
DecodeJson Json
(DecodeJson a) => DecodeJson (NonEmpty Array a)
(DecodeJson a) => DecodeJson (NonEmptyArray a)
(DecodeJson a) => DecodeJson (NonEmpty List a)
(DecodeJson a) => DecodeJson (NonEmptyList a)
DecodeJson CodePoint
(DecodeJson a) => DecodeJson (Object a)
(DecodeJson a) => DecodeJson (Array a)
(DecodeJson a) => DecodeJson (List a)
(Ord a, DecodeJson a) => DecodeJson (Set a)
(Ord a, DecodeJson a, DecodeJson b) => DecodeJson (Map a b)
DecodeJson Void
(GDecodeJson row list, RowToList row list) => DecodeJson (Record row)
#GDecodeJson Source
class GDecodeJson :: Row Type -> RowList Type -> Constraint
class GDecodeJson (row :: Row Type) (list :: RowList Type) | list -> row where
Members
gDecodeJson :: forall proxy. Object Json -> proxy list -> Either JsonDecodeError (Record row)
Instances
GDecodeJson () Nil
(DecodeJsonField value, GDecodeJson rowTail tail, IsSymbol field, Cons field value rowTail row, Lacks field rowTail) => GDecodeJson row (Cons field value tail)
#DecodeJsonField Source
class DecodeJsonField a where
Members
decodeJsonField :: Maybe Json -> Maybe (Either JsonDecodeError a)
Instances
(DecodeJson a) => DecodeJsonField (Maybe a)
(DecodeJson a) => DecodeJsonField a