Classless.DecodeJson

type DecodeJson a = Json -> Either JsonDecodeError a

array :: forall a. DecodeJson a -> DecodeJson (Array a)

boolean :: DecodeJson Boolean

class GDecodeJson :: Row Type -> Row Type -> RowList Type -> Constraintclass GDecodeJson (spec :: Row Type) (row :: Row Type) (list :: RowList Type) | list -> row spec where

Members

• gDecodeJson :: forall proxy. Record spec -> Object Json -> proxy list -> Either JsonDecodeError (Record row)

Instances

• GDecodeJson () () Nil
• (DecodeJsonField value, GDecodeJson specX rowTail tail, IsSymbol field, Cons field value rowTail row, Lacks field rowTail, Cons field (Json -> Either JsonDecodeError value) specX spec, Union specX x spec) => GDecodeJson spec row (Cons field value tail)

class Record :: Row Type -> Row Type -> Constraintclass Record spec r | r -> spec where

Members

• record :: Record spec -> Json -> Either JsonDecodeError (Record r)

Instances

• (GDecodeJson spec row list, RowToList row list) => Record spec row

either :: forall a b. DecodeJson a -> DecodeJson b -> DecodeJson (Either a b)

int :: DecodeJson Int

string :: DecodeJson String

tuple :: forall a b. DecodeJson a -> DecodeJson b -> DecodeJson (Tuple a b)

class DecodeJsonField a  where

Members

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

Instances

• DecodeJsonField (Maybe a)
• DecodeJsonField a

maybe :: forall a. DecodeJson a -> DecodeJson (Maybe a)

number :: DecodeJson Number

class Sum :: Row Type -> Type -> Constraintclass Sum spec a | a -> spec where

Members

• sum :: Record spec -> Json -> Either JsonDecodeError a

Instances

• (Generic a r, DecodeRep spec r) => Sum spec a