Module

Data.Argonaut.Decode.Class

#DecodeJson

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

class GDecodeJson :: Row Type -> RowList Type -> Constraintclass 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

class DecodeJsonField a  where

Members

decodeJsonField :: Maybe Json -> Maybe (Either JsonDecodeError a)

Instances

(DecodeJson a) => DecodeJsonField (Maybe a)
(DecodeJson a) => DecodeJsonField a

Modules