Safe Haskell	Safe-Inferred
Language	Haskell2010

Agda.Interaction.JSON

Contents

Orphan instances

Description

Encoding stuff into JSON values in TCM

Synopsis

data One
class FromJSON a where
- parseJSON :: Value -> Parser a
- parseJSONList :: Value -> Parser [a]
class ToJSON a where
- toJSON :: a -> Value
- toEncoding :: a -> Encoding
- toJSONList :: [a] -> Value
- toEncodingList :: [a] -> Encoding
type Object = KeyMap Value
type Array = Vector Value
class FromJSON1 (f :: Type -> Type) where
- liftParseJSON :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (f a)
- liftParseJSONList :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [f a]
data Key
data Zero
data JSONKeyOptions
data SumEncoding
- = TaggedObject {
  - tagFieldName :: String
  - contentsFieldName :: String
  }
- | UntaggedValue
- | ObjectWithSingleField
- | TwoElemArray
data Options
newtype DotNetTime = DotNetTime {
- fromDotNetTime :: UTCTime
}
data Value
- = Object !Object
- | Array !Array
- | String !Text
- | Number !Scientific
- | Bool !Bool
- | Null
type JSONPath = [JSONPathElement]
class FromJSON2 (f :: Type -> Type -> Type) where
- liftParseJSON2 :: (Value -> Parser a) -> (Value -> Parser [a]) -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser (f a b)
- liftParseJSONList2 :: (Value -> Parser a) -> (Value -> Parser [a]) -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser [f a b]
class (ConstructorNames f, SumFromString f) => GFromJSONKey (f :: Type -> Type)
data FromJSONKeyFunction a where
- FromJSONKeyCoerce :: forall a. Coercible Text a => FromJSONKeyFunction a
- FromJSONKeyText :: forall a. !(Text -> a) -> FromJSONKeyFunction a
- FromJSONKeyTextParser :: forall a. !(Text -> Parser a) -> FromJSONKeyFunction a
- FromJSONKeyValue :: forall a. !(Value -> Parser a) -> FromJSONKeyFunction a
class FromJSONKey a where
- fromJSONKey :: FromJSONKeyFunction a
- fromJSONKeyList :: FromJSONKeyFunction [a]
data FromArgs arity a
class GFromJSON arity (f :: Type -> Type)
data Series
type Encoding = Encoding' Value
class ToJSON2 (f :: Type -> Type -> Type) where
- liftToJSON2 :: (a -> Value) -> ([a] -> Value) -> (b -> Value) -> ([b] -> Value) -> f a b -> Value
- liftToJSONList2 :: (a -> Value) -> ([a] -> Value) -> (b -> Value) -> ([b] -> Value) -> [f a b] -> Value
- liftToEncoding2 :: (a -> Encoding) -> ([a] -> Encoding) -> (b -> Encoding) -> ([b] -> Encoding) -> f a b -> Encoding
- liftToEncodingList2 :: (a -> Encoding) -> ([a] -> Encoding) -> (b -> Encoding) -> ([b] -> Encoding) -> [f a b] -> Encoding
class ToJSON1 (f :: Type -> Type) where
- liftToJSON :: (a -> Value) -> ([a] -> Value) -> f a -> Value
- liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [f a] -> Value
- liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> f a -> Encoding
- liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [f a] -> Encoding
class GetConName f => GToJSONKey (f :: k -> Type)
data ToJSONKeyFunction a
- = ToJSONKeyText !(a -> Key) !(a -> Encoding' Key)
- | ToJSONKeyValue !(a -> Value) !(a -> Encoding)
class ToJSONKey a where
- toJSONKey :: ToJSONKeyFunction a
- toJSONKeyList :: ToJSONKeyFunction [a]
class KeyValue kv
data ToArgs res arity a
class GToJSON' enc arity (f :: Type -> Type)
type GToEncoding = GToJSON' Encoding
type GToJSON = GToJSON' Value
newtype AesonException = AesonException String
genericFromJSONKey :: (Generic a, GFromJSONKey (Rep a)) => JSONKeyOptions -> FromJSONKeyFunction a
genericToJSONKey :: (Generic a, GToJSONKey (Rep a)) => JSONKeyOptions -> ToJSONKeyFunction a
fromJSON :: FromJSON a => Value -> Result a
genericToJSON :: (Generic a, GToJSON' Value Zero (Rep a)) => Options -> a -> Value
object :: [Pair] -> Value
(<?>) :: Parser a ->