Modulemiso-1.12.0.0

Miso.JSON

8 types
9 classes
33 values

Packagemiso-1.12.0.0
Exports50
LicenceBSD-3-Clause

value(.!=) :: Parser (Maybe a) -> a -> Parser a

value(.:) :: FromJSON a => Object -> MisoString -> Parser a

value(.:!) :: FromJSON a => Object -> MisoString -> Parser (Maybe a)

value(.:?) :: FromJSON a => Object -> MisoString -> Parser (Maybe a)

value(.=) :: ToJSON v => MisoString -> v -> Pair

valuecamelTo2 :: Char -> String -> String

valuedecode :: FromJSON a => MisoString -> Maybe a

valuedefConfig :: Config

valuedefaultOptions :: Options

valueeitherDecode :: FromJSON a => MisoString -> Either MisoString a

valueemptyArray :: Value

valueemptyObject :: Value

valueencode :: ToJSON a => a -> MisoString

valueencodePretty :: ToJSON a => a -> MisoString

valueencodePretty' :: ToJSON a => Config -> a -> MisoString

valueencodePure :: ToJSON a => a -> MisoString

valuefromJSON :: FromJSON a => Value -> Result a

valuefromJSVal_Value :: JSVal -> IO (Maybe Value)

valuegenericParseJSON

:: (Generic a, GFromJSON (Rep a))
=> Options
-> Value
-> Parser a

valuegenericToJSON :: (Generic a, GToJSON (Rep a)) => Options -> a -> Value

valuejsonParse :: MisoString -> IO JSVal

valuejsonStringify :: JSVal -> IO MisoString

valueobject :: [Pair] -> Value

valueparseEither :: (a -> Parser b) -> a -> Either MisoString b

valueparseMaybe :: (a -> Parser b) -> a -> Maybe b

valuetoJSVal_Value :: Value -> IO JSVal

valuetypeMismatch :: MisoString -> Value -> Parser a

valuewithArray :: MisoString -> ([Value] -> Parser a) -> Value -> Parser a

valuewithBool :: MisoString -> (Bool -> Parser a) -> Value -> Parser a

valuewithNumber :: MisoString -> (Double -> Parser a) -> Value -> Parser a

valuewithObject :: MisoString -> (Object -> Parser a) -> Value -> Parser a

valuewithText :: MisoString -> (MisoString -> Parser a) -> Value -> Parser a

valuedecodePure :: MisoString -> Either String Value

newtypenewtype Config

Constructors

Config
- spaces :: Int

Instances2Eq, Show

Eq ConfigDefined in miso-1.12.0.0 · Miso.JSON
Show ConfigDefined in miso-1.12.0.0 · Miso.JSON

datadata Fields

Constructors

RecordFields [(MisoString, Value)]
PositionalFields [Value]

classclass FromJSON a where

Methods

parseJSON :: Value -> Parser a

Instances33FromJSON, …

FromJSON StringDefined in miso-1.12.0.0 · Miso.JSON
FromJSON IntegerDefined in miso-1.12.0.0 · Miso.JSON
FromJSON NaturalDefined in miso-1.12.0.0 · Miso.JSON
FromJSON Int16Defined in miso-1.12.0.0 · Miso.JSON
FromJSON Int32Defined in miso-1.12.0.0 · Miso.JSON
FromJSON Int64Defined in miso-1.12.0.0 · Miso.JSON
FromJSON Int8Defined in miso-1.12.0.0 · Miso.JSON
FromJSON BoolDefined in miso-1.12.0.0 · Miso.JSON
FromJSON CharDefined in miso-1.12.0.0 · Miso.JSON
FromJSON DoubleDefined in miso-1.12.0.0 · Miso.JSON
FromJSON FloatDefined in miso-1.12.0.0 · Miso.JSON
FromJSON IntDefined in miso-1.12.0.0 · Miso.JSON
FromJSON OrderingDefined in miso-1.12.0.0 · Miso.JSON
FromJSON WordDefined in miso-1.12.0.0 · Miso.JSON
FromJSON Word16Defined in miso-1.12.0.0 · Miso.JSON
FromJSON Word32Defined in miso-1.12.0.0 · Miso.JSON
FromJSON Word64Defined in miso-1.12.0.0 · Miso.JSON
FromJSON Word8Defined in miso-1.12.0.0 · Miso.JSON
FromJSON CheckedDefined in miso-1.12.0.0 · Miso.Event.Types
FromJSON KeyCodeDefined in miso-1.12.0.0 · Miso.Event.Types
FromJSON PointerTypeDefined in miso-1.12.0.0 · Miso.Event.Types
FromJSON ValueDefined in miso-1.12.0.0 · Miso.JSON
FromJSON MisoStringDefined in miso-1.12.0.0 · Miso.JSON
FromJSON URIDefined in miso-1.12.0.0 · Miso.Router · orphan
FromJSON TextDefined in miso-1.12.0.0 · Miso.JSON
FromJSON TextDefined in miso-1.12.0.0 · Miso.JSON
FromJSON ()Defined in miso-1.12.0.0 · Miso.JSON
FromJSON a => FromJSON (Maybe a)Defined in miso-1.12.0.0 · Miso.JSON
FromJSON a => FromJSON [a]Defined in miso-1.12.0.0 · Miso.JSON
FromJSON v => FromJSON (Map MisoString v)Defined in miso-1.12.0.0 · Miso.JSON
(FromJSON a, FromJSON b) => FromJSON (a, b)Defined in miso-1.12.0.0 · Miso.JSON
(FromJSON a, FromJSON b, FromJSON c) => FromJSON (a, b, c)Defined in miso-1.12.0.0 · Miso.JSON
(FromJSON a, FromJSON b, FromJSON c, FromJSON d) => FromJSON (a, b, c, d)Defined in miso-1.12.0.0 · Miso.JSON

classclass GAllNullary (f :: Type -> Type) where

Methods

gAllNullary :: Bool

Instances6GAllNullary

GAllNullary U1Defined in miso-1.12.0.0 · Miso.JSON
GAllNullary (K1 r a)Defined in miso-1.12.0.0 · Miso.JSON
GAllNullary f => GAllNullary (C1 m f)Defined in miso-1.12.0.0 · Miso.JSON
GAllNullary f => GAllNullary (S1 m f)Defined in miso-1.12.0.0 · Miso.JSON
(GAllNullary f, GAllNullary g) => GAllNullary (f :*: g)Defined in miso-1.12.0.0 · Miso.JSON
(GAllNullary f, GAllNullary g) => GAllNullary (f :+: g)Defined in miso-1.12.0.0 · Miso.JSON

classclass GFromFields (f :: Type -> Type) where

Methods

gIsRecord :: Bool
gFieldCount :: Int
gFromRecord :: Options -> Object -> Parser (f a)
gFromPositional :: Options -> [Value] -> Parser (f a)

Instances5GFromFields

GFromFields U1Defined in miso-1.12.0.0 · Miso.JSON
GFromFields V1Defined in miso-1.12.0.0 · Miso.JSON
(Selector m, FromJSON a) => GFromFields (S1 m (K1 r (Maybe a)))Defined in miso-1.12.0.0 · Miso.JSON
(Selector m, FromJSON a) => GFromFields (S1 m (K1 r a))Defined in miso-1.12.0.0 · Miso.JSON
(GFromFields f, GFromFields g) => GFromFields (f :*: g)Defined in miso-1.12.0.0 · Miso.JSON

classclass GFromJSON (f :: Type -> Type) where

Methods

gParseJSON :: Options -> Value -> Parser (f a)

Instances1GFromJSON

GFromJSONRep f => GFromJSON (D1 m f)Defined in miso-1.12.0.0 · Miso.JSON

classclass GFromJSONSum (f :: Type -> Type) where

Methods

gFromJSONSum :: Options -> Value -> Parser (f a)

Instances2GFromJSONSum

(Constructor m, GFromFields f) => GFromJSONSum (C1 m f)Defined in miso-1.12.0.0 · Miso.JSON
(GFromJSONSum f, GFromJSONSum g) => GFromJSONSum (f :+: g)Defined in miso-1.12.0.0 · Miso.JSON

classclass GToFields (f :: Type -> Type) where

Methods

gToFields :: Options -> f a -> Fields

Instances6GToFields

GToFields U1Defined in miso-1.12.0.0 · Miso.JSON
GToFields V1Defined in miso-1.12.0.0 · Miso.JSON
ToJSON a => GToFields (K1 r a)Defined in miso-1.12.0.0 · Miso.JSON
(Selector m, GToFields f) => GToFields (S1 m f)Defined in miso-1.12.0.0 · Miso.JSON
(Selector m, ToJSON a) => GToFields (S1 m (K1 r (Maybe a)))Defined in miso-1.12.0.0 · Miso.JSON
(GToFields f, GToFields g) => GToFields (f :*: g)Defined in miso-1.12.0.0 · Miso.JSON

classclass GToJSON (f :: Type -> Type) where

Methods

gToJSON :: Options -> f a -> Value

Instances1GToJSON

GToJSONRep f => GToJSON (D1 m f)Defined in miso-1.12.0.0 · Miso.JSON

classclass GToJSONSum (f :: Type -> Type) where

Methods

gToJSONSum :: Options -> f a -> Value

Instances2GToJSONSum

(Constructor m, GToFields f) => GToJSONSum (C1 m f)Defined in miso-1.12.0.0 · Miso.JSON
(GToJSONSum f, GToJSONSum g) => GToJSONSum (f :+: g)Defined in miso-1.12.0.0 · Miso.JSON

datadata Options

Constructors

Options
- fieldLabelModifier :: String -> String
- constructorTagModifier :: String -> String
- allNullaryToStringTag :: Bool
- omitNothingFields :: Bool

newtypenewtype Parser a

Constructors

Parser
- unParser :: Either MisoString a

Instances6Monad, Functor, MonadFail, Applicative, Alternative, MonadPlus

Monad ParserDefined in miso-1.12.0.0 · Miso.JSON
Functor ParserDefined in miso-1.12.0.0 · Miso.JSON
MonadFail ParserDefined in miso-1.12.0.0 · Miso.JSON
Applicative ParserDefined in miso-1.12.0.0 · Miso.JSON
Alternative ParserDefined in miso-1.12.0.0 · Miso.JSON
MonadPlus ParserDefined in miso-1.12.0.0 · Miso.JSON

classclass ToJSON a where

Methods

toJSON :: a -> Value

Instances29ToJSON, …

ToJSON IntegerDefined in miso-1.12.0.0 · Miso.JSON
ToJSON NaturalDefined in miso-1.12.0.0 · Miso.JSON
ToJSON Int16Defined in miso-1.12.0.0 · Miso.JSON
ToJSON Int32Defined in miso-1.12.0.0 · Miso.JSON
ToJSON Int64Defined in miso-1.12.0.0 · Miso.JSON
ToJSON Int8Defined in miso-1.12.0.0 · Miso.JSON
ToJSON BoolDefined in miso-1.12.0.0 · Miso.JSON
ToJSON CharDefined in miso-1.12.0.0 · Miso.JSON
ToJSON DoubleDefined in miso-1.12.0.0 · Miso.JSON
ToJSON FloatDefined in miso-1.12.0.0 · Miso.JSON
ToJSON IntDefined in miso-1.12.0.0 · Miso.JSON
ToJSON WordDefined in miso-1.12.0.0 · Miso.JSON
ToJSON Word16Defined in miso-1.12.0.0 · Miso.JSON
ToJSON Word32Defined in miso-1.12.0.0 · Miso.JSON
ToJSON Word64Defined in miso-1.12.0.0 · Miso.JSON
ToJSON Word8Defined in miso-1.12.0.0 · Miso.JSON
ToJSON ValueDefined in miso-1.12.0.0 · Miso.JSON
ToJSON MisoStringDefined in miso-1.12.0.0 · Miso.JSON
ToJSON KeyDefined in miso-1.12.0.0 · Miso.Types
ToJSON URIDefined in miso-1.12.0.0 · Miso.Types
ToJSON TextDefined in miso-1.12.0.0 · Miso.JSON
ToJSON TextDefined in miso-1.12.0.0 · Miso.JSON
ToJSON ()Defined in miso-1.12.0.0 · Miso.JSON
ToJSON a => ToJSON (Maybe a)Defined in miso-1.12.0.0 · Miso.JSON
ToJSON a => ToJSON [a]Defined in miso-1.12.0.0 · Miso.JSON
ToJSON v => ToJSON (Map MisoString v)Defined in miso-1.12.0.0 · Miso.JSON
(ToJSON a, ToJSON b) => ToJSON (a, b)Defined in miso-1.12.0.0 · Miso.JSON
(ToJSON a, ToJSON b, ToJSON c) => ToJSON (a, b, c)Defined in miso-1.12.0.0 · Miso.JSON
(ToJSON a, ToJSON b, ToJSON c, ToJSON d) => ToJSON (a, b, c, d)Defined in miso-1.12.0.0 · Miso.JSON

typetype Object = Map MisoString Value

typetype Pair = (MisoString, Value)

datadata Result a

Constructors

Success a
Error MisoString

Instances12Monad, Functor, MonadFail, Applicative, Foldable, Traversable, …

Monad ResultDefined in miso-1.12.0.0 · Miso.JSON.Types
Functor ResultDefined in miso-1.12.0.0 · Miso.JSON.Types
MonadFail ResultDefined in miso-1.12.0.0 · Miso.JSON.Types
Applicative ResultDefined in miso-1.12.0.0 · Miso.JSON.Types
Foldable ResultDefined in miso-1.12.0.0 · Miso.JSON.Types
Traversable ResultDefined in miso-1.12.0.0 · Miso.JSON.Types
Alternative ResultDefined in miso-1.12.0.0 · Miso.JSON.Types
MonadPlus ResultDefined in miso-1.12.0.0 · Miso.JSON.Types
Eq a => Eq (Result a)Defined in miso-1.12.0.0 · Miso.JSON.Types
Show a => Show (Result a)Defined in miso-1.12.0.0 · Miso.JSON.Types
Semigroup (Result a)Defined in miso-1.12.0.0 · Miso.JSON.Types
Monoid (Result a)Defined in miso-1.12.0.0 · Miso.JSON.Types

datadata Value

Constructors

Instances9Eq, Show, IsString, FromJSVal, ToJSVal, ToMisoString, …

Eq ValueDefined in miso-1.12.0.0 · Miso.JSON.Types
Show ValueDefined in miso-1.12.0.0 · Miso.JSON.Types
IsString ValueDefined in miso-1.12.0.0 · Miso.JSON.Types
FromJSVal ValueDefined in miso-1.12.0.0 · Miso.DSL
ToJSVal ValueDefined in miso-1.12.0.0 · Miso.DSL
ToMisoString ValueDefined in miso-1.12.0.0 · Miso.JSON · orphan
FromJSON ValueDefined in miso-1.12.0.0 · Miso.JSON
ToJSON ValueDefined in miso-1.12.0.0 · Miso.JSON
FromMisoString ValueDefined in miso-1.12.0.0 · Miso.JSON · orphan

Orphan instances

2 instances

ToMisoString Value
FromMisoString Value