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 #