Agda.Interaction.JSONTop

Documentation

jsonREPL :: TCM () -> TCM ()

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

Methods

toJSON :: InteractionId -> Value

toEncoding :: InteractionId -> Encoding

toJSONList :: [InteractionId] -> Value

toEncodingList :: [InteractionId] -> Encoding

ToJSON GiveResult

Methods

toJSON :: GiveResult -> Value

toEncoding :: GiveResult -> Encoding

toJSONList :: [GiveResult] -> Value

toEncodingList :: [GiveResult] -> Encoding

ToJSON Status

Methods

toJSON :: Status -> Value

toEncoding :: Status -> Encoding

toJSONList :: [Status] -> Value

toEncodingList :: [Status] -> Encoding

ToJSON DisplayInfo

Methods

toJSON :: DisplayInfo -> Value

toEncoding :: DisplayInfo -> Encoding

toJSONList :: [DisplayInfo] -> Value

toEncodingList :: [DisplayInfo] -> Encoding

ToJSON MakeCaseVariant

Methods

toJSON :: MakeCaseVariant -> Value

toEncoding :: MakeCaseVariant -> Encoding

toJSONList :: [MakeCaseVariant] -> Value

toEncodingList :: [MakeCaseVariant] -> Encoding