Module

Simple.JSON

Package: simple-json
Repository: purerl/purescript-simple-json

#E Source

type E a = Either MultipleErrors a

An alias for the Either result of decoding

#readJSON Source

readJSON :: forall a. ReadForeign a => String -> E a

Read a JSON string to a type a while returning a MultipleErrors if the parsing failed.

#readJSON' Source

readJSON' :: forall a. ReadForeign a => String -> F a

Read a JSON string to a type a using F a. Useful with record types.

#readJSON_ Source

readJSON_ :: forall a. ReadForeign a => String -> Maybe a

Read a JSON string to a type a while returning Nothing if the parsing failed.

#writeJSON Source

writeJSON :: forall a. WriteForeign a => a -> String

Write a JSON string from a type a.

#write Source

write :: forall a. WriteForeign a => a -> Foreign

#read Source

read :: forall a. ReadForeign a => Foreign -> E a

Read a Foreign value to a type

#read' Source

read' :: forall a. ReadForeign a => Foreign -> F a

#read_ Source

read_ :: forall a. ReadForeign a => Foreign -> Maybe a

Read a Foreign value to a type, as a Maybe of type

#parseJSON Source

parseJSON :: String -> F Foreign

#undefined Source

undefined :: Foreign

#ReadForeign Source

class ReadForeign a  where

A class for reading foreign values to a type

Members

readImpl :: Foreign -> F a

Instances

ReadForeign Foreign
ReadForeign Char
ReadForeign Number
ReadForeign Int
ReadForeign String
ReadForeign Boolean
(ReadForeign a) => ReadForeign (Array a)
(ReadForeign a) => ReadForeign (List a)
(ReadForeign a) => ReadForeign (Maybe a)
(ReadForeign a) => ReadForeign (Nullable a)
(ReadForeign a) => ReadForeign (Map String a)
(Newtype b String, ReadForeign a) => ReadForeign (Map b a)
(RowToList fields fieldList, ReadForeignFields fieldList () fields) => ReadForeign (Record fields)
(RowToList variants rl, ReadForeignVariant rl variants) => ReadForeign (Variant variants)
(ReadForeign a) => ReadForeign (NonEmptyArray a)

#ReadForeignFields Source

class ReadForeignFields :: RowList Type -> Row Type -> Row Type -> Constraintclass ReadForeignFields (xs :: RowList Type) (from :: Row Type) (to :: Row Type) | xs -> from to where

A class for reading foreign values from properties

Members

getFields :: RLProxy xs -> Foreign -> F (Builder (Record from) (Record to))

Instances

(IsSymbol name, ReadForeign ty, ReadForeignFields tail from from', Lacks name from', Cons name ty from' to) => ReadForeignFields (Cons name ty tail) from to
ReadForeignFields Nil () ()

#ReadForeignVariant Source

class ReadForeignVariant :: RowList Type -> Row Type -> Constraintclass ReadForeignVariant (xs :: RowList Type) (row :: Row Type) | xs -> row where

Members

readVariantImpl :: RLProxy xs -> Foreign -> F (Variant row)

Instances

ReadForeignVariant Nil trash
(IsSymbol name, ReadForeign ty, Cons name ty trash row, ReadForeignVariant tail row) => ReadForeignVariant (Cons name ty tail) row

#WriteForeign Source

class WriteForeign a  where

Members

writeImpl :: a -> Foreign

Instances

WriteForeign Foreign
WriteForeign String
WriteForeign Int
WriteForeign Char
WriteForeign Number
WriteForeign Boolean
(WriteForeign a) => WriteForeign (Array a)
(WriteForeign a) => WriteForeign (List a)
(WriteForeign a) => WriteForeign (Maybe a)
(WriteForeign a) => WriteForeign (Nullable a)
(WriteForeign a) => WriteForeign (Map String a)
(Newtype b String, WriteForeign a) => WriteForeign (Map b a)
(RowToList row rl, WriteForeignFields rl row () to) => WriteForeign (Record row)
(RowToList row rl, WriteForeignVariant rl row) => WriteForeign (Variant row)
(WriteForeign a) => WriteForeign (NonEmptyArray a)

#WriteForeignFields Source

class WriteForeignFields :: RowList Type -> Row Type -> Row Type -> Row Type -> Constraintclass WriteForeignFields (rl :: RowList Type) row (from :: Row Type) (to :: Row Type) | rl -> row from to where

Members

writeImplFields :: forall g. g rl -> Record row -> Builder (Record from) (Record to)

Instances

(IsSymbol name, WriteForeign ty, WriteForeignFields tail row from from', Cons name ty whatever row, Lacks name from', Cons name Foreign from' to) => WriteForeignFields (Cons name ty tail) row from to
WriteForeignFields Nil row () ()

#WriteForeignVariant Source

class WriteForeignVariant :: RowList Type -> Row Type -> Constraintclass WriteForeignVariant (rl :: RowList Type) (row :: Row Type) | rl -> row where

Members

writeVariantImpl :: forall g. g rl -> Variant row -> Foreign

Instances

WriteForeignVariant Nil ()
(IsSymbol name, WriteForeign ty, Cons name ty subRow row, WriteForeignVariant tail subRow) => WriteForeignVariant (Cons name ty tail) row

Modules: Simple.JSON