Agda-2.6.0.1: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.Interaction.JSONTop

Contents

- Orphan instances

Synopsis

- jsonREPL :: TCM () -> TCM ()

# Documentation

jsonREPL :: TCM () -> TCM () Source #

`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 #