Module

Data.Argonaut.Decode.Class

#DecodeJson

class DecodeJson a  where

Members

decodeJson :: Json -> Either String a

Instances

(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 Json
(DecodeJson a) => DecodeJson (NonEmpty Array a)
(DecodeJson a) => DecodeJson (NonEmpty List a)
DecodeJson CodePoint
(DecodeJson a) => DecodeJson (Object a)
(DecodeJson a) => DecodeJson (Array a)
(DecodeJson a) => DecodeJson (List a)
(Ord a, DecodeJson a, DecodeJson b) => DecodeJson (Map a b)
DecodeJson Void
(GDecodeJson row list, RowToList row list) => DecodeJson { | row }

#decodeJArray

decodeJArray :: Json -> Either String (Array Json)

#decodeJObject

decodeJObject :: Json -> Either String (Object Json)

#GDecodeJson

class GDecodeJson (row :: # Type) (list :: RowList) | list -> row where

Members

gDecodeJson :: Object Json -> RLProxy list -> Either String ({ | row })

Instances

GDecodeJson () Nil
(DecodeJson value, GDecodeJson rowTail tail, IsSymbol field, Cons field value rowTail row, Lacks field rowTail) => GDecodeJson row (Cons field value tail)

Modules