Safe Haskell	None
Language	Haskell2010

Agda.Interaction.JSONTop

Contents

Synopsis

Documentation

jsonREPL is a interpreter like mimicGHCi, but outputs JSON-encoded strings.

jsonREPL reads Haskell values (that starts from IOTCM ...) from stdin, interprets them, and outputs JSON-encoded strings. into stdout.

Orphan instances

ToJSON InteractionId Source #
Instance details Methods toJSON :: InteractionId -> Value Source # toEncoding :: InteractionId -> Encoding Source # toJSONList :: [InteractionId] -> Value Source # toEncodingList :: [InteractionId] -> Encoding Source #
ToJSON GiveResult Source #
Instance details Methods toJSON :: GiveResult -> Value Source # toEncoding :: GiveResult -> Encoding Source # toJSONList :: [GiveResult] -> Value Source # toEncodingList :: [GiveResult] -> Encoding Source #
ToJSON Status Source #
Instance details Methods toJSON :: Status -> Value Source # toEncoding :: Status -> Encoding Source # toJSONList :: [Status] -> Value Source # toEncodingList :: [Status] -> Encoding Source #
ToJSON DisplayInfo Source #
Instance details Methods toJSON :: DisplayInfo -> Value Source # toEncoding :: DisplayInfo -> Encoding Source # toJSONList :: [DisplayInfo] -> Value Source # toEncodingList :: [DisplayInfo] -> Encoding Source #
ToJSON MakeCaseVariant Source #
Instance details Methods toJSON :: MakeCaseVariant -> Value Source # toEncoding :: MakeCaseVariant -> Encoding Source # toJSONList :: [MakeCaseVariant] -> Value Source # toEncodingList :: [MakeCaseVariant] -> Encoding Source #