Derulo

Derulo parses and renders JSON simply. It aims to provide an RFC 7159 compliant parser and renderer without incurring any dependencies. It is intended to be used either for learning or in situations where dependencies are unwanted. In normal usage, prefer a faster, more robust library like Aeson.

Derulo does not export any identifiers that conflict with the prelude and can be imported unqualified.

>>> import Derulo

Use readJSON to parse a JSON into a JSON value.

>>> readJSON " null "
Just Null

Use showJSON to render a JSON value as a JSON.

>>> showJSON Null
"null"

Documentation

data JSON

A JSON value as described by RFC 7159.

Constructors

Null

Boolean Bool

Number Integer Integer

String String

Array [JSON]

Object [(String, JSON)]

Instances

Data JSON

Defined in Derulo

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JSON -> c JSON

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JSON

toConstr :: JSON -> Constr

dataTypeOf :: JSON -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c JSON)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JSON)

gmapT :: (forall b. Data b => b -> b) -> JSON -> JSON

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JSON -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JSON -> r

gmapQ :: (forall d. Data d => d -> u) -> JSON -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> JSON -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> JSON -> m JSON

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JSON -> m JSON

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JSON -> m JSON

Generic JSON

Defined in Derulo

Associated Types

type Rep JSON :: Type -> Type

Methods

from :: JSON -> Rep JSON x

to :: Rep JSON x -> JSON

Read JSON

Defined in Derulo

Methods

readsPrec :: Int -> ReadS JSON

readList :: ReadS [JSON]

readPrec :: ReadPrec JSON

readListPrec :: ReadPrec [JSON]

Show JSON

Defined in Derulo

Methods

showsPrec :: Int -> JSON -> ShowS

show :: JSON -> String

showList :: [JSON] -> ShowS

Eq JSON

Defined in Derulo

Methods

(==) :: JSON -> JSON -> Bool

(/=) :: JSON -> JSON -> Bool

Ord JSON

Defined in Derulo

Methods

compare :: JSON -> JSON -> Ordering

(<) :: JSON -> JSON -> Bool

(<=) :: JSON -> JSON -> Bool

(>) :: JSON -> JSON -> Bool

(>=) :: JSON -> JSON -> Bool

max :: JSON -> JSON -> JSON

min :: JSON -> JSON -> JSON

type Rep JSON

Defined in Derulo

type Rep JSON = D1 ('MetaData "JSON" "Derulo" "derulo-2.0.0.3-HtaNtD5LHLiDU5kAVfGSBr" 'False) ((C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Boolean" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "Number" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "Array" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [JSON])) :+: C1 ('MetaCons "Object" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(String, JSON)])))))

readJSON :: String -> Maybe JSON

Parses a string as JSON.

showJSON :: JSON -> String

Renders JSON as a string.