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 toEncoding :: InteractionId -> Encoding toJSONList :: [InteractionId] -> Value toEncodingList :: [InteractionId] -> Encoding
ToJSON GiveResult Source #
Instance details Methods toJSON :: GiveResult -> Value toEncoding :: GiveResult -> Encoding toJSONList :: [GiveResult] -> Value toEncodingList :: [GiveResult] -> Encoding
ToJSON Status Source #
Instance details Methods toJSON :: Status -> Value toEncoding :: Status -> Encoding toJSONList :: [Status] -> Value toEncodingList :: [Status] -> Encoding
ToJSON DisplayInfo Source #
Instance details Methods toJSON :: DisplayInfo -> Value toEncoding :: DisplayInfo -> Encoding toJSONList :: [DisplayInfo] -> Value toEncodingList :: [DisplayInfo] -> Encoding
ToJSON MakeCaseVariant Source #
Instance details Methods toJSON :: MakeCaseVariant -> Value toEncoding :: MakeCaseVariant -> Encoding toJSONList :: [MakeCaseVariant] -> Value toEncodingList :: [MakeCaseVariant] -> Encoding