Module

Data.Json.Extended

Package
purescript-ejson
Repository
slamdata/purescript-ejson

#EJson Source

type EJson = Mu EJsonF

#decodeEJson Source

#encodeEJson Source

encodeEJson :: forall t. Recursive t EJsonF => t -> Json

#arbitraryEJsonOfSize Source

#renderEJson Source

renderEJson :: forall t. Recursive t EJsonF => t -> String

#parseEJson Source

parseEJson :: forall m. Monad m => ParserT String m EJson

#null Source

null :: forall t. Corecursive t EJsonF => t

#boolean Source

boolean :: forall t. Corecursive t EJsonF => Boolean -> t

#integer Source

integer :: forall t. Corecursive t EJsonF => Int -> t

#decimal Source

decimal :: forall t. Corecursive t EJsonF => HugeNum -> t

#string Source

string :: forall t. Corecursive t EJsonF => String -> t

#array Source

array :: forall t. Corecursive t EJsonF => Array t -> t

#map Source

map :: forall t. Corecursive t EJsonF => Map t t -> t

#map' Source

map' :: forall t. Corecursive t EJsonF => StrMap t -> t

#getType Source

getType :: forall t. Recursive t EJsonF => t -> EJsonType

#_Null Source

#_String Source

#_Boolean Source

#_Integer Source

#_Decimal Source

#_Array Source

_Array :: forall t. Corecursive t EJsonF => Recursive t EJsonF => Prism' t (Array t)

#_Map Source

_Map :: forall t. Corecursive t EJsonF => Recursive t EJsonF => Ord t => Prism' t (Map t t)

#_Map' Source

_Map' :: forall t. Corecursive t EJsonF => Recursive t EJsonF => Prism' t (StrMap t)

Re-exports from Data.Json.Extended.Signature

#EJsonF Source

data EJsonF a

The signature endofunctor for the EJson theory.

Constructors

Instances

#parseStringLiteral Source

#parseNull Source

parseNull :: forall m. Monad m => ParserT String m Unit

#parseMapLiteral Source

parseMapLiteral :: forall a m. Monad m => ParserT String m a -> ParserT String m (EJsonMap a)

#parseIntLiteral Source

parseIntLiteral :: forall m. Monad m => ParserT String m Int

#parseEJsonF Source

parseEJsonF :: forall m a. Monad m => ParserT String m a -> ParserT String m (EJsonF a)

Parse one layer of structure.

#parseDecimalLiteral Source

#parseBooleanLiteral Source

#parseArrayLiteral Source

parseArrayLiteral :: forall a m. Monad m => ParserT String m a -> ParserT String m (Array a)