Swarm.Language.JSON

Some orphan To/FromJSON instances for terms and values. We have to put them all here to avoid circular module dependencies.

Orphan instances

FromJSON Syntax

Methods

parseJSON :: Value -> Parser Syntax

parseJSONList :: Value -> Parser [Syntax]

omittedField :: Maybe Syntax

FromJSON TSyntax

Methods

parseJSON :: Value -> Parser TSyntax

parseJSONList :: Value -> Parser [TSyntax]

omittedField :: Maybe TSyntax

FromJSON Term

Methods

parseJSON :: Value -> Parser Term

parseJSONList :: Value -> Parser [Term]

omittedField :: Maybe Term

FromJSON Env

Methods

parseJSON :: Value -> Parser Env

parseJSONList :: Value -> Parser [Env]

omittedField :: Maybe Env

FromJSON Value

Methods

parseJSON :: Value0 -> Parser Value

parseJSONList :: Value0 -> Parser [Value]

omittedField :: Maybe Value

ToJSON Syntax

Methods

toJSON :: Syntax -> Value

toEncoding :: Syntax -> Encoding

toJSONList :: [Syntax] -> Value

toEncodingList :: [Syntax] -> Encoding

omitField :: Syntax -> Bool

ToJSON TSyntax

Methods

toJSON :: TSyntax -> Value

toEncoding :: TSyntax -> Encoding

toJSONList :: [TSyntax] -> Value

toEncodingList :: [TSyntax] -> Encoding

omitField :: TSyntax -> Bool

ToJSON Term

Methods

toJSON :: Term -> Value

toEncoding :: Term -> Encoding

toJSONList :: [Term] -> Value

toEncodingList :: [Term] -> Encoding

omitField :: Term -> Bool

ToJSON Env

Methods

toJSON :: Env -> Value

toEncoding :: Env -> Encoding

toJSONList :: [Env] -> Value

toEncodingList :: [Env] -> Encoding

omitField :: Env -> Bool

ToJSON Value

Methods

toJSON :: Value -> Value0

toEncoding :: Value -> Encoding

toJSONList :: [Value] -> Value0

toEncodingList :: [Value] -> Encoding

omitField :: Value -> Bool